Researchers Database

NIDE Naoyuki

FacultyFaculty Division of Human Life and Environmental Sciences Research Group of Information and Communication Technology for Life
PositionAssociate Professor
Last Updated :2024/02/22

researchmap

Profile and Settings

  • Contact Point

    nideics.nara-wu.ac.jp
  • Name (Japanese)

    Nide
  • Name (Kana)

    Naoyuki

Degree

  • Ph.D. (Information science), Nara Women's University, Jun. 2007

Research Interests

  • Autonomous Agent
  • Mathematical Logic

Research Areas

  • Informatics, Information theory

Research Experience

  • Apr. 2014, Nara Women's University, Faculty, Division of Human Life and Environmental Sciences, Research Group of Information and Communication Technology for Life, Associate professor
  • Apr. 2012, Mar. 2014, Nara Women's University, Faculty, Division of Natural Sciences, Associate professor
  • Apr. 2008, Mar. 2012, Nara Women's University, Faculty of Science, Associate professor
  • Jun. 1992, Mar. 2008, Nara Women's University, Faculty of Science, Lecturer
  • Nov. 2006, Nov. 2006, 放送大学, 奈良学習センター, 非常勤講師
  • Oct. 1998, Mar. 2005, 奈良教育大学, 教育学部, 非常勤講師, この間毎年度後期
  • Apr. 2004, 近畿大学, 理工学部, 非常勤講師, 2004〜05年度前期・2010〜11年度後期・その他の年度通年
  • Jun. 1992, Sep. 1996, 京都大学, 教養部→総合人間学部, 非常勤講師
  • May 1988, May 1992, Kyoto University, Educational Center for Information Processing, Assistant professor

Education

  • Apr. 1988, May 1988, Kyoto University, Graduate School of Science, Division of Mathematics and Mathematical Sciences, Retired from doctral course, Japan
  • Apr. 1986, Mar. 1988, Kyoto University, Graduate School of Science, Division of Mathematics and Mathematical Sciences, Japan
  • Apr. 1982, Mar. 1986, Kyoto University, Faculty of Science, Japan

Association Memberships

  • IEEE, Aug. 2016, Jan. 2017
  • The Japanese Society for Artificial Intelligence, May 2013
  • The Robotics Society of Japan, Jul. 2011
  • The Institute of Electronics, Information and Communication Engineers, Mar. 2009
  • Japan Society for Software Science and Technology, 1987

Ⅱ.研究活動実績

Published Papers

  • Refereed, Logic Journal of the IGPL, Oxford University Press, Sequent calculus for 3-valued paraconsistent logic QMPT0, Naoyuki Nide; Yuki Goto; Megumi Fujita, Aug. 2019, 27, 5, 507, 521
  • Refereed, Journal of Systems Science and Systems Engineering, Springer Verlag, Implementation of 3-Valued Paraconsistent Logic Programming Towards Decision Making System of Agents, Yuki Goto; Megumi Fujita; Naoyuki Nide, Due to the rapid development of applications of artificial intelligence and robotics in recent years, the necessity of reasoning and decision making with uncertain and inaccurate information is increasing. Since robots in the real world are always exposed to behavioral inaccuracies and uncertainty arising from recognition methods, they may occasionally encounter contradictory facts during reasoning on action decision. Paraconsistent logic programming is promising to make appropriate action decisions even when an agent is exposed to such uncertain information or contradictory facts, but there has been no implementation of this programming to the best of our knowledge. We propose a resolution algorithm for the 3-valued paraconsistent logic programming system QMPT0 and its implementation on SWI-Prolog. We also describe an application of the 3-valued paraconsistent logic programming regarding agent decision making., 12 May 2018, 27, 3, 1, 18, Scientific journal, 10.1007/s11518-018-5367-7
  • Refereed, Information Engineering Express, IIAI Publications, Toward a robot that acquires logical recognition of space, Megumi Fujita; Yuki Goto; Naoyuki Nide; Ken Satoh; Hiroshi Hosobe, Dec. 2017, 3, 4, 1, 10
  • Refereed, IEICE Transactions on Information and Systems, Institute of Electronics, Information and Communication, Engineers, IEICE, Tracing werewolf game by using extended BDI model, Naoyuki Nide; Shiro Takata, The Werewolf game is a kind of role-playing game in which players have to guess other players’ roles from their speech acts (what they say). In this game, players have to estimate other players’ beliefs and intentions, and try to modify others’ intentions. The BDI model is a suitable one for this game, because it explicitly has notions of mental states, i.e. beliefs, desires and intentions. On the other hand, in this game, players’ beliefs are not completely known. Consequently, in many cases it is difficult for players to choose a unique strategy in other words, players frequently have to maintain probabilistic intentions. However, the conventional BDI model does not have the notion of probabilistic mental states. In this paper, we propose an extension of BDI logic that can handle probabilistic mental states and use it to model some situations in the Werewolf game. We also show examples of deductions concerning those situations. We expect that this study will serve as a basis for developing a Werewolf game agent based on BDI logic in the future., 01 Dec. 2017, E100D, 12, 2888, 2896, International conference proceedings, 10.1587/transinf.2016AGP0004
  • Not Refereed, 教育システム研究別冊「本学の教員養成課程の改善・高度化に向けた大学教員と附属教員の連携研究推進事業」成果論文集, 奈良女子大学教育システム研究開発センター, 中学校技術科におけるプログラミングの導入授業の研究―学習目標及び評価の観点から―, 吉川 裕之; 新出 尚之; 高田 雅美, Oct. 2017
  • Not Refereed, Proc. of 34th JSSST annual conference, A Logical Model of Emotional Expressions and Time Course based on OCC theory, Nao Imai; Sara Asai; Mai Tsukamoto; Naoyuki Nide, Sep. 2017
  • Not Refereed, Proc. of 34th JSSST Annual Conference, Acquisition of object recognition ability of autonomous robot, Akemi Kanematsu; Fumiko Komatsu; Naoyuki Nide, Sep. 2017
  • Not Refereed, Proc. of 33rd JSSST annual conference, 日本ソフトウェア科学会, Developing BDI agent for controlling autonomous small robot with ability to reach target object, Shiori Tarui; Akemi Kanematsu; Naoyuki Nide, Sep. 2016, 33, 489, 493
  • Refereed, Proceedings - 2016 International Conference on Agents, ICA 2016, Institute of Electrical and Electronics Engineers Inc., Tracing Werewolf game by using extended BDI model, Naoyuki Nide; Shiro Takata, The werewolf game is a kind of role-playing game in which players have to guess other players' roles from their speech acts (what they say). In this game, players have to estimate other players' beliefs and intentions, and try to modify others' intentions. The BDI model is a suitable model for this game, because it explicitly has notions of mental states, i.e. beliefs, desires and intentions. On the other hand, in this game, players' beliefs are not completely known. Consequently, in many cases it is difficult for players to choose a unique strategy in other words, players frequently have to maintain probabilistic intentions. However, the conventional BDI model does not have the notion of probabilistic mental states. In this paper, we propose an extension of BDI logic that can handle probabilistic mental states and use it to model some situations in the Werewolf game. We also show examples of deductions concerning that situations. We believe that this study will serve as a basis for developing a Werewolf game agent based on BDI logic., 10 Jan. 2017, 7, 12, International conference proceedings, 10.1109/ICA.2016.28
  • Refereed, Proceedings - 2016 International Conference on Agents, ICA 2016, Institute of Electrical and Electronics Engineers Inc., Autonomous control of mobile robots using logical representation of map and inference of location, Megumi Fujita; Yuki Goto; Naoyuki Nide; Ken Satoh; Hiroshi Hosobe, We propose an action-decision method for autonomous mobile robots, in which a robot constructs a logical representation of a map of its surrounding environment from its perception and uses that map to determine a plan to logically reach its destination. We conducted an experiment in which a robot had a sub-goal to reach halfway to its destination and attempt to recognize that it has reached that sub-goal in order to proceed to the next goal. We first explain our experimental results then provide a discussion on these results and future work., 10 Jan. 2017, 78, 81, International conference proceedings, 10.1109/ICA.2016.38
  • Not Refereed, Proc. of 30th JSAI annual conference, Reliability Improvement of Basic Actions of Real World Robots, Shiro Takata; Naoyuki Nide, Jun. 2016
  • Not Refereed, Proc. of 30th JSAI annual conference, Stochastic strategy of agents with uncertain beliefs and BDI model, Naoyuki Nide; Shiro Takata, Jun. 2016
  • Refereed, Proc. of JAWS2015, Certification of ability to accomplish goals using atomic actions involving noises by formal method, Naoyuki Nide; Yuki Goto; Megumi Fujita; Shiro Takata, Oct. 2015, 150, 156
  • Refereed, IEICE Transactions on Information and Systems (Japanese Edition), A Logic for Rational Agents Which Handles Beliefs and State Transitions Probabilistically, Naoyuki Nide; Shiro Takata, Jun. 2015, J98-D, 6, 936, 947
  • Not Refereed, Proc. of 29th JSAI annual conference, 人工知能学会, Implementing simulation environment for BDI agents in continuous virtual world, Mika Kamemura; Naoyuki Nide; Shizuka Yunoki; Rena Miyata; Shiro Takata, May 2015, 29, 1, 3
  • Not Refereed, Proc. of 29th JSAI annual conference, 人工知能学会, Commitment Strategies for Basic Actions in Real World, Shiro Takata; Naoyuki Nide, May 2015, 29, 1, 4
  • Refereed, Proc. of 20th Robotics Symposia, Autonomous control of mobile robot using logical representation of map and inference about location, Megumi Fujita; Yuki Goto; Naoyuki Nide; Ken Satoh; Hiroshi Hosobe, Mar. 2015, 37, 42
  • Refereed, Proc. of JAWS2014, A Logic for Rational Agents Which Handles Beliefs and State Transitions Probabilistically, Naoyuki Nide; Shiro Takata, Oct. 2014, 95, 98
  • Refereed, Proc. of JAWS2014, Robust Atomic Actions using Attractor States, Shiro Takata; Naoyuki Nide, Oct. 2014, 47, 50
  • Refereed, Proc. of JAWS2014, A Logical Model of Emotional Expressions based on OCC Theory, Akiko Ikenouchi; Naoyuki Nide, Oct. 2014, 91, 94
  • Refereed, Proc. of AAMAS 2014, Logic-based and robust decision making for robots in real world, Megumi Fujita; Yuki Goto; Naoyuki Nide; Ken Satoh; Hiroshi Hosobe, May 2014, 1685, 1686
  • Not Refereed, Technical Report, IPSJ SIG-ICS, A semantics of Teleo-reactive Program that can handle uncertainty and its application, Yuki Goto; Megumi Fujita; Naoyuki Nide, Jan. 2014, 2014-ICS-173, 2
  • Refereed, IEICE Transactions on Information and Systems (Japanese Edition), The Institute of Electronics, Information and Communication Engineers, An Attempt to Construct Logical Model of Rational Agents Acting in Continuous State Space, Naoyuki Nide; Shiro Takata; Megumi Fujita, 実世界において周囲の状況に応じて行為選択を行う合理的エージェントにとって,仮想世界と大きく異なる点の一つは,環境が離散でなく連続であることであり,従ってそのモデル化を行うには,行為の結果到達する状態が連続的な確率分布をするようなモデルを用いることが自然かつ望ましいと考えられる.本論文では,我々が提案している拡張BDI論理であるTOMATOesを更に拡張し,連続した状態空間を扱えるようにすることを試みる., Dec. 2013, J96-D, 12, 2239, 2250
  • Refereed, Proc. of Knowledge Representation and Reasoning in Robotics (workshop at ICLP 2013), An architecture for autonomously controlling robot with embodiment in real world, Megumi Fujita; Yuki Goto; Naoyuki Nide; Ken Satoh; Hiroshi Hosobe, Aug. 2013, 59, 71
  • Not Refereed, Proc. of 27th JSAI annual conference, 人工知能学会, Deduction system with oracle for an agent logic dealing with continuous state space, Naoyuki Nide; Megumi Fujita; Yuki Goto; Shiro Takata, Jun. 2013, 27, 1, 4
  • Not Refereed, Proc. of 27th JSAI annual conference, 人工知能学会, Stochastic inference with Connection Graph, Yuki Goto; Naoyuki Nide; Megumi Fujita, Jun. 2013, 27, 1, 4
  • Not Refereed, Proc. of 27th JSAI annual conference, The minimum plan modification of robot's actions under the dynamical environment, Megumi Fujita; Yuki Goto; Naoyuki Nide; Ken Satoh; Hiroshi Hosobe, Jun. 2013
  • Not Refereed, Technical Report, IPSJ SIG-MPS, Learning Atomic Actions Using Attractor States in the Real World, Shiro Takata; Naoyuki Nide; Yukihiro Hamasuna; Hitoshi Habe; Megumi Fujita, Feb. 2013, 2013-MPS-92, 24, 1, 6
  • Refereed, Proc. of JAWS2012, An Attempt to Construct Logical Model of Rational Agents Acting in Continuous State Space, Naoyuki Nide; Shiro Takata; Megumi Fujita, Oct. 2012
  • Refereed, Proc. of JAWS2012, Intelligent robot that considers attractor state of actions, Shiro Takata; Naoyuki Nide, Oct. 2012
  • Refereed, IPSJ Transactions on MPS, BDI Robots Who Adapt to the Diversity of the Real World, Megumi Fujita; Hiroko Katayama; Naoyuki Nide; Shiro Takata, Mar. 2012, 5, 1, 50, 64
  • Refereed, Proc. of 17th International Symposium on Artificial Life and Robotics (AROB 2012), Alife Robotics Co, Ltd., Importing dynamic planner to BDI agent creating flexible decision-making of policies for selecting robot actions in real world, Megumi Fujita; Hiroko Katayama; Yuko Ojima; Naoyuki Nide, Our aim is to create a more intelligent form of control for robots that can act autonomously for problem solving in the dynamic environments. The ability to select and modify the action decision policies to achieve the given goals in the most appropriate way as possible, and the easiest and most efficient way of implementation of such policy controls is required. We propose a flexible method for selecting policies of action decision in this paper, using a dynamic planner as the mechanism for determining the policies for action decision making We proved through experimentation that when a robot cannot achieve its goal using a specific policy, it can modify the given policy to achieve that goal with the use of our method. In particular, for robots in the real world, the error of beliefs due to a false recognition of the sensors may be the reason why a robot cannot achieve its goal, although this situation will not come to light in any simulation. Our method is effective for such situations., Jan. 2012, 955, 958
  • Refereed, Proc. of JAWS2011, From Reinforcement Learning to Deliberation in the Real World, Shiro Takata; Naoyuki Nide, Oct. 2011
  • Refereed, Proc. of JAWS2011, Toward Imcorporating Emotional Expressions into the Action Decision of BDI agents, Megumi Fujita; Utako Shimizu; Naoyuki Nide, Oct. 2011
  • Refereed, Proc. of JAWS2011, Toward a Construction of the Agent Execution System Based on BDI Logic, Hiroko Katayama; Megumi Fujita; Naoyuki Nide, Oct. 2011
  • Not Refereed, Technical Report, IPSJ SIG-MPS, BDI Robots Who Adapt to the Diversity of the Real World, Megumi Fujita; Hiroko Katayama; Naoyuki Nide; Shiro Takata, Sep. 2011, 2011-MPS-85
  • Not Refereed, Proc. of 29th RSJ annual conference, Toward robot control using emotional expression for action decision, Megumi Fujita; Utako Shimizu; Naoyuki Nide, Sep. 2011
  • Refereed, IPSJ Transactions on MPS, Modeling probabilistic state transitions using TOMATO and its application, Naoyuki Nide; Shiro Takata; Megumi Fujita, Jul. 2011, 4, 3, 59, 72
  • Not Refereed, Technical Report, IPSJ SIG-MPS, The intelligent control of robots in the real world using the autonomous agent model system with the concept of intention, Megumi Fujita; Hiroko Katayama; Yuko Ojima; Mayu Sumida; Yoshi Koyama; Naoyuki Nide; Shiro Takata, 本研究では、自律エージェントを用いた実世界上のロボットの制御について述べる。エージェントの設計モデルには BDI モデルを用い、これによりエージェントが目標達成のために一貫性のある、合理的な行動をとることが可能である。我々はこれを用いて、複数の機能の異なるロボットが予期しないタイミングで相互にコミュニケーションを取って協調行動をとる実験を行った。この実験では、シミュレーション上でのエージェントと実世界上でのロボットの振る舞いとの間の差異により生じる問題点があり、それに対処する必要があった。我々はこの実験を通じて、我々の実装におけるモデルの適用が現状のロボティクス分野への応用に対して有効であることを述べる。We describe a way of robot control in the real world using autonomous agent. Since we use the BDI model for designing agents, we can develop agents which can act rationally and consistently toward their goals. We conducted the experiment to make robots with different functions cooperate using communications between each other at unpredictable times. In that experiment, we found problems which occurred from the disparities between the agents in the computer simulation and the robots in the real world, and we dealt with these problems. Through that experiment, we show that the way we apply the BDI model to our implementation is effective against the current application of the robotics area., May 2011, 2011-MPS-83, 8, 1, 10
  • Refereed, Transactions of the Japanese Society for Artificial Intelligence, Modeling reinforcement learning using an extended BDI logic TOMATOes, Shiro Takata; Naoyuki Nide; Megumi Fujita, TOMATOes is an extension Of BDI logic, which introduced probabilistic state transitions and fix-point operators. Using TOMATOes, we can strictly describe and infer various properties of rational agents with those extended notions. In this paper, we give a detailed explanation of modeling of reinforcement learning with the Kripke structure used in TOMATOes, called BDI structure, and the description of transaction graph with policy using TOMATOes. In addition, we give some issues on rational agents for practical reasoning with the description of transaction graph using TOMATOes., 2011, 26, 1, 156, 165, Scientific journal, 10.1527/tjsai.26.156
  • Refereed, Transactions of the Japanese Society for Artificial Intelligence, Modeling cooperative actions using an extended BDI logic TOMATOes, Naoyuki Nide; Shiro Takata; Megumi Fujita, In multi-agent environments, to model cooperations among autonomous agents, many notions such as mutual beliefs and joint intentions, recognition of possibilities to achieve a goal with cooperation, and team formations, should be formally represented. In the traditional BDI logics, it is hard to treat them uniformly. We show the way to treat them uniformly using the fixed-point operator of the extended BDI logic TOMATOes. We also give some examples to apply it to the proof of some behaviors of multi-agent systems., 2011, 26, 1, 13, 24, Scientific journal, 10.1527/tjsai.26.13
  • Refereed, Proc. of JAWS2010, The Frexible Integration of the Planner which is Adaptable to Dynamic Environments and the BDI Agent Architecture, Megumi Fujita; Naoyuki Nide, Oct. 2010
  • Refereed, Proc. of JAWS2010, Formalizing Combination of Dynamic Planner and BDI agent, Naoyuki Nide; Megumi Fujita; Shiro Takata, Oct. 2010
  • Refereed, Proc. of JAWS2010, BDI Agent with Plan Libraries Generated using Rewards, Shiro Takata; Naoyuki Nide, Oct. 2010
  • Refereed, Proc. of JAWS2010, Versatility of subplans obtained from policies, Naoyuki Nide; Shiro Takata; Hiroko Katayama, Oct. 2010
  • Not Refereed, Proc. of 24th JSAI annual conference, Modeling various action decision processes of BDI agents, Naoyuki Nide, Jun. 2010
  • Not Refereed, Proc. of 24th JSAI annual conference, 人工知能学会, Replanning and Redetermining robot's action based on BDI architecture in the dynamical environment, Megumi Fujita; Hiroko Katayama; Yuko Ojima; Naoyuki Nide, Jun. 2010, 24, 1, 4
  • Refereed, Journal of Japanese Society for Artificial Intelligence, Logic Model of Autonomous Agents, Naoyuki Nide, May 2010, 25, 3, 419, 428
  • Not Refereed, Proc. of 51th Programming Symposium, Constraction of Varsatile Proof Figure Drawing Tools, Miki Ogawa; Hiroyasu Kamo; Naoyuki Nide, Jan. 2010, 2010, 73, 78
  • Refereed, Proc. of JAWS2009, Realization of flexible determination of actions in the real world using BDI-based robot, Megumi Fujita; Yuko Ojima; Hiroko Katayama; Naoyuki Nide, Oct. 2009, 354, 361
  • Refereed, Proc. of JAWS2009, Modeling Reinforcement Learning using an Extended BDI logic TOMATOes, Shiro Takata; Naoyuki Nide; Megumi Fujita, Oct. 2009, 131, 138
  • Refereed, Proc. of JAWS2009, Modeling cooperative actions using an extended BDI logic TOMATOes, Naoyuki Nide; Shiro Takata; Megumi Fujita, Oct. 2009, 429, 436
  • Not Refereed, Proc. of 74th JSAI SIG-FPAI, Modeling probabilistic state transitions using TOMATO, Naoyuki Nide; Shiro Takata; Megumi Fujita, Sep. 2009, 57, 64
  • Refereed, Proc. of CLIMA '09, BDI logic with probabilistic transition and fixed-point operator, Naoyuki Nide; Shiro Takata; Megumi Fujita, Aug. 2009, 71, 86
  • Not Refereed, IPSJ SIG Technical Report, Integration of BDI and Reinforcement Learning Using An Extended BDI logic, Shiro Takata; Naoyuki Nide, Mar. 2009, 2009-MPS-73, 57, 60
  • Refereed, Proc. of JAWS2008, Design and implementation of planning system for BDI agent which can fit into dynamical environment, Megumi Fujita; Naoyuki Nide, Oct. 2008
  • Not Refereed, Proc. of IPSJ Kansai-branch convention 2008, Basic design and implementation of multiagent system that enables reflective action underdynamic environment, Mariko Noguchi; Naoyuki Nide, Oct. 2008, 225, 228
  • Refereed, Proc. of JAWS2008, BDI logic with probabilistic transition and fixed operator, Naoyuki Nide, Oct. 2008
  • Refereed, Proc. of JAWS2008, Basic design and implementation of multiagent system that enables reflective action under dynamic environment, Mariko Noguchi; Naoyuki Nide, Oct. 2008
  • Not Refereed, Proc. of IPSJ Kansai-branch convention 2008, Design and implementation of planning system for BDI agent which can fit into dynamical environment, Megumi Fujita; Naoyuki Nide, Oct. 2008, 229, 232
  • Refereed, Proc. of PDPTA 2007, Construction of a Paper Classification System Using SVM, Naomi Ashida, Masami Takata, Akira Sasaki, Hiroyasu Kamo, Naoyuki Nide, Kazuki Joe, 2007, 979, 985
  • Refereed, Proc. of PDPTA 2007, Auto Classification of Feces for Health Condition Analysis, Miho Komatsubara, Chisato Ishikawa, Masami Takata, Hiroyasu Kamo, Naoyuki Nide, Kazuki Joe, 2007, 759, 765
  • Refereed, Proc. of PDPTA 2007, 3D Visualization System Gateau for Atmospheric Science, Eriko Touma, Katsuyuki Noguchi, Masami Takata, Hiroyasu Kamo, Naoyuki Nide, Kazuki Joe, 2007, 766, 772
  • Refereed, The IEICE transactions on information and systems, The Institute of Electronics, Information and Communication Engineers, Formal Verification Method of Realizing a Commitment Strategy in BDI Architecture, Tadashi Araragi; Shiro Takata; Naoyuki Nide, 本論文では,BDIアーキテクチャにおけるsingle-mindedコミットメント戦略の,論理的な枠組みに基づいた実現方法を考える.ここでは,single-mindedコミットメント戦略の推論を,新しいタイプのシステム検証の問題として定式化し,その問題を解く決定手続きを与える.single-mindedコミットメント戦略とは,エージェントがゴール(desire)を達成するために生成したサブゴール(intention)に対して,それが実現可能と思われる間は保持し,実現不可能と判断した場合にそのintentionを捨て,別のintentionを生成する行動戦略である.ここでの実現可能の判断とは,自分の今の状態と,自分のもつプラニングルール,別の言葉でいえば行動のためのプログラムをもとに未来の状況を先読みすることである.そして,その正確な処理のためには,プログラムの検証と同様な手続きが必要になる.ただし,この検証では,先読みの対象となるプログラム自体が,single-mindedコミットメント戦略に基づいて実行されるため,検証の対象となるシステムの状態遷移が検証の結果に左右されるという再帰的な構造をもつ.この特性は,これまでのシステム検証の研究では扱われてこなかった新しいタイプの問題を提起する.本論文では,この問題の一つの定式化を示し,その定式化に基づいて,その検証問題を解くアルゴリズムを与える., Jun. 2006, J89-D, 6, 1213, 1224
  • Refereed, Proc. of PDPTA 2006, Design of an Integrated Database System for Short-Term arthquake Prediction, Chisato Ishikawa, Hiroyasu Kamo, Naoyuki Nide, and Kazuki Joe, 2006, 853, 859
  • Refereed, Proc. of PDPTA 2006, A 3D Visualization System for Intuitive Analysis of Atmospheric Science, Eriko Touma, Kazuko Yamauchi, Hiroyasu Kamo, Naoyuki Nide, Sachiko Hayashida, and Kazuki Joe, 2006, 860, 866
  • Refereed, Proc. of PDPTA 2006, Design and Implementation of Gateau API for HDF-EOS, Kazuko Yamauchi, Eriko Touma, Hiroyasu Kamo, Naoyuki Nide, Sachiko Hayashida and Kazuki Joe, 2006, 867, 873
  • Refereed, Proc. of PDPTA 2006, Another RSS Reader with Visualization of Structured Documents and Effective Navigation, Satomi Hara, Hiroyasu Kamo, Naoyuki Nide and Kazuki Joe, 2006, 874, 880
  • Not Refereed, Proc. of 47th Programming Symposium, make in Prolog, Kotoyu Sasayama; Mariko Noguchi; Naoko Fujimoto; Hiroyasu Kamo; Naoyuki Nide, Jan. 2006, 161, 166
  • Refereed, Journal of Japanese Society for Artificial Intelligence, 人工知能学会, Logics for handling intentions, Naoyuki Nide; Shiro Takata, Jul. 2005, 20, 4, 425, 432
  • Refereed, Journal of Japanese Society for Artificial Intelligence, 人工知能学会, Agent architecture based on intention, Shiro Takata; Naoyuki Nide, Jul. 2005, 20, 4, 433, 440
  • Not Refereed, Proc. of 19th JSAI annual conference, Toward realization of BDI architecture that uses a combination of deliberation and reinforcement learning in selecting actions, Naoyuki Nide; Shiro Takata; Hiroshi Yamakawa; Kazuteru Miyazaki; Masayoshi Ohta, Jun. 2005
  • Refereed, IPSJ Transactions on MPS, Information Processing Society of Japan (IPSJ), A Deduction System of Extended BDI logic to Handle Mutual Belief, Naoyuki Nide; Shiro Takata; Tadashi Araragi, BDI logics are extensions of the predicate variant of CTL^* to represent the behavior of rational agents by introducing mental state operators. We previously presented deduction systems for CTL-based propositional BDI logics using sequent calculus. However, since the original BDI logics have only operators to represent the mental states of individual agents, they cannot handle mutual mental states for multiple agents. In this paper, we extend our deduction systems so that we can handle individual and mutual mental states for multiple agents in multi-agent environments. We also show some examples of proof in our system., Jan. 2005, 46, SIG2(TOM11), 85, 99
  • Refereed, Proc. of JAWS2004, Correspondence between BDI model and world model in reinforcement learning, Naoyuki Nide; Shiro Takata; Hiroshi Yamakawa; Kazuteru Miyazaki; Masayoshi Ohta, Oct. 2004, 378, 385
  • Refereed, Proc. of JAWS2004, An achievement method of BDI agent who practically reasons about the skill acquired using reinforcement learning, Shiro Takata; Naoyuki Nide; Hiroshi Yamakawa; Kazuteru Miyazaki; Masayoshi Ohta, Oct. 2004, 517, 524
  • Refereed, Proc. of JAWS2004, Generation of hierarchical sub-plan with acquired policy by reinforcement learning, Masayoshi Ohta; Hiroshi Yamakawa; Kazuteru Miyazaki; Shiro Takata; Naoyuki Nide, Oct. 2004, 511, 516
  • Not Refereed, 第18回人工知能学会全国大会論文集, 人工知能学会, 強化学習とBDIの統合について―カヌー・レーシングを例題とした統合手法の考察―, 高田 司郎; 山川 宏; 宮崎 和光; 新出 尚之; 長行 康男; 酒井 隆道, Jun. 2004, 18, 1, 4
  • Refereed, The IEICE Transactions on Information and Systems (Japanese Edition), The Institute of Electronics, Information and Communication Engineers, Reasoning About Mental State Compatibilities of Rational Agents and Its Applications, Naoyuki Nide; Shiro Takata; Tadashi Araragi, BDI logic[1],[2]は,合理的エージェントの仕様記述や実装の基礎概念として用いられている様相論理体系で,CTL^*[3]に心的状態を表現する様相オペレータを追加し,述語論理に拡張したものである.Raoらは,合理的エージェントに要請される心的状態の整合性を,BDI logicで記述している[1].合理的エージェントに関する論理ベースでの仕様検証や実装を行うには,これらの整合性を,演繹(えき)体系に導入することが必要と考えられる.本論文では,それらの整合性を定理としてもつような,命題論理のCTLベースのBDI logicに対するsequent calculusによる演繹体系と,その応用について述べる.これにより,合理的エージェントの性質に関する記述を,BDI logicを用いて検証や証明することが可能になる., Aug. 2003, J86-D-1, 8, 514, 523
  • Refereed, Systems and Computers in Japan, Design of Rational Agents for Performing Speech Acts Intentionally in Multi-Agent Environments, Shiro Takata; Yoshime Igarashi; Naoyuki Nide; Mika Enomoto; Kenji Mase; Ryohei Nakatsu, May 2003, 34, 8, 77, 88
  • Not Refereed, IPSJ SIG Technical Report, A Deduction System of Extended BDI logic to Handle Mutual Belief, Naoyuki Nide; Shiro Takata; Tadashi Araragi, Jan. 2003, 2003-MPS-44, 21, 24
  • Refereed, Computer Software, Japan Society for Software Science and Technology, Deduction Systems for BDI Logics using Sequent Calculus, Naoyuki Nide; Shiro Takata; Tadashi Araragi, 2003, 20, 1, 66, 83, Scientific journal, 10.11309/jssst.20.66
  • Refereed, Proc. of JAWS2002, Reasoning about mental state compatibilities of rational agents and its applications, Naoyuki Nide; Shiro Takata; Tadashi Araragi, Nov. 2002, 463, 470
  • Refereed, Proc. of JAWS2002, A multimodal interface for rational agents, Shiro Takata; Naoyuki Nide; Shinjiro Kawato; Kenji Mase, Nov. 2002, 345, 352
  • Not Refereed, Proc. of 19th JSSST annual conference, A Deduction System to Handle Mutual Belief and Cooperation, Naoyuki Nide; Shiro Takata; Tadashi Araragi, Sep. 2002
  • Refereed, Proc. of CLIMA '02, A Verification Method for a Commitment Strategy of the BDI Architecture, Tadashi Araragi; Shiro Takata; Naoyuki Nide, Aug. 2002, 109, 122
  • Refereed, Proc. of CLIMA '02, Deduction Systems for BDI Logics with Mental State Consistency, Naoyuki Nide; Shiro Takata; Tadashi Araragi, Aug. 2002, 123, 135
  • Refereed, Proc. of AAMAS '02, Deduction Systems for BDI Logics Using Sequent Calculus, Naoyuki Nide; Shiro Takata, Jul. 2002, 928, 935
  • Refereed, 第10回マルチエージェントと協調計算ワークショップ(MACC2001)論文集, Japan Society for Software Science and Technology, Deduction Systems for BDI Logics Using Sequent Calculus, Naoyuki Nide; Shiro Takata; Tadashi Araragi, Nov. 2001, 10, 20
  • Refereed, The IEICE Transactions on Information and Systems (Japanese Edition), The Institute of Electronics, Information and Communication Engineers, Design of Rational Agents for Performing Speech Acts Intentionally in Multi-Agent Environments, Shiro Takata; Yoshime Igarashi; Naoyuki Nide; Mika Enomoto; Kenji Mase; Ryohei Nakatsu, 本論文では, マルチエージェント環境において, 人間または他のエージェントと協調して問題解決を行うために, 言語行為を意図的に遂行する合理的エージェントの基本設計を提案する. 我々は, 信念(belief), 願望(desire), 意図(intention)に基づくBDIアーキテクチャを用いた合理的エージェントの構築を目標としている. 合理的エージェントは, 与えられた目標を達成するために, 自らの信念を用いてプランを熟考して選択し, 将来の熟考を制約する心的状態として, 選択したプランを意図として形成する. そして, 意図の事前条件が満たされれば, その意図を構成する言語行為を意図的に遂行する. 本論文では, まず, FIPAに準拠した基本通信行為とプロトコルをエージェントの言語行為として採用し, この言語行為を用いて遂行されるエージェント間のコミュニケーションで発生する条件分岐やメッセージを待つ同期などを, プラン本体に, 直接, 表現できるように拡張したBDIアーキテクチャを提案する. 次に, 研究所見学案内システムにおける研究者秘書エージェントの情報フィルタリングを用いて, 提案手法が有効であることを示す. 最後に, 将来, 重要な課題となる「利用者の丁寧な要求に対する合理的エージェントの拒否応答」に関する問題提起を行う., Aug. 2001, J84-D-I, 8, 1191, 1201
  • Refereed, Proc. of Interaction 2001 (IPSJ symposium), Design of rational agents who interact and communicate with other agents, Shiro Takata; Naoyuki Nide; Yoshime Igarashi; Kenji Mase, Mar. 2001, 187, 194
  • Refereed, Proc. of MACC2000, Extended BDI architecture, Shiro Takata; Naoyuki Nide; Yoshime Igarashi; Kenji Mase, Dec. 2000
  • Not Refereed, IPSJ SIG Technical Report, FIPA + BDI Architecture = Implementation of Rational Agent, Yoshime Igarashi; Shiro Takata; Naoyuki Nide; Kenji Mase, Nov. 2000, 2000-MPS-32, 21, 24
  • Not Refereed, ソフトウェアエージェントとその応用ワークショップ(SAA2000)論文集, Design of Rational Agents for Performing Speech Acts Intentionally in Multi-Agent Environments, Shiro Takata; Yoshime Igarashi; Naoyuki Nide; Mika Enomoto; Kenji Mase; Ryohei Nakatsu, Nov. 2000, 125, 132
  • Not Refereed, 情報処理学会第61回全国大会講演論文集, 個人化エージェントの意図的な情報フィルタリングについて, 五十嵐 新女; 高田 司郎; 間瀬 健二; 新出 尚之, Oct. 2000, 2-109, 2-110
  • Not Refereed, IPSJ SIG Technical Report, Information Processing Society of Japan (IPSJ), BDI Architecture with Dynamic Commitment Strategies, Shiro Takata; Naoyuki Nide; Yoshime Igarashi; Kenji Mase, According to Bratman's theory of intention, intentions play an important role in determining the action of rational agents as they seek to attain their goals, and manage to survive until the time of action. This characteristic of persistent intentions is called commitment. In this paper, we propose an extended BDI-architecture with dynamic choice of the three kinds of commitment strategies which Rao and Georgeff formalized using BDI logic., Sep. 2000, 2000-MPS-31, 85, 45, 48
  • Not Refereed, Keio Univ. IEI-RM, The User Interface for Multilingual Input in a Windowing Environment Using Automatons, Hideki Tsuiki; Naoyuki Nide; Hiroshi Kuribayashi; Masato Morisaki, 1993, 93-007
  • Refereed, Advances in Software Science and Technology, Academic Press, Inc. and Iwanami Shoten, Publishers, RACCO: A model logic programming language for Writing Models of Real-Time Process-Control Systems, Takashi Hattori; Reiji Nakajima; Naoyuki Nide; Takashi Sakuragawa; Kazuki Takenaka, 1992, 3, 53, 70
  • Refereed, Computer Software, Japan Society for Software Science and Technology, Excutable and Formalized Logic Programming Language Based on Time Interval Logic, Naoyuki Nide, 1991, 8, 5, 57, 78
  • Refereed, Distributed Environments---Software Paradigms and Workstations, Springer Verlag, MOA---A Model of Computer Environment and Its Interface for Supporting Highly Intelligent Human Work, Hiroyuki Tominaga; Naoyuki Nide, 1991, 209, 241
  • Not Refereed, IPSJ SIG Notes Software Foundation, Toward a Formal Description for User-Interface of Hypertext Systems, Hiroyuki Tominaga; Naoyuki Nide, 1989
  • Refereed, Advances in Software Science and Technology, Academic Press, Inc. and Iwanami Shoten, Publishers, Overview of GMW+Wnn System, Masami Hagiya; Takashi Hattori; Akitoshi Morishima; Reiji Nakajima; Naoyuki Nide; Ryotaro Okazaki; Takashi Sakuragawa; Takashi Suzuki; Hideki Tsuiki; Taiichi Yuasa, 1989, 1, 133, 156
  • Not Refereed, 日本ソフトウェア科学会第5回大会論文集, 区間時制論理に基づいた実行可能かつ公理的体系を持つ論理型言語AYA, 新出 尚之, 1988, 341, 344
  • Refereed, Proc. of 2nd IEEE International Conference on Computer Workstations, Overview of GMW+Wnn System, Masami Hagiya; Takashi Hattori; Akitoshi Morishima; Reiji Nakajima; Naoyuki Nide; Ryotaro Okazaki; Takashi Sakuragawa; Takashi Suzuki; Hideki Tsuiki; Taiichi Yuasa, 1988, 170, 177
  • Refereed, Computer Softwear, Japan Society for Software Science and Technology, RACCO: A Modal-Logic Programming Language for Writing Models of Real-time Process-Control Systems, Takashi Sakuragawa; Kazuki Takenaka; Reiji Nakajima; Naoyuki Nide; Takashi Hattori, RACCOは,実時間プロセス制御システムのソフトウェアを迅速かつ正確に開発し,保守するために,システムをモデル化して記述するための言語である.その意図するものは,動的で複雑なシステムの様々な構成要素とそれらの相互作用を自然にかつ簡潔に記述することである.記述したモデルのシミュレーション,低レベルコードへの等価変換・コンパイル等が可能なように考慮されている.本論文ではRACCOの文法および意味を具体的な例を用いて解説し,その形式的意味と実現について述べる.加えてRACCOの設計思想についても議論を行う., 1988, 5, 3, 22, 33
  • Not Refereed, 日本ソフトウェア科学会第4回大会論文集, Wnn日本語入力システムの仮名漢字変換について, 鈴木 隆; 立木 秀樹; 新出 尚之, 1987, 99, 102
  • Refereed, Electronic Notes in Theoretical Computer Science, Deduction systems for BDI logics with mental state consistency, Naoyuki Nide; Shiro Takata; Tadashi Araragi, BDI Logics, introduced by Rao et al., have been used as the theoretical basis of specification and implementation of rational agents. The aim of our research is to make full use of the expressive power of BDI Logics as executable specification languages of rational agents. To this end, we previously presented deduction systems for CTL-based propositional BDI Logics using sequent calculus. Since these systems have a decision algorithm that is extended from Wang's algorithm, they are suitable for applications such as automatic proving. However, they do not incorporate mental state consistency features, which are important for dealing with rational agents. In this paper, we extend our deduction systems by introducing mental state consistency features and explain their soundness and completeness. This approach allows us to check and prove the specifications and properties described by BDI Logics for rational agents. © 2002 Published by Elsevier Science B.V., Oct. 2002, 70, 5, 147, 159, International conference proceedings, 10.1016/S1571-0661(04)80593-0
  • Refereed, Electronic Notes in Theoretical Computer Science, A verification method for a commitment strategy of the BDI architecture, Tadashi Araragi; Shiro Takata; Naoyuki Nide, We present a method to solve a verification problem that arises in implementing a commitment strategy for the BDI architecture. This problem introduces a new aspect of verification such that a state transition depends on a verification done at each state. We formalize this problem and give a decision procedure for the verification. © 2002 Published by Elsevier Science B.V., Oct. 2002, 70, 5, 133, 146, International conference proceedings, 10.1016/S1571-0661(04)80592-9

MISC

  • 研究報告バイオ情報学(BIO), 情報処理学会, Modeling probabilistic state transitions using TOMATO and its application, 新出 尚之; 高田 司郎; 藤田 恵, BDI エージェントのモデル化に用いられる様相論理体系 BDI logic に、確率的状態遷移と不動点オペレータを導入して拡張した論理体系が TOMATO である。これらの拡張を用いて、TOMATO では BDI エージェントおよびそれと外部の行為選択機構との結合にかかわるさまざまな性質の記述や推論が行える。本論文では、TOMATO の意味論で用いられるクリプケ構造である BDI ストラクチャを用いて、確率的状態遷移のモデルを扱う方法、および、それに関する証明の例について示す。特に、確率的状態遷移の導入が本質的に必要となる、強化学習との結合に主眼をおいて述べる。TOMATOis an extension of BDI logic, which introduced probabilistic state transitions and fix-point operators. In TOMATO, using those extended notions, we can strictly describe and infer various properties of BDI agents and combinations of them with the external action decision mechanisms. In this paper, we give a detailed explanation of modeling of probabilistic state transitions with the Kripke structure used in TOMATO, called BDI structure, and the inference rules of TOMATO. In addition, we give some proof examples using TOMATO. Especially, we pay particular attention to the modeling of the combination with reinforcement learning., 09 Dec. 2010, 2010, 23, 1, 9
  • 博士学位論文 : 内容の要旨及び審査の結果の要旨, 奈良女子大学, BDI logic の sequent calculus による演繹体系とマルチエージェント環境への拡張, 新出 尚之, Aug. 2008, 25, 181, 185
  • IPSJ SIG Notes, Information Processing Society of Japan (IPSJ), Auto Classification of Feces for Health Condition, KOMATSUBARA Miho; ISHIKAWA Chisato; TAKATA Masami; KAMO Hiroyasu; NIDE Naoyuki; JOE Kazuki, In this paper, we propose a system to classify shape of feces. In the proposed system, a chain code and elliptic Fourier descriptors are applied. To evaluate the system, a recall and a misidentification rates are calculated, and the recall rate is emphasized in this paper. The effectiveness of the proposed system is established. As the result, each recall rate becomes more than 75%., 25 Jun. 2007, 2007, 64, 25, 28
  • IPSJ SIG Notes, Information Processing Society of Japan (IPSJ), 3D Visualization System Gateau for Atmospheric Science: Design Concept and Practical Evaluation, TOUMA Eriko; NOGUCHI Katsuyuki; TAKATA Masami; KAMO Hiroyasu; NIDE Naoyuki; JOE Kazuki, Atmospheric scientists tend to use a 2D visualization method rather than 3D visualization for data analysis because 3D visualization requires some expert knowledge. We have developed a 3D visualization system Gateau for atmospheric scientists who are not familiar with visualization programming. Gateau accepts various data formulas used in atmospheric science, reconstruct the analysis procedure which atmospheric scientists perform with 3D visualization, and leads to the discovery of target phenomenon. The resultant visualization can be used for presentation. In this paper, we explain a conventional visualization method in atmospheric science field, give the 3D visualization system overview, and describe practical evaluation., 25 Jun. 2007, 2007, 64, 29, 32
  • IPSJ SIG Notes, Information Processing Society of Japan (IPSJ), Design of an lntegrated Database System for Short-term Earthquake Prediction, ISHIKAWA Chisato; KAMO Hiroyasu; NIDE Naoyuki; JOE Kazuki, It is known that various electromagnetic methods have been investigated for the short-term earthquake prediction. To make integrated investigation of these methods and find some correlations of earthquakes and various phenomenon, an integrated database system for short-term earthquake prediction is needed. In this paper, we present the design of an integrated database system for the ICA (Independent Component Analysis) method and observed TCD (Telluric current data)., 26 Jun. 2006, 2006, 68, 27, 30
  • IPSJ SIG Notes, Information Processing Society of Japan (IPSJ), Design and lmplementation of Gateau API for HDF-EOS, YAMAUCHI Kazuko; TOUMA Eriko; KAMO Hiroyasu; NIDE Naoyuki; HAYASHIDA Sachiko; JOE Kazuki, Gateau, which we have been developing, is a system that helps atmospheric scientists analyze data by visualizing earth observation data used in atmospheric science research. In this investigation, we have selected HDF-EOS as a data format for Gateau. The HDF-EOS format recently increases among data distributed as earth observation data. We implement an HDF-EOS read function to Gateau. Atmospheric scientists can perform 3D visualization without writing programs using the original API called the HDF-EOS library. In this paper, we describe the implementation of the HDF-EOS read function to Gateau., 26 Jun. 2006, 2006, 68, 35, 38
  • IPSJ SIG Notes, Information Processing Society of Japan (IPSJ), Gateau: A 3D Visualization System for lntuitive Analysis of Atmospheric Science, TOUMA Eriko; YAMAUCHI Kazuko; KAMO Hiroyasu; NIDE Naoyuki; HAYASHIDA Sachiko; JOE Kazuki, By recent progress in hardware, 3D visualization including VolumeRendering is adopted in various fields. Though CG is used in the atmospheric field, the scientists mainly use 2D visualization. So, we develop a 3D visualization system Gateau for atmospheric science. Gateau is a quick-look tool that enables the atmospheric scientists to observe 30 grid data with only a few instructions without 3D visualization programming knowledge. Without any manual, the users can understand how to use it interactively on the basis of simple interfaces, and accept multiple input formats including HDF-EOS, which is expected to be the standard file format to distribute earth observation satellite data., 26 Jun. 2006, 2006, 68, 31, 34
  • 第47回プログラミング・シンポジウム予稿集, Implementation of make by Prolog, 笹山 琴由; 野口 真理子; 藤本 尚子; 鴨 浩靖; 新出 尚之, 10 Jan. 2006, 2006, 161, 166
  • IEICE transactions on information and systems, The Institute of Electronics, Information and Communication Engineers, Reasoning about Mental State Compatibilities of Rational Agents and Its Applications( Software Agent and Its Applications), NIDE Naoyuki; TAKATA Shiro; ARARAGI Tadashi, 01 Aug. 2003, 86, 8, 1470, 1470
  • 奈良女子大学情報処理センター広報, 奈良女子大学, パソコンによるX端末の構築とセンターUNIXシステムの利用, 新出 尚之, Mar. 2002, 13, 14, 34

Books etc

  • Mathematical Logic for Rational Agents, Corona Publishing, Toru Kato; Shiro Takata; Naoyuki Nide, Oct. 2014, 9784339024890
  • Introduction to Wnn+GMW, Iwanami Shoten, Publishers, Kyoto Artificial Brain Associates, Sep. 1990, 9784000050784
  • Common Lisp Handbook, Iwanami Shoten, Publishers, Taiichi Yuasa(ed.); Masami Hagiya(ed.); Takashi Suzuki; Hideki Tsuiki; Naoyuki Nide, Jul. 1987, 9784000076906

Presentations

  • Naoyuki Nide, 5th Whole Brain Architecture Seminar, BDI --- model, architecture, logic ---, Jul. 2014, 全脳アーキテクチャ勉強会
  • Megumi Fujita; Hiroko Katayama; Yuko Ojima; Naoyuki Nide, 第28回記号論理と情報科学研究集会(SLACS2011), BDI Robots Who Adapt to the Diversity of the Real World, Sep. 2011
  • 小川 美樹; 鴨 浩靖; 新出 尚之, 第28回記号論理と情報科学研究集会(SLACS2011), 汎用的な証明図作成支援ソフトの構築, Sep. 2011
  • 藤田 恵; 小島 侑子; 片山 寛子; 新出 尚之, ロボティクスフォーラム2010, 動的環境におけるBDIエージェント搭載ロボットの動的プランニングによる再行動決定の設計及び実装, Mar. 2010
  • 野口 真理子; 藤本 尚子; 鴨 浩靖; 新出 尚之, 第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007), mipl〜make in Prolog〜の設計方針及び実装について, Mar. 2007
  • Naoko Fujimoto; Mariko Noguchi; Hiroyasu Kamo; Naoyuki Nide, 代数, 論理, 幾何と情報科学研究集会(ALGI17), Implementation of Make in Prolog, Oct. 2006
  • 野口 真理子; 藤本 尚子; 鴨 浩靖; 新出 尚之, 第23回記号論理と情報科学研究集会(SLACS2006), Prologによるmakeの実装〜Mipl〜, Sep. 2006
  • 高田 司郎; 新出 尚之; 太田 正幸; 山川 宏; 宮崎 和光, 第19回人工知能学会全国大会, 異なる状況下で獲得した政策を基にした動的プランニングについて, Jun. 2005
  • 高田 司郎; 新出 尚之, JAWS2003 デジタルポスターセッション・チュートリアル, 合理的エージェントの論理と(BDI)アーキテクチャ, Oct. 2003
  • 新出 尚之(パネラーとして参加), 第12回NT-Committee2関西勉強会, パネルディスカッション: GNU環境の活用方法, Aug. 2001, システム制御情報学会・情報システムの管理・運用と利用(MUIS)研究分科会、NT-Committee2(共催)

Works

  • 汎用OSとUNIXの並行運用システムにおける両OS間のリモートジョブシステムの構築とそのシステム管理および情報処理教育への応用, 1991, 1992
  • 汎用OSでの電子メール・電子掲示板システムの構築および外部ネットワークとの接続, 1991, 1992
  • MML言語による音楽(MIDI)ファイル作成システムの共同開発
  • UNIX上で広く用いられているソフトウェアやデバイスドライバの他システムへの移植やパッチなどの開発と公開
  • MS-DOS上の互換コマンド、スクリプト言語の実行支援ツールなどの開発と公開

Research Projects

  • Apr. 2013, Study on autonomous robots based on mathematical logics, その他の研究制度, 0, 0, 0, Competitive research funding
  • 2003, 2005, Linux上の結び目理論研究支援ソフトウェアの開発, 落合 豊行; 加古 富志雄; 新出 尚之; 鴨 浩靖, 科学研究費, Competitive research funding
  • 2000, Study on construction of rational/autonomous agents based on mathematical logics, その他の研究制度, 0, 0, 0, Competitive research funding
  • 1986, Study on Temporal Logic Programming, 0, 0, 0, Competitive research funding

Ⅲ.社会連携活動実績

1.公的団体の委員等(審議会、国家試験委員、他大学評価委員,科研費審査委員等)

  • 1999, Mar. 2003, Society


Copyright © MEDIA FUSION Co.,Ltd. All rights reserved.