コンピューティング科学
廣川 直 准教授 HIROKAWA Nao
計算理論研究室 Laboratory on Theory of Computation
プログラミング言語と自動証明
キーワード：理論計算機科学・記号計算・関数型プログラミング言語・自動証明・停止性・計算量解析
学修分野：情報科学
詳しく見る
北陸先端科学技術大学院大学
受験生サイト
laboratory 研究室一覧と検索
世界から集まるトップレベルの教授陣と幅広い研究分野。
あなたのやりたい研究が、きっと見つかるはず。
