日本語

Faculty  Division of Human Life and Environmental Sciences  Research Group of Information and Communication Technology for Life

Associate Professor NIDE   Naoyuki Birth:1963 My website is here.

■ Other faculty or department / position Faculty of Human Life and Environment Department ofComputer Science and Clothing Environment Courses of Information and Communication Technology for Life Graduate School of Humanities and Sciences Master's Course Department of Information and Computer Sciences Graduate School of Humanities and Sciences Doctoral Course School of Interdisciplinary Research of Scientific Phenomena and Information   ■ Career Assistant professor, Educational Center for Information Processing, Kyoto University  1988/07-1992/05  Lecturer, Faculty of Science, Nara Women's University  1992/06-2008/03  Associate professor, Faculty of Science, Nara Women's University  2008/04-2012/03  Associate professor, Faculty, Division of Natural Sciences, Nara Women's University  2012/04-2014/03  Faculty, Division of Human Life and Environmental Sciences, Research Group of Information and Communication Technology for Life, Nara Women's University  2014/04-Present    ■ Graduate school Kyoto University  Master course  Graduate School, Division of Natural Science  Mathematical Sciences  1988/03  Completed  Domestic    Kyoto University  Doctor later  Graduate School, Division of Natural Science  Mathematical Sciences  1988/06  Withdrawn before completion  Domestic      ■ School Kyoto University  Faculty of Science    1986/03  Graduated  Domestic      ■ Academic degrees (BLANK)  Kyoto University  1988/03  博士(情報科学)  Nara Women's University  2007/08    ■ Current research field Computer Science    ■ Research keywords Mathematical Logic, Autonomous Agent    ■ Subject of research Study on Temporal Logic Programming  Logic progranming,Modallogic  1986-  Study on construction of autonomous agents based on mathematical logics  Multi agent, Modal logic  2000-    ■ Achievements of joint or funded research 論理プログラミングによる自律ロボットに関する研究  論理プログラミングによる自律ロボットに関する研究  2013/04-2018/08  Domestic joint research within Japan  Research on constructing rational agents  Research on constructing rational agents  2000-Present  Domestic joint research within Japan  View details...   ■ Books Mathematical Logic for Rational Agents  2014/10/30  Corona Publishing Co., Ltd.    T. Kato, S. Takata  978-4-339-02489-0    Wnn+GMW入門  1990/09/18  Iwanami Shoten, Publishers.    KABA      Common Lispハンドブック  1987/07/16  Iwanami Shoten, Publishers.          View details...   ■ Papers Implementation of 3-valued paraconsistent logic programming towards decision making system of agents  Journal of Systems Science and Systems Engineering  Academic Journal  Joint  To appear  2018  Yuki Goto, Megumi Fujita        Toward a robot that acquires logical recognition of space  Information Engineering Express  Academic Journal  Joint  3/ 4  2017/12  Yuki Goto, Megumi Fujita, Ken Satoh, Hiroshi Hosobe        Tracing Werewolf game by using extended BDI model  IEICE Transactions on Information and Systems  Academic Journal  Joint  E100-D/ 12, 2888-2896  2017/12  Shiro Takata        Acquisition of object recognition ability of autonomous robot  Proc. of 34th JSSST Annual Conference  Academic Journal  Joint    2017/09  Kanematsu, Komatsu        A Logical Model of Emotional Expressions and Time Course based on OCC theory  Proc. of 34th JSSST annual conference  Academic Journal  Joint    2017/09  Imai, Asai, Tsukamoto        View details...   ■ Research presentations Symposium  BDI --- model, architecture, logic ---  5th Whole Brain Architecture Seminar  2014/07  Etc.  BDI Robots Who Adapt to the Diversity of the Real World  SLACS2011  2011/09  Etc.  動的環境におけるBDIエージェント搭載ロボットの動的プランニングによる再行動決定の設計及び実装  ロボティクスフォーラム2010  2010/03  Conference presentation  mipl〜make in Prolog〜の設計方針及び実装について  第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007)  2007/03  Conference presentation  PrologによるMakeの実装  代数, 論理, 幾何と情報科学研究集会(ALGI17)  2006/10  View details...   ■ Artistic activity / fieldwork / etc. 汎用OSでの電子メール・電子掲示板システムの構築および外部ネットワークとの接続  1991-1992  Others  Only  汎用OSとUNIXの並行運用システムにおける両OS間のリモートジョブシステムの構築とそのシステム管理および情報処理教育への応用  1991-1992  Others  Only  View details...   ■ Alloted class 計算機実験1  言語処理系論  情報処理技術1  論理回路論  論理プログラミング特論  View details...   ■ Teaching achievements 附属学校アカデミックガイダンス講師担当  2015/09/07-2015/09/07    附属学校アカデミックガイダンス講師担当  2013/09/03-2013/09/04    View details...   ■ Social cooperation and an international exchange activity 自律エージェント構築ソフトウェアJasonのバグ修正パッチの開発  2013/10-2013/10      音楽記述言語(MML)による音楽演奏ソフトウェアの開発と公開  1998-Present      ソフトウェア「com2txt」、「dshar」、「SOS」の開発と公開  1994-Present      DOS上のUNIX互換コマンド、スクリプト言語の実行支援ツールの開発と公開(2013年度以降も一部の更新を継続)  1990-Present      広く使われているソフトウェアに対する、改善あるいは問題修正用のパッチの開発と公開(2012年度以降も改修を継続)  1990-Present      View details...   ■ Memberships of academic societies IEEE 2016/08-2017/01  Overseas 人工知能学会 2013/05-Present  Domestic 日本ロボット学会 2011/07-Present  Domestic 電子情報通信学会 2009/03-Present  Domestic 情報処理学会(研究会運営委員としての参加のみ) 1999-2003  Domestic プログラミング研究会運営委員 1999-2003 Japan Society for Software Science and Technology 1987-Present  Domestic