Takuya MATSUZAKI

J-GLOBAL         Last updated: Apr 21, 2017 at 00:11
 
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

 
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]
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
統語・意味コーパスの統合と再解釈による大規模な日本語CCG文法の開発
植松 すみれ, 松崎 拓也, 花岡 洋輝, 宮尾 祐介, 美馬 秀樹
人工知能学会全国大会(第27回)      Jun 2013

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, EACL-2017,