内平直志

J-GLOBALへ         更新日: 19/10/16 03:03
 
アバター
研究者氏名
内平直志
 
ウチヒラ ナオシ
URL
https://kaken.nii.ac.jp/d/r/30393838.ja.html
所属
北陸先端科学技術大学院大学
部署
知識科学系
職名
教授
学位
博士(工学)(東京工業大学), 博士(知識科学)(北陸先端科学技術大学院大学)
科研費研究者番号
30393838
ORCID ID
0000-0002-8107-089X

研究分野

 
 

経歴

 
2013年4月
   
 
北陸先端科学技術大学院大学 教授
 
1982年4月
 - 
2013年3月
株式会社 東芝
 

学歴

 
1978年4月
 - 
1982年3月
東京工業大学 理学部 情報科学科
 

受賞

 
1992年4月
電子情報通信学会 第4回回路とシステム 軽井沢ワークショップ 奨励賞
 
1986年5月
情報処理学会 1986年度情報処理学会論文賞
 
2014年9月
サービス学会 第2回サービス学に関する国際会議 最優秀論文賞
 
2014年7月
人工知能学会 2014年度人工知能学会 全国大会優秀賞
 
2014年3月
知識共創フォーラム実行委員会 第4回知識共創フォーラム 奨励賞
 

論文

 
Toshiki Mori,Naoshi Uchihira
Empirical Software Engineering   24(2) 779-825   2019年4月   [査読有り]
© 2018, Springer Science+Business Media, LLC, part of Springer Nature. Context: Classification techniques of supervised machine learning have been successfully applied to various domains of practice. When building a predictive model, there are two...
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
Proceedings - 2018 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2018   2025-2030   2019年1月
© 2018 IEEE. The authors' group is developing an ICT-based system, called the smart voice messaging system, that assists working staff in cooperation, knowledge sharing, and recording observations. As an operation scheme for the system, we propose...
Yasuo Sasaki, Jader Zelaya, Naoshi Uchihira
PICMET 2018 - Portland International Conference on Management of Engineering and Technology: Managing Technological Entrepreneurship: The Engine for Economic Growth, Proceedings      2018年10月
© 2018 Portland International Conference on Management of Engineering and Technology, Inc. (PICMET). Since we live immersed in organizational systems, understanding the set of competencies that are required for individuals to behave successfully i...
Yang Wang, Naoshi Uchihira, Yasushi Ogawa
PICMET 2018 - Portland International Conference on Management of Engineering and Technology: Managing Technological Entrepreneurship: The Engine for Economic Growth, Proceedings      2018年10月
© 2018 Portland International Conference on Management of Engineering and Technology, Inc. (PICMET). Offshore RD in developing countries such as China and India has increased in recent years. Meanwhile, because of the high uncertainty in offshore ...
Rieko Kataoka, Naoshi Uchihira, Yasuo Ikawa
PICMET 2018 - Portland International Conference on Management of Engineering and Technology: Managing Technological Entrepreneurship: The Engine for Economic Growth, Proceedings      2018年10月
© 2018 Portland International Conference on Management of Engineering and Technology, Inc. (PICMET). In information technology, new concept words appear every few years and affect the business environment. In several cases, the core technologies a...
Kenichiro Banka, Naoshi Uchihira
PICMET 2018 - Portland International Conference on Management of Engineering and Technology: Managing Technological Entrepreneurship: The Engine for Economic Growth, Proceedings      2018年10月
© 2018 Portland International Conference on Management of Engineering and Technology, Inc. (PICMET). In recent years, information technology (IT) companies as IT providers have developed not only IT systems but also related services for users. The...
片岡 利枝子, 井川 康夫, 内平 直志
技術と経済 = Technology and economy   (620) 58-72   2018年10月
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
2017 Asian Control Conference, ASCC 2017   2018-January 1351-1356   2018年2月
© 2017 IEEE. A type of services that requires human physical actions and intelligent decision making can be found in various real fields, such as services by floor staff in hotels/restaurants and caregiving by nurses in hospitals/nursing homes. Th...
大島 丈史, 内平 直志
国際P2M学会誌   13(1) 121-141   2018年
プロジェクトマネジャーに必要とされる知識には、形式知化が容易なものと難しいものがある。定量的管理プロセスに関する知識は比較的形式知化が容易であるが、リスクの特定や問題への対策検討などは経験や暗黙知の占める部分が多く、知識継承が難しい。近年のAI(人工知能)技術の進展に伴い、異常の予測等の暗黙知の領域についても、AI技術の活用によって補完する取組みが行われ始めている。本稿では、ソフトウェア開発におけるプロジェクトマネジメントの知識を、形式知化やシステム化の可否、AIによる代替または補完の可能...
Kunihiko Hiraishi,Naoshi Uchihira,Sunseong Choe,Koichi Kobayashi
IEEE International Conference on Systems, Man, and Cybernetics, SMC 2018, Miyazaki, Japan, October 7-10, 2018   2025-2030   2018年   [査読有り]
Koichi Kobayashi,Kunihiko Hiraishi,Sunseong Choe,Naoshi Uchihira
IEEE 6th Global Conference on Consumer Electronics, GCCE 2017, Nagoya, Japan, October 24-27, 2017   2017-January 1-4   2017年12月   [査読有り]
© 2017 IEEE. Analysis of human behaviors is important in several research fields such as service science. In this paper, a method of model-based analysis of human behaviors is studied. First, a switched linear regression model is introduced. Using...
Yumiko Miyake, Naoshi Uchihira
PICMET 2017 - Portland International Conference on Management of Engineering and Technology: Technology Management for the Interconnected World, Proceedings   2017-January 1-7   2017年11月
© 2017 PICMET. As business things change rapidly, various issues occur. It is important to resolve these issues by projects. Therefore, it is necessary for an organization to develop project manager (PM) to be in charge of the projects to achieve ...
Naoshi Uchihira, Nawarerk Chalarak, Srigowtham Arunagiri
PICMET 2017 - Portland International Conference on Management of Engineering and Technology: Technology Management for the Interconnected World, Proceedings   2017-January 1-6   2017年11月
© 2017 IEEE. In the current competitive global business environment, global collaboration in an ecosystem becomes very important to strengthen a company's core competencies. We classify global resources into three types: knowledge resources, manuf...
Yasuo Sasaki,Naoshi Uchihira
2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017, Banff, AB, Canada, October 5-8, 2017   2017-January 2285-2290   2017年11月   [査読有り]
© 2017 IEEE. This paper provides a game theoretical characterization of information supervisory control problems. Information supervisory control deals with indirect control of human behavior by controlling information distribution. For an arbitra...
Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira
IFAC-PapersOnLine   50 4582-4587   2017年7月
© 2017 In order to improve quality of nursing and caregiving services, it is important to analyze behaviors of service providers. Then, it is hard to directly analyze time series data. It is appropriate to find changing points and patterns of beha...
Naoshi Uchihira, Hirokazu Ishimatsu, Keisuke Inoue
PICMET 2016 - Portland International Conference on Management of Engineering and Technology: Technology Management For Social Innovation, Proceedings   1195-1201   2017年1月
© 2016 Portland International Conference on Management of Engineering and Technology, Inc. Internet of Things (IoT) is now making a new industrial revolution, which includes 'Industrie4.0' in Germany, 'Industrial Internet' in US, 'Made in China 20...
Tetsuro Sorabayashi, Yasuo Sasaki, Naoshi Uchihira
PICMET 2016 - Portland International Conference on Management of Engineering and Technology: Technology Management For Social Innovation, Proceedings   2493-2498   2017年1月
© 2016 Portland International Conference on Management of Engineering and Technology, Inc. Effective technology marketing that extracts potential needs from customers and matches them with a manufacturer's core technology seeds is very important i...
Yoshihisa Segawa, Naoshi Uchihira, Yasuo Ikawa
PICMET 2016 - Portland International Conference on Management of Engineering and Technology: Technology Management For Social Innovation, Proceedings   2869-2875   2017年1月
© 2016 Portland International Conference on Management of Engineering and Technology, Inc. This paper examines knowledge creation through transfer of contradictory viewpoints between designs & production engineering (PE) to achieve quick turn acti...
Rieko Kataoka, Naoshi Uchihira, Yasuo Ikawa
PICMET 2016 - Portland International Conference on Management of Engineering and Technology: Technology Management For Social Innovation, Proceedings   1983-1992   2017年1月
© 2016 Portland International Conference on Management of Engineering and Technology, Inc. In information technology (IT), new concept words appear every few years and affect the business environment. In several cases, the core technologies and ar...
瀬川 良久, 内平 直志, 井川 康夫
開発工学   37(1) 41-47   2017年
<p>This paper analyzes initial objectives and latest status of mergers and acquisitions (M&A) in which global Electronics Manufacturing Service (EMS) firms have acquired plants from Japanese firms in the early 2000's. The results indicate that fir...
三宅 由美子, 上村 隆幸, 内平 直志
国際P2M学会誌   12(1) 36-54   2017年
プロジェクトマネジメントは、業種業態に関わらず、多くの社会人が活用できるスキルの1つである。プロジェクト型の組織であれば、プロジェクトマネジメントを習得する機会が多いが、日本の多くの組織は階層型であり、プロジェクトマネジメントを習得する機会が多いとは言えない。大学院のPBL (Project Based Learning)活動において、学生と協力企業の従業員はともに、プロジェクトマネジメントの知識を向上させることができる。本論文では、学生と協力企業の従業員の両者がプロジェクトマネジメントの...
三宅 由美子, 内平 直志
国際P2M学会誌   11(2) 47-61   2017年
情報システム開発の受注型のプロジェクトは、ソフトウェアを含めた成果物を委託者に引継ぐ。本研究では、情報システム開発を受託する大企業に所属する8名のプロジェクト・マネジャー(PM)に対して、引継ぎの実態をインタビュー調査した。その結果、PMは引継ぎのために、委託者のプログラムを意識して、成果物だけではなく、開発において蓄積した知識を引継ぐ能力を求められることが明らかになった。それは、委託者の情報システムに対する要件を認識し、開発のプロジェクトにおいて取得した知識を、委託者を介し、運用担当に引...
Kunihiko Hiraishi,Naoshi Uchihira,Sunseong Choe,Koichi Kobayashi
2017 11TH ASIAN CONTROL CONFERENCE (ASCC)   1351-1356   2017年   [査読有り]
The Role of Bridge Managers in Global R&D Projects
Uchihira Naoshi, Chalarak Nawarerk, Arunagiri Srigowtham
2017 PORTLAND INTERNATIONAL CONFERENCE ON MANAGEMENT OF ENGINEERING AND TECHNOLOGY (PICMET)      2017年   [査読有り]
Naoshi Uchihira
2016 IEEE 5th Global Conference on Consumer Electronics, GCCE 2016      2016年12月
© 2016 IEEE. In the era of cloud computing and the Internet of Things, fast product and service evolution has become a strong competitive advantage. Thus, the business model, business process, and system & software of the target product and servic...
Kenji Hisazumi,Shigeru Ishida,Mitsuhiro Matsuda,Yukihiro Mihara,Naoshi Uchihira
Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2016, Pittsburgh, Pennsylvania, USA, October 1-7, 2016   5:1-5:6   2016年10月   [査読有り]
© 2016 ACM. This paper proposes an education course that will allow developers to gain the skills to become aware of problems, learn how to cope with them, and prevent recurring problems. Through the case study, the course will give generalized kn...
三宅 由美子, 内平 直志
国際P2M学会誌   11(1) 122-135   2016年
受注型のプロジェクトで開発したソフトウェアは、顧客を通して運用担当に引継がれる。ソフトウェアは、運用段階で顧客が利用して、初めて価値が創出する。開発プロジェクトは、ソフトウェア開発の各段階で創造した価値を運用に引継ぐことを意識することが必要である。しかし、引継ぎのプロセスは、顧客との契約によって異なるため、具体的な手順として示すことが難しい。そのため、P2M視点によるソフトウェア開発プロジェクトにおける「運用を意識した引継ぎモデル」を作成した。本モデルは、プロジェクトライフサイクルを通して...
Naoshi Uchihira
IEEE 5th Global Conference on Consumer Electronics, GCCE 2016, Kyoto, Japan, October 11-14, 2016   1-4   2016年   [査読有り]
Naoshi Uchihira, Hirokazu Ishimatsu, Shigeaki Sakurai, Yoshiteru Kageyama, Yuji Kakutani, Kazunori Mizushima, Hiroshi Naruse, Susumu Yoneda
Technology in Society   43 173-182   2015年11月
© 2015 Elsevier Ltd. With the popularization of high-speed and high-capacity communication infrastructure, Machine-to-Machine (M2M) communication has received significant attention. However, even though the related technologies have been actively ...
村上 知子, 鳥居 健太郎, 長 健太, 内平 直志
人工知能学会論文誌   29(5) 427-435   2014年
Thanks to the popularization of information and communication technology, the nurses work using mobile devices to communicate with co-workers and record nursing care at hospital. In this paper, aiming to facilitate nursing care, we propose a metho...
Taro Sugihara,Yuji Hirabayashi,Kentaro Torii,Tetsuro Chino,Naoshi Uchihira
Universal Access in Human-Computer Interaction. Aging and Assistive Environments - 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part III   387-394   2014年   [査読有り]
平林裕治, 内平直志, 鳥居健太郎
デジタルプラクティス   4(3) 212-217   2013年7月
看護・介護における行動型サービスを支援するシステムを「問題解決型サービス科学研究開発」プログラムにおける産学連携プロジェクトで開発した.本論文では,プロジェクトの概要と成果の1つである介護サービス可視化・評価システムを説明し,実際の介護施設で試行評価した結果からシステムの有効性を考察する.具体的には,介護サービス可視化・評価システムで,ケアスタッフのつぶやきと位置情報を統合して可視化することで,これまで現場で漠然と感じていた課題を事実に基づいて把握して,改善点を抽出するときに有効であること...
Tetsuro Chino,Kentaro Torii,Naoshi Uchihira,Yuji Hirabayashi
Human Work Interaction Design. Work Analysis and HCI - Third IFIP WG 13.6 Working Conference, HWID 2012, Copenhagen, Denmark, December 5-6, 2012, Revised Selected Papers   35-45   2013年   [査読有り]
Tetsuro Chino,Kentaro Torii,Naoshi Uchihira,Yuji Hirabayashi
IJSKD   5(2) 18-33   2013年   [査読有り]
Kunihiko Hiraishi,Sunseong Choe,Kentaro Torii,Naoshi Uchihira,Toshiaki Tanaka
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012, Seoul, Korea (South), October 14-17, 2012   1449-1454   2012年   [査読有り]
Sun K. Kim,Kosuke Ishii,Kurt A. Beiter,Naoshi Uchihira,Yuji Kyoya
IJSTM   13(1/2) 40-62   2010年   [査読有り]
Naoshi Uchihira,Yuji Kyoya,Sun K. Kim,Katsuhiro Maeda,Masanori Ozawa,Kosuke Ishii
JIP   16 13-26   2008年   [査読有り]
Analysis and design methodology for product-based services
Uchihira Naoshi, Kyoya Yuji, Kim Sun K., Maeda Katsuhiro, Ozawa Masanori, Ishii Kosuke
NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE   4914 13-+   2008年   [査読有り]
Uchihira Naoshi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES   E90A(11) 2443-2448   2007年11月   [査読有り]
Naoshi Uchihira
IEICE Transactions   90-A(11) 2443-2448   2007年   [査読有り]
Uchihira Naoshi, Kyoya Yuji, Kim Sun K., Maeda Katsuhiro, Ozawa Masanori, Ishii Kosuke
PICMET '07: PORTLAND INTERNATIONAL CENTER FOR MANAGEMENT OF ENGINEERING AND TECHNOLOGY, VOLS 1-6, PROCEEDINGS   2755-2762   2007年   [査読有り]
Keiichi Handa,Shigeru Matsumoto,Masashi Nakamoto,Naoshi Uchihira
IEICE Transactions   88-A(6) 1481-1486   2005年1月   [査読有り]
Investment planning for power plants involves making a long-term plan covering various facility investments, such as the construction of a new power plant or the replacement of an old plant with a new one, under uncertain environments. In this pap...
Naoshi Uchihira
IEICE Transactions   88-A(4) 941-947   2005年1月   [査読有り]
Hypersequential programming is a new method of concurrent-program development in which the original concurrent program is first serialized, then tested and debugged as a set of sequential programs (scenarios), and finally restored into the target ...
武田 朗子, 内平 直志, 中本 政志, 松本 茂
日本経営工学会論文誌   56(5) 366-376   2005年
多期間の発電設備投資計画を立てる際には,「最少の費用で将来の需要を安定に満足するためには,どのタイプの設備をいつ建設や廃却すればよいか」といった意思決定を行うが,不確実性状況下においては原料価格の不安定さ,将来需要の動向等の不確実性要因を考慮した意思決定が要求される.そこで不確実性に起因するリスクを考慮しつつ生産活動における経済性や供給安定性を満たす設備投資計画問題を,0-1整数計画問題として定式化する.その問題を,動的計画法を用いて期毎の小規模線形計画問題に分解してそれらを逐次解いてゆく...
Naoshi Uchihira
Proceedings of the SICE Annual Conference   665-670   2004年12月
Hypersequential programming is a new way of concurrent-program development, in which the original concurrent program is first serialized, then tested and debugged as a set of sequential programs (scenarios), and finally restored into the target co...
Naoshi Uchihira
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences   E86-A 2721   2003年1月
Naoshi Uchihira,Hideji Kawata,Fumitaka Tamura
International Journal of Parallel Programming   28(2) 155-157   2000年1月   [査読有り]
Hypersequential programming is a new paradigm of concurrent programming. The original concurrent program is first serialized, then the sequential version is tested and debugged, and finally the target concurrent program is synthesized by paralleli...
Chris Rudram, Peter Croll, Naoshi Uchihira
Proceedings - International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999   205-209   1999年1月
© 1999 IEEE. A novel concurrent programming paradigm called hypersequential programming (HSP) is being developed. HSP aims to eliminate all undesirable behaviours from a given application. A fundamental part of that system requires the use of test...
Chris Rudram,Peter R. Croll,Naoshi Uchihira
International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999, Los Angeles, California, USA, May 17-18, 1999   205-209   1999年1月   [査読有り]
A novel concurrent programming paradigm called 'Hypersequential Programming' (HSP) is being developed. HSP aims to eliminate all undesirable behaviours from a given application. A fundamental part of that system requires the use of test cases for ...
P. Croll, C. Rudram, C. Chambers, N. Uchihira
Proceedings - 24th EUROMICRO Conference, EURMIC 1998   1 445-452   1998年1月
© 1998 IEEE. Reactive computer control systems need to track the behaviour of their inherently parallel physical environment. Hence, most non-trivial industrial applications may depend on concurrent modelling techniques to handle system complexiti...
Naoshi Uchihira
1st International Conference on Application of Concurrency to System Design (ACSD '98), 23-26 March 1998, Fukushima, Japan   1998-March 16-23   1998年1月   [査読有り]
© 1998 IEEE. In this paper Several approaches to making concurrent programs highly reliable are surveyed. State space analysis including model checking is the most promising formal verification approach for concurrent programs. However, it is not ...
Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki
IEEE Concurrency   5 44-54   1997年7月
Hypersequential programming can produce a highly reliable concurrent program, by precluding the injection of harmful nondeterminism. This method serializes, the program to remove all types of nondeterminism (intended, harmful, and persistent). The...
内平 直志, 本位田真一
情報処理学会論文誌   38(1) 101-113   1997年1月
ペトリネットは 図式表現 実行可能性 数学的解析可能性を持つ並行システムの記述手段であり 並行ソフトウェア設計においても活発に利用されている.特に いくつかのソフトウェア設計法では 設計チャートのひとつとして採用されている.しかし これらの設計法では ペトリネットを挙動設計のための状態遷移モデルとして使っているにすぎず ペトリネットの長所である状態遷移とデータフローを一元的に扱える多義性を十分生かしたものは少なかった.本論文では ペトリネットに基づく並行ソフトウェアの設計法(三段階ネット指...
Naoshi Uchihira, Hideji Kawata, Fumitaka Tamura
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   1336 267-280   1997年1月
© Springer-Verlag Berlin Heidelberg 1997. Hypersequential programming is a new paradigm of concurrent programming in which the original concurrent program is first serialized, then tested and debugged as a sequential program and finally restored i...
Naoshi Uchihira, Hideji Kawata
International Workshop on Software Engineering for Parallel and Distributed Systems, Proceedings   277-283   1997年1月
Hypersequential programming is a new paradigm of concurrent programming in which the original concurrent program is first serialized, then tested and debugged as a sequential program, and finally restored into the target concurrent program by para...
Hideji Kawata, Naoshi Uchihira
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics   4 3186-3191   1996年12月
This paper proposes SAVE/SFC (Simulation and Verification Environment for SFC), which supports validation of sequence control programs written by SFC for chemical plant control systems. SAVE/SFC has four characteristic features: (1) automatic gene...
Naoshi Uchihira, Shinichi Honiden
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences   E79-A 1797-1808   1996年1月
This paper concerns a Petri-net-based model for describing reactive and concurrent systems. Although many high-level Petri nets have been proposed, they are insufficiently practical to describe reactive and concurrent systems in the detail modelin...
Naoshi Uchihira, Shinichi Honiden
Journal of Systems and Software   33 207-221   1996年1月
In this paper, we examine "program adjustment", a formal and practical approach to developing correct concurrent programs, by automatically adjusting an imperfect program to satisfy given constraints. A concurrent program is modeled by a finite st...
Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira
Information and Software Technology   38 181-189   1996年1月
MENDELS ZONE is a formal specification-based practical parallel program development system on an MIMD machine with 64 processors. It has been applied to the several practical applications: one such application is described in formal specifications...
Naoshi Uchihira, Hideji Kawata
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences   E78-A 1487-1497   1995年11月
This paper proposes a practical method of program validation for state-based reactive concurrent systems. The proposed method is of particular relevance to plant control systems. Plant control systems can be represented by extended state transitio...
N. Uchihira, S. Honiden
Proceedings of the Annual Hawaii International Conference on System Sciences   2 359-368   1995年1月
© 1995 IEEE. Examines »program adjustment», a formal and practical approach to developing correct concurrent programs, by automatically adjusting an imperfect program to satisfy given constraints. A concurrent program is modeled by a finite-state ...
Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh
IEEE Transactions on Software Engineering   20 849-867   1994年1月
This paper describes an application of artificial intelligence technology to the implementation of a rapid prototyping method in Object-Oriented Performance Design (OOPD) for real-time systems. OOPD consists of two prototyping phases for real-time...
Naoshi Uchihira
Systems and Computers in Japan   25 1-16   1994年1月
The temporal logic model checking method is very useful for verification of concurrent programs that can be expressed by finite state transition systems. However, a major drawback to using this method is that as the scale of the programs increases...
内平 直志
電子情報通信学会論文誌. D-I, 情報・システム, I-コンピュータ = The transactions of the Institute of Electronics, Information and Communication Engineers   75(2) 76-87   1992年2月
本位田真一, 大須賀 昭彦, 内平 直志
情報処理学会論文誌   33(2) 173-182   1992年2月
本論文では形式的仕様記述手法が実用に供せられるための種々の課題に対して以下の解決案を示しているまず 分析フェーズにはりアルタイムSA 設計フェーズにはオブジェクト指向設計を採用し さらにフェーズ間の流れをできる限り自然にすることを試みているその際に データや機能に関する記述には代数的仕様 同期やイベントの記述には時制論理を適用するまた 代数的仕様による記述内容の検証には 項書換え系を採用し 正しさの保証されたプログラムを生成するために時制論理の定理証明系を採用する以上の過程を経て 最後にA...
Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira
IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design   102-109   1991年10月
© 1991 IEEE. This paper discusses several requirements to put formal specifications into practical use in real-time systems, and an integration environment called MENDELS ZONE to satisfy them. The integration environment includes algebraic specifi...
Shinichi Honiden, Naoshi Uchihira, Kiyoshi Itoh
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   550 LNCS 189-209   1991年1月
© Springer-Verlag Berlin Heidelberg 1991. This paper describes an application of artificial intelligence technology to the implementation of a rapid prototyping method in Object-Oriented Performance Design (OOPD) for real-time systems. A prototypi...
Shinichi Honiden, Naoshi Uchihira, Kazunori Matsumoto, Kazuo Matsumura, Masahiko Arai
Real-Time Systems   1 313-331   1990年4月
This paper presents an application of structural modeling and automated reasoning as a software development environment for real-time systems. This application satisfies two major requirements for such an environment: (1) to synthesize an absolute...
Naoshi Uchihira, Hideji Kawata, Kazunori Matsumoto, Mikako Ito, Shinichi Honiden
Proceedings of the Hawaii International Conference on System Science   2 64-73   1990年1月
The authors describe a concurrent program synthesis system (Mendels Zone) consisting of reusable software using temporal logic and Petri nets. The concurrent program consists of nonsynchronization parts (called body parts) and synchronization part...
S. Honiden, N. Uchihira, K. Matsumoto, K. Matsumura, M. Arai
Proceedings of the Hawaii International Conference on System Science   2 134-141   1989年12月
An application of structual modeling and automated reasoning as an intelligent software development environment for concurrent programs is presented. This application, using an integration of software reuse and theorem-proving methods, synthesizes...
Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   315 LNCS 50-68   1988年1月
© 1988, Springer-Verlag. A concurrent program synthesis system called MENDELS is proposed. A concurrent programming language MENDEL/87, that is a target language for program synthesis, is also provided. MENDELS consists of two parts: (1) retrievin...
Naoshi Uchihira, Toshiaki Kasuya, Kazunori Matsumotot, Shinichi Honiden
Proceedings - IEEE Computer Society's International Computer Software &amp; Applications Conference   455-464   1987年12月
A concurrent programming model is provided which is oriented to data stream, software reuse, and prototyping. Based on this model, a program synthesis method is described that consists of two parts: (1) retrieving and interconnecting components fr...
Shinichi Honiden, Naomichi Sueda, Akira Hoshi, Naoshi Uchihira, Kazuo Mikame
Journal of information processing   9 123-129   1986年12月
Recently, a prototyping method has attracted attention as a software specification method. This paper proposes a prototyping method with reusable components based on knowledge engineering. This method provides support to even non-expert personnel ...
本位田真一, 内平 直志, 大須賀 昭彦, 粕谷利明
情報処理学会論文誌   27(2) 219-227   1986年2月
知識プログラミング・システムはオブジェクト指向や 知識ベースなどを統合化したマルチパラダイム型言語であるが その適用分野として 単にエキスパート・システムの記述以外に シミュレータ記述 ソフトウェア仕様記述などに有効性が見いだされている.ソフトウェアの部品検索 プロトタイピング・ツールおよび知識ベースの効率的な検索への適用を主たる目的として論理型プログラミング言語を基底とした 並列型オブジェクト指向言語である推論型システム記述言語MENDEL(MEta iNferential system...
Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   221 LNCS 108-116   1986年1月
© 1986, Springer-Verlag. Software prototyping with MENDEL, which is Prolog based concurrent object oriented language, is described. MENDEL can deal with following characteristics such as: 1) meta inference, 2) object concurrency, 3) linkage to C l...
Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya
Proceedings - IEEE Computer Society International Conference   230-234   1986年1月
The concurrent object-oriented language MENDEL (MEta iNferential system DEscription Language), which is based on Prolog, is described. The characteristics of MENDEL include a meta-inference mechanism, object concurrency, and propositional temporal...

Misc

 
内平 直志
研究技術計画 = The journal of science policy and research management   33(4) 334-344   2018年
鷲崎 弘宜, 内平 直志
研究技術計画 = The journal of science policy and research management   33(4) 345-351   2018年
白肌 邦生, 内平 直志, 小坂 満隆
研究技術計画   28(3) 251-253   2014年2月
In this opening article, the authors describe the background of this special issue. Service innovations are now required for both economic growth and social well-being improvement. The aim of the special issue is to encourage new perspectives and ...
内平 直志
サービソロジー   1(2) 14-17   2014年
本プロジェクトでは,看護・介護サービスのコミュニケーションに焦点を絞り,サービスの質に大きく影響するケアスタッフの「気づき」を,音声を使って現場で簡単に記録・収集し,それをケアスタッフ間で連絡・共有し,ケアの質を向上する手法およびシステムを開発した.さらに,介護施設で試行評価を行い,有効性を検証した.以下では,プロジェクトの目的,開発したシステムおよび試行評価の概要を紹介するとともに,今後の研究の展開について述べる.
内平 直志
JAISTサービス・イノベーションレポート = JAIST service innovation report   (4) 13-19   2013年
内平 直志, 鳥居 健太郎, 知野 哲朗
人間生活工学   13(1) 34-37   2012年3月
内平 直志
JAISTサービス・イノベーションレポート   (1) 25-28   2010年11月
内平 直志, 小林 英樹, 中根 林太郎
精密工学会誌   75(4) 471-474   2009年
内平 直志, Naoshi Uchihira
人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence   22(6) 754-762   2007年11月
半田 恵一, 内平 直志
東芝レビュー   59(6) 34-38   2004年6月
内平 直志, 平石 邦彦, 青山 幹雄
情報処理   39(1) 67-70   1998年1月
内平 直志, 川田 秀司
情報処理   39(1) 19-25   1998年1月
内平 直志, 川田 秀司
計測と制御 = Journal of the Society of Instrument and Control Engineers   35(10) 763-769   1996年10月
青山 幹雄, 平石 邦彦, 内平 直志
コンピュータソフトウェア   11(4) 259-275   1994年7月
青山 幹雄, 平石 邦彦, 内平 直志
コンピュータ ソフトウェア   11(4) 4_259-4_275   1994年
<p></p>
内平 直志, 荒見 美香子, 川田 秀司
東芝レビュー   48(10) p775-778   1993年10月
中村 英夫, 本位田 真一, 内平 直志
東芝レビュー   44(10) p810-813   1989年10月
松本 一教, 内平 直志, 本位田 真一
情報処理   30(6) p651-657   1989年6月
本位田 真一, 内平 直志, 中村 英夫
情報処理   28(10) p1398-1404   1987年10月
本位田, 内平 直志, 松本 一教
オペレーションズリサーチ   32(9) 612-618   1987年

書籍等出版物

 
高梨 千賀子, 福本 勲, 中島 震, 内平 直志, 大谷 純, 小川 紘一, 中村 公弘, 野中 洋一, 山本 宏
近代科学社   2019年   ISBN:9784764905894
内平 直志
ミネルヴァ書房   2019年   ISBN:9784623080618
内平 直志
内平直志   2010年   
International Symposium on Software Engineering for Parallel and Distributed Systems, IEEE Computer Society, Krämer Bernd, 内平 直志, Croll Peter, Russo Stefano
IEEE Computer Society   1998年   ISBN:0818684674
青山 幹雄, 内平 直志, 平石 邦彦, システム制御情報学会
朝倉書店   1995年   ISBN:4254209738

講演・口頭発表等

 
内平 直志, 吉田 正巳
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   2019年1月15日   
森 俊樹, 内平 直志
国際P2M学会研究発表大会予稿集   2019年   
プロジェクトおよびプログラムにおけるリスクマネジメントの重要性は広く認識されており、そのプロセスは概ね標準化されているにも関わらず、効果的な実践や定着化が困難となっている実態がある。その根本原因として、「リスクという不確実性を伴う事象に対する、トレードオフを伴う意思決定の難しさ」があると考えられる。本論文では、リスクマネジメントの本質的な課題に対して、取引コスト理論およびプロスペクト理論を用いて分析・考察するとともに、リスクマネジメントのさらなる高度化に向けて、機械学習と知識創造の統合アプ...
早貸 舜, 平石 邦彦, 内平 直志
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   2018年3月12日   
大島 丈史, 内平 直志
国際P2M学会研究発表大会予稿集   2018年   
プロジェクトマネジャーに必要とされる知識には、形式知化が容易なものと難しいものがある。定量的管理プロセス等は比較的形式知化が容易であるが、リスクの特定や問題への対策検討などは経験や暗黙知の占める部分が多く、組織での知識継承が難しい。近年のAI(人工知能)技術の進展に伴い、異常の予測等の暗黙知の領域についても、AIの活用によって補完する取組みも行われ始めている。本稿では、ソフトウェア開発プロジェクトを中心として、プロジェクトマネジメントの知識を、形式知化やシステム化の可否やAIによる代替また...
岡田 政則, 内平 直志, 平石 邦彦, 國藤 進
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   2017年11月16日   

担当経験のある科目

 

特許

 
岩田 憲治, 鳥居 健太郎, 内平 直志, 知野 哲朗
鳥 居 健太郎, 内 平 直 志, 知 野 哲 朗, 相 田 聡
鳥 居 健太郎, 内 平 直 志, 知 野 哲 朗, 相 田 聡
知野 哲朗, 鳥居 健太郎, 内平 直志, 田中 俊明

社会貢献活動

 
International Symposium on Software Engineering for Parallel and Distributed Systems
【】  Naoshi Uchihira (Co-Chair)  (kyoto)  1998年