日本語
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