PCサイトを見る

領域・組織

動画一覧

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