PCサイトを見る

領域・組織

 計算機科学の究極の目標の一つにヒューマノイド・ロボットがあります。ロボットは近年災害救助や介護などさまざまな局面で人間の補助をすることが期待されています。このときロボットには、機械的にスムーズな動作を実現するという側面とともに、人間のような知能を持つという側面も求められます。本領域ではこの両面を橋渡しし、機械工学・制御工学に基づくロボット工学から、人間のように固有の知識と推論機能を持ち、コミュニケーション機能を有するエージェントの研究をカバーします。すなわち、パーセプション-アクション・サイクルや歩行と言った知覚認知体としてのロボットの研究、人間の思考の基盤をなす数理論理学、ソフトウェアによる推論機能の実現、分散・並列システム、そして人工知能によるエージェント間通信の実現と言ったテーマに学際的に取り組み、社会に貢献します。

キーワード

人工知能、ロボティクス、機械力学、制御工学、数理論理学、ソフトウェア科学、分散システム

教育研究の方針

 本領域は、(a) 情報科学の根幹をなす数学と英語によるディスカッション・ライティングスキル、(b) 常に短期的・長期的なマイルストーンを立てる研究のプランニングの方法論、(c) 徹底的なサーベイに基づく自分の貢献の明示化をもって最終的な研究成果を仕上げるプロセスを修得し、将来の研究者・社会におけるリーダーの育成を目指します。

研究室一覧

石原研究室

石原 哉

計算から論証へ

キーワード

直観主義論理、構成的数学、証明論、逆数学

詳しくはこちら
緒方研究室

緒方 和博

状態機械をとおして
複雑な分散システムの核心に迫る!

キーワード

分散システム、状態機械、定理証明、モデル検査

詳しくはこちら
小川研究室

小川 瑞史

理論を現実の問題に:
信頼できるソフトウェア、セキュアなシステム

キーワード

Formal language, Rewrting systems, infinite state transition systems, Formal methods, SMT, Binary analysis

詳しくはこちら
チョン研究室

チョン ナクヨン

知覚認知情報処理に基づく
知能ロボット実現を目指す

キーワード

自律型知能ロボット、知覚認知情報処理、日常生活支援ロボット

詳しくはこちら
寺内研究室

寺内 多智弘

理論に基づく正しいソフトウェア開発:
バグのないソフトウェアを目指して

キーワード

型システム、自動定理証明、ソフトウェアモデル検査、ソフトウェア工学

詳しくはこちら
東条研究室

東条 敏

人間の思考はプログラム可能?

キーワード

法律推論、知識と信念の論理、エージェント・コミュニケーション、進化言語学、生成論的音楽理論

詳しくはこちら
浅野研究室

浅野 文彦

ロボットの効率的な運動制御を通して
ヒトや動物の運動を深く知ろう

キーワード

動的システム理論、運動制御、解析力学、歩行ロボット

詳しくはこちら
NGUYEN研究室

NGUYEN MINHLE

Deep Learning, Natural Language
Understanding, Legal Text Processing

キーワード

Natural Language Understanding, Text Summarization, Deep Learning, Knowledge Representation

詳しくはこちら
廣川研究室

廣川 直

プログラミング言語と自動証明

キーワード

理論計算機科学・記号計算・関数型プログラミング言語・自動証明・停止性・計算量解析

詳しくはこちら

就職実績

平成23~26年度実績
  • アイシン精機(株)
  • NEC ソリューションイノベータ(株)
  • NEC プラットフォームズ(株)
  • オムロン(株)
  • (株)ぐるなび
  • スズキ(株)
  • ソニーイーエムシーエス(株)
  • 大日本印刷(株)
  • パナソニック(株)
  • 東日本旅客鉄道(株)
  • (株)日立製作所
  • (株)日立ソリューションズ
  • 富士通(株) 等

動画一覧

石原 哉 教授
石原 哉 教授
直観主義論理、構成的数学、証明論、逆数学
研究者総覧
1分PV ロングPV
緒方 和博 教授
緒方 和博 教授
分散システム、状態機械、定理証明、モデル検査
研究者総覧
1分PV
CHONG、 Nak-Young教授
CHONG、Nak-Young教授
自律型知能ロボット、知覚認知情報処理、日常生活支援ロボット
研究者総覧
1分PV ロングPV
東条 敏 教授
東条 敏 教授
法律推論、知識と信念の論理、エージェント・コミュニケーション、進化言語学、生成論的音楽理論
研究者総覧
1分PV ロングPV
浅野 文彦 准教授
浅野 文彦 准教授
動的システム理論、運動制御、解析力学、歩行ロボット
研究者総覧
1分PV
横山 啓太 助教
横山 啓太 助教
証明可能/不可能性、計算可能/不可能性、難しさを測る、急増加関数、逆数学
研究者総覧
ロングPV
PAGETOP