研究課題
若手研究(B)
自然言語推論と図形推論を論理学の手法を用いて統合的に分析する研究を進めた。まず、自然論理を拡張した高階論理の推論体系を構築し、一般化量化子や様相表現を含む自然言語の広範囲の推論現象を扱うことができることを示した。またこれと並行して、現代的な型理論の枠組みでの前提・照応の分析を進め、様々な言語現象の分析へと適用した。図形推論の研究としては、一般化量化子を伴う図形表現・推論体系の研究を進めると同時に、量化・関係推論を扱うオイラー図の表現系・推論系の論理学的・認知科学的分析を行い、新しい成果を得た。
すべて 2017 2016 2015 2014
すべて 雑誌論文 (13件) (うち査読あり 13件、 オープンアクセス 9件、 謝辞記載あり 1件) 学会発表 (30件) (うち国際学会 17件、 招待講演 9件) 図書 (2件)
Proceedings of the 12th Workshop on Asian Language Resources (ALR12)
巻: 12 ページ: 10-19
Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13)
巻: 13 ページ: 86-99
巻: 13 ページ: 100-113
Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP2016)
巻: 1 ページ: 2236-2242
Diagrammatic Representation and Inference, Lecture Notes in Computer Science
巻: 9781 ページ: 123-138
10.1007/978-3-319-42333-3_10
Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (ACL2016), System Demonstrations
巻: 1 ページ: 85-90
Proceedings of the Twelfth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS12)
巻: 12 ページ: 67-73
Proceedings of Conference on Empirical Methods in Natural Language Processing (EMNLP2015)
巻: 2015 ページ: 2055-2061
Proceedings of the FOfAI session of the Joint Ontology Workshops (JOWO), CEUR Workshop Proceedings
巻: 1517 ページ: 1-6
New Frontiers in Artificial Intelligence (JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers), Lecture Notes in Artificial Intelligence
巻: 9067 ページ: 83-98
10.1007/978-3-662-48119-6_7
Journal of Logic, Language and Information
巻: 24 号: 4 ページ: 409-455
10.1007/s10849-015-9225-4
Journal of Visual Languages and Computing, accepted
巻: 25 号: 3 ページ: 156-169
10.1016/j.jvlc.2013.08.007
Proceedings of the Eleventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS11)
巻: 11 ページ: 43-56
