日本語
 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
Sequent calculus for 3-valued paraconsistent logic QMPT0  Proc. of NCMPL 17  Academic Journal  Joint    2017/12  Yuki Goto, Megumi Fujita       
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       
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