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

Formal analysis of the structures of coordination by CCG and Higher-order dynamic logic

Research Project

Project/Area Number 20700125
Research Category

Grant-in-Aid for Young Scientists (B)

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

Principal Investigator

BEKKI Daisuke  Ochanomizu University, 大学院・人間文化創成科学研究科, 准教授 (90431783)

Project Period (FY) 2008 – 2009
Project Status Completed (Fiscal Year 2009)
Budget Amount *help
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2009: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2008: ¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000)
Keywords形式文法理論 / 自然言語処理
Research Abstract

Combinatory Categorial Grammar (CCG) is a formal theory of natural language syntax and semantics that many researchers have recently regarded as one of the most promising framework.
The aim of this project is to construct a (kind of ultimate) Japanese grammar based on CCG which simultaneously satisfies the following three virtues: 1) a high-coverage for linguistic phenomena including various syntactic/semantic constructions in Japanese, 2) mathematical/logical rigidity of its formal descriptions, and 3) a uniform treatment of the different components in regard to the conjugation system, syntactic structures, and semantic compositions.

Report

(3 results)
  • 2009 Annual Research Report   Final Research Report ( PDF )
  • 2008 Annual Research Report
  • Research Products

    (19 results)

All 2010 2009 2008 Other

All Journal Article (7 results) (of which Peer Reviewed: 7 results) Presentation (8 results) Book (1 results) Remarks (3 results)

  • [Journal Article] Representing Covert Movements by Delimited Continuations2009

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

      In Proceedings of the Sixth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6)

      Pages: 71-90

    • URL

      http://www.amazon.com/New-Frontiers

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] Monads and Meta-Lambda Calculus2009

    • Author(s)
      Bekki, Daisuke, H. Hattori, et al. (Eds. )
    • Journal Title

      New Frontiers in Artificial Intelligence (JSAI 2008 Conference and Workshops, Asahikawa

      Pages: 193-208

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] Monads and Meta-Lambda Calculus2009

    • Author(s)
      Bekki, Daisuke
    • Journal Title

      New Frontiers in Artificial Intelligence(JSAI 2008 Conference and Workshops, Asahi kawa, Japan, June 2008, Revised Selected Papers), H.Hattori et al.(Eds.), Springer LNAI 5447

      Pages: 193-208

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Representing Covert Movements by Delimited Continuations2009

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

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

      Pages: 71-90

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Monads and Meta-Lambda Calculus2009

    • Author(s)
      Bekki, Daisuke
    • Journal Title

      New Frontiers in Artificial Intelligence, JSAI 2008 Conference and Workshops Revised Selected Papers, H. Hattori et.al. (Eds.) LNAI5447

      Pages: 193-208

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Monads and Meta-Lambda Calculus2008

    • Author(s)
      Bekki, Daisuke
    • Journal Title

      In Proceedings of the Fifth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 2008) in Conjunction with the 22nd Annual Conference of the Japanese Society for Artificial Intelligence 2008

      Pages: 56-78

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] Monads and Meta-Lambda Calculus2008

    • Author(s)
      Bekki, Daisuke
    • Journal Title

      The proceedings of the Fifth International Workshop on Logic and Engineering of Natural Language Semantics(LENLS2008)

      Pages: 56-78

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Presentation] CCGによる日本語文法記述の進捗と展望~活用体系・統語構造・意味合成~2010

    • Author(s)
      戸次大介
    • Organizer
      言語処理学会第16回年次大会
    • Place of Presentation
      東京大学
    • Year and Date
      2010-03-11
    • Related Report
      2009 Annual Research Report
  • [Presentation] 証明木作成プログラムを用いたCCG統語導出の実装2010

    • Author(s)
      尾崎有梨, 櫻井加奈子, 浅井健一, 戸次大介
    • Organizer
      言語処理学会第16回年次大会
    • Place of Presentation
      東京大学
    • Year and Date
      2010-03-10
    • Related Report
      2009 Annual Research Report
  • [Presentation] 証明木作成プログラムを用いたCCG統語導出の実装2010

    • Author(s)
      尾崎有梨, 櫻井加奈子, 浅井健一, 戸次大介
    • Organizer
      言語処理学会第16回年次大会発表論文集
    • Place of Presentation
      東京大学
    • Related Report
      2009 Final Research Report
  • [Presentation] CCGによる日本語文法記述の進捗と展望~活用体系・統語構造・意味合成~2010

    • Author(s)
      戸次大介
    • Organizer
      言語処理学会第16回年次大会発表論文集
    • Place of Presentation
      東京大学
    • Related Report
      2009 Final Research Report
  • [Presentation] [招待講演]「型付きラムダ計算による自然言語の動的意味論」2009

    • Author(s)
      戸次大介
    • Organizer
      第23回人工知能学会全国大会オーガナイズドセッション「意味と理解のコンピューティング」
    • Year and Date
      2009-06-19
    • Related Report
      2009 Final Research Report
  • [Presentation] 型付きラムダ計算による自然言語の動的意味論2009

    • Author(s)
      戸次大介
    • Organizer
      第23回人工知能学会全国大会オーガナイズドセッション「意味と理解のコンピューティング」
    • Place of Presentation
      香川
    • Year and Date
      2009-06-19
    • Related Report
      2009 Annual Research Report
  • [Presentation] 日本語における前提概念の同定2008

    • Author(s)
      戸次大介
    • Organizer
      日本言語学会第135回大会
    • Place of Presentation
      学習院大学
    • Year and Date
      2008-06-21
    • Related Report
      2008 Annual Research Report
  • [Presentation] 日本語における前提概念の同定2008

    • Author(s)
      戸次大介
    • Organizer
      日本言語学会第135回大会予稿集
    • Place of Presentation
      学習院大学
    • Related Report
      2009 Final Research Report
  • [Book] 日本語文法の形式理論-活用体系・統語構造・意味合成-(日本語研究叢書24)2010

    • Author(s)
      戸次大介
    • Total Pages
      356
    • Publisher
      くろしお出版
    • Related Report
      2009 Annual Research Report 2009 Final Research Report
  • [Remarks]

    • URL

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

    • Related Report
      2009 Final Research Report
  • [Remarks]

    • URL

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

    • Related Report
      2009 Annual Research Report
  • [Remarks]

    • URL

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

    • Related Report
      2008 Annual Research Report

URL: 

Published: 2008-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi