草刈・安福研究室

研究分野

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

構成員

教授

草刈圭一朗

助教

安福智明

M2

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

M1

佐藤王海, 立岩侑大

B4

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

B3

牛場健太, 加藤瑛音, 加納大輝, 川添泰征, 福井晴貴

卒業生

アクセス

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

その他

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