• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

A Unified Framework for Natural Language Semantics and Pragmatics by Meta-Lambda Calculus and Linguistic Monads

Research Project

Project/Area Number 22680013
Research Category

Grant-in-Aid for Young Scientists (A)

Allocation TypeSingle-year Grants
Research Field Intelligent informatics
Research InstitutionOchanomizu University

Principal Investigator

BEKKI Daisuke  お茶の水女子大学, 大学院人間文化創成科学研究科, 准教授 (90431783)

Project Period (FY) 2010-04-01 – 2014-03-31
Project Status Completed (Fiscal Year 2013)
Budget Amount *help
¥6,500,000 (Direct Cost: ¥5,000,000、Indirect Cost: ¥1,500,000)
Fiscal Year 2013: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2012: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2011: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2010: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Keywords自然言語処理 / 数理言語学 / 型理論 / 圏論
Research Abstract

The aim of this project is to provide a uniform framework for the representations of natural language semantics and pragmatics, by means of Meta-Lambda Calculus (MLC) and (linguistic) monads. We have established a formal foundation of MLC and the notion of linguistic monads, especially its categorical semantics, the soundness theorems in the base- and the meta-level substitutions, and the soundness theorems for alpha/beta/eta-conversions in both the base- and the meta-levels.
We have also provided some linguistic applications of MLC and their empirical evaluation. We proposed a unified system for describing phenomena that lie in the interface of semantic and pragmatic by means of linguistic monads such as "non-deterministic monad", "global variable monad (=state monad)", "continuation monad", and "conventional implicature monad".

Report

(5 results)
  • 2013 Annual Research Report   Final Research Report ( PDF )
  • 2012 Annual Research Report
  • 2011 Annual Research Report
  • 2010 Annual Research Report
  • Research Products

    (114 results)

All 2014 2013 2012 2011 2010 Other

All Journal Article (58 results) (of which Peer Reviewed: 51 results) Presentation (48 results) Book (6 results) Remarks (2 results)

  • [Journal Article] Building a Japanese Corpus of Temporal-Causal-Discourse Structures Based on SDRT for Extracting Causal Relations2014

    • Author(s)
      Kaneko, Kimi. Bekki, Daisuke
    • Journal Title

      In Proceedings of the EACL2014 Workshop on Computational Approaches to Causality in Language (CAtoCL), 26th April, Gothenburg, Sweden

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Neighborhood-Sheaf Semantics を用いた一階述語条件論理の意味論2014

    • Author(s)
      山本華子. 戸次大介
    • Journal Title

      第16 回プログラミングおよびプログラミング言語ワークショップ(PPL2014)論文集, 阿蘇の司 ビラパークホテル(熊本県)

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] 限定継続を用いたフォーカスの分析と実装2014

    • Author(s)
      叢悠悠. 戸次大介
    • Journal Title

      第16 回プログラミングおよびプログラミング言語ワークショップ(PPL2014)論文集, 阿蘇の司 ビラパークホテル(熊本県)

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Meta-Lambda Calculus and Linguistic Monads2014

    • Author(s)
      Daisuke Bekki, Moe Masuko
    • Journal Title

      Formal Approaches to Semantics and Pragmatics

      Volume: -

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Neighborhood-Sheaf Semanticsを用いた一階述語条件論理の意味論2014

    • Author(s)
      山本華子, 戸次大介
    • Journal Title

      第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)論文集

      Volume: -

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 限定継続を用いたフォーカスの分析と実装2014

    • Author(s)
      叢悠悠, 戸次大介
    • Journal Title

      第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)論文集

      Volume: -

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Type-theoretic Approach to Double Negation Elimination in Anaphora2013

    • Author(s)
      Bekki, Daisuke
    • Journal Title

      In Proceedings of the Tenth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS10)

      Volume: (ISBN:978-4-915905-57-5 C3004(JSAI)) Pages: 56-68

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Constructive Generalized Quantifiers Revisited2013

    • Author(s)
      Tanaka, Ribeka. Nakano, Yuki. Bekki, Daisuke
    • Journal Title

      In Proceedings of the Tenth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS10)

      Volume: (ISBN:978-4-915905-57-5 C3004 (JSAI)) Pages: 69-78

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] First-order conditional logic and neighborhood-sheaf semantics for analysis of conditional sentences2013

    • Author(s)
      Yamamoto, Hanako. Bekki, Daisuke
    • Journal Title

      In Proceedings of the Tenth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS10)

      Volume: (ISBN:978-4-915905-57-5 C3004 (JSAI)) Pages: 96-106

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Building Japanese Textual Entailment Specialized Data Sets for Inference of Basic Sentence Relations2013

    • Author(s)
      Kaneko, Kimi. Miyao, Yusuke. Bekki, Daisuke
    • Journal Title

      In Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics (ACL2013)

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Subtyping in Logical Polysemy and Copredication2013

    • Author(s)
      Bekki, Daisuke. Asher, Nicholas
    • Journal Title

      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.)

      Pages: 17-24

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] On the semantic relation between noun phrases and quantity expressions in Japanese2013

    • Author(s)
      Hayahishita, J.-R.. Bekki, Daisuke
    • Journal Title

      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.)

      Pages: 41-52

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] A Type-theoretic Approach to Double Negation Elimination in Anaphora2013

    • Author(s)
      Daisuke Bekki
    • Journal Title

      Proceedings of the Tenth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS10)

      Volume: - Pages: 56-68

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Constructive Generalized Quantifiers Revisited2013

    • Author(s)
      Ribeka Tanaka, Yuki Nakano, Daisuke Bekki
    • Journal Title

      Proceedings of the Tenth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS10)

      Volume: - Pages: 69-78

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] First-order conditional logic and neighborhood-sheaf semantics for analysis of conditional sentences2013

    • Author(s)
      Hanako Yamamoto, Daisuke Bekki
    • Journal Title

      Proceedings of the Tenth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS10)

      Volume: - Pages: 96-106

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Building Japanese Textual Entailment Specialized Data Sets for Inference of Basic Sentence Relations2013

    • Author(s)
      Kimi Kaneko, Yusuke Miyao, Daisuke Bekki
    • Journal Title

      Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics (ACL2013)

      Volume: -

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Subtyping in Logical Polysemy and Copredication2013

    • Author(s)
      Daisuke Bekki, Nicholas Asher
    • Journal Title

      New Frontiers in Artificial Intelligence

      Volume: LNAI 7856 Pages: 17-24

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On the semantic relation between noun phrases and quantity expressions in Japanese2013

    • Author(s)
      J.-R. Hayashishita, Daisuke Bekki
    • Journal Title

      New Frontiers in Artificial Intelligence

      Volume: LNAI 7856 Pages: 41-52

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Subtyping in Logical Polysemy and Copredication2012

    • Author(s)
      Bekki, Daisuke. Asher, Nicholas
    • Journal Title

      In Proceedings of the Ninth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS9)

      Volume: (ISBN: 978-4-915905-51-3 C3004(JSAI)) Pages: 98-105

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] On the semantic relation between noun phrases and quantity expressions in Japanese2012

    • Author(s)
      Hayahishita, J.-R.. Bekki, Daisuke
    • Journal Title

      In Proceedings of the Ninth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS9)

      Volume: (ISBN: 978-4-915905-51-3 C3004(JSAI))

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Conjoined nominal expressions in Japanese - Interpretation through monad - (revised version)2012

    • Author(s)
      Hayashishita, J.-R..Bekki, Daisuke
    • Journal Title

      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.)

      Volume: LNAI 7258 Pages: 54-67

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Extractability as Deduction Theorem in Subdirectional Combiantory Logic (extended version)2012

    • Author(s)
      Ozaki, Hiroko. Bekki, Daisuke
    • Journal Title

      In Logical Aspects of Computational Linguistics (7th international conference, LACL2012, Nantes, France, July 2012 Proceedings)

      Volume: LNAI 7351 Pages: 186-200

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Toward the formulation of presupposition by Illative Combinatory Logic2012

    • Author(s)
      Ishishita, Yuri. Bekki, Daisuke
    • Journal Title

      In Logical Aspects of Computational Linguistics (7th international conference, LACL2012, Nantes, France, July 2012 Proceedings)

      Volume: LNAI 7351 Pages: 74-85

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] 言語情報の確実性アノテーションのための韓国語の様相表現の分類2012

    • Author(s)
      齊藤学, 崔栄殊, 戸次大介, 片岡喜代子, 川添愛
    • Journal Title

      中華日本研究第3号

      Pages: 17-40

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] 一階述語条件論理VCb(CI)とそのタブローシステム2012

    • Author(s)
      尾崎有梨, 戸次大介
    • Journal Title

      第14 回プログラミングおよびプログラミング言語ワークショップ(PPL2012)論文集, 南紀白浜 むさし(和歌山県)

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Illative Combinatory Logic を用いた前提の定式化に向けて2012

    • Author(s)
      石下裕里, 戸次大介
    • Journal Title

      第14 回プログラミングおよびプログラミング言語ワークショップ(PPL2012)論文集, 南紀白浜 むさし(和歌山県)

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Subtyping in Logical Polysemy and Copredication2012

    • Author(s)
      Bekki, Daisuke. and Asher, Nicholas.
    • Journal Title

      Proceedings of the Ninth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS9)

      Volume: LENLS9 Pages: 98-105

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On the semantic relation between noun phrases and quantity expressions in Japanese2012

    • Author(s)
      Hayahishita, J.-R. and Bekki, Daisuke.
    • Journal Title

      Proceedings of the Ninth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS9)

      Volume: LENLS9 Pages: 198-209

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Conjoined nominal expressions in Japanese - Interpretation through monad -2012

    • Author(s)
      J.-R. Hayashishita. and Bekki, Daisuke.
    • Journal Title

      New Frontiers in Artificial Intelligence (JSAI-isAI 2011 Workshops, Takamatsu, Japan, December 2011, Selected Papers from LENLS8), Springer, Heidelberg.

      Volume: LNAI 7258 Pages: 54-67

    • DOI

      10.1007/978-3-642-32090-3_6

    • ISBN
      9783642320897, 9783642320903
    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Extractability as Deduction Theorem in Subdirectional Combiantory Logic2012

    • Author(s)
      Ozaki, Hiroko. and Bekki, Daisuke.
    • Journal Title

      Logical Aspects of Computational Linguistics (7th international conference, LACL2012, Nantes, France, July 2012 Proceedings), Springer.

      Volume: LNAI 7351 Pages: 186-200

    • DOI

      10.1007/978-3-642-31262-5_13

    • ISBN
      9783642312618, 9783642312625
    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Toward the formulation of presupposition by Illative Combinatory Logic2012

    • Author(s)
      Ishishita, Yuri. and Bekki, Daisuke.
    • Journal Title

      Logical Aspects of Computational Linguistics (7th international conference, LACL2012, Nantes, France, July 2012 Proceedings), Springer.

      Volume: LNAI 7351 Pages: 74-85

    • DOI

      10.1007/978-3-642-31262-5_5

    • ISBN
      9783642312618, 9783642312625
    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 言語情報の確実性アノテーションのための韓国語の様相表現の分類2012

    • Author(s)
      齊藤学. 崔栄殊. 戸次大介. 片岡喜代子. 川添愛
    • Journal Title

      中華日本研究

      Volume: 第3号 Pages: 17-40

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 一階述語条件論理VCb(CI)とそのタブローシステム2012

    • Author(s)
      尾崎有梨, 戸次大介
    • Journal Title

      第14回プログラミングおよびプログラミング言語ワークショップ(PPL202)論文集

      Volume: (CD-ROM版)

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Illative Combinatory Logicを用いた前提の定式化に向けて2012

    • Author(s)
      石下裕里, 戸次大介
    • Journal Title

      第14回プログラミングおよびプログラミング言語ワークショップ(PPL202)論文集

      Volume: (CD-ROM版)

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Extractability as Deduction Theorem in Subdirectional Combinatory Logic2011

    • Author(s)
      Ozaki, Hiroko. Bekki, Daisuke
    • Journal Title

      In Proceedings of the Eighth International Workshop on Logic and Engineering of Natural Language Semantics(LENLS8)

      Volume: (ISBN: 978-4-915905-51-3 C3004(JSAI)) Pages: 80-93

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Conjoined nominal expressions in Japanese: Interpretation through monad2011

    • Author(s)
      Hayahishita, J.-R.. Bekki, Daisuke
    • Journal Title

      In Proceedings of the Eighth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS8)

      Volume: (ISBN: 978-4-915905-51-3 C3004(JSAI)) Pages: 139-152

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Combinatory Categorial Grammar as a Substructural Logic - Preliminary Remarks - (revised version)2011

    • Author(s)
      Bekki, Daisuke
    • Journal Title

      New Frontiers in Artificial Intelligence (JSAI-isAI 2010 Workshops, Tokyo, Japan, November 2010, Selected Papers from LENLS7)Takashi Onoda, Daisuke Bekki, Eric McCready (Eds.)

      Volume: LNAI 6797 Pages: 16-29

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Conditional Logic Cb and its Tableau System2011

    • Author(s)
      Ozaki, Yuri. Bekki, Daisuke
    • Journal Title

      In Logical Aspects of Computational Linguistics (6th international conference, LACL2011, Montpellier, France, June/July 2011 Proceedings)

      Volume: LNAI 6736 Pages: 190-204

    • NAID

      40020269496

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] メタラムダ計算の圏論的意味論2011

    • Author(s)
      増子萌, 戸次大介
    • Journal Title

      第13 回プログラミングおよびプログラミング言語ワークショップ(PPL2011)論文集, pp.60-74, 定山渓ビューホテル(北海道)

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] 条件論理Cb とそのタブローシステム2011

    • Author(s)
      尾崎有梨, 戸次大介
    • Journal Title

      第13 回プログラミングおよびプログラミング言語ワークショップ(PPL2011)論文集

      Pages: 33-47

    • NAID

      40020269496

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Extractability as Deduction Theorem in Subdirectional Combinatory Logic2011

    • Author(s)
      Ozaki, Hiroko, Bekki, Daisuke
    • Journal Title

      Proceedings of the Eighth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS8)

      Pages: 80-93

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Conjoined nominal expressions in Japanese : Interpretation through monad2011

    • Author(s)
      Hayahishita, J.-R., Bekki, Daisuke
    • Journal Title

      Proceedings of the Eighth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS8)

      Pages: 139-152

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Combinatory Categorial Grammar as a Substructural Logic -Preliminary Remarks-(revised version)2011

    • Author(s)
      Bekki, Daisuke
    • Journal Title

      New Frontiers in Artificial Intelligence (JSAI-isAI 2010 Workshops, Tokyo, Japan, November 2010, Selected Papers from LENLS7)(Takashi Onoda, Daisuke Bekki, Eric McCready (Eds.))(Springer, Heidelberg)

      Volume: LNAI6797 Pages: 16-29

    • DOI

      10.1007/978-3-642-25655-4_3

    • ISBN
      9783642256547, 9783642256554
    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Conditional Logic Cb and its Tableau System2011

    • Author(s)
      Ozaki, Yuri, Bekki, Daisuke
    • Journal Title

      Logical Aspects of Computational Linguistics (6th international conference, LACL2011, Montpellier, France, June/July 2011 Proceedings), Springer

      Volume: LNAI6736 Pages: 190-204

    • DOI

      10.1007/978-3-642-22221-4_13

    • NAID

      40020269496

    • ISBN
      9783642222207, 9783642222214
    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] メタラムダ計算の圏論的意味論2011

    • Author(s)
      増子萌、戸次大介
    • Journal Title

      第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)論文集

      Pages: 60-74

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 条件論理Cbとそのタブローシステム2011

    • Author(s)
      尾崎有梨、戸次大介
    • Journal Title

      第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)論文集

      Pages: 33-47

    • NAID

      40020269496

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 言語情報の確実性に影響する表現およびそのスコープのためのアノテーションガイドラインVer.2.42011

    • Author(s)
      川添愛、齊藤学、片岡喜代子、崔栄殊、戸次大介
    • Journal Title

      Technical Report of Department of Information Science, Ochanomizu University

      Volume: OCHA-IS10-4(CD-ROM)

    • Related Report
      2010 Annual Research Report
  • [Journal Article] 命題動的論理の証明システムとその健全性について2011

    • Author(s)
      石下裕里、戸次大介
    • Journal Title

      Technical Report of Department of Information Science, Ochanomizu University

      Volume: OCHA-IS10-3(CD-ROM)

    • Related Report
      2010 Annual Research Report
  • [Journal Article] 部分方向性組合せ論理の計算論的性質とその証明2011

    • Author(s)
      尾崎博子、戸次大介
    • Journal Title

      Technical Report of Department of Information Science, Ochanomizu University

      Volume: OCHA-IS10-2(CD-ROM)

    • Related Report
      2010 Annual Research Report
  • [Journal Article] 言語情報の確実性アノテーションのための様相表現の分類2010

    • Author(s)
      川添愛, 齊藤学, 片岡喜代子, 崔栄殊, 戸次大介
    • Journal Title

      九州大学言語学論集

      Volume: 31号 Pages: 109-129

    • NAID

      120003005473

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Combinatory Categorial Grammar as a Substructural Logic-Preliminary Remarks-2010

    • Author(s)
      Bekki, Daisuke
    • Journal Title

      Proceedings of the Seventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 7), JSAI International Symposia on AI 2010, Campus Innovation Center, Tokyo, Japan

      Pages: 70-83

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Representing Covert Movements by Delimited Continuations (extended version)2010

    • Author(s)
      Bekki, Daisuke, Kenichi Asai
    • Journal Title

      New Frontiers in Artificial Intelligence (JSAI-isAI 2009 Workshops, Tokyo, Japan, November 2009, Selected Papers), Kumiyo NAKAKOJI, Yohei MURAKAMI, Eric MCCREADY (Eds.), JSAI-isAI, Springer.

      Volume: LNAI 6284 Pages: 161-180

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Introduction to LENLS 62010

    • Author(s)
      Bekki, Daisuke
    • Journal Title

      New Frontiers in Artificial Intelligence (JSAI-isAI 2009 Workshops, Tokyo, Japan, November 2009, Selected Papers), Kumiyo NAKAKOJI, Yohei MURAKAMI, Eric MCCREADY (Eds.), JSAI-isAI, Springer.

      Volume: LNAI 6284 Pages: 159-160

    • Related Report
      2010 Annual Research Report
  • [Journal Article] 言語情報の確実性アノテーションのための様相表現の分類2010

    • Author(s)
      川添愛、齊藤学、片岡喜代子、崔栄殊、戸次大介
    • Journal Title

      九州大学言語学論集,九州大学大学院人文科学研究院言語学研究室編

      Volume: 第31号 Pages: 109-129

    • NAID

      120003005473

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 「小耳に挟む」-接辞繰り上げ分析と型繰り上げ分析-2010

    • Author(s)
      戸次大介
    • Journal Title

      日本言語学会第140回大会予稿集

      Pages: 140-145

    • Related Report
      2010 Annual Research Report
  • [Journal Article] 証明木作成プログラムを用いたCCG意味合成の実装2010

    • Author(s)
      尾崎有梨、櫻井加奈子、浅井健一、戸次大介
    • Journal Title

      人工知能学会第24会全国大会,オーガナイズト・セッション「意味と理解のコンピューティング」

      Volume: 2G1-OS3-6(CD-ROM)

    • NAID

      130007425582

    • Related Report
      2010 Annual Research Report
  • [Journal Article] 様相・否定・条件表現の言語学的分析に基づく確実性アノテーションスキーマの設計2010

    • Author(s)
      川添愛、齊藤学、片岡喜代子、崔栄殊、戸次大介
    • Journal Title

      人工知能学会第24会全国大会論文集

      Volume: 2C3-2(CD-ROM)

    • NAID

      130007425754

    • Related Report
      2010 Annual Research Report
  • [Journal Article] Meta-Lambda Calculus and Linguistic Monads

    • Author(s)
      Bekki, Daisuke. Masuko, Moe
    • Journal Title

      In "Formal Approaches to Semantics and Pragmatics", McCready, E. (Ed), Studies in Linguistics and Philosophy

      Volume: Vol no. 95, ISBN: 978-94-017-8812-0

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Presentation] MCN コーパスにおける形式名詞「はず」「わけ」「つもり」のアノテーション2014

    • Author(s)
      宇津木舞香, 佐藤未歩, 青木花純, 田中リベカ, 川添愛, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学(発表論文集(CD-ROM), B7-1)
    • Year and Date
      2014-03-20
    • Related Report
      2013 Final Research Report
  • [Presentation] MCN コーパス:「ノダ」にみるガイドライン作成の手法2014

    • Author(s)
      田中リベカ, 川添愛, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学(発表論文集(CD-ROM), B7-2)
    • Year and Date
      2014-03-20
    • Related Report
      2013 Final Research Report
  • [Presentation] SDRT に基づく因果関係認識日本語評価データ構築手法の提案2014

    • Author(s)
      金子貴美, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学(発表論文集(CD-ROM), B7-4)
    • Year and Date
      2014-03-20
    • Related Report
      2013 Final Research Report
  • [Presentation] 限定継続を用いた inverse scope の分析と実装2014

    • Author(s)
      叢悠悠, 浅井健一, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学(発表論文集(CD-ROM), E7-2)
    • Year and Date
      2014-03-20
    • Related Report
      2013 Final Research Report
  • [Presentation] 依存型意味論を用いた日本語含意関係コーパスの分析に向けて2014

    • Author(s)
      中村絢子, 金子貴美, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学(発表論文集(CD-ROM), D5-4)
    • Year and Date
      2014-03-20
    • Related Report
      2013 Final Research Report
  • [Presentation] 組み合わせ範疇文法 (CCG) による日本語の敬語表現の分析に向けて2014

    • Author(s)
      渡辺成美, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学(発表論文集(CD-ROM), B3-4)
    • Year and Date
      2014-03-19
    • Related Report
      2013 Final Research Report
  • [Presentation] 組み合わせ範疇文法 (CCG) による日本語の敬語表現の分析に向けて2014

    • Author(s)
      渡辺成美, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学
    • Related Report
      2013 Annual Research Report
  • [Presentation] MCNコーパスにおける形式名詞「はず」「わけ」「つもり」のアノテーション2014

    • Author(s)
      宇津木舞香, 佐藤未歩, 青木花純, 田中リベカ, 川添愛, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学
    • Related Report
      2013 Annual Research Report
  • [Presentation] MCNコーパス:「ノダ」にみるガイドライン作成の手法2014

    • Author(s)
      田中リベカ, 川添愛, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学
    • Related Report
      2013 Annual Research Report
  • [Presentation] SDRT に基づく因果関係認識日本語評価データ構築手法の提案2014

    • Author(s)
      金子貴美, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学
    • Related Report
      2013 Annual Research Report
  • [Presentation] 限定継続を用いた inverse scope の分析と実装2014

    • Author(s)
      叢悠悠, 浅井健一, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学
    • Related Report
      2013 Annual Research Report
  • [Presentation] 依存型意味論を用いた日本語含意関係コーパスの分析に向けて2014

    • Author(s)
      中村絢子, 金子貴美, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学
    • Related Report
      2013 Annual Research Report
  • [Presentation] 基本文関係に分解した日本語含意関係認識アノテーション2013

    • Author(s)
      金子貴美, 戸次大介, 宮尾祐介
    • Organizer
      第27回人工知能学会全国大会
    • Place of Presentation
      富山国際会議場(論文集(CD-ROM), 4B1-5)
    • Year and Date
      2013-06-07
    • Related Report
      2013 Final Research Report
  • [Presentation] CCG パーザを用いた未知語の統語範疇自動推定2013

    • Author(s)
      田中リベカ, 宮尾祐介, 戸次大介
    • Organizer
      第27回人工知能学会全国大会
    • Place of Presentation
      富山国際会議場(論文集(CD-ROM), 4B1-6)
    • Year and Date
      2013-06-07
    • Related Report
      2013 Final Research Report
  • [Presentation] SDRT に基づく談話関係アノテーションの試み2013

    • Author(s)
      金子貴美, 戸次大介
    • Organizer
      第214回自然言語処理研究会
    • Place of Presentation
      屋久島環境文化村センター
    • Related Report
      2013 Final Research Report
  • [Presentation] 組み合わせ範疇文法(CCG)による日本語の敬語表現の分析に向けて2013

    • Author(s)
      渡辺成美, 戸次大介
    • Organizer
      第214回自然言語処理研究会
    • Place of Presentation
      屋久島環境文化村センター
    • Related Report
      2013 Annual Research Report 2013 Final Research Report
  • [Presentation] 限定継続を用いたフォーカスの分析と実装に向けて2013

    • Author(s)
      叢 悠悠, 浅井 健一, 戸次 大介
    • Organizer
      第214回自然言語処理研究会
    • Place of Presentation
      屋久島環境文化村センター
    • Related Report
      2013 Final Research Report
  • [Presentation] SDRTに基づく談話関係アノテーションの試み2013

    • Author(s)
      金子貴美, 戸次大介
    • Organizer
      第214回自然言語処理研究会
    • Place of Presentation
      屋久島環境文化村センター
    • Related Report
      2013 Annual Research Report
  • [Presentation] 限定継続を用いたフォーカスの分析と実装に向け2013

    • Author(s)
      叢 悠悠, 浅井 健一, 戸次 大介
    • Organizer
      第214回自然言語処理研究会
    • Place of Presentation
      屋久島環境文化村センター
    • Related Report
      2013 Annual Research Report
  • [Presentation] 基本文関係に分解した日本語含意関係認識アノテーション2013

    • Author(s)
      金子貴美, 戸次大介, 宮尾祐介
    • Organizer
      第27回人工知能学会全国大会
    • Place of Presentation
      富山国際会議場
    • Related Report
      2013 Annual Research Report
  • [Presentation] CCGパーザを用いた未知語の統語範疇自動推定2013

    • Author(s)
      田中リベカ, 宮尾祐介, 戸次大介
    • Organizer
      第27回人工知能学会全国大会
    • Place of Presentation
      富山国際会議場
    • Related Report
      2013 Annual Research Report
  • [Presentation] 部分型理論による概念表記の展望2013

    • Author(s)
      中野悠紀, 戸次大介
    • Organizer
      第27回人工知能学会全国大会
    • Place of Presentation
      富山国際会議場
    • Related Report
      2013 Annual Research Report
  • [Presentation] 条件文解析のための一階述語条件論理と近傍層意味論2013

    • Author(s)
      山本華子, 戸次大介
    • Organizer
      第27回人工知能学会全国大会
    • Place of Presentation
      富山国際会議場
    • Related Report
      2013 Annual Research Report
  • [Presentation] 基本文関係に分解した含意関係認識日本語評価データの構築2013

    • Author(s)
      金子貴美. 宮尾祐介. 戸次大介
    • Organizer
      言語処理学会第19回年次大会
    • Place of Presentation
      名古屋大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] MCNコーパス:ガイドライン設計とその運用2013

    • Author(s)
      田中リベカ. 戸次大介. 川添愛
    • Organizer
      言語処理学会第19回年次大会
    • Place of Presentation
      名古屋大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] 正規化制約を用いたCCG構文解析とその実装2013

    • Author(s)
      尾崎博子. 戸次大介
    • Organizer
      言語処理学会第19回年次大会
    • Place of Presentation
      名古屋大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] 複合機能表現「という」の分類にみるMCNコーパスの方法論と検証2013

    • Author(s)
      叢悠悠. 田中リベカ. 中村絢子. 酒向美帆. 佐宗智子. 清水蘭. 劉月晴. 川添愛. 戸次大介.
    • Organizer
      第3回コーパス日本語学ワークショップ
    • Place of Presentation
      国立国語学研究所
    • Related Report
      2012 Annual Research Report
  • [Presentation] Neighborhood-sheafによる一階述語条件論理の意味論2013

    • Author(s)
      山本華子. 戸次大介.
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL2013)ポスター発表
    • Place of Presentation
      東山温泉「御宿東鳳」
    • Related Report
      2012 Annual Research Report
  • [Presentation] 依存型意味論による前提理論の形式化2013

    • Author(s)
      石下裕里. 戸次大介.
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL2013)ポスター発表
    • Place of Presentation
      東山温泉「御宿東鳳」
    • Related Report
      2012 Annual Research Report
  • [Presentation] 言語的テストに基づく意味アノテーションのガイドライン設計-確実性判断に関わる表現を中心に-2012

    • Author(s)
      田中リベカ, 小池恵里子, 戸次大介, 川添愛
    • Organizer
      言語処理学会第18回年次大会発表論文集pp.401-404
    • Place of Presentation
      広島市立大学
    • Year and Date
      2012-03-14
    • Related Report
      2011 Annual Research Report
  • [Presentation] Extractability as Deduction Theorem in Subdirectional Combinatory Logic2012

    • Author(s)
      Ozaki, Hiroko. Bekki, Daisuke
    • Organizer
      The 14th Programming and Programming Language Workshop (PPL2012)
    • Place of Presentation
      Nanki-Shirahama Musashi, Wakayama, Japan
    • Related Report
      2013 Final Research Report
  • [Presentation] MCNコーパス:言語学的テストに基づくモダリティ・アノテーションの理論と実証2012

    • Author(s)
      田中リベカ. 川添愛. 戸次大介.
    • Organizer
      第2回コーパス日本語学ワークショップ
    • Place of Presentation
      国立国語学研究所
    • Related Report
      2012 Annual Research Report
  • [Presentation] 量化動的論理による組み合わせ範疇文法の意味表示の記述とその実装に向けて2012

    • Author(s)
      石下裕里. 戸次大介.
    • Organizer
      人工知能学会第26会全国大会
    • Place of Presentation
      山口県教育会館
    • Related Report
      2012 Annual Research Report
  • [Presentation] 高階依存型理論を用いた自然言語の意味論構築に向けて2012

    • Author(s)
      中野悠紀. 戸次大介.
    • Organizer
      人工知能学会第26会全国大会
    • Place of Presentation
      山口県教育会館
    • Related Report
      2012 Annual Research Report
  • [Presentation] MCNコーパス:モダリティ関連表現の曖昧性解消のためのアノテーションと言語学的テストの利用2012

    • Author(s)
      川添愛. 田中リベカ. 戸次大介.
    • Organizer
      テキストアノテーションワークショップ・コンテスト
    • Place of Presentation
      国立情報学研究所
    • Related Report
      2012 Annual Research Report
  • [Presentation] モナドによる自然言語の意味論2012

    • Author(s)
      戸次大介
    • Organizer
      応用哲学会2012年度研究大会ワークショップ「非古典論理による言語科学の新展開」(矢田部俊介,戸次大介,増子萌,中野悠紀)
    • Place of Presentation
      千葉大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] Extractability as Deduction Theorem in Subdirectional Combinatory Logic2012

    • Author(s)
      Ozaki, Hiroko, Bekki, Daisuke
    • Organizer
      The 14th Programming and Programming Language Workshop (PPL202)
    • Place of Presentation
      Nanki-Shirahama Musashi, Wakayama, Japan
    • Related Report
      2011 Annual Research Report
  • [Presentation] 高階依存型理論を用いた自然言語の意味論構築に向けて2012

    • Author(s)
      中野悠紀, 戸次大介
    • Organizer
      第14回プログラミングおよびプログラミング言語ワークショップ(PPL202)ポスター発表
    • Place of Presentation
      南紀白浜むさし(和歌山県)
    • Related Report
      2011 Annual Research Report
  • [Presentation] 組み合わせ範疇文法(CCG)と理論言語学における検証2011

    • Author(s)
      戸次大介
    • Organizer
      応用哲学会2011年度臨時研究大会ワークショップ「言語理論と反証可能性:範疇文法によるアプローチ」(矢田部俊介,戸次大介,峯島宏次)
    • Place of Presentation
      京都大学
    • Year and Date
      2011-09-25
    • Related Report
      2011 Annual Research Report
  • [Presentation] "Focus Movement" by Delimited Continuations2011

    • Author(s)
      Bekki, Daisuke. Asai, Kenichi
    • Organizer
      ACM SIGPLAN Continuation Workshop 2011, co-located with ICFP 2011
    • Place of Presentation
      Tokyo, Japan Saturday
    • Year and Date
      2011-09-24
    • Related Report
      2013 Final Research Report
  • [Presentation] Focus Movement by Delimited Continuations2011

    • Author(s)
      Bekki, Daisuke, Kenichi, Asai
    • Organizer
      ACM SIGPLAN Continuation Workshop 2011, co-located with ICFP2011
    • Place of Presentation
      National Institute of Informatics (NII)
    • Year and Date
      2011-09-24
    • Related Report
      2011 Annual Research Report
  • [Presentation] 部分方向性組み合わせ論理の計算論的性質2011

    • Author(s)
      尾崎博子, 戸次大介
    • Organizer
      人工知能学会第25会全国大会,オーガナイズト・セッション「意味と理解のコンピューティング」,3H2-OS3-1
    • Place of Presentation
      盛岡
    • Year and Date
      2011-06-03
    • Related Report
      2011 Annual Research Report
  • [Presentation] 前提記述のための動的論理の証明論構築に向けて2011

    • Author(s)
      石下裕里, 戸次大介
    • Organizer
      人工知能学会第25会全国大会,オーガナイズト・セッション「意味と理解のコンピューティング」,3H2-OS3-2
    • Place of Presentation
      盛岡
    • Year and Date
      2011-06-03
    • Related Report
      2011 Annual Research Report
  • [Presentation] 条件論理C_bとそのタブローシステム2011

    • Author(s)
      尾崎有梨, 戸次大介
    • Organizer
      人工知能学会第25会全国大会,オーガナイズト・セッション「意味と理解のコンピューティング」,3H2-OS3-3
    • Place of Presentation
      盛岡
    • Year and Date
      2011-06-03
    • Related Report
      2011 Annual Research Report
  • [Presentation] 形式意味論の考え方とその変遷2011

    • Author(s)
      戸次大介
    • Organizer
      言語処理学会第17回年次大会(NLP2011)チュートリアル
    • Place of Presentation
      豊橋技術科学大学(愛知県)
    • Year and Date
      2011-03-07
    • Related Report
      2010 Annual Research Report
  • [Presentation] Conjoined nominal expressions in Japanese2011

    • Author(s)
      Hayahishita, J.-R.. Bekki, Daisuke
    • Organizer
      The 21st Japanese/Korean Linguistics Conference, The 21st Japanese/Korean Linguistics Conference, Poster session
    • Place of Presentation
      Seoul National University
    • Related Report
      2013 Final Research Report 2011 Annual Research Report
  • [Presentation] 前提記述のための動的論理の証明論構築に向けて2011

    • Author(s)
      石下裕里、戸次大介
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)ポスター発表
    • Place of Presentation
      定山渓ビューホテル(北海道)
    • Related Report
      2010 Annual Research Report
  • [Presentation] 部分方向性組合せ論理の計算論的性質2011

    • Author(s)
      尾崎博子、戸次大介
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)ポスター発表
    • Place of Presentation
      定山渓ビューホテル(北海道)
    • Related Report
      2010 Annual Research Report
  • [Book] New Frontiers in Artificial Intelligence (JSAI-isAI 2012 Workshops, Miyazaki, Japan, Selected Papers from LENLS9, JURISIN 2012, ALSIP2012 and MiMI)2013

    • Author(s)
      Motomura, Yoichi. Butler, Alastair. Bekki, Daisuke
    • Publisher
      Springer
    • Related Report
      2013 Final Research Report
  • [Book] 数理論理学2012

    • Author(s)
      戸次大介
    • Publisher
      東京大学出版会
    • Related Report
      2013 Final Research Report 2011 Annual Research Report
  • [Book] New Frontiers in Artificial Intelligence (JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI: Takamatsu, Japan, December 2011, Revised Selected Papers)2012

    • Author(s)
      Okumura, Manabu. Bekki, Daisuke. Satoh, Ke
    • Total Pages
      290
    • Publisher
      Springer
    • Related Report
      2013 Final Research Report
  • [Book] New Frontiers in Artificial Intelligence (JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI: Takamatsu, Japan, December 2011, Revised Selected Papers), Lecture Notes in Artificial Intelligence 72582012

    • Author(s)
      Okumura, Manabu. Bekki, Daisuke. Satoh, Ken. (Eds.)
    • Total Pages
      290
    • Publisher
      Springer
    • Related Report
      2012 Annual Research Report
  • [Book] New Frontiers in Artificial Intelligence (JSAI-isAI 2010 Workshops, Tokyo, Japan, November 2010, Selected Papers)2011

    • Author(s)
      Onoda, Takashi. Bekki, Daisuke. McCready, Eric
    • Publisher
      Springer
    • Related Report
      2013 Final Research Report
  • [Book] New Frontiers in Artificial Intelligence (JSAI-isAI 2010 Workshops, Tokyo, Japan, November 2010, Selected Papers)2011

    • Author(s)
      Okumura, Manabu, Bekki, Daisuke, Satoh, Ken.(Eds.)
    • Total Pages
      338
    • Publisher
      New Frontiers in Artificial Intelligence (JSAI-isAI 2010 Workshops, Tokyo, Japan, November 2010, Selected Papers)
    • Related Report
      2011 Annual Research Report
  • [Remarks] ホームページ

    • URL

      http://www.is.ocha.ac.jp/~bekki/

    • Related Report
      2013 Final Research Report
  • [Remarks]

    • URL

      http://www.is.ocha.ac.jp/~bekki/publications.html

    • Related Report
      2010 Annual Research Report

URL: 

Published: 2010-08-23   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi