〒923-1292 石川県能美市旭台1-1 (情報科学系II棟 6F I-64a室)
電話: 0761-51-1260
メンバー
教員
学生
- 中釜 雄太郎 (D2, 東京サテライト)
OB・OG
研究内容
研究分野,キーワード
- ソフトウェア工学・科学 (形式手法,モデル検査,プログラム検証).
- 制約プログラミング (SAT/SMTソルバー, 数値制約).
- プログラミング言語 (論理プログラミング,関数プログラミング).
- サイバーフィジカルシステム,連続離散ハイブリッドシステム,機械学習システム.
- 例: ロボット,自動車.