J-GLOBAL         Last updated: Jun 8, 2017 at 21:59
Nagoya University
Graduate School of Engineering
Job title
Associate Research Professor
PhD(University of Tokyo)
Research funding number

Research Areas


Academic & Professional Experience

Oct 2014
Associate Professor, Graduate School of Engineering, Nagoya University
Apr 2012
Sep 2014
Associate Research Professor, Research Center for Community Knowledge, National Institute of Informatics

Published Papers

Semantic Parsing of Pre-university Math Problems
Takuya Matsuzaki, Takumi Ito, Hidenao Iwane, Hirokazu Anai and Noriko H. Arai
Proc. ACL 2017   to appear    Jul 2017   [Refereed]
Reading Skill Test to Diagnose Basic Language Skills in Comparison to Machines
Noriko H. Arai, Naoya Todo, Teiko Arai, Kyosuke Bunji, Shingo Sugawara, Miwa Inuzuka, Takuya Matsuzaki, Koken Ozaki
Proceedings of the 39th Annual Cognitive Science Society Meeting (CogSci 2017)   to appear   2017   [Refereed]
Takuma Takada, Takuya Imagawa, Takuya Matsuzaki and Sato Satoshi
Proceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies   421-424   Jun 2016
An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination
Yumi Wada, Takuya Matsuzaki, Akira Terui, Noriko H. Arai
Mathematical Software - ICMS 2016 - 5th International Conference   82-89   2016   [Refereed]
An Information-Processing Account of Representation Change: International Mathematical Olympiad Problems are Hard not only for Humans
Takuya Matsuzaki, Munehiro Kobayashi, and Noriko H. Arai
Proceedings of the 38th Annual Cognitive Science Society Meeting (COGSCI 2016)   2297-2302   2016   [Refereed]
Race against the Teens -- Benchmarking Mechanized Math on Pre-university Problems
Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, and Noriko H. Arai
Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016)   213-227   2016   [Refereed]
Takuya Matsuzaki, Akira Fujita, Naoya Todo and Noriko H. Arai
Proceedings of LREC 2016   2771-2776   May 2016   [Refereed]
Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas
Munehiro Kobayashi, Hidenao Iwane, Takuya Matsuzaki, Hirokazu Anai
Sixth International Conference on Mathematical Aspects of Computer and Information Sciences   236-251   Nov 2015   [Refereed]
Takuya Matsuzaki, Akira Fujita, Naoya Todo and Noriko H. Arai
Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing (ACL-IJCNLP-2015, Short Papers)   145-149   Jul 2015   [Refereed]
Sumire Uematsu, Takuya Matsuzaki, Hiroki Hanaoka, Yusuke Miyao, Hideki Mima
ACM Transactions on Asian and Low-Resource Language Information Processing (TALLIP)   14(1)    Jan 2015   [Refereed]
Noriko H. Arai and Takuya Matsuzaki
The Proceedings of The 22nd International Conference on Computers in Education   1034-1042   Dec 2014   [Refereed][Invited]
Mathematics by Machine
Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai
Proceedings of 39th International Symposium on Symbolic and Algebraic Computation (ISSAC 2014)   1-8   Jul 2014   [Refereed][Invited]
Automated Natural Language Geometry Math Problem Solving by Real Quantifier Elimination
Hidenao Iwane, Takuya Matsuzaki, Noriko Arai and Hirokazu Anai
Proceedings of the 10th International Workshop on Automated Deduction (ADG2014)   75-84   Jul 2014   [Refereed]
Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai
Proceedings of 28th Conference on Artificial Intellegence (AAAI 2014)   1098-1104   Jul 2014   [Refereed]
Ran Tian, Yusuke Miyao and Takuya Matsuzaki
Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics (ACL-2014)   79-89   Jun 2014   [Refereed]
Deep Context-free Grammar for Chinese with Broad-coverage
Xiangli Wang, Yi Zhang, Yusuke Miyao, Takuya Matsuzaki and Junichi Tsujii
Proceedings of SIGHAN-7   11-19   Oct 2013   [Refereed]
World history ontology for reasoning truth/falsehood of sentences: Event classification to fill in the gaps be-tween knowledge resources and natural language texts
Ai Kawazoe, Yusuke Miyao, Takuya Matsuzaki, Hikaru Yokono, Noriko Arai
Proceedings of LENLS 10      Oct 2013   [Refereed]
Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai and Noriko Arai
Proceedings of the 6th International Joint Conference on Natural Language Processing   73-81   Oct 2013   [Refereed]
松崎 拓也, 岩根 秀直, 穴井 宏和, 相澤 彰子, 新井 紀子
人工知能学会全国大会(第27回)      Jun 2013
川添 愛, 宮尾 祐介, 松崎 拓也, 横野 光, 新井 紀子
人工知能学会全国大会(第27回)      Jun 2013


Shunya Iwasawa, Xiangli Wang, Kun Yu, Takuya Matsuzaki, Yusuke Miyao, Junichi Tsujii
IPSJ SIG Notes   2009(12) 1-8   Sep 2009
Tomonari Yoshizawa, Takuya Matsuzaki, Yusuke Miyao, Jun'ichi Tsujii
IPSJ SIG Notes   2009(6) 1-7   May 2009
MATSUZAKI Takuya, MIYAO Yusuke, TSUJII Jun'ichi
IEICE technical report. Natural language understanding and models of communication   106(299) 9-14   Oct 2006
Matsuzaki Takuya, Miyao Yusuke, Tsujii Jun'ichi
IPSJ SIG Notes   2004(93) 107-114   Sep 2004

Conference Activities & Talks

Solving Natural Language Math Problems [Invited]
1st Conference on Artificial Intelligence and Theorem Proving   5 Apr 2016   
宮尾 祐介、松崎 拓也
範疇文法と証明論シンポジウム   Jul 2012   


ACL-2009, EMNLP-2009, ACL-2010, COLING-2010, CoNLL-2010, EMNLP-2010, AAAI-2011, IJCAI-2011, CoNLL-2011, IJCNLP-2011, MWE-2011, ACL-2012, EACL-2012, LREC-2012, COLING-2012, NAACL-2012, ACL-2013, EACL-2013, IJCNLP-2013, MWE-2013, LREC-2014, COLING-2014, ACL-2014, EACL-2014, SPMRL-SANCL-2014, MWE-2014, EMNLP-2015, ACL-2015, COLING-2016, ACL-2016, MWE-2016, EACL-2017,