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