Naoshi Uchihira

J-GLOBAL         Last updated: Oct 16, 2019 at 03:03
 
Avatar
Name
Naoshi Uchihira
Affiliation
Japan Advanced Institute of Science and Technology
Section
School of Knowledge Science
Degree
Ph.D from Tokyo Institute of Technology(1997), Ph.D from Japan Advanced Institute of Science and Technology(2010)
Research funding number
30393838
ORCID ID
0000-0002-8107-089X

Research Areas

 
 

Academic & Professional Experience

 
Apr 1982
 - 
Mar 2013
Toshiba Corporation
 

Awards & Honors

 
Sep 2014
The 2nd International Conference on Serviceology, Best Paper Award, Society of Serviceology
 
Jul 2014
JSAI Annual Conference Award 2014, Japan Society of Artificial Intelligence
 
Mar 2014
THE 4th FORUM ON KNOWLEDGE CO-CREATION Seeds Session Award, Committee of FORUM ON KNOWLEDGE CO-CREATION
 
2007
JSAI Annual Conference Award 2007, Japan Society of Artificial Intelligence
 

Published Papers

 
Toshiki Mori,Naoshi Uchihira
Empirical Software Engineering   24(2) 779-825   Apr 2019   [Refereed]
© 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   Jan 2019
© 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      Oct 2018
© 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      Oct 2018
© 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      Oct 2018
© 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      Oct 2018
© 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   Oct 2018
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
2017 Asian Control Conference, ASCC 2017   2018-January 1351-1356   Feb 2018
© 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...
Oshima Takeshi, Uchihira Naoshi
Journal of International Association of P2M   13(1) 121-141   2018
In the project management knowledge, there are the easy one to make to explicit knowledge and the difficult one. For example, making the knowledge of quantitative management process to explicit knowledge is relatively easy. However, as for the pre...
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   [Refereed]
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   Dec 2017   [Refereed]
© 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   Nov 2017
© 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   Nov 2017
© 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   Nov 2017   [Refereed]
© 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   Jul 2017
© 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   Jan 2017
© 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   Jan 2017
© 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   Jan 2017
© 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   Jan 2017
© 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...
Segawa Yoshihisa, Uchihira Naoshi, Ikawa Yasuo
Development engineering   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...
MIYAKE Yumiko, KAMIMURA Takayuki, UCHIHIRA Naoshi
Journal of International Association of P2M   12(1) 36-54   2017
Regardless of industry type, project management is one of the skills required in a lot of enterprises. The hierarchical organizations have a few opportunities to study the project management. In the graduate school's PBL (Project Based Learning) a...
MIYAKE Yumiko, MIYAKE Naoshi
Journal of International Association of P2M   11(2) 47-61   2017
Software developed in an external project is transferred to customer. In this study, the interviews about the transfer were conducted to the eight project managers (PM) belonging to large companies which are entrusted the information system develo...
Kunihiko Hiraishi,Naoshi Uchihira,Sunseong Choe,Koichi Kobayashi
2017 11TH ASIAN CONTROL CONFERENCE (ASCC)   1351-1356   2017   [Refereed]
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   [Refereed]
Naoshi Uchihira
2016 IEEE 5th Global Conference on Consumer Electronics, GCCE 2016      Dec 2016
© 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   Oct 2016   [Refereed]
© 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...
MIYAKE Yumiko, UCHIHIRA Naoshi
Journal of International Association of P2M   11(1) 122-135   2016
Software developed in the external project is transferred to the operation team through the customer. Value of the software is found to use by customer in the operation phase. The software development project should keep in mind that the values cr...
Naoshi Uchihira
IEEE 5th Global Conference on Consumer Electronics, GCCE 2016, Kyoto, Japan, October 11-14, 2016   1-4   2016   [Refereed]
Naoshi Uchihira, Hirokazu Ishimatsu, Shigeaki Sakurai, Yoshiteru Kageyama, Yuji Kakutani, Kazunori Mizushima, Hiroshi Naruse, Susumu Yoneda
Technology in Society   43 173-182   Nov 2015
© 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 ...
Murakami Tomoko, Torii Kentaro, Chiyo Kenta, Uchihira Naoshi
Transactions of the Japanese Society for Artificial Intelligence   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   [Refereed]
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   [Refereed]
Tetsuro Chino,Kentaro Torii,Naoshi Uchihira,Yuji Hirabayashi
IJSKD   5(2) 18-33   2013   [Refereed]
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   [Refereed]
Sun K. Kim,Kosuke Ishii,Kurt A. Beiter,Naoshi Uchihira,Yuji Kyoya
IJSTM   13(1/2) 40-62   2010   [Refereed]
Naoshi Uchihira,Yuji Kyoya,Sun K. Kim,Katsuhiro Maeda,Masanori Ozawa,Kosuke Ishii
JIP   16 13-26   2008   [Refereed]
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   [Refereed]
Uchihira Naoshi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES   E90A(11) 2443-2448   Nov 2007   [Refereed]
Naoshi Uchihira
IEICE Transactions   90-A(11) 2443-2448   2007   [Refereed]
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   [Refereed]
Keiichi Handa,Shigeru Matsumoto,Masashi Nakamoto,Naoshi Uchihira
IEICE Transactions   88-A(6) 1481-1486   Jan 2005   [Refereed]
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   Jan 2005   [Refereed]
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 ...
TAKEDA Akiko, UCHIHIRA Naoshi, NAKAMOTO Masashi, MATSUMOTO Shigeru
Journal of Japan Industrial Management Association   56(5) 366-376   2005
Investment planning is the selection of low-cost generation plants to meet customer demands over a multi-decade time horizon. In uncertain business environments, it is important to make management decisions considering not only the optimality, but...
Naoshi Uchihira
Proceedings of the SICE Annual Conference   665-670   Dec 2004
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   Jan 2003
Naoshi Uchihira,Hideji Kawata,Fumitaka Tamura
International Journal of Parallel Programming   28(2) 155-157   Jan 2000   [Refereed]
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   Jan 1999
© 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   Jan 1999   [Refereed]
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   Jan 1998
© 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   Jan 1998   [Refereed]
© 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   Jul 1997
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...
UCHIHIRA Naoshi, HONIDEN Shinichi
Transactions of Information Processing Society of Japan   38(1) 101-113   Jan 1997
Petri net is a formal, graphical, and executable language to describe concurrent Systems, which is used in many software design methods. However, most design methods use a Petri net as an extended state transition system and do not make the best u...
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   Jan 1997
© 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   Jan 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 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   Dec 1996
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   Jan 1996
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   Jan 1996
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   Jan 1996
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   Nov 1995
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   Jan 1995
© 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   Jan 1994
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   Jan 1994
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...
UCHIHIRA Naoshi
The Transactions of the Institute of Electronics,Information and Communication Engineers.   75(2) 76-87   Feb 1992
HONIDEN Shinichi, OHSUGA Akihiko, UCHIHIRA Naoshi
IPSJ Journal   33(2) 173-182   Feb 1992
本論文では形式的仕様記述手法が実用に供せられるための種々の課題に対して以下の解決案を示しているまず 分析フェーズにはりアルタイムSA 設計フェーズにはオブジェクト指向設計を採用し さらにフェーズ間の流れをできる限り自然にすることを試みているその際に データや機能に関する記述には代数的仕様 同期やイベントの記述には時制論理を適用するまた 代数的仕様による記述内容の検証には 項書換え系を採用し 正しさの保証されたプログラムを生成するために時制論理の定理証明系を採用する以上の過程を経て 最後にA...
Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira
IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design   102-109   Oct 1991
© 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   Jan 1991
© 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   Apr 1990
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   Jan 1990
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   Dec 1989
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   Jan 1988
© 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   Dec 1987
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   Dec 1986
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 ...
HONIDEN SHINICHI, UCHIHIRA NAOSHI, OSUGA AKIHIKO, KASUYA TOSHIAKI
IPSJ Journal   27(2) 219-227   Feb 1986
知識プログラミング・システムはオブジェクト指向や 知識ベースなどを統合化したマルチパラダイム型言語であるが その適用分野として 単にエキスパート・システムの記述以外に シミュレータ記述 ソフトウェア仕様記述などに有効性が見いだされている.ソフトウェアの部品検索 プロトタイピング・ツールおよび知識ベースの効率的な検索への適用を主たる目的として論理型プログラミング言語を基底とした 並列型オブジェクト指向言語である推論型システム記述言語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   Jan 1986
© 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   Jan 1986
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
SHIRAHADA Kunio, UCHIHIRA Naoshi, KOSAKA Michitaka
The journal of science policy and research management   28(3) 251-253   Feb 2014
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 ...
Uchihira Naoshi
Serviceology   1(2) 14-17   2014
本プロジェクトでは,看護・介護サービスのコミュニケーションに焦点を絞り,サービスの質に大きく影響するケアスタッフの「気づき」を,音声を使って現場で簡単に記録・収集し,それをケアスタッフ間で連絡・共有し,ケアの質を向上する手法およびシステムを開発した.さらに,介護施設で試行評価を行い,有効性を検証した.以下では,プロジェクトの目的,開発したシステムおよび試行評価の概要を紹介するとともに,今後の研究の展開について述べる.
内平 直志, 鳥居 健太郎, 知野 哲朗
人間生活工学   13(1) 34-37   Mar 2012
UCHIHIRA Naoshi, KOBAYASHI Hideki, NAKANE Rintaro
Journal of the Japan Society for Precision Engineering   75(4) 471-474   2009
UCHIHIRA Naoshi, Naoshi Uchihira
Journal of Japanese Society for Artificial Intelligence   22(6) 754-762   Nov 2007
UCHIHIRA Naoshi, KAWATA Hideji
IPSJ Magazine   39(1) 19-25   Jan 1998
UCHIHIRA Naoshi, HIRAISHI Kunihiko, AOYAMA Mikio
IPSJ Magazine   39(1) 67-70   Jan 1998
UCHIHIRA Naoshi, KAWATA Hideji
Journal of the Society of Instrument and Control Engineers   35(10) 763-769   Oct 1996
Aoyama Mikio, Hiraishi Kunihiko, Uchihira Naoshi
コンピュータソフトウェア   11(4) 259-275   Jul 1994
Aoyama Mikio, Hiraishi Kunihiko, Uchihira Naoshi
Computer Software   11(4) 4_259-4_275   1994
<p></p>
MATSUMOTO KAZUNORI, UCHIHIRA NAOSHI, HONIDEN SHINICHI
IPSJ Magazine   30(6) p651-657   Jun 1989
内平 直志
IPSJ Magazine   30(1) 80-81   Jan 1989
HONIDEN SHINICHI, UCHIHIRA NAOSHI, NAKAMURA HIDEO
IPSJ Magazine   28(10) p1398-1404   Oct 1987

Books etc

 
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
International Symposium on Software Engineering for Parallel and Distributed Systems, IEEE Computer Society, Krämer Bernd, 内平 直志, Croll Peter, Russo Stefano
IEEE Computer Society   ISBN:0818684682
International Symposium on Software Engineering for Parallel and Distributed Systems, IEEE Computer Society, Krämer Bernd, 内平 直志, Croll Peter, Russo Stefano
IEEE Computer Society   ISBN:0818684690

Conference Activities & Talks

 
内平 直志, 吉田 正巳
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   15 Jan 2019   
MORI Toshiki, Uchihira Naoshi
Proceedings of International Association of P2M   2019   
Despite the widely recognized importance and the standardized process of project & program risk management, there are still difficulties in implementing and executing the process in practical situations. It is assumed that an underlying cause woul...
早貸 舜, 平石 邦彦, 内平 直志
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   12 Mar 2018   
Oshima Takeshi, Uchihira Naoshi
Proceedings of International Association of P2M   2018   
In the project management knowledge, there are the easy one to make to explicit knowledge and the difficult one. For example, making the knowledge of quantitative management process to explicit knowledge is relatively easy. However, as for the pre...
岡田 政則, 内平 直志, 平石 邦彦, 國藤 進
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   16 Nov 2017   

Social Contribution

 
International Symposium on Software Engineering for Parallel and Distributed Systems
[]  Naoshi Uchihira (Co-Chair)  (kyoto)  1998