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

【産学連携対象全学共通分野 Discovery Saga】

【Sagaキーワード】

2025年11月10日更新

概要

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

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