PCサイトを見る

領域・組織

研究室一覧

石原研究室

石原 哉

計算から論証へ

キーワード

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

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

緒方 和博

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

キーワード

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

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

小川 瑞史

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

キーワード

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

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

チョン ナクヨン

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

キーワード

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

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

東条 敏

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

キーワード

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

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

浅野 文彦

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

キーワード

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

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

岡田 将吾

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

キーワード

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

詳しくはこちら
NGUYEN研究室

グェン ミン レ

Deep Learning, Natural Language
Understanding, Legal Text Processing

キーワード

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

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

廣川 直

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

キーワード

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

詳しくはこちら
p_ho.jpg

ホ アン ヴァン

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

キーワード

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

詳しくはこちら
PAGETOP