Art

J-GLOBAL ID：201702217848069949   Reference number：17A0717449

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

Author (2)： MATSUZAKI TAKUYA (名古屋大) ,  IWANE HIDENAO (富士通研)
Material： 情報処理  (IPSJ Magazine)
Volume： 58  Issue： 7  Page： 607-608  Publication year： Jun. 15, 2017 
JST Material Number： G0427A  ISSN： 0447-8053  Document type： Article
Article type： 解説  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： test ,  university ,  *English ,  project ,  *intelligent robot ,  evaluation test ,  *Machine Learning ,  *formula manipulation ,  *automatic language processing ,  higher order logic ,  first order logic ,  quantifier ,  Automation ,  modification
Semi thesaurus term： quantifier ,  東大入試 ,  入試試験

JST classification (4)： Information processing in general  (AC05010A) ,  Artificial intelligence  (JE08000Z) ,  Symbol manipulation  (JE03000Q) ,  Natural language processing  (JE06000L)

Reference (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.

Terms in the title (7)： ロボット ,  東大 ,  数学 ,  言語 ,  数式処理 ,  問題 ,  解答