PCサイトを見る

領域・組織

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

キーワード

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

教育研究の方針

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

研究室一覧

石原研究室

石原 哉

計算から論証へ

キーワード

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

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

緒方 和博

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

キーワード

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

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

小川 瑞史

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

キーワード

Formal language, Combinatorics, Rewriting systems, State transition systems, Formal methods, SMT solver, Binary code analysis

詳しくはこちら
NGUYEN研究室

グェン ミン レ

Deep Learning, Natural Language
Understanding, Legal Text Processing

キーワード

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

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

チョン ナクヨン

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

キーワード

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

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

東条 敏

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

キーワード

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

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

浅野 文彦

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

キーワード

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

詳しくはこちら
岡田研究室

岡田 将吾

多面的にコミュニケーション・行動を理解する計算モデルに基づいた社会的人工知能の実現

キーワード

社会的信号処理,コミュニケーションモデリング,Affective Computing, Social Computing

詳しくはこちら
シュワルツマン研究室

シュワルツマン グレゴリー

Algorithm design for the 21st century

キーワード

Distributed Systems, Graph Algorithms, Combinatorial Optimizations, Streaming Algorithms

詳しくはこちら
池研究室

池 勇勳

無人移動ロボットによる知的環境センシング技術の開拓

キーワード

移動ロボット、ロボットビジョン、環境センシング、SLAM(simultaneous localization and mapping)

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

廣川 直

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

キーワード

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

詳しくはこちら
p_ho.jpg

ホ アン ヴァン

材料の柔らかさを活かした
次世代ロボットの開発

キーワード

ソフトロボティクス・柔軟な触覚装置

詳しくはこちら
p_yokoyama.jpg

横山 啓太

数学の定理の難しさ・複雑さを理解する

キーワード

数理論理学、数学基礎論、証明論、計算可能性、算術体系、超準モデル、逆数学

詳しくはこちら

就職実績

  • アドバンスト・アプリケーション(株)
  • (株)NTTファシリティーズ
  • シャープ(株)
  • 綜合警備保障(株)
  • ソニーイーエムシーエス(株)
  • (株)デンソー
  • (株)デンソーウェーブ
  • (株)東洋経済新報社
  • (株)ニフコ
  • パナソニック(株)
  • 富士通(株)
  • 本田技研工業(株)
  • (株)レコチョク 等

動画一覧

石原 哉 教授
石原 哉 教授
直観主義論理、構成的数学、証明論、逆数学
研究者総覧
1分PV ロングPV
緒方 和博 教授
緒方 和博 教授
分散システム、状態機械、定理証明、モデル検査
研究者総覧
1分PV
CHONG、 Nak-Young教授
チョン ナクヨン 教授
自律型知能ロボット、知覚認知情報処理、日常生活支援ロボット
研究者総覧
1分PV ロングPV
東条 敏 教授
東条 敏 教授
法律推論、知識と信念の論理、エージェント・コミュニケーション、進化言語学、生成論的音楽理論
研究者総覧
1分PV ロングPV
浅野 文彦 准教授
浅野 文彦 准教授
動的システム理論、運動制御、解析力学、歩行ロボット
研究者総覧
1分PV
岡田 将吾 准教授
岡田 将吾 准教授
社会的信号処理,コミュニケーションモデリング,Affective Computing, Social Computing
研究者総覧
1分PV
この人に聞く
池 勇勳 准教授
池 勇勳 准教授
移動ロボット、ロボットビジョン、環境センシング、SLAM(simultaneous localization and mapping)
研究者総覧
1分PV
ホ アン ヴァン 准教授
ホ アン ヴァン 准教授
ソフトロボティクス・柔軟な触覚装置
研究者総覧
1分PV
この人に聞く
横山 啓太 助教
横山 啓太 講師
数理論理学、数学基礎論、証明論、計算可能性、算術体系、超準モデル、逆数学
研究者総覧
ロングPV
PAGETOP