中西瑠海氏（情報科学科4年・高橋和子研）が情報処理学会第81回全国大会において、学生奨励賞を受賞しました。
受賞題目は「論理型言語 PROLEG から双極議論フレームワークへの変換のCoqによる形式化と証明」です。

詳しくはこちらをご覧ください