草刈・安福研究室

研究分野

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

構成員

教授

草刈圭一朗

助教

安福智明

M2

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

M1

佐藤王海, 立岩侑大

B4

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

卒業生

アクセス

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

その他

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