Takuya MATSUZAKI

J-GLOBAL         Last updated: Sep 22, 2017 at 17:38
 
Avatar
Name
Takuya MATSUZAKI
Affiliation
Nagoya University
Section
Graduate School of Engineering
Job title
Associate Research Professor
Degree
PhD(University of Tokyo)
Research funding number
40463872

Research Areas

 
 

Academic & Professional Experience

 
Oct 2014
 - 
Today
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

 
COREFERENCE RESOLUTION ON MATH PROBLEM TEXT IN JAPANESE
Takumi Ito, Takuya Matsuzaki and Satoshi Sato
Proc. IJCNLP 2017   to appear   Nov 2017   [Refereed]
AUTOMATED HISTORICAL FACT-CHECKING BY PASSAGE RETRIEVAL, WORD STATISTICS, AND VIRTUAL QUESTION-ANSWERING
Mio Kobayashi, Ai Ishii, Chikara Hoshino, Hiroshi Miyashita and Takuya Matsuzaki
Proc. IJCNLP 2017   to appear   Nov 2017   [Refereed]
Takuya Matsuzaki, Takumi Ito, Hidenao Iwane, Hirokazu Anai and Noriko H. Arai
Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics (ACL-2017)   2131-2141   Jul 2017   [Refereed]
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)   1556-1561   Jul 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]

Misc

 
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]
Takuya MATSUZAKI
1st Conference on Artificial Intelligence and Theorem Proving   5 Apr 2016   
大学入試における「論理」とは?
宮尾 祐介、松崎 拓也
範疇文法と証明論シンポジウム   Jul 2012   

Others

 
Reviewer
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, LREC-2016, EACL-2017, ACL-2017, EMNLP-2017, IJCNLP-2017,