PCサイトを見る

領域・組織

研究室一覧

石原研究室

石原 哉 ※新規の学生受入は行っていません

計算から論証へ

キーワード

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

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

緒方 和博

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

キーワード

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

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

小川 瑞史

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

キーワード

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

ホ アン ヴァン

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

キーワード

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

詳しくはこちら
PAGETOP