筑波大学数学談話会 (12月4日)

日時： 12月4日(木曜日)、15:30--17:00 (15:00 より tea )

場所： 自然系学系 D棟 509

講演者： 岩根 秀直 氏 (国立情報学研究所)

題目： 計算機が数学試験問題を解く - 数式処理編

概要： 国立情報学研究所を中心として進めている「ロボットは東大に入れるか」プロジェクトでは, 「人工知能」としてまとめられる諸技術に対する総合的ベンチマークとして, 様々な科目の大学入試問題を計算機で直接解くことに挑戦している.

我々は数学入試問題に取り組んでおり, 開発中のシステムは問題文を入力として, 自然言語処理により構築された一階述語論理式を数式処理により問題を解く方法をとっている. 本講演では, 数学入試問題の数式処理による解法と, 自然言語処理との接合による課題解決方法について紹介する.