文献

J-GLOBAL ID：201702217848069949   整理番号：17A0717449

「ロボットは東大に入れるか」という企て[数学]5 深い言語処理と高速な数式処理の接合による数学問題の自動解答

著者 (2件)： 松崎拓也 (名古屋大) ,  岩根秀直 (富士通研)
資料名： 情報処理  (IPSJ Magazine)
巻： 58  号： 7  ページ： 607-608  発行年： 2017年06月15日 
JST資料番号： G0427A  ISSN： 0447-8053  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 「ロボットは東大に入れるか」の数学ソルバーでは幾何をはじめ広い応用範囲を持ち,限量子消去によって決定可能な一階の実閉体の言語で表現できる問題から対象とする問題を徐々に拡大している。本論文では,1)言語処理,2)高階論理による意味表示,3)概念定義による書き換え,4)実閉体の一階論理式の簡単化からなる数学ソルバーの自動解答について述べた。1)は字句処理,文処理,談話構造処理からなり,言語現象に対する被覆率の拡大と正確な曖昧性解消を技術課題とする。4)では非常に冗長な1)によって生成される論理式を限量子消去手法に加え,論理関数処理,幾何的不変性などを利用することで旧帝大の2次試験問題の正答率を88%から95%に向上させた。また,2016年度のセンター形式を1)で人が介在した場合と,完全自動化した場合の結果を比べると両設定の得点には開きがあったが,東大形式模試(理系)では完全自動化で4問に完答して,偏差値76.2を達成できた。

シソーラス用語： 試験 ,  大学 ,  *英語 ,  プロジェクト ,  *知能ロボット ,  評価試験 ,  *機械学習 ,  *数式処理 ,  *自然言語処理 ,  高階論理 ,  一階論理 ,  量化記号 ,  自動化
準シソーラス用語： 限量子 ,  東大入試 ,  入試試験

分類 (4件)： 情報加工一般  (AC05010A) ,  人工知能  (JE08000Z) ,  記号処理  (JE03000Q) ,  自然語処理  (JE06000L)

引用文献 (4件)：

• Matsuzaki, T., Iwane, H., Anai, H. and Arai, N. H. : The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving, In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, pp.1098-1104 (2014).
• Matsuzaki, T., Ito, T., Iwane, H., Anai, H. and Arai, N. H. : Semantic Parsing of Pre-university Math Problems, In Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics (ACL-2017), 2017. to appear.
• Iwane, H., Matsuzaki, T., Arai, N. H. and Anai, H. : Automated Natural Language Geometry Math Problem Solving by Real Quantifier Elimination, In Proceedings of the 10th International Workshop on Automated Deduction (ADG2014), pp.75-84 (2014).
• Iwane, H. and Anai, H.: Formula Simplification for Real Quantifier Elimination using Geometric Invariance, In Proceedings of the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC-2017), 2017. to appear.

タイトルに関連する用語 (7件)： ロボット ,  東大 ,  数学 ,  言語 ,  数式処理 ,  問題 ,  解答