筑波大学数学談話会

日時	2013年１２月5日　１５：３０－１７：００　（１５：００よりお茶の時間）
場所	自然系学系棟Ｄ５０９
講演者	松崎　拓也　氏　（国立情報学研究所）
講演題目	計算機が数学試験問題を解く
概要	国立情報学研究所を中心として進めている「ロボットは東大に入れるか」プロジェクトでは、「人工知能」としてまとめられる諸技術に対する総合的ベンチマークとして、様々な科目の大学入試問題を計算機で直接解くことに挑戦している。本発表では、プロジェクトにおける数学試験問題に対する取り組みについて紹介する。「数学問題を解く」とは何か、という問題定義から始め、自然言語で記述された問題を論理式へ翻訳し、数式処理との接合により解を得るまでの流れについて述べる。