Top   >   Back   >   学術論文・プロシーディングス・著作 の検索結果 55 件中 130 件目

Formula Simplification via Invariance Detection by Algebraically Indexed Types
[ 全著者名 ] Takuya Matsuzaki, Tomohiro Fujita
[ 掲載誌名 ] Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings
[ 掲載年月 ] 2022年 8月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
Appraising Science Textbooks through Quantitative Text Analysis and Psychometric Results of Students’ Reading Skills
[ 全著者名 ] Teiko Arai, Takuya Matsuzaki, Hidenao Iwane
[ 掲載誌名 ] Proceedings of the 42nd Annual Meeting of the Cognitive Science Society
[ 掲載年月 ] 2020年 7月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
Evaluating Reading Support Systems through Reading Skill Test
[ 全著者名 ] Teiko Arai, Kyosuke Bunji, Naoya Todo, Noriko H. Arai, Takuya Matsuzaki
[ 掲載誌名 ] Proceedings of the 40th Annual Cognitive Science Society Meeting (CogSci 2018)
[ 掲載年月 ] 2018年 7月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
Evaluating Reading Support Systems through Reading Skill Test
[ 全著者名 ] Teiko Arai, Kyosuke Bunji, Naoya Todo, Noriko H. Arai, Takuya Matsuzaki
[ 掲載誌名 ] Proceedings of the 40th Annual Cognitive Science Society Meeting (CogSci 2018)
[ 掲載年月 ] 2018年 7月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
COREFERENCE RESOLUTION ON MATH PROBLEM TEXT IN JAPANESE
[ 全著者名 ] Takumi Ito, Takuya Matsuzaki and Satoshi Sato
[ 掲載誌名 ] Proceedings of the Eighth International Joint Conference on Natural Language Processing (IJCNLP-2017)
[ 掲載年月 ] 2017年 11月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
AUTOMATED HISTORICAL FACT-CHECKING BY PASSAGE RETRIEVAL, WORD STATISTICS, AND VIRTUAL QUESTION-ANSWERING
[ 全著者名 ] Mio Kobayashi, Ai Ishii, Chikara Hoshino, Hiroshi Miyashita and Takuya Matsuzaki
[ 掲載誌名 ] Proceedings of the Eighth International Joint Conference on Natural Language Processing (IJCNLP-2017)
[ 掲載年月 ] 2017年 11月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
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)
[ 掲載年月 ] 2017年 7月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
Semantic Parsing of Pre-university Math Problems
[ 全著者名 ] 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)
[ 掲載年月 ] 2017年 7月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
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)
[ 掲載年月 ] 2016年 8月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
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
[ 掲載年月 ] 2016年 7月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
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)
[ 掲載年月 ] 2016年 6月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
Translation Errors and Incomprehensibility: a Case Study using Machine-Translated Second Language Proficiency Tests
[ 全著者名 ] Takuya Matsuzaki, Akira Fujita, Naoya Todo and Noriko H. Arai
[ 掲載誌名 ] Proceedings of LREC 2016
[ 掲載年月 ] 2016年 5月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
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
[ 掲載年月 ] 2015年 11月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
EVALUATING MACHINE TRANSLATION SYSTEMS WITH SECOND LANGUAGE PROFICIENCY TESTS
[ 全著者名 ] 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)
[ 掲載年月 ] 2015年 7月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
The impact of A.I. on education - Can a robot get into the University of Tokyo?
[ 全著者名 ] Noriko H. Arai and Takuya Matsuzaki
[ 掲載誌名 ] The Proceedings of The 22nd International Conference on Computers in Education
[ 掲載年月 ] 2014年 12月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
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)
[ 掲載年月 ] 2014年 7月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
Mathematics by Machine
[ 全著者名 ] Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai
[ 掲載誌名 ] Proceedings of 39th International Symposium on Symbolic and Algebraic Computation (ISSAC 2014)
[ 掲載年月 ] 2014年 7月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
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)
[ 掲載年月 ] 2014年 7月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
Logical Inference on Dependency-based Compositional Semantics
[ 全著者名 ] Ran Tian, Yusuke Miyao and Takuya Matsuzaki
[ 掲載誌名 ] Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics (ACL-2014)
[ 掲載年月 ] 2014年 6月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
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
[ 掲載年月 ] 2013年 10月
[ 著作区分 ] レフェリー付プロシーディングス(日本語)
The Complexity of Math Problems -- Linguistic, or Computational?
[ 全著者名 ] Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai and Noriko Arai
[ 掲載誌名 ] Proceedings of the 6th International Joint Conference on Natural Language Processing
[ 掲載年月 ] 2013年 10月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
Deep Context-free Grammar for Chinese with Broad-coverage
[ 全著者名 ] Xiangli Wang, Yi Zhang, Yusuke Miyao, Takuya Matsuzaki and Junichi Tsujii
[ 掲載誌名 ] Proceedings of SIGHAN-7
[ 掲載年月 ] 2013年 10月
[ 著作区分 ] レフェリー付プロシーディングス(日本語)
Integrating Multiple Dependency Corpora for Inducing Wide-coverage Japanese CCG Resources.
[ 全著者名 ] 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
[ 掲載年月 ] 2013年 8月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
Toward Wide-Coverage Natural Language Mathematical Problem Solving
[ 全著者名 ] Takuya MATSUZAKI
[ 掲載誌名 ] Proceedings of the 9th International Workshop on Logic and Engineering of Natural Language Semantics 9
[ 掲載年月 ] 2012年 12月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
Incremental Joint Approach to Word Segmentation, POS Tagging, and Dependency Parsing in Chinese.
[ 全著者名 ] Jun Hatori,Takuya Matsuzaki,Yusuke Miyao,Jun'ichi Tsujii
[ 掲載誌名 ] The 50th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference, July 8-14, 2012, Jeju Island, Korea - Volume 1: Long Papers
[ 掲載年月 ] 2012年 7月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
Akamon: An Open Source Toolkit for Tree/Forest-Based Statistical Machine Translation.
[ 全著者名 ] Xianchao Wu,Takuya Matsuzaki,Jun'ichi Tsujii
[ 掲載誌名 ] The 50th Annual Meeting of the Association for Computational Linguistics, Proceedings of the System Demonstrations, July 10, 2012, Jeju Island, Korea
[ 掲載年月 ] 2012年 7月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
Coordination Structure Analysis using Dual Decomposition.
[ 全著者名 ] Atsushi Hanamoto,Takuya Matsuzaki,Jun'ichi Tsujii
[ 掲載誌名 ] EACL 2012, 13th Conference of the European Chapter of the Association for Computational Linguistics, Avignon, France, April 23-27, 2012
[ 掲載年月 ] 2012年 4月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
Analysis of the Difficulties in Chinese Deep Parsing.
[ 全著者名 ] Kun Yu,Yusuke Miyao,Takuya Matsuzaki,Xiangli Wang,Jun'ichi Tsujii
[ 掲載誌名 ] Proceedings of the 12th International Conference on Parsing Technologies, IWPT 2011, October 5-7, 2011, Dublin City University, Dubin, Ireland
[ 掲載年月 ] 2011年 11月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
Incremental Joint POS Tagging and Dependency Parsing in Chinese.
[ 全著者名 ] Jun Hatori,Takuya Matsuzaki,Yusuke Miyao,Jun'ichi Tsujii
[ 掲載誌名 ] Fifth International Joint Conference on Natural Language Processing, IJCNLP 2011, Chiang Mai, Thailand, November 8-13, 2011
[ 掲載年月 ] 2011年 11月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
Exploring Difficulties in Parsing Imperatives and Questions.
[ 全著者名 ] Tadayoshi Hara,Takuya Matsuzaki,Yusuke Miyao,Jun'ichi Tsujii
[ 掲載誌名 ] Fifth International Joint Conference on Natural Language Processing, IJCNLP 2011, Chiang Mai, Thailand, November 8-13, 2011
[ 掲載年月 ] 2011年 11月
[ 著作区分 ] レフェリー付プロシーディングス(外国語)
Previous | 1 | 2 | Next