[ Japanese | English ]
草刈・安福研究室
研究分野
- 組合せゲーム理論
- プログラム理論
- 項書換え系
- 定理自動証明
- プログラム検証
- 関数型プログラミング言語とその応用
構成員
- 教授
- 草刈圭一朗
- 助教
- 安福智明
- M2
- 高間真博, 村瀬皓紀, 村手拓海, 森颯汰
- M1
- 内田宗明, 岡田暖生, 佐藤優希, 田中翔真, 西本祐真, 星野想空
- B4
- 佐藤王海, 立岩侑大, 藤原篤史, 松平尚貴
- 卒業生
アクセス
- 住所:〒501-1193 岐阜市 柳戸1-1 岐阜大学 工学部 電気電子・情報工学科
- 居室:工学部 E棟 E404,E405号室(教員室),E424号室(学生室)
- 交通アクセス (岐阜大学のページ)
- 学内案内図 (岐阜大学のページ)
- 交通アクセス (工学部のページ)
その他
研究室内からのみアクセスできるページ
[ 情報コース
/ 応用情報学専攻 ]
[ 電気電子・情報工学科 ]
[ 工学部/工学研究科 ]
[ 岐阜大学 ]