研究科・領域
動画一覧
- 上原 隆平 教授
- 計算折り紙、組合せ最適化、グラフアルゴリズム、ゲームやパズルの計算量
- 緒方 和博 教授
- 分散システム、状態機械、定理証明、モデル検査
- 平石 邦彦 教授
- 離散事象／ハイブリッドシステム、形式検証、エージェントシミュレーション、状況アウェアネス、ビジネスプロセス
- 藤﨑 英一郎 教授
- 暗号方式設計と攻撃手法、安全性理論、耐量子暗号、秘密計算、ネットワークセキュリティ
- 井之上 直也 准教授
- 言語モデル、深層学習、人工知能、説明可能性、データサイエンス、推論、論述理解
- 髙木 翼 准教授
- 多ソート等式論理、様相論理、動的論理（ホーア論理）、時相論理（モデル検査）、量子論理
国立大学法人 北陸先端科学技術大学院大学
〒923-1292 石川県能美市旭台1-1 （代表）0761-51-1111
