/ プログラム/ 発表一覧/ 著者一覧企業展示一覧/ jsai2017ホーム /

3O1-5 センター試験「数学」整数問題解答システムの開発

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2017 このエントリーをはてなブックマークに追加

05月25日(Thu) 13:50〜15:30 O会場(ウインクあいち-10F 1007会議室)
3O1 基礎・理論「基礎・理論-論理・推論・プランニング」

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