トップページ  >  教員個別情報  >  Misc
内平 直志 （UCHIHIRA, Naoshi）教授
知識科学, トランスフォーマティブ知識経営研究領域, リスキル・リカレント教育センター

Misc

128件
中堅・中小企業の工場DXを推進するためのディジタルイノベーションマネジメント
内平直志
人工知能, 37, 3, 274-279, 2022
人工知能とプロジェクトマネジメント
内平 直志, 森 俊樹, 大島 丈史
Fundamentals Review, 13, 4, 277-283, 2020
IoT時代のイノベーション
内平直志
日本経済新聞「やさしい経済学」連載, -, 2019
IoT時代のイノベーション・デザイン
内平 直志
研究 技術 計画, 33, 4, 334-344, 2018
音声つぶやきによる気づきの収集と活用で看護・介護サービスの質を向上する
内平 直志
サービソロジー, 1, 2, 14-17, 2014
音声つぶやきによる看護・介護サービスの記録・連携支援(<特集>介護・医療システムの現場参加型開発)
内平 直志
人工知能学会誌, 28, 6, 893-898, 2013
製造業のサービス事業化の課題と設計支援技術
内平 直志, 小林 英樹, 中根 林太郎
精密工学会誌, 75, 4, 471-474, 2009
製造業のサービスイノベーションのための知識処理技術(<特集>サービスイノベーションとAI)
内平 直志, Naoshi Uchihira
人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence, 22, 6, 754-762, 2007
離散事象システムの網羅的シミュレーション
内平 直志, 川田 秀司
計測と制御 = Journal of the Society of Instrument and Control Engineers, 35, 10, 763-769, 1996
デジタル技術によるイノベーションをデザインする
内平直志
中部産業連盟機関紙「プログレス」, 2024, 11, 2-7, 2024
稲作におけるイノベーション「密苗」はどのように生まれたか：開発実証普及プロセスを技術経営の視点で考察する
佛田 利弘, 内平 直志
研究 技術 計画, 39, 2, 216-223, 2024
特集「DX阻害の論理」に寄せて
高梨 千賀子, 内平 直志
研究 技術 計画, 39, 2, 97-99, 2024
中堅・中小企業におけるDX推進の課題と成功のメカニズム
内平直志
研究 技術 計画, 39, 2, 117-126, 2024
デジタルイノベーションデザイン手法教本
内平直志
北陸先端科学技術大学院大学, -, 2024
潜在的で暗黙的な現場知識をデジタル技術で抽出・活用～JAIST支援機構デジタルナレッジツイン研究会の活動紹介～
内平直志, 西村拓一, 伊集院幸輝
電波技術協会報, 357, 20-23, 2024
スマート農業における物理センサと人間センサを活用した機械学習による知識抽出
遠矢健太, 井上杜太郎, 内平直志
信学技報, 122, 435, 164-167, 2023
製造業イノベーションにおける初期チームの補完関係の在り方-旭化成電子コンパス事業チーム共創のメカニズム-
安田剛規, 伊集院幸輝, 押山千秋, 内平直志, 西村拓一
研究・イノベーション学会年次学術大会講演要旨集(CD-ROM), 38th, -, 2023
事例研究：林業におけるサービス化を通じたケイパビリティ統合－大黒柱一本から生まれるサービスエコシステムの拡大－
西川義寛, 内平直志
サービソロジー, -, 2022
日本のDXの可能性と課題
内平直志
証券アナリストジャーナル, 60, 2, 5-14, 2022
オープンでアジャイルなイノベーションマネジメントとP2M～パネルディスカッションの総括～
内平 直志
P2Mマガジン, 14, 19-23, 2022
デジタルイノベーションをデザインする
内平直志
開発工学, 40, 2, 147-148, 2021
IoTを活用したイノベーション
内平 直志
翼, 45, 123, 89-93, 2021
IoT時代のイノベーションデザイン
内平直志, 福本勲
DiGiTAL CONVENTiON, -, 2020
AI/IoTを活用するためのイノベーションデザイン手法の地域課題解決への適用
内平直志, 梅野真也, 岡田将吾
電子情報通信学会誌, 103, 10, 986-990, 2020
機械学習応用システムのアーキテクチャ・デザインパターンの体系化に向けて
鷲崎弘宜, 鷲崎弘宜, 鷲崎弘宜, 鷲崎弘宜, 名取直毅, 竹内広宜, 奥田聡, 本田澄, 土肥拓生, 内平直志
日本ソフトウェア科学会研究会資料シリーズ(Web), 90, -, 2020
IoT 時代のイノベーション～人工知能と人間の知能を活用する～
内平直志
愛知経協, 834, 2-6, 2019
IoT時代のイノベーションマネジメント教育
鷲崎 弘宜, 内平 直志
研究 技術 計画, 33, 4, 345-351, 2018
フィールドワークにおけるつぶやきシステムの効果
岡田 政則, 内平 直志, 平石 邦彦, 國藤 進
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 117, 301, 41-44, 2017
看護・介護サービスにおけるケアスタッフの連携行動の解析
小林孝一, 平石邦彦, 崔 舜星, 内平直志
電子情報通信学会技術研究報告, 116, 525, 7-10, 2017
切換型線形回帰モデルを用いた看護・介護サービスの行動解析について (システム数理と応用)
小林 孝一, 平石 邦彦, 崔 舜星, 内平 直志
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 480, 57-60, 2016
非合理取引行動と市場成長に関するシミュレーションによる考察 : IoTが可能にする完全情報下で合理的な取引が市場成長を阻害するケース (ソフトウェアサイエンス)
内平 直志, 佐々木 康朗
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 420, 1-5, 2016
情報スーパーバイザ制御の意思決定論的特徴付け (ソフトウェアサイエンス)
佐々木 康朗, 内平 直志
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 420, 69-74, 2016
突発的イベント発生時の音声つぶやきシステムによるスタッフ間の連携効果 (システム数理と応用)
崔 舜星, 平石 邦彦, 内平 直志
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 419, 7-11, 2016
2C03 グローバルな競争・協調環境におけるIoTサービスビジネスデザイン手法(<ホットイシュー>デジタル化時代のイノベーション戦略(1),一般講演)
内平 直志, 石松 宏和, 井上 敬介
年次学術大会講演要旨集, 30, 443-446, 2015
2A08 中小企業の人材育成を視野に入れたPBL : Win-Win-Winな産学連携((31)オーガナイズドセッション:プロジェクトマネジメントとPBL-III,口頭発表論文,イノベーションを牽引する工学教育の国際化)
三宅 由美子, 戸沢 義夫, 酒森 潔, 内平 直志
工学教育研究講演会講演論文集, 27, 63, 168-169, 2015
AT-3-4 CPSによる製造業のイノベーション : Industrie4.0とIndustrial Internetの意義(AT-3.サイバーフィジカルシステムのための制御とその応用例,チュートリアルセッション,ソサイエティ企画)
内平 直志
電子情報通信学会総合大会講演論文集, 2015, "SS-42"-"SS-43", 2015
D-9-32 知識リポジトリ投稿の動機づけ手法の提案 : 内発的動機づけのための関係性の可視化(D-9.ライフインテリジェンスとオフィス情報システム,一般セッション)
有場 次郎, 佐々木 康朗, 内平 直志
電子情報通信学会総合大会講演論文集, 2015, 1, 149-149, 2015
2I03 IT業界のコンセプトトレンドの分析手法(分析と評価(2),一般講演)
片岡 利枝子, 神田 陽治, 内平 直志, 井川 康夫
年次大会講演要旨集, 30, 0, 973-977, 2015
コトDBに基づく非定型業務の協創支援システムの構築
西村 拓一, 渡辺 健太郎, 福田 賢一郎, 内平 直志, 小早川 真衣子, 須永 剛司, 山田 クリス孝介, 阪本 雄一郎, 麻生 英樹, 本村 陽一
情報処理学会研究報告. ICS, [知能と複雑系], 2014, 8, 1-5, 2014
インタビュー 音声つぶやきによる医療・介護スタッフ間のコミュニケーション支援 (特集 「介護記録」の今・未来)
内平 直志, 鍋谷 晴子
ふれあいケア, 20, 6, 30-35, 2014
「サービスイノベーションの新展開」にあたって(<特集>サービスイノベーションの新展開)
白肌 邦生, 内平 直志, 小坂 満隆
研究技術計画, 28, 3, 251-253, 2014
音声つぶやきによる気づきの収集と活用支援システム : 気づき組織学習についての考察
内平 直志
人工知能学会全国大会論文集, 28, 1-4, 2014
Collaboration management by smart voice messaging for physical and adaptive intelligent services
Naoshi Uchihira, Sunseong Choe, Kunihiko Hiraishi, Kentaro Torii, Tetsuro Chino, Yuji Hirabayashi, Taro Sugihara
2013 Proceedings of PICMET 2013: Technology Management in the IT-Driven Services, 251-258, 2013
音声つぶやきによる看護・介護の時空間コラボレーション支援―システムの概要と試行評価結果―
内平直志, 鳥居健太郎, 平林裕治, CHOE Sunseong, 平石邦彦, 知野哲朗, 杉原太郎
電子情報通信学会技術研究報告, 112, 457(MSS2012 59-86), 43-43, 2013
介護職員の振り返りに音声つぶやきシステムが寄与する可能性についての検討
杉原太郎, 平林裕治, 鳥居健太郎, 知野哲朗, 内平直志
人工知能学会全国大会論文集(CD-ROM), 27th, ROMBUNNO.1I5-OS-11C-3-, 2013
気づきの収集と活用による看護・介護サービスの価値共創
内平 直志
JAISTサービス・イノベーションレポート = JAIST service innovation report, 4, 13-19, 2013
A-12-13 節電と経済活性化を両立させるサービス設計(A-12.システム数理と応用,一般セッション)
内平 直志, 澤島 光一, 立山 義祐, 小木 哲朗, 前野 隆司
電子情報通信学会ソサイエティ大会講演論文集, 2012, 154-154, 2012
看護・介護サービスのための時空間を越えたコラボレーション支援
内平 直志, 鳥居 健太郎, 知野 哲朗
人間生活工学, 13, 1, 34-37, 2012
音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
内平 直志, 鳥居 健太郎, 平石 邦彦, 崔 舜星, 知野 哲朗, 平林 裕治, 杉原 太郎
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 111, 406, -, 2012
音声つぶやきによる看護・介護の時空間コミュニケーション-情報スーパーバイザ制御の提案-
内平直志
信学技報, 2011, 1-1, 2012
音声つぶやきによる医療・介護の時空間コミュニケーション つぶやき配信制御で看護師・介護士の行動がどのように変わるか?
内平直志, CHOE Sunseong, 平石邦彦, 鳥居健太郎, 知野哲朗, 平林裕治, 杉原太郎
人工知能学会全国大会論文集(CD−ROM), 26th, ROMBUNNO.1P2-OS-9A-10-4, 2012
Knowledge Transfer in R&D Project Management: Application to Business-academia Collaboration Project
Naoshi Uchihira, Yuji Hirabayashi, Taro Sugihara, Kunihiko Hiraishi, Yasuo Ikawa
PICMET '12: PROCEEDINGS - TECHNOLOGY MANAGEMENT FOR EMERGING TECHNOLOGIES, 3473-3480, 2012
R & D Management Based on the Relationship between the Achievement of R&D and Commercialization
Yuji Hirabayashi, Yasuo Ikawa, Sigeru Aoki, Kunihiko Hiraishi, Tarou Sugihara, Shunsei Sai, Naoshi Uchihira, Tetsuro Chino, Kentarou Torii
PICMET '12: PROCEEDINGS - TECHNOLOGY MANAGEMENT FOR EMERGING TECHNOLOGIES, 3404-3409, 2012
事業化を想定したサービス研究開発マネジメント—介護業務支援プロジェクトの事例—
平林裕治, 青木滋, 内平直志, 杉原太郎
研究・技術計画学会年次学術大会講演要旨集(CD−ROM), 26th, ROMBUNNO.2C18-, 2011
研究開発プロジェクトマネジメントの知識継承—サービス分野の産学連携プロジェクトへの適用—
内平直志, 平林裕治, 杉原太郎, 平石邦彦
研究・技術計画学会年次学術大会講演要旨集(CD−ROM), 26th, ROMBUNNO.2C19-, 2011
コンカレント工学研究会の活動を振り返って : 歴代委員長からのメッセージ
翁長 健治, 松本 忠, 難波 田愈, 渡邉 敏正, 長尾 陽一, 長谷川 晴朗, 椎塚 久雄, 辻 孝吉, 内平 直志, 葛 崎偉, 潮 俊光
電子情報通信学会技術研究報告. CST, コンカレント工学, 110, 370, 45-48, 2011
CSTソリューションコンペティション2010マルチカーエレベータの最適制御
中村 正樹, 山崎 達志, 山口 真悟, 宮本 俊幸, 内平 直志
電子情報通信学会技術研究報告. CST, コンカレント工学, 110, 370, 1-4, 2011
業務分析のためのトピックモデルを用いた行動推定
村上 知子, 田中 俊明, 内平 直志
人工知能学会全国大会論文集, 25, 1-4, 2011
音声つぶやきによる医療・介護サービス空間におけるコミュニケーション
内平直志, 鳥居健太郎, 知野哲朗, 田中俊明, 平林裕治, 平石邦彦, 杉原太郎
人工知能学会全国大会論文集(CD−ROM), 25th, ROMBUNNO.1J1-OS9-4-, 2011
製造業のサービス事業化の課題と事例による企画・設計方法論 (サービス・イノベーションシンポジウム予稿)
内平 直志
JAISTサービス・イノベーションレポート, 1, 25-28, 2010
AS-3-4 CSTソリューションコンペティション2010の概要 : マルチカーエレベータの最適制御(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
中村 正樹, 山崎 達志, 山口 真悟, 宮本 俊幸, 内平 直志
電子情報通信学会総合大会講演論文集, 2010, "S-29"-"S-30", 2010
研究開発プロジェクトマネジメントの知識継承 チェックリストとケースによる発想支援
内平直志, 杉原太郎, 井川康夫
人工知能学会全国大会論文集(CD−ROM), 24th, ROMBUNNO.2B2-3-4, 2010
研究の上流過程で物語がBoundary objectとして果たす役割
杉原太郎, 内平直志, 井川康夫
人工知能学会全国大会論文集(CD−ROM), 24th, ROMBUNNO.1G3-OS10-11-, 2010
製品ライフサイクルでの高信頼化技術の動向 : 仕様と実装と環境のギャップを監視・検出・修正するヘルスマネジメント
内平 直志
電子情報通信学会技術研究報告. CAS, 回路とシステム, 109, 300, 7-12, 2009
製品ライフサイクルでの高信頼化技術の動向 : 仕様と実装と環境のギャップを監視・検出・修正するヘルスマネジメント
内平 直志
電子情報通信学会技術研究報告. CST, コンカレント工学, 109, 301, 7-12, 2009
製品ライフサイクル高信頼化-仕様と実装と環境のギャップをライフサイクルで管理する技術 (特集 製品ライフサイクルでの高信頼化技術)
内平 直志
東芝レビュー, 64, 8, 2-7, 2009
CSTソリューションコンペティション2007及び2008の総括
山口 真悟, 宮本 俊幸, 内平 直志, 葛 崎偉, 本位田 真一
電子情報通信学会技術研究報告. CST, コンカレント工学, 109, 73, 59-64, 2009
CSTソリューションコンペティション2008 (総括)
山口真悟, 宮本 俊幸, 内平 直志, 葛 崎偉, 本位田 真一
2009年信学会総合大会基礎 境界講演論文集, 49, "SS-49"-"SS-50", 2009
CSTソリューションコンペティション2007 : 評価実験の詳細報告
宮本 俊幸, 山口 真悟, 内平 直志, 葛 崎偉, 本位田 真一
電子情報通信学会技術研究報告. CST, コンカレント工学, 108, 79, 7-12, 2008
CSTソリューションコンペティション2007(総括)
山口, 宮本 俊幸, 内平 直志, 葛 崎偉, 本位田 真一
電子情報通信学会大会講演論文集, 基礎境界, 2008, 2008, SS.31-SS.32, 2008
マルチカーエレベータ群管理アルゴリズムに関する研究動向-CSTソリューションコンペティション2007の活動を通じて-
山口真悟, 宮本 俊幸, 内平 直志, 葛 崎偉, 本位田 真一
2008年信学会基礎 境界ソサイエティ大会講演論文集, 13, "SS-13"-"SS-14", 2008
マルチカーエレベータ群管理アルゴリズムの評価と考察 −CSTソリューションコンペティション2007より−
山口 真悟, 宮本 俊幸, 内平 直志, 葛 崎偉, 本位田 真一
電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review, 2, 1, 58-65, 2008
CSTソリューションコンペティション2007 (課題と評価ツール)
山口, 宮本 俊幸, 内平 直志, 葛 崎偉, 本位田 真一
2007年電子情報通信学会基礎 境界ソサイエティ大会講演論文集, Sept., 191-191, 2007
CSTソリューションコンペティション2007 (概要)
山口, 内平 直志, 葛 崎偉, 本位田 真一
2007年電子情報通信学会総合大会講演論文集基礎 境界, "SS-11", 2007
製造業のサービスの分類法と事例による企画設計支援
内平 直志, 京屋 祐二, Kim Sun K.
人工知能学会全国大会論文集, 21, 1-4, 2007
TREND 製造業のサービスの特徴と知識処理技術の役割 (特集 製造業のサービスイノベーションのための知識処理技術)
内平 直志
東芝レビュー, 61, 12, 2-7, 2006
1G12 研究開発プロジェクトの知識の継承 : 内面化についての考察(研究開発システムとモデル (1))
内平 直志
年次学術大会講演要旨集, 21, 1, 431-434, 2006
1B10 製造業のサービス化の分類と知識活用戦略(<ホットイシュー> イノベーションを実現するためのマネジメント (2))
内平 直志, 小泉 敦子
年次学術大会講演要旨集, 21, 1, 33-36, 2006
AP-4-3 コンカレント技術ロードマッピングへの招待(AP-4.コンカレント技術の現在・過去・未来,パネル討論,ソサイエティ企画)
内平 直志
電子情報通信学会総合大会講演論文集, 2006, "SS-26"-"SS-27", 2006
Internalization Method of R&D Project Management Knowledge in Stage Gate Analysis
UCHIHIRA N.
IAMOT06, -, 2006
2C16 研究開発プロジェクトの知識継承(知識と情報 (1), 第20回年次学術大会講演要旨集II)
内平 直志
年次学術大会講演要旨集, 20, 2, 863-866, 2005
コンカレント工学における技術ロードマッピングに関する考察
内平 直志
電子情報通信学会技術研究報告. CST, コンカレント工学, 105, 237, 19-23, 2005
サイバー金融/信用情報共有基盤プロジェクト6年間の総括
内平直志
第25回東京工業大学理財工学研究センターシンポジウム, 2005, -, 2005
Stage Gate Analysis in Business-Academia Collaborative Project
UCHIHIRA N.
PICMET05, -, 2005
設備投資計画ツール Riskmizer
半田 恵一, 内平 直志
東芝レビュー, 59, 6, 34-38, 2004
不確実な環境下における発電設備の投資計画の一手法(電力のOR)
半田 恵一, 内平 直志, 松本 茂, 中本 政志
日本オペレーションズ・リサーチ学会春季研究発表会アブストラクト集, 2004, 130-131, 2004
与信管理システムの構築を容易にする信用リスク評価Webサービス (特集1 XML Webサービス--インターネット上でサービスをダイナミックに連携)
内平 直志, 西川 武一郎
東芝レビュー, 58, 2, 27-30, 2003
データマイニングに基づく信用リスク管理技術の展開--CRAFTスコアリング法の公開から販売リスク管理システムへ
西川 武一郎, 森田 浩介, 内平 直志
東芝レビュー, 57, 4, 43-46, 2002
ネット指向戦略シナリオ・プランニング手法の提案
内平 直志
電子情報通信学会技術研究報告. CST, コンカレント工学, 101, 212, 37-43, 2001
並行プログラムに関するテスト・デバッグ方式
岡本 渉, 川田 秀司, 田村 文隆, 内平 直志
全国大会講演論文集, 59, 297-298, 1999
組込み制御用ソフトウェア次世代テスト・デバッグシステム
岡本 渉, 田村 文隆, 川田 秀司, 内平 直志
情報処理学会研究報告ソフトウェア工学（SE）, 1999, 28, 141-148, 1999
ペトリネットは便利な道具
内平 直志, 平石 邦彦, 青山 幹雄
情報処理, 39, 1, 67-70, 1998
並行処理におけるプログラム試験：3. 制御用プログラムの試験
内平 直志, 川田 秀司
情報処理, 39, 1, 19-25, 1998
超逐次プログラミング : 高信頼並行プログラムの新しい開発手法の提案
内平 直志, 川田 秀司, 関 俊文, 本位田 真一
情報処理学会研究報告. PRO, [プログラミング], 96, 58, 1-6, 1996
TA-2-2 高水準ペトリネットによるソフトウェア設計法(TA-2. 高水準ペトリネットのシステムとソフトウェア開発への応用,チュートリアル講演)
内平 直志, 本位田 真一
電子情報通信学会秋季大会講演論文集, 1994, 356-357, 1994
高水準ペトリネットによるソフトウェア開発方法論
青山 幹雄, 平石 邦彦, 内平 直志
コンピュータソフトウェア, 11, 4, 259-275, 1994
高水準ペトリネットによるソフトウェア開発方法論
青山 幹雄, 平石 邦彦, 内平 直志
コンピュータ ソフトウェア, 11, 4, 4_259-4_275, 1994
シ-ケンス制御プログラムの検証技術
内平 直志, 荒見 美香子, 川田 秀司
東芝レビュー, 48, 10, p775-778, 1993
高水準ペトリネットによるソフトウェア設計方法論
内平直志
第12回離散事象システム研究会講演論文集, 73-80, 1993
会話によるプログラミング : 動的並列オブジェクト指向言語の提案
内平 直志, 本位田 真一
全国大会講演論文集, 45, 241-242, 1992
仕様獲得と知識獲得：特集「仕様獲得と知識獲得 : ソフトウェアシステムの視点から」の編集にあたって
内平 直志
情報処理, 33, 6, 604-640, 1992
特集「仕様獲得と知識獲得 - ソフトウェアシステムの視点から - 」の編集にあたって
内平 直志
情報処理, 33, 6, -, 1992
通信制御ソフトウェアの時相論理による検証 : CCITT勧告X.25の検証
赤嶺 暁子, 内平 直志
全国大会講演論文集, 44, 209-210, 1992
MENDELS ZONEにおける並行プログラムの階層的調整
内平 直志, 荒見 美香子, 本位田真一
情報処理学会研究報告ソフトウェア工学（SE）, 1992, 10, 155-164, 1992
多重類推のメカニズム
脇園竜次, 内平 直志, 本位田真一
情報処理学会研究報告知能と複雑系（ICS）, 1991, 103, 1-10, 1991
大規模有向グラフの効率的記憶法 : アニーリング法を利用したラベル付け
赤嶺 暁子, 脇園 竜次, 内平 直志
全国大会講演論文集, 42, 79-80, 1991
Robin Milner 著, "Communication and Concurrency", Prentice Hall International Series in Computer Science, B5判, 260p., \3,790, 1989
内平 直志
情報処理, 32, 1, 83-84, 1991
代数的仕様と時制論理によるリアルタイムSAの形式的支援
本位田真一, 大須賀 昭彦, 内平 直志
情報処理学会研究報告ソフトウェア工学（SE）, 1990, 62, 19-26, 1990
仕様記述過程モデル化のための実験と分析
古宮 誠一, 佐伯 元司, 池 克俊, 大蒔 和仁, 白井 豊, 本位田 真一, 内平 直志, 西村 一彦, 大槻 繁, 蓬莱 尚幸, 加藤 潤三, 大林 正晴, 松浦 佐江子, 上林 憲行, 荒谷 徹, 大木 幹雄, 松田 元彦, 村井 進
全国大会講演論文集, 40, 1051-1052, 1990
ペトリネット可到達問題に対する線形整数計画法と時制論理の適用
伊藤 潔, 本位田真一, 内平 直志, 志田 圭介
情報処理学会研究報告知能と複雑系（ICS）, 1990, 4, 1-10, 1990
AI技術によるリアルタイム・システムのソフトウェア・プロトタイピング
本位田真一, 内平 直志, 松本 一教, 伊藤 潔
情報処理学会研究報告ソフトウェア工学（SE）, 1989, 106, 1-10, 1989
階層的ペトリネットによる並行プログラムの設計法 －ペトリネットと時相論理を用いた検証と合成－
内平 直志, 本位田真一
情報処理学会研究報告ソフトウェア工学（SE）, 1989, 101, 1-8, 1989
仕様記述過程モデル化のための実験と分析
古宮 誠一, 佐伯 元司, 池 克俊, 大蒔 和仁, 白井 豊, 本位田真一, 内平 直志, 西村 一彦, 大槻 繁, 蓬莱尚幸, 加藤潤三, 大林 正晴, 松浦 依江子, 上林 憲行, 荒谷 徹, 大木 幹雄, 松田 元彦, 村井 進
情報処理学会研究報告ソフトウェア工学（SE）, 1989, 101, 1-8, 1989
知的プログラミングシステム (AI技術<特集>)
中村 英夫, 本位田 真一, 内平 直志
東芝レビュー, 44, 10, p810-813, 1989
非標準理論とその応用：時相論理とその応用
松本 一教, 内平 直志, 本位田 真一
情報処理, 30, 6, p651-657, 1989
時制論理に基づく仕様記述とそのデバッグ環境
西村 一彦, 内平 直志
全国大会講演論文集, 38, 1294-1295, 1989
89-3 ストリームのための自動プログラミングII : プログラム変換による実現法
内平 直志
情報処理, 30, 1, 80-81, 1989
知的分散システム上のペトリネットに基づく並行プログラミング言語
内平直志
信学技報, CPSY89-34, 1989
時制論理に基づく実用的仕様記述言語PTSからの手順の自動生成
内平 直志, 川田 秀司
情報処理学会研究報告知能と複雑系（ICS）, 1988, 66, 1-10, 1988
並列プログラムの知的プログラミング支援システムMENDELS(3) : 時制論理からの同期部の自動生成
内平 直志, 川田 秀司, 本位田 真一
全国大会講演論文集, 37, 922-923, 1988
並列プログラムの知的プログラミング支援システムMENDELS(2) : 部品再利用による本体部の生成
伊藤 美香子, 内平 直志, 本位田 真一
全国大会講演論文集, 37, 920-921, 1988
並列プログラムの知的プログラミング支援システムMENDELS(1) : システム構成
本位田 真一, 内平 直志, 松本 一教
全国大会講演論文集, 37, 918-919, 1988
自動プログラミング：制御分野における自動プログラミング
本位田 真一, 内平 直志, 中村 英夫
情報処理, 28, 10, p1398-1404, 1987
時制論理とペトリネット
本位田, 内平 直志, 松本 一教
オペレーションズリサーチ, 32, 9, 612-618, 1987
MENDELにおける並列プログラムの部品結合
内平直志, 関俊文, 粕谷利明, 本位田真一
情報処理学会研究報告ソフトウェア工学（SE）, 1986, 7, 57-64, 1986
Software Prototyping with Reusable Components
Shinichi Honiden, Naomichi Sueda, Akira Hoshi, Naoshi Uchihira, Kazuo Mikame
Journal of Information Processing, 9, 3, 123-129, 1986
推論型システム記述言語MENDEL
本位田真一, 内平直志, 大須賀昭彦, 粕谷利明
情報処理学会研究報告知能と複雑系（ICS）, 1984, 74, 73-80, 1985
ソフトウェア品質評価手法
中村英夫, 内平直志, 佐藤誠, 水谷博之
情報処理学会研究報告ソフトウェア工学（SE）, 1984, 64, 103-108, 1985