山田鈴太さん（情報・ネットワーク工学専攻博士前期１年／慶応義塾大学 研究員）と秋吉亮太准教授（共通教育部）が言語処理学会第32回年次大会（NLP2026）にて委員特別賞を受賞
2026.03.16
岡本吉央研究室の山田鈴太さん（情報・ネットワーク工学専攻博士前期１年／慶応義塾大学 研究員）と秋吉亮太准教授（共通教育部）が、2026年３月９日（月）～13日（金）にライトキューブ宇都宮とオンラインのハイブリッド形式で開催された言語処理学会第32回年次大会（NLP2026）において、委員特別賞を受賞しました。
言語処理学会（The Association for Natural Language Processing）は、わが国の言語処理の研究成果発表の場として、また国際的な研究交流の場として設立され、この分野の学問の発展、応用技術の発展と普及、国際的なレベルでの研究者・技術者・ユーザ相互間のコミュニケーションと人材の育成をはかる機関とすべく活動しています。
本賞は、同大会で発表された748件の研究の中から、上位約４％にあたる32件に贈られました。
【受賞者】山田 鈴太、秋吉 亮太
【発表題目】数学的証明におけるbutの機能：証明コーパスの構築と分析
【著者】山田 鈴太（電気通信大学／慶応義塾大学）、山﨑 紗紀子、安東 里沙子、天本 貴之 (慶応義塾大学)、秋吉 亮太 (電気通信大学)、峯島 宏次 (慶応義塾大学)