05月25日(Thu) 13:50〜15:30 O会場(ウインクあいち-10F 1007会議室)
| 演題番号 | 3O1-5 |
|---|---|
| 題目 | センター試験「数学」整数問題解答システムの開発 |
| 著者 | 犬塚 慎也(名古屋大学 工学部電気電子・情報工学科) 松崎 拓也(名古屋大学大学院工学研究科電子情報システム専攻) 佐藤 理史(名古屋大学大学院工学研究科電子情報システム専攻) |
| 時間 | 05月25日(Thu) 15:10〜15:30 |
| 概要 | 大学入試センター試験「数学」の整数問題に対して自動解答するシステムを開発した。数量を求める問題において限量子除去は強力なツールだが、整数領域の一階述語論理式は一般には限量子除去が不可能である。そのため、特殊な述語を用意して、テキストに表れている問題を解く上での手がかりが失われないような中間表現を設計し、発見的な手法を用いた限量子除去を効果的に行えるようにした。 |
| 論文 | PDFファイル |