研究課題
若手研究(A)
本研究の目的は、メタラムダ計算とモナドを用いて、意味・談話情報を統一的に記述することである。具体的な研究項目は、1) メタラムダ計算とモナドの基礎理論、2) モナドによる意味・談話情報の記述と経験的検証、の二つからなる。1) については、メタラムダ計算の型付き言語としての形式的性質(圏論的意味論、代入操作の健全性、αβη変換の健全性、等)を示し、2)については、メタラムダ計算においては「非決定性モナド」「大域変数モナド」「継続モナド」「慣習の含意のモナド」の四つのモナドを用いることによって、意味・談話の境界に位置する複数の言語現象を統一的に表現できることを示した。
すべて 2014 2013 2012 2011 2010 その他
すべて 雑誌論文 (25件) (うち査読あり 25件) 学会発表 (14件) 図書 (4件) 備考 (1件)
In Proceedings of the EACL2014 Workshop on Computational Approaches to Causality in Language (CAtoCL), 26th April, Gothenburg, Sweden
第16 回プログラミングおよびプログラミング言語ワークショップ(PPL2014)論文集, 阿蘇の司 ビラパークホテル(熊本県)
In Proceedings of the Tenth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS10)
巻: (ISBN:978-4-915905-57-5 C3004(JSAI)) ページ: 56-68
巻: (ISBN:978-4-915905-57-5 C3004 (JSAI)) ページ: 69-78
巻: (ISBN:978-4-915905-57-5 C3004 (JSAI)) ページ: 96-106
In Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics (ACL2013)
New Frontiers in Artificial Intelligence (JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November and December 2012, Revised Selected Papers), Yoichi Motomura, Alastair Butler, Daisuke Bekki (Eds.)
ページ: 17-24
ページ: 41-52
In Proceedings of the Ninth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS9)
巻: (ISBN: 978-4-915905-51-3 C3004(JSAI)) ページ: 98-105
巻: (ISBN: 978-4-915905-51-3 C3004(JSAI))
In New Frontiers in Artificial Intelligence (JSAI-isAI 2011 Workshops, Takamatsu, Japan, December 2011, Selected Papers from LENLS8), Manabu Okumura, Daisuke Bekki, Ken Satoh (Eds.)
巻: LNAI 7258 ページ: 54-67
In Logical Aspects of Computational Linguistics (7th international conference, LACL2012, Nantes, France, July 2012 Proceedings)
巻: LNAI 7351 ページ: 186-200
巻: LNAI 7351 ページ: 74-85
中華日本研究第3号
ページ: 17-40
第14 回プログラミングおよびプログラミング言語ワークショップ(PPL2012)論文集, 南紀白浜 むさし(和歌山県)
In Proceedings of the Eighth International Workshop on Logic and Engineering of Natural Language Semantics(LENLS8)
巻: (ISBN: 978-4-915905-51-3 C3004(JSAI)) ページ: 80-93
In Proceedings of the Eighth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS8)
巻: (ISBN: 978-4-915905-51-3 C3004(JSAI)) ページ: 139-152
New Frontiers in Artificial Intelligence (JSAI-isAI 2010 Workshops, Tokyo, Japan, November 2010, Selected Papers from LENLS7)Takashi Onoda, Daisuke Bekki, Eric McCready (Eds.)
巻: LNAI 6797 ページ: 16-29
In Logical Aspects of Computational Linguistics (6th international conference, LACL2011, Montpellier, France, June/July 2011 Proceedings)
巻: LNAI 6736 ページ: 190-204
第13 回プログラミングおよびプログラミング言語ワークショップ(PPL2011)論文集, pp.60-74, 定山渓ビューホテル(北海道)
第13 回プログラミングおよびプログラミング言語ワークショップ(PPL2011)論文集
ページ: 33-47
九州大学言語学論集
巻: 31号 ページ: 109-129
In "Formal Approaches to Semantics and Pragmatics", McCready, E. (Ed), Studies in Linguistics and Philosophy
巻: Vol no. 95, ISBN: 978-94-017-8812-0
http://www.is.ocha.ac.jp/~bekki/