大学入試過去問による数学問題解答システムの評価と課題分析

抄録

「ロボットは東大に入れるか」プロジェクトにおける数学問題の自動解答へ向けた取り組みについて報告する。開発中の解答システムは、問題文の論理表現を接点として、精密な言語理解と数式処理システムによる推論とを接合したものである。本稿では、大学入試過去問を用いたシステムの評価を通じ、言語理解・数式処理・両者の接合部の3つの部分における技術的課題を明らかにする。