研究科・領域
動画一覧
- 上原 隆平 教授
- 計算折り紙、組合せ最適化、グラフアルゴリズム、ゲームやパズルの計算量
- 緒方 和博 教授
- 分散システム、状態機械、定理証明、モデル検査
- 藤﨑 英一郎 教授
- 暗号方式設計と攻撃手法、安全性理論、耐量子暗号、秘密計算、ネットワークセキュリティ
- 髙木 翼 准教授
- 多ソート等式論理、様相論理、動的論理（ホーア論理）、時相論理（モデル検査）、量子論理
国立大学法人 北陸先端科学技術大学院大学
〒923-1292 石川県能美市旭台1-1 （代表）0761-51-1111
