受賞日:R2.3.4
受賞名:論文賞
第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)
受賞者所属・学年(当時):大学院情報学研究科 情報システム学専攻 M2
受賞者氏名:福井 康介
連名者(所属は当時):中澤巧爾(大学院情報学研究科 准教授)
石井沙織(工学部電気電子・情報工学科B4)
結縁祥治(大学院情報学研究科 教授)
概要:「古典論理に対する汎用的自然演繹の証明正規化」について、論文賞を受賞しました。