TOP  >  Personal Info.  >  Misc
UCHIHIRA, Naoshi Professor
Knowledge Science, Transformative Knowledge Management, Center for Reskill ＆ Recurrent Education

Misc

128 items
Digital Innovation Management for Factory DX in Small and Medium-sized Enterprises
Naoshi Uchihira
人工知能, 37, 3, 274-279, 2022
Artificial Intelligence and Project Management
Naoshi Uchihira, Toshiki Mori, Takehsi Ohshima
Fundamentals Review, 13, 4, 277-283, 2020
IoT時代のイノベーション
内平直志
日本経済新聞「やさしい経済学」連載, -, 2019
Innovation Design in the IoT Era
UCHIHIRA Naoshi
The Journal of Science Policy and Research Management, 33, 4, 334-344, 2018
Awareness Gathering and Utilizing System by Smart Voice Messaging for Improving Quality of Nursing and Caregiving Services
Uchihira Naoshi
Serviceology, 1, 2, 14-17, 2014
Communication Management by Smart Voice Messaging for Nursing and Caregiving Services(Participatory System Design for Care and Medical Services)
Uchihira Naoshi
Journal of Japanese Society for Artificial Intelligence, 28, 6, 893-898, 2013
Service Design and Evaluation Methodology for Product Service Systems
UCHIHIRA Naoshi, KOBAYASHI Hideki, NAKANE Rintaro
Journal of the Japan Society for Precision Engineering, 75, 4, 471-474, 2009
Knowledge Processing Technologies for Service Innovation in the Manufacturing Sector(Service Innovation and Artificial Intelligence)
UCHIHIRA Naoshi, Naoshi Uchihira
Journal of Japanese Society for Artificial Intelligence, 22, 6, 754-762, 2007
Control System Design Exploiting Computer Capabilities. Exhaustive Simulation of Discrete Event Systems.
UCHIHIRA Naoshi, KAWATA Hideji
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
Applying AI/IoT Innovation Design Method to Solving Regional Issues: Ideason in Nomi City
内平直志, 梅野真也, 岡田将吾
電子情報通信学会誌, 103, 10, 986-990, 2020
Towards a system of Machine Learning systems architecture and design patterns
鷲崎弘宜, 鷲崎弘宜, 鷲崎弘宜, 鷲崎弘宜, 名取直毅, 竹内広宜, 奥田聡, 本田澄, 土肥拓生, 内平直志
日本ソフトウェア科学会研究会資料シリーズ(Web), 90, -, 2020
IoT 時代のイノベーション～人工知能と人間の知能を活用する～
内平直志
愛知経協, 834, 2-6, 2019
Innovation Management Education in the IoT Era
WASHIZAKI Hironori, UCHIHIRA Naoshi
The Journal of Science Policy and Research Management, 33, 4, 345-351, 2018
An Effectiveness on a Fieldwork with Smart Voice Messaging system
岡田 政則, 内平 直志, 平石 邦彦, 國藤 進
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 117, 301, 41-44, 2017
Analysis of Cooperative Behavior in Nursing and Caregiving Services
Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira
IEICE technical report, 116, 525, 7-10, 2017
On Behavioral Analysis of Nursing and Caregiving Services Using Switched Linear Regression Models
小林 孝一, 平石 邦彦, 崔 舜星, 内平 直志
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 480, 57-60, 2016
Simulation Case Study on Irrational Trade Behavior and Market Growth : Rational Trade Behavior with Perfect Information May Sometime Hinder Market Growth in IoT Era
内平 直志, 佐々木 康朗
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 420, 1-5, 2016
A Decision Theoretic Characterization of Information Supervisory Control
佐々木 康朗, 内平 直志
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 420, 69-74, 2016
Effectiveness of Staff Cooperation by Smart Voice Messaging System under Unpredictable Events
崔 舜星, 平石 邦彦, 内平 直志
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 419, 7-11, 2016
2C03 グローバルな競争・協調環境におけるIoTサービスビジネスデザイン手法(<ホットイシュー>デジタル化時代のイノベーション戦略(1),一般講演)
内平 直志, 石松 宏和, 井上 敬介
年次学術大会講演要旨集, 30, 443-446, 2015
2A08 PBL based on Human Resource Development of the Small and Medium-Sized Enterprises : Win-Win-Win University-Industry Collaboration Projects
Miyake Yumiko, Tozawa Yoshio, Sakamori Kiyoshi, Uchihira Naoshi
工学教育研究講演会講演論文集, 27, 63, 168-169, 2015
AT-3-4 Innovation in Manufacturing Companies by Cyber Physical System : Implication of Industrie4.0 and Industrial Internet
Uchihira Naoshi
Proceedings of the IEICE General Conference, 2015, "SS-42"-"SS-43", 2015
D-9-32 Proposal for a Motivating Method of Knowledge Repository Posting : Relationship Visualization for Intrinsic Motivation
Ariba Jirou, Sasaki Yasuo, Uchihira Naoshi
Proceedings of the IEICE General Conference, 2015, 1, 149-149, 2015
2I03 IT業界のコンセプトトレンドの分析手法(分析と評価(2),一般講演)
片岡 利枝子, 神田 陽治, 内平 直志, 井川 康夫
年次大会講演要旨集, 30, 0, 973-977, 2015
Co-creation Support System for Non-routine tasks based on Koto Data Base
Takuichi Nishimura, Kentaro Watanabe, Ken Fukuda, Naoshi Uchihira, Maiko Kobayakawa, Takeshi Sunaga, Kosuke KurisuYamada, Yuichiro Sakamoto, Hideki Asoh, Yoichi Motomura
IPSJ SIG Notes. ICS, 2014, 8, 1-5, 2014
インタビュー 音声つぶやきによる医療・介護スタッフ間のコミュニケーション支援 (特集 「介護記録」の今・未来)
内平 直志, 鍋谷 晴子
ふれあいケア, 20, 6, 30-35, 2014
New Trends in Service Innovation(NEW TRENDS IN SERVICE INNOVATION)
SHIRAHADA Kunio, UCHIHIRA Naoshi, KOSAKA Michitaka
The journal of science policy and research management, 28, 3, 251-253, 2014
Awareness Support System for Services by Smart Voice Messaging : Organizational Learning on Awareness
内平 直志
人工知能学会全国大会論文集, 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
Temporal-Spatial Collaboration by Smart Voice Messaging in Nursing and Caregiving-System Architecture and Experimental Results-
UCHIHIRA NAOSHI, TORII KENTARO, HIRABAYASHI YUJI, CHOE SUNSEONG, HIRAISHI KUNIHIKO, CHINO TETSURO, SUGIHARA TARO
電子情報通信学会技術研究報告, 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 Service Design Method for Satisfying Both of Energy Saving and Economic Revitalization
Uchihira Naoshi, Sawashima Koichi, Tateyama Yoshisuke, Ogi Tetsuro, Maeno Takashi
Proceedings of the Society Conference of IEICE, 2012, 154-154, 2012
Temporal-Spatial Collaboration Support for Nursing and Caregiving Services
内平 直志, 鳥居 健太郎, 知野 哲朗
人間生活工学, 13, 1, 34-37, 2012
Temporal-Spatial Communication by Smart Voice Messaging in Nursing and Caregiving : Proposal of Information Supervisory Control
UCHIHIRA Naoshi, TORII Kentaro, HIRAISHI Kunihiko, CHOE Sunseong, CHINO Tetsuro, HIRABAYASHI Yuji, SUGIHARA Taro
Technical report of IEICE. 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
Activity of Technical Committee of Concurrent Systems Technology : Messages from Successive Chairpersons
ONAGA Kenji, MATSUMOTO Tadashi, NANIWADA Masaru, WATANABE Toshimasa, NAGAO Yoichi, HASEGAWA Haruo, SHIIZUKA Hisao, TSUJI Kohkichi, UCHIHIRA Naoshi, GE Qi-Wei, USHIO Toshimitsu
IEICE technical report, 110, 370, 45-48, 2011
CST solution competition 2010 Optimization of Multi-Car Elevator Controllers
NAKAMURA Masaki, YAMASAKI Tatsushi, YAMAGUCHI Shingo, MIYAMOTO Toshiyuki, UCHIHIRA Naoshi
IEICE technical report, 110, 370, 1-4, 2011
Activity Recognition using Topic Models for Work Analysis
村上 知子, 田中 俊明, 内平 直志
人工知能学会全国大会論文集, 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
Advanced Technologies for Dependable Systems through Product Lifecycle by Managing Gaps among their Specification, Implementation, and Environment
UCHIHIRA Naoshi
IEICE technical report, 109, 300, 7-12, 2009
Advanced Technologies for Dependable Systems through Product Lifecycle by Managing Gaps among their Specification, Implementation, and Environment
UCHIHIRA Naoshi
IEICE technical report, 109, 301, 7-12, 2009
Advanced technologies for dependable systems through product life cycle by managing gaps among specifications, implementation, and environment
内平 直志
Toshiba review, 64, 8, 2-7, 2009
A Summary of CST Solution Competition 2007 and 2008
YAMAGUCHI Shingo, MIYAMOTO Toshiyuki, UCHIHIRA Naoshi, GE Qi-Wei, HONIDEN Shinichi
IEICE technical report, 109, 73, 59-64, 2009
AI-2-1 CST Solution Competition 2008 : Summary
Yamaguchi Shingo, Miyamoto Toshiyuki, Uchihira Naoshi, Ge Qi-Wei, Honiden Shinichi
Proceedings of the IEICE General Conference, 49, "SS-49"-"SS-50", 2009
CST Solution Competition 2007 : Detailed Results of Computational Evaluation
MIYAMOTO Toshiyuki, YAMAGUCHI Shingo, UCHIHIRA Naoshi, GE Qi-Wei, HONIDEN Shinichi
IEICE technical report, 108, 79, 7-12, 2008
AI-1-5 CST Solution Competition 2007(Summary)
Yamaguchi Shingo, Miyamoto Toshiyuki, Uchihira Naoshi, Ge Qi-Wei, Honiden Shinichi
Proceedings of the IEICE General Conference, 2008, SS.31-SS.32, 2008
AK-2-3 Research Trends on Multi-Car Elevator Group Control Algorithms : Through CST Solution Competition 2007
Yamaguchi Shingo, Miyamoto Toshiyuki, Uchihira Naoshi, Ge Qi-Wei, Honiden Shinichi
Proceedings of the Society Conference of IEICE, 13, "SS-13"-"SS-14", 2008
Evaluation and Consideration on Multi-Car Elevator Group Control Algorithms
Shingo YAMAGUCHI, Toshiyuki MIYAMOTO, Naoshi UCHIHIRA, Qi-Wei GE, Shinichi HONIDEN
IEICE ESS Fundamentals Review, 2, 1, 58-65, 2008
A-12-8 CST Solution Competition 2007 : Problem and Evaluation Tool
Yamaguchi Shingo, Miyamoto Toshiyuki, Uchihira Naoshi, Ge Qi-Wei, Honiden Shinichi
Proceedings of the Society Conference of IEICE, 191-191, 2007
AP-2-5 CST Solution Competition 2007(Overview)
Yamaguchi Shingo, Uchihira Naoshi, Ge Qi-Wei, Honiden Shinichi
Proceedings of the IEICE General Conference, "SS-11", 2007
Analysis and Design Methodology for Product-based Services
内平 直志, 京屋 祐二, 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 Technology Roadmapping for Concurrent System Technology
Uchihira Naoshi
Proceedings of the IEICE General Conference, 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
On Technology Roadmapping for Concurrent System Technology
UCHIHIRA Naoshi
Technical report of IEICE. 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
Net-Oriented Scenario Planning Method : Concept and Example
UCHIHIRA Naoshi
Technical report of IEICE. CST, 101, 212, 37-43, 2001
The testing and debugging method for concurrent programs
岡本 渉, 川田 秀司, 田村 文隆, 内平 直志
全国大会講演論文集, 59, 297-298, 1999
The testing and debugging system for embedded systems using concurrent programs
OKAMOTO Wataru, TAMURA Fumitaka, KAWATA Hideji, UCHIHIRA Naoshi
IPSJ SIG Notes, 1999, 28, 141-148, 1999
Petri Nets : Book and Tool Review
UCHIHIRA Naoshi, HIRAISHI Kunihiko, AOYAMA Mikio
IPSJ Magazine, 39, 1, 67-70, 1998
Testing Control Programs: A Survey
UCHIHIRA Naoshi, KAWATA Hideji
IPSJ Magazine, 39, 1, 19-25, 1998
Hypersequential Programming : A Novel Paradigm for Concurrent Programming
Uchihira Naoshi, Kawata Hideji, Seki Toshibumi, Honiden Shinichi
IPSJ SIG Notes, 96, 58, 1-6, 1996
TA-2-2 Software Design Methodology using High-Level Petri Nets
Uchihira Naoshi, Honiden Shinichi
電子情報通信学会秋季大会講演論文集, 1994, 356-357, 1994
Software Development Methodologies Based on High-Level Petri Nets.
Aoyama Mikio, Hiraishi Kunihiko, Uchihira Naoshi
コンピュータソフトウェア, 11, 4, 259-275, 1994
Software Development Methodologies Based on High-Level Petri Nets.
Aoyama Mikio, Hiraishi Kunihiko, Uchihira Naoshi
Computer Software, 11, 4, 4_259-4_275, 1994
シ-ケンス制御プログラムの検証技術
内平 直志, 荒見 美香子, 川田 秀司
東芝レビュー, 48, 10, p775-778, 1993
高水準ペトリネットによるソフトウェア設計方法論
内平直志
第12回離散事象システム研究会講演論文集, 73-80, 1993
Programming by Communication
内平 直志, 本位田 真一
全国大会講演論文集, 45, 241-242, 1992
仕様獲得と知識獲得：特集「仕様獲得と知識獲得 : ソフトウェアシステムの視点から」の編集にあたって
内平 直志
情報処理, 33, 6, 604-640, 1992
特集「仕様獲得と知識獲得 - ソフトウェアシステムの視点から - 」の編集にあたって
内平 直志
情報処理, 33, 6, -, 1992
Protocol Verification by Temporal Logic : The X.25 Packet Level Protocol
赤嶺 暁子, 内平 直志
全国大会講演論文集, 44, 209-210, 1992
Compositional Adjustment of Concurrent Processes to Satisfy Temporal Logic Constraints in MENDELS ZONE
内平 直志, 荒見 美香子, 本位田真一
情報処理学会研究報告ソフトウェア工学（SE）, 1992, 10, 155-164, 1992
Mechanism of Multiple Analogical Reasoning
脇園竜次, 内平 直志, 本位田真一
情報処理学会研究報告知能と複雑系（ICS）, 1991, 103, 1-10, 1991
The Practical Method to Represent a Large Directed Graph
赤嶺 暁子, 脇園 竜次, 内平 直志
全国大会講演論文集, 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
A Formal Method for Real - Time SA using Algebraic and Temporal Logic Specifications
本位田真一, 大須賀 昭彦, 内平 直志
情報処理学会研究報告ソフトウェア工学（SE）, 1990, 62, 19-26, 1990
An Analysis of Experimental Results on Specification Process for Process Modelling
古宮 誠一, 佐伯 元司, 池 克俊, 大蒔 和仁, 白井 豊, 本位田 真一, 内平 直志, 西村 一彦, 大槻 繁, 蓬莱 尚幸, 加藤 潤三, 大林 正晴, 松浦 佐江子, 上林 憲行, 荒谷 徹, 大木 幹雄, 松田 元彦, 村井 進
全国大会講演論文集, 40, 1051-1052, 1990
A Combined Approach of Linear Integer Programming and Temporal Logic to the Reachability Problem in Petri Nets
伊藤 潔, 本位田真一, 内平 直志, 志田 圭介
情報処理学会研究報告知能と複雑系（ICS）, 1990, 4, 1-10, 1990
An Application of Artificial Intelligence to the Process of Prototyping Real - time Systems
本位田真一, 内平 直志, 松本 一教, 伊藤 潔
情報処理学会研究報告ソフトウェア工学（SE）, 1989, 106, 1-10, 1989
Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic (Preliminary Report)
内平 直志, 本位田真一
情報処理学会研究報告ソフトウェア工学（SE）, 1989, 101, 1-8, 1989
An Analysis of Experimental Results on Specification Processes for Process Modeling
古宮 誠一, 佐伯 元司, 池 克俊, 大蒔 和仁, 白井 豊, 本位田真一, 内平 直志, 西村 一彦, 大槻 繁, 蓬莱尚幸, 加藤潤三, 大林 正晴, 松浦 依江子, 上林 憲行, 荒谷 徹, 大木 幹雄, 松田 元彦, 村井 進
情報処理学会研究報告ソフトウェア工学（SE）, 1989, 101, 1-8, 1989
知的プログラミングシステム (AI技術<特集>)
中村 英夫, 本位田 真一, 内平 直志
東芝レビュー, 44, 10, p810-813, 1989
Temporal Logics and Their Applications
MATSUMOTO KAZUNORI, UCHIHIRA NAOSHI, HONIDEN SHINICHI
IPSJ Magazine, 30, 6, p651-657, 1989
The Debugging Environment for Specification Language based on PTL
西村 一彦, 内平 直志
全国大会講演論文集, 38, 1294-1295, 1989
Automatic Programming for Stream II : Transformational Implementation
内平 直志
IPSJ Magazine, 30, 1, 80-81, 1989
知的分散システム上のペトリネットに基づく並行プログラミング言語
内平直志
信学技報, CPSY89-34, 1989
PRACTICAL TEMPORAL SPECIFICATION LANGUAGE AND PLAN SYNTHESIS
内平 直志, 川田 秀司
情報処理学会研究報告知能と複雑系（ICS）, 1988, 66, 1-10, 1988
Synchronization part synthesis from Temporal Logic
内平 直志, 川田 秀司, 本位田 真一
全国大会講演論文集, 37, 922-923, 1988
Body part Construction with Reusable Components
伊藤 美香子, 内平 直志, 本位田 真一
全国大会講演論文集, 37, 920-921, 1988
Intelligent Programming System for Concurrent Programs MENDELS(1) : System Overview
本位田 真一, 内平 直志, 松本 一教
全国大会講演論文集, 37, 918-919, 1988
Automatic Programming for Control Systems
HONIDEN SHINICHI, UCHIHIRA NAOSHI, NAKAMURA HIDEO
IPSJ Magazine, 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