ニュース＆イベント NEWS & EVENTS
2024.03.19 Tue UP
言語処理学会第30回年次大会において本学学生が優秀賞を受賞
言語処理学会第30回年次大会において本学学生が優秀賞を受賞しました。
- 受賞者
- 理学部第一部 応用数学科 学部4年 服部 清志
- 指導教員
-
理学部第一部 応用数学科 教授 松崎 拓也
理学部第一部 応用数学科 助教 藤原 誠 - 受賞題目
- Autoformalization に向けた自然言語証明構造の形式化
- 内容
-
数学的な証明の正しさを計算機で自動的に検証することは、数学論文の内容の検証やソフトウェアの安全性の保証のために有益な技術です。
しかし自動検証のためには数学的証明の形式化と呼ばれる作業が必要で、それには長大な時間がかかります。
本研究は、日本語や英語などの自然言語で書かれた証明を自動的に形式化するための処理手順を提案し、その妥当性を実験的に確かめたものです。この研究は、言語処理学会第30回年次大会において、その内容が認められ優秀賞（対象599件中、最優秀賞1件を含め13件）を授与されました。
- 受賞日
- 2024年3月14日
関連リンク
受賞者一覧
言語処理学会第30回年次大会
