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

Nide Naoyuki

ニイデ ナオユキ | Nide Naoyuki
Affiliation and department：
Nara Women's University Faculty of Human Life and Environment

About Nara Women's University Faculty of Human Life and Environment


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 (108)：
ｍore...
MISC (12)：
  • 新出尚之. 卒業研究としての自走ロボットへの取り組み. 2023年度中之島ロボットチャレンジシンポジウム. 2024
  • 新出尚之. 奈良女子大学・北陽電機の自律走行ロボットへの取り組み -自律問題解決ロボットの仕組みの構築を目指して-. 2022年度中之島ロボットチャレンジシンポジウム. 2023
  • Modeling probabilistic state transitions using TOMATO and its application. 2010. 2010. 23. 1-9
  • 新出 尚之. BDI logic の sequent calculus による演繹体系とマルチエージェント環境への拡張. 博士学位論文 : 内容の要旨及び審査の結果の要旨. 2008. 25. 181-185
  • KOMATSUBARA Miho, ISHIKAWA Chisato, TAKATA Masami, KAMO Hiroyasu, NIDE Naoyuki, JOE Kazuki. Auto Classification of Feces for Health Condition. IPSJ SIG Notes. 2007. 2007. 64. 25-28
ｍore...
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)
ｍore...
Works (5)：
  • 汎用OSとUNIXの並行運用システムにおける両OS間のリモートジョブシステムの構築とそのシステム管理および情報処理教育への応用
    1991 - 1992
  • 汎用OSでの電子メール・電子掲示板システムの構築および外部ネットワークとの接続
    1991 - 1992
  • MML言語による音楽(MIDI)ファイル作成システムの共同開発
  • UNIX上で広く用いられているソフトウェアやデバイスドライバの他システムへの移植やパッチなどの開発と公開
  • MS-DOS上の互換コマンド、スクリプト言語の実行支援ツールなどの開発と公開
Education (3)：
  • 1988 - 1988 Kyoto University Graduate School of Science Division of Mathematics and Mathematical Sciences
  • 1986 - 1988 Kyoto University Graduate School of Science Division of Mathematics and Mathematical Sciences
  • 1982 - 1986 Kyoto University Faculty of Science
Professional career (1)：
  • Ph.D. (Information science) (Nara Women's University)
Work history (9)：
  • 2004/04 - 2022/03 近畿大学 理工学部 非常勤講師
  • 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
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

TOP

BOTTOM