宮川夏菜子さんが、人工知能学会2025年度全国大会学生奨励賞を受賞

2025年11月10日更新

博士前期課程情報科学コース1年の宮川夏菜子さんらが、人工知能学会より、2025年度全国大会学生奨励賞を受賞しました。
受賞論文は以下の通りです。

依存型理論のための自動定理証明器Neural Waniの開発に向けて
宮川夏菜子、田上青空、戸次大介、 (2025).
第39回人工知能学会全国大会論文集, 3G5-GS-6-04, 大阪国際会議場, 2025/5/27-30.

国立大学法人お茶の水女子大学
〒112-8610 東京都文京区大塚2-1-1
責任者：お茶の水女子大学ホームページ運営委員会委員長
E-mail：info@cc.ocha.ac.jp