草刈・安福研究室

研究分野

• 組合せゲーム理論
• プログラム理論
• 項書換え系
• 定理自動証明
• プログラム検証
• 関数型プログラミング言語とその応用

構成員

教授

草刈圭一朗

助教

安福智明

M2

高間真博, 村瀬皓紀, 村手拓海, 森颯汰

M1

内田宗明, 岡田暖生, 佐藤優希, 田中翔真, 西本祐真, 星野想空

B4

佐藤王海, 立岩侑大, 藤原篤史, 松平尚貴

B3

清水康稔, 竹田留偉, 温水心琴, 北條翼, 松本昂大, 安田千里

卒業生

アクセス

• 住所：〒501-1193 岐阜市 柳戸1-1 岐阜大学 工学部 電気電子・情報工学科
• 居室：工学部 E棟 E404,E405号室(教員室)，E424号室(学生室)
• 交通アクセス (岐阜大学のページ)
• 学内案内図 (岐阜大学のページ)
• 交通アクセス (工学部のページ)

その他

研究室内からのみアクセスできるページ