English
 研究院
 生活環境科学系
 生活情報通信科学領域
准教授
新出   尚之
NIDE Naoyuki

1963年生まれ

個人ウェブサイトはこちら

その他の所属・職名
生活環境学部 情報衣環境学科 生活情報通信科学コース
人間文化研究科 博士前期課程 情報科学専攻
人間文化研究科 博士後期課程 複合現象科学専攻

職歴
京都大学情報処理教育センター助手  1988/07-1992/05 
奈良女子大学理学部講師  1992/06-2008/03 
奈良女子大学理学部准教授  2008/04-2012/03 
奈良女子大学研究院自然科学系情報科学領域准教授  2012/04-2014/03 
奈良女子大学研究院生活環境科学系生活情報通信科学領域准教授  2014/04-現在 

出身大学院
京都大学  修士  理学研究科  数理解析  1988/03  修了  国内   
京都大学  博士後期  理学研究科  数理解析  1988/06  中退  国内   

出身学校
京都大学  理学部    1986/03  卒業  国内   

取得学位
理学修士  京都大学  1988/03 
博士(情報科学)  奈良女子大学  2007/08 

研究分野
計算機科学 

キーワード
数理論理学、自律エージェント 

研究テーマ
時相論理プログラミングに関する研究  論理プログラミング,様相論理  1986- 
論理に基づく自律エージェントの構築に関する研究  マルチエージェント, 様相論理  2000- 

共同・受託研究実績
合理的エージェントの構築に関する研究  合理的エージェントの構築に関する研究  2000-現在  国内共同研究 
詳細表示...

著書
数理論理学―合理的エージェントの理解に向けて―  2014/10/30  コロナ社    加藤他2名  978-4-339-02489-0   
Wnn+GMW入門  1990  岩波書店         
Common Lispハンドブック  1987  岩波書店         
詳細表示...

論文
Tracing Werewolf game by using extended BDI model  IEICE Transactions on Information and Systems  学術雑誌  共著    2017/12  S. Takata       
目標物到達機構を持つ自律的な小型ロボットの制御を行うBDIエージェントの構築  日本ソフトウェア科学会第33回大会論文集  学術雑誌  共著    2016/09  樽井, 兼松       
Autonomous control of mobile robots using logical representation of map and inference about location  Proc. of IEEE ICA 2016  大学・研究所紀要  共著    2016/09  M. Fujita, Y. Goto, K. Satoh, H. Hosobe       
Tracing Werewolf game by using extended BDI model  Proc. of IEEE ICA 2016  学術雑誌  共著    2016/09  S. Takata       
不確実な信念を持つエージェントの確率的戦略とBDIモデル  第30回人工知能学会全国大会論文集  学術雑誌  共著    2016/06  高田司郎       
詳細表示...

研究発表
シンポジウム発表、特別講演、招待講演等  BDI―モデル、アーキテクチャ、論理―  第5回全脳アーキテクチャ勉強会  2014/07 
講演会、研究集会  実世界の多様性に適応したBDIロボットについて  SLACS2011  2011/09 
講演会、研究集会  動的環境におけるBDIエージェント搭載ロボットの動的プランニングによる再行動決定の設計及び実装  ロボティクスフォーラム2010  2010/03 
学会発表  mipl〜make in Prolog〜の設計方針及び実装について  第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007)  2007/03 
学会発表  PrologによるMakeの実装  代数, 論理, 幾何と情報科学研究集会(ALGI17)  2006/10 
詳細表示...

芸術系の活動・フィールドワーク等
汎用OSでの電子メール・電子掲示板システムの構築および外部ネットワークとの接続  1991-1992  その他  単独 
汎用OSとUNIXの並行運用システムにおける両OS間のリモートジョブシステムの構築とそのシステム管理および情報処理教育への応用  1991-1992  その他  単独 
詳細表示...

担当授業科目
計算機実験1 
言語処理系論 
情報処理技術1 
論理回路論 
論理プログラミング特論 
詳細表示...

教育実績
附属学校アカデミックガイダンス講師担当  2015/09/07-2015/09/07   
附属学校アカデミックガイダンス講師担当  2013/09/03-2013/09/04   
詳細表示...

社会連携・国際交流活動
自律エージェント構築ソフトウェアJasonのバグ修正パッチの開発  2013/10-2013/10     
音楽記述言語(MML)による音楽演奏ソフトウェアの開発と公開  1998-現在     
ソフトウェア「com2txt」、「dshar」、「SOS」の開発と公開  1994-現在     
DOS上のUNIX互換コマンド、スクリプト言語の実行支援ツールの開発と公開(2013年度以降も一部の更新を継続)  1990-現在     
広く使われているソフトウェアに対する、改善あるいは問題修正用のパッチの開発と公開(2012年度以降も改修を継続)  1990-現在     
詳細表示...

所属学会
IEEE 2016/08-2017/01  国外
人工知能学会 2013/05-現在  国内
日本ロボット学会 2011/07-現在  国内
電子情報通信学会 2009/03-現在  国内
情報処理学会(研究会運営委員としての参加のみ) 1999-2003  国内
プログラミング研究会運営委員 1999-2003
日本ソフトウェア科学会 1987-現在  国内