日本語

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 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  コロナ社    加藤他2名  978-4-339-02489-0    Wnn+GMW入門  1990  岩波書店          Common Lispハンドブック  1987  岩波書店          View details...   ■ Papers Tracing Werewolf game by using extended BDI model  IEICE Transactions on Information and Systems  Academic Journal  Joint    2017/12  S. Takata        目標物到達機構を持つ自律的な小型ロボットの制御を行うBDIエージェントの構築  日本ソフトウェア科学会第33回大会論文集  Academic Journal  Joint    2016/09  樽井, 兼松        Autonomous control of mobile robots using logical representation of map and inference about location  Proc. of IEEE ICA 2016  Bulletin of Universities and Institutes  Joint    2016/09  M. Fujita, Y. Goto, K. Satoh, H. Hosobe        Tracing Werewolf game by using extended BDI model  Proc. of IEEE ICA 2016  Academic Journal  Joint    2016/09  S. Takata        不確実な信念を持つエージェントの確率的戦略とBDIモデル  第30回人工知能学会全国大会論文集  Academic Journal  Joint    2016/06  高田司郎        View details...   ■ Research presentations Symposium  BDI―モデル、アーキテクチャ、論理―  第5回全脳アーキテクチャ勉強会  2014/07  Etc.  実世界の多様性に適応したBDIロボットについて  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