Rchr
J-GLOBAL ID:200901064146442800   Update date: Apr. 12, 2021

Nide Naoyuki

ニイデ ナオユキ | Nide Naoyuki
Affiliation and department:
Job title: Associate Professor
Homepage URL  (1): http://www.ics.nara-wu.ac.jp/jp/staff/nide.html
Research field  (1): Information theory
Research keywords  (2): Autonomous Agent ,  Mathematical Logic
Research theme for competitive and other funds  (4):
  • 2013 - Study on autonomous robots based on mathematical logics
  • 2003 - 2005 Linux上の結び目理論研究支援ソフトウェアの開発
  • 2000 - Study on construction of rational/autonomous agents based on mathematical logics
  • 1986 - Study on Temporal Logic Programming
Papers (107):
more...
Books (3):
  • Mathematical Logic for Rational Agents
    Corona Publishing 2014 ISBN:9784339024890
  • Introduction to Wnn+GMW
    Iwanami Shoten, Publishers 1990 ISBN:9784000050784
  • Common Lisp Handbook
    Iwanami Shoten, Publishers 1987 ISBN:9784000076906
Lectures and oral presentations  (10):
  • BDI --- model, architecture, logic ---
    (5th Whole Brain Architecture Seminar 2014)
  • BDI Robots Who Adapt to the Diversity of the Real World
    (2011)
  • 汎用的な証明図作成支援ソフトの構築
    (第28回記号論理と情報科学研究集会(SLACS2011) 2011)
  • 動的環境におけるBDIエージェント搭載ロボットの動的プランニングによる再行動決定の設計及び実装
    (ロボティクスフォーラム2010 2010)
  • mipl〜make in Prolog〜の設計方針及び実装について
    (第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007) 2007)
more...
Works (5):
  • 汎用OSとUNIXの並行運用システムにおける両OS間のリモートジョブシステムの構築とそのシステム管理および情報処理教育への応用
    1991 - 1992
  • 汎用OSでの電子メール・電子掲示板システムの構築および外部ネットワークとの接続
    1991 - 1992
  • MML言語による音楽(MIDI)ファイル作成システムの共同開発
  • UNIX上で広く用いられているソフトウェアやデバイスドライバの他システムへの移植やパッチなどの開発と公開
  • MS-DOS上の互換コマンド、スクリプト言語の実行支援ツールなどの開発と公開
Education (3):
  • 1988 - 1988 Kyoto University Division of Mathematics and Mathematical Sciences
  • 1986 - 1988 Kyoto University Division of Mathematics and Mathematical Sciences
  • 1982 - 1986 Kyoto University
Professional career (1):
  • Ph.D. (Information science) (Nara Women's University)
Work history (9):
  • 2014/04 - Nara Women's University Faculty, Division of Human Life and Environmental Sciences, Research Group of Information and Communication Technology for Life Associate professor
  • 2012/04 - 2014/03 Nara Women's University Faculty, Division of Natural Sciences Associate professor
  • 2008/04 - 2012/03 Nara Women's University Faculty of Science Associate professor
  • 1992/06 - 2008/03 Nara Women's University Faculty of Science Lecturer
  • 2006/11 - 2006/11 放送大学 奈良学習センター 非常勤講師
Show all
Committee career (1):
  • 1999 - 2003/03 情報処理学会 プログラミング研究会運営委員
Association Membership(s) (5):
IEEE ,  The Japanese Society for Artificial Intelligence ,  The Robotics Society of Japan ,  The Institute of Electronics, Information and Communication Engineers ,  Japan Society for Software Science and Technology
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page