J-GLOBAL         Last updated: Jan 17, 2017 at 13:02
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

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]
The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving
Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai
Proceedings of 28th Conference on Artificial Intellegence (AAAI 2014)      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
植松 すみれ, 松崎 拓也, 花岡 洋輝, 宮尾 祐介, 美馬 秀樹
人工知能学会全国大会(第27回)      Jun 2013
Sumire Uematsu,Takuya Matsuzaki,Hiroki Hanaoka,Yusuke Miyao,Hideki Mima
Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics, ACL 2013, 4-9 August 2013, Sofia, Bulgaria, Volume 1: Long Papers   1042-1051   2013   [Refereed]
Xu Sun,Takuya Matsuzaki,Wenjie Li
IEEE Trans. Knowl. Data Eng.   25(9) 2063-2075   2013   [Refereed]


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

宮尾 祐介、松崎 拓也
範疇文法と証明論シンポジウム   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,