研究科・領域

動画一覧

上原 隆平 教授
計算折り紙、組合せ最適化、グラフアルゴリズム、ゲームやパズルの計算量
研究者総覧
1分PV
緒方 和博 教授
分散システム、状態機械、定理証明、モデル検査
研究者総覧
1分PV
平石 邦彦 教授
離散事象/ハイブリッドシステム、形式検証、エージェントシミュレーション、状況アウェアネス、ビジネスプロセス
研究者総覧
1分PV
藤﨑 英一郎 教授
暗号方式設計と攻撃手法、安全性理論、耐量子暗号、秘密計算、ネットワークセキュリティ
研究者総覧
1分PV
PAGETOP