Top > Back > 学術論文・プロシーディングス・著作 の検索結果 55 件中 1‐30 件目
| 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月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| 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月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| 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月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| 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月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| 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月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| 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月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| 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月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| 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月 |
| [ 著作区分 ] レフェリー付プロシーディングス（日本語） |
| 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月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| 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月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| 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月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| 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月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
