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

Bekki Daisuke  戸次 大介

… Alternative Names

BEKKI Daisuke  戸次 大介

Less
Researcher Number 90431783
Other IDs
  • ORCIDhttps://orcid.org/0000-0002-9988-1260
External Links
Affiliation (Current) 2025: お茶の水女子大学, 基幹研究院, 教授
Affiliation (based on the past Project Information) *help 2021 – 2024: お茶の水女子大学, 基幹研究院, 教授
2015 – 2020: お茶の水女子大学, 基幹研究院, 准教授
2015: お茶の水女子大学, 大学院人間文化創成科学研究科, 准教授
2014: お茶の水女子大学, 人間文化創成学研究科, 准教授
2012 – 2013: お茶の水女子大学, 大学院人間文化創成科学研究科, 准教授
2008 – 2011: Ochanomizu University, 大学院・人間文化創成科学研究科, 准教授
Review Section/Research Field
Principal Investigator
Basic Section 61030:Intelligent informatics-related / Intelligent informatics / Sections That Are Subject to Joint Review: Basic Section60030:Statistical science-related , Basic Section61030:Intelligent informatics-related / Basic Section 60030:Statistical science-related / Intelligent informatics
Except Principal Investigator
Linguistics / Basic Section 02060:Linguistics-related / Intelligent informatics
Keywords
Principal Investigator
形式意味論 / 自然言語処理 / 計算言語学 / 依存型意味論 / 依存型理論 / 含意関係認識 / 深層学習 / 統語解析器 / 深層ニューラルネットワーク / 統語解析 … More / 組合せ範疇文法 / 計算意味論 / 選択制約 / コア-ション / メタファー / 強制現象 / 共述語化 / 選択制限 / 圏論 / 型理論 / 数理言語学 / 形式文法理論 … More
Except Principal Investigator
politeness / honorification / expressive meaning / pragmatics / semantics / 敬語 / 語用論 / 意味論 / 言語学 / 確率 / 慣習的含み / 合成的意味論 / 礼儀正しさ / 日本語 / タイ語 / expressive content / social meaning / linguistics / 終助詞 / Thai / Japanese / 形式語用論 / 形式意味論 / 尊敬語 / 理論言語学 / アノテーション / 自然言語処理 Less
  • Research Projects

    (9 results)
  • Research Products

    (272 results)
  • Co-Researchers

    (11 People)
  •  日本語の様相表現を確率によって分析する理論的枠組みの構築―可能世界からの脱却

    • Principal Investigator
      今仁 生美
    • Project Period (FY)
      2024 – 2026
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 02060:Linguistics-related
    • Research Institution
      Nagoya Gakuin University
  •  The theory of meaning via dependent type semantics and its automatic verificationPrincipal Investigator

    • Principal Investigator
      戸次 大介
    • Project Period (FY)
      2023 – 2027
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 61030:Intelligent informatics-related
      Basic Section 60030:Statistical science-related
      Sections That Are Subject to Joint Review: Basic Section60030:Statistical science-related , Basic Section61030:Intelligent informatics-related
    • Research Institution
      Ochanomizu University
  •  Development of Japanese CCG parser "lightblue"Principal Investigator

    • Principal Investigator
      Bekki Daisuke
    • Project Period (FY)
      2018 – 2021
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 61030:Intelligent informatics-related
    • Research Institution
      Ochanomizu University
  •  Computational semantics and pragmatics of honorification and particles in Asian languages

    • Principal Investigator
      MCCREADY Elin
    • Project Period (FY)
      2016 – 2018
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Linguistics
    • Research Institution
      Aoyama Gakuin University
  •  Unified perspective for formal and lexical semantics based on type-theoretic semanticsPrincipal Investigator

    • Principal Investigator
      Bekki Daisuke
    • Project Period (FY)
      2015 – 2017
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Intelligent informatics
    • Research Institution
      Ochanomizu University
  •  Computational semantics and pragmatics of politeness phenomena

    • Principal Investigator
      McCready E.S.
    • Project Period (FY)
      2013 – 2015
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Linguistics
    • Research Institution
      Aoyama Gakuin University
  •  A Unified Framework for Natural Language Semantics and Pragmatics by Meta-Lambda Calculus and Linguistic MonadsPrincipal Investigator

    • Principal Investigator
      BEKKI Daisuke
    • Project Period (FY)
      2010 – 2013
    • Research Category
      Grant-in-Aid for Young Scientists (A)
    • Research Field
      Intelligent informatics
    • Research Institution
      Ochanomizu University
  •  Construction of an annotated corpus for certainty recognition

    • Principal Investigator
      KAWAZOE Ai
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Intelligent informatics
    • Research Institution
      Tsuda College
  •  Formal analysis of the structures of coordination by CCG and Higher-order dynamic logicPrincipal Investigator

    • Principal Investigator
      BEKKI Daisuke
    • Project Period (FY)
      2008 – 2009
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Intelligent informatics
    • Research Institution
      Ochanomizu University

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 Other

All Journal Article Presentation Book

  • [Book] Logic and Engineering of Natural Language Semantics, 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers2023

    • Author(s)
      Bekki, Daisuke; Mineshima, Koji; McCready, Elin;
    • Total Pages
      233
    • Publisher
      Springer
    • ISBN
      9783031439766
    • Data Source
      KAKENHI-PROJECT-23K28142
  • [Book] Context-Passing and Underspecification in Dependent Type Semantics2017

    • Author(s)
      Daisuke Bekki, Koji Mineshima
    • Publisher
      Modern Perspectives in Type-Theoretical Semantics, S.Chatzikyriakidis and Z.Luo (Eds.), Studies of Linguistics and Philosophy, Springer. pp.11-41.
    • ISBN
      9783319504209
    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Book] 人工知能学事典2017

    • Author(s)
      戸次 大介
    • Publisher
      項目「形式意味論」, pp.632-635, 人工知能学会.
    • ISBN
      9784320121072
    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Book] Modern Perspectives in Type-Theoretical Semantics2017

    • Author(s)
      Koji Mineshima, Daisuke Bekki
    • Total Pages
      30
    • Publisher
      Springer
    • Data Source
      KAKENHI-PROJECT-16K02640
  • [Book] Lecture Notes in Artificial Intelligence 100912017

    • Author(s)
      Mihoko Otake, Koji Mineshima, Daisuke Bekki
    • Total Pages
      548
    • Publisher
      Springer
    • Data Source
      KAKENHI-PROJECT-16K02640
  • [Book] New Frontiers in Artificial Intelligence (JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers)2017

    • Author(s)
      Mihoko Otake, Koji Mineshima, Daisuke Bekki
    • Publisher
      Lecture Notes in Artificial Intelligence 10091, Springer
    • ISBN
      9783319509532
    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Book] On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting2017

    • Author(s)
      Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
    • Total Pages
      14
    • Publisher
      Springer
    • Data Source
      KAKENHI-PROJECT-16K02640
  • [Book] New Frontiers in Artificial Intelligence: JSAI-isAI 2015 Workshops Revised Selected Papers2016

    • Author(s)
      Otake, Mihoko; Mineshima, Koji; Bekki, Daisuke
    • Total Pages
      564
    • Publisher
      Springer
    • Data Source
      KAKENHI-PROJECT-16K02640
  • [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
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Book] 数理論理学2012

    • Author(s)
      戸次大介
    • Publisher
      東京大学出版会
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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)
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Book] 日本語文法の形式理論-活用体系・統語構造・意味合成2010

    • Author(s)
      戸次大介
    • Total Pages
      356
    • Publisher
      くろしお出版
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Book] 日本語文法の形式理論-活用体系・統語構造・意味合成-(日本語研究叢書24)2010

    • Author(s)
      戸次大介
    • Total Pages
      356
    • Publisher
      くろしお出版
    • Data Source
      KAKENHI-PROJECT-20700125
  • [Book] 日本語文法の形式理論-活用体系・統語構造・意味合成-2010

    • Author(s)
      戸次大介
    • Total Pages
      356
    • Publisher
      くろしお出版
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Journal Article] Reforging : A Method for Constructing Linguistically Valid Japanese CCG Treebank2024

    • Author(s)
      Tomita, Asa; Yanaka, Hitomi; Bekki, Daisuke
    • Journal Title

      Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics (EACL2024): Student Research Workshop

      Volume: - Pages: 196-207

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-23K28142
  • [Journal Article] A Proof-Theoretic Approach to the Binding Problem2024

    • Author(s)
      Yana, Yukiko; Mineshima, Koji; Bekki, Daisuke
    • Journal Title

      Proceedings of the 6th Asian Workshop on Philosophical Logic (AWPL 2024)

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23K28142
  • [Journal Article] Appositive Projection as Implicit Context Extension in Dependent Type Semantics2023

    • Author(s)
      Matsuoka, Daiki; Yanaka, Hitomi; Bekki, Daisuke
    • Journal Title

      Proceedings of the 20th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS20)

      Volume: - Pages: 82-87

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23K28142
  • [Journal Article] Recurrent Neural Network CCG 構文解析器の実装2023

    • Author(s)
      田上青空,戸次大介
    • Journal Title

      言語処理学会第29回年次大会論文集

      Volume: ANLP2023

    • Open Access
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Journal Article] Implementing Natural Language Inference for Comparatives2023

    • Author(s)
      Izumi Haruta, Koji Mineshima, Daisuke Bekki
    • Journal Title

      Journal of Language Modelling

      Volume: 10 Issue: 1 Pages: 139-191

    • DOI

      10.15398/jlm.v10i1.294

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K00016, KAKENHI-PROJECT-18H03284, KAKENHI-PROJECT-23K20416
  • [Journal Article] Matrix and Relative Weak Crossover on the Level of the Individual: A Proposed Experimental Investigation2023

    • Author(s)
      Fukushima, Haruka; Plesniak, Daniel; Bekki, Daisuke
    • Journal Title

      Proceedings of the 20th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS20)

      Volume: - Pages: 93-98

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K28142
  • [Journal Article] A Proof-Theoretic Analysis of Weak Crossover2023

    • Author(s)
      Bekki Daisuke
    • Journal Title

      New Frontiers in Artificial Intelligence (JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 2021, Revised Selected Papers)

      Volume: LNAI 13856 Pages: 228-241

    • DOI

      10.1007/978-3-031-36190-6_16

    • ISBN
      9783031361890, 9783031361906
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-23K28142
  • [Journal Article] Building development environment of Japanese CCG parser using Yesod2021

    • Author(s)
      石嶋 美咲、戸次 大介
    • Journal Title

      Proceedings of the Annual Conference of JSAI

      Volume: JSAI2021 Issue: 0 Pages: 4J1GS6d01-4J1GS6d01

    • DOI

      10.11517/pjsai.JSAI2021.0_4J1GS6d01

    • NAID

      130008051930

    • Language
      Japanese
    • Open Access
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Journal Article] A Proof-theoretic Analysis of Weak Crossover2021

    • Author(s)
      Bekki, Daisuke
    • Journal Title

      Proceedings of the 18th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS18)

      Volume: LENLS18 Pages: 75-88

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Journal Article] The proviso problem from a proof-theoretic perspective2021

    • Author(s)
      Yukiko Yana, Koji Mineshima, Daisuke Bekki
    • Journal Title

      Logical Aspects of Computational Linguistics (LACL) 2021

      Volume: X Pages: 159-176

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Journal Article] The proviso problem from a proof-theoretic perspective2021

    • Author(s)
      Yana, Yukiko; Mineshima, Koji; Bekki, Daisuke
    • Journal Title

      Proceedings of Logical Aspects of Computational Linguistics (LACL) 2021

      Volume: LACL2021 Pages: 159-176

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Journal Article] A Proof-theoretic Analysis of Weak Crossover2021

    • Author(s)
      Daisuke Bekki
    • Journal Title

      the 18th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS18)

      Volume: X Pages: 75-88

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Journal Article] Towards Recognizing Textual Entailment of Numerical Expressions in Real Text2021

    • Author(s)
      小谷野 華那、鈴木 莉子、春田 和泉、谷中 瞳、戸次 大介
    • Journal Title

      Proceedings of the Annual Conference of JSAI

      Volume: JSAI2021 Issue: 0 Pages: 4J2GS6e02-4J2GS6e02

    • DOI

      10.11517/pjsai.JSAI2021.0_4J2GS6e02

    • NAID

      130008051915

    • Language
      Japanese
    • Open Access
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Journal Article] Towards Multiword Expression Analysis for Logic-based Medical Case Retrieval2021

    • Author(s)
      石田 真捺、谷中 瞳、馬目 華奈、戸次 大介
    • Journal Title

      Proceedings of the Annual Conference of JSAI

      Volume: JSAI2021 Issue: 0 Pages: 4J3GS6f05-4J3GS6f05

    • DOI

      10.11517/pjsai.JSAI2021.0_4J3GS6f05

    • NAID

      130008052025

    • Language
      Japanese
    • Open Access
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Journal Article] Knowledge Distillation of Japanese Morphological Analyzer2021

    • Author(s)
      田上 青空、戸次 大介
    • Journal Title

      Proceedings of the Annual Conference of JSAI

      Volume: JSAI2021 Issue: 0 Pages: 4J1GS6d02-4J1GS6d02

    • DOI

      10.11517/pjsai.JSAI2021.0_4J1GS6d02

    • NAID

      130008051929

    • Language
      Japanese
    • Open Access
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Journal Article] Logical Inferences with Comparatives and Generalized Quantifiers2020

    • Author(s)
      Haruta,Izumi; Mineshima,Koji; Bekki,Daisuke;
    • Journal Title

      Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics Student Research Workshp (ACL2020-SRW), Seattle, USA.

      Volume: 58 Pages: 263-270

    • DOI

      10.18653/v1/2020.acl-srw.35

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-18H03284, KAKENHI-PROJECT-17K13316
  • [Journal Article] Combining Event Semantics and Degree Semantics for Natural Language Inference2020

    • Author(s)
      Haruta,Izumi; Mineshima,Koji; Bekki,Daisuke;
    • Journal Title

      Proceedings of the COLING2020 (short paper), Barcelona, Spain (Online)

      Volume: 28 Pages: 1758-1764

    • DOI

      10.18653/v1/2020.coling-main.156

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-18H03284, KAKENHI-PROJECT-17K13316
  • [Journal Article] Logical Inferences with Comparatives and Generalized Quantifiers2020

    • Author(s)
      Haruta, Izumi; Mineshima, Koji; Bekki, Daisuke;
    • Journal Title

      Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics Student Research Workshp (ACL2020-SRW)

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Journal Article] A CCG-based Compositional Semantics and Inference System for Comparatives2019

    • Author(s)
      Haruta, Izumi; Mineshima, Koji; Bekki, Daisuke;
    • Journal Title

      Proceedings of the 33rd Pacific Asia Conference on Language, Information and Computation (PACLIC33)

      Volume: - Pages: 67-76

    • NAID

      120006772920

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Journal Article] Questions in Dependent Type Semantics2019

    • Author(s)
      Watanabe Kazuki、Mineshima Koji、Bekki Daisuke
    • Journal Title

      Proceedings of the Sixth Workshop on Natural Language and Computer Science

      Volume: 2019 Pages: 23-33

    • DOI

      10.18653/v1/w19-1103

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-17H02265, KAKENHI-PROJECT-18H03284
  • [Journal Article] Can Neural Networks Understand Monotonicity Reasoning?2019

    • Author(s)
      Yanaka Hitomi、Mineshima Koji、Bekki Daisuke、Inui Kentaro、Sekine Satoshi、Abzianidze Lasha、Bos Johan
    • Journal Title

      Proceedings of the 2019 ACL Workshop BlackboxNLP: Analyzing and Interpreting Neural Networks for NLP

      Volume: 2019 Pages: 31-40

    • DOI

      10.18653/v1/w19-4804

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-18H03284
  • [Journal Article] Underspecification and interpretive parallelism in Dependent Type Semantics2019

    • Author(s)
      Kubota Yusuke、Mineshima Koji、Levine Robert、Bekki Daisuke
    • Journal Title

      Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures

      Volume: 2019 Pages: 1-9

    • DOI

      10.18653/v1/w19-1001

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-18H03284
  • [Journal Article] Variable Handling and Compositionality: Comparing DRT and DTS2019

    • Author(s)
      Yana Yukiko、Mineshima Koji、Bekki Daisuke
    • Journal Title

      Journal of Logic, Language and Information

      Volume: 28 Issue: 2 Pages: 261-285

    • DOI

      10.1007/s10849-019-09294-3

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-17H02265, KAKENHI-PROJECT-18H03284
  • [Journal Article] HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning2019

    • Author(s)
      Yanaka Hitomi、Mineshima Koji、Bekki Daisuke、Inui Kentaro、Sekine Satoshi、Abzianidze Lasha、Bos Johan
    • Journal Title

      Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics (*SEM 2019)

      Volume: 2019 Pages: 250-255

    • DOI

      10.18653/v1/s19-1027

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-18H03284
  • [Journal Article] Factivity and Presupposition in Dependent Type Semantics2017

    • Author(s)
      Ribeka Tanaka, Koji Mineshima, Daisuke Bekk
    • Journal Title

      Journal of Language Modelling

      Volume: 5 Issue: 2 Pages: 385-420

    • DOI

      10.15398/jlm.v5i2.153

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K02640, KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-15J11772, KAKENHI-PROJECT-15K00301
  • [Journal Article] Variable Handling in DRT and DTS2017

    • Author(s)
      Yukiko Yana, Daisuke Bekki, Koji Mineshima
    • Journal Title

      Proceedings of Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017), Stockholm, Sweden.

      Volume: ー Pages: 141-159

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Journal Article] Indirect Answers to QUD2017

    • Author(s)
      Yurina Ito, Koji Mineshima, Daisuke Bekki
    • Journal Title

      Proceedings of Integrating Approaches to Social Meaning (IASM) workshop, in the 29th European Summer School in Logic, Language and Information (ESSLLI 2017), Toulouse, France.

      Volume: ー

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Journal Article] On-demand Injection of Lexical Knowledge for Recognising Textual Entailment2017

    • Author(s)
      Pascual Martinez-Gomez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki
    • Journal Title

      Proceedings of the European Chapter of the Association for Computational Linguistics (EACL2017)

      Volume: 1 Pages: 710-720

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K02640
  • [Journal Article] Coercion as Proof Search in Dependent Type Semantics2017

    • Author(s)
      Eriko Kinoshita, Koji Mineshima, Daisuke Bekki
    • Journal Title

      Proceedings of Workshop on Approaches to Coercion and Polysemy (CoPo 2017), University of Oslo, Norway.

      Volume: ー

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Journal Article] 意味論の証明論的転回2017

    • Author(s)
      戸次 大介, 峯島 宏次, 金子 貴美, 田中 リベカ, 谷中 瞳, 木下 恵梨子, 伊藤 友里菜, 簗 有紀子
    • Journal Title

      第31回人工知能学会全国大会論文集, 2B3-OS-07a-4, ウインクあいち, 2017/5/23-26.

      Volume: ー

    • NAID

      130007427108

    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Journal Article] Context-Passing and Underspecification in Dependent Type Semantics2017

    • Author(s)
      D Bekki and K Mineshima
    • Journal Title

      Modern Perspectives in Type-Theoretical Semantics

      Volume: Edited volume Pages: 11-41

    • DOI

      10.1007/978-3-319-50422-3_2

    • ISBN
      9783319504209, 9783319504223
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K02640
  • [Journal Article] Variable Handling in DRT and DTS2017

    • Author(s)
      Yukiko Yana, Koji Mineshima, Pascual Martinez-Gomez, Daisuke Bekki
    • Journal Title

      Proceedings of Workshop on Logic and Algorithms in Computational Linguistics 2017

      Volume: 1 Pages: 141-159

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K02640
  • [Journal Article] An analysis of selectional restrictions with Dependent Type Semantics2016

    • Author(s)
      Eriko Kinoshita; Koji Mineshima; Bekki, Daisuke;
    • Journal Title

      Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13)

      Volume: 13 Pages: 100-113

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Journal Article] Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser2016

    • Author(s)
      Mineshima, Koji; Tanaka, Ribeka; Martinez-Gomez, Pascual; Miyao, Yusuke; Bekki, Daisuke
    • Journal Title

      Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP2016)

      Volume: 2016 Pages: 2236-2242

    • Data Source
      KAKENHI-PROJECT-16K02640
  • [Journal Article] CI via DTS2015

    • Author(s)
      Daisuke Bekki and E. McCready
    • Journal Title

      New Frontiers in Artificial Intelligence

      Volume: none Pages: 23-36

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25370441
  • [Journal Article] Meta-Lambda Calculus and Linguistic Monads2014

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

      Formal Approaches to Semantics and Pragmatics

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] 限定継続を用いたフォーカスの分析と実装2014

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

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] Japanese Honorification: Compositionality and Expressivity.2014

    • Author(s)
      Narumi Watanabe, Daisuke Bekki and Eric McCready
    • Journal Title

      Proceedings of FAJL

      Volume: 7 Pages: 265-276

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25370441
  • [Journal Article] Neighborhood-Sheaf Semanticsを用いた一階述語条件論理の意味論2014

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

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

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] Neighborhood-Sheaf Semantics を用いた一階述語条件論理の意味論2014

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

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] 限定継続を用いたフォーカスの分析と実装2014

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

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

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] CI via DTS.2014

    • Author(s)
      Daisuke Bekki and Eric McCready
    • Journal Title

      Proceedings of LENLS

      Volume: 11 Pages: 110-123

    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-25370441
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] 一階述語条件論理VCb(CI)とそのタブローシステム2012

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

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] Illative Combinatory Logic を用いた前提の定式化に向けて2012

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

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] 言語情報の確実性アノテーションのための韓国語の様相表現の分類2012

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

      中華日本研究第3号

      Pages: 17-40

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] 言語情報の確実性アノテーションのための韓国語の様相表現の分類2012

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

      中華日本研究

      Volume: 第3号 Pages: 17-40

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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))

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] 一階述語条件論理VCb(CI)とそのタブローシステム2012

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

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

      Volume: (CD-ROM版)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] Illative Combinatory Logicを用いた前提の定式化に向けて2012

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

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

      Volume: (CD-ROM版)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] 条件論理Cbとそのタブローシステム2011

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

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

      Pages: 33-47

    • NAID

      40020269496

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Journal Article] 様相・否定・条件表現の言語学的分析に基づく確実性アノテーションスキーマの設計2011

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

      言語処理学会第17回年次大会発表論文集

      Pages: 143-136

    • NAID

      130007425754

    • Data Source
      KAKENHI-PROJECT-20500148
  • [Journal Article] 部分方向性組合せ論理の計算論的性質とその証明2011

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

      Technical Report of Department of Information Science, Ochanomizu University

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

    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] 条件論理Cbとそのタブローシステム2011

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

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

      Pages: 33-47

    • NAID

      40020269496

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] 言語情報の確実性に影響する表現およびそのスコープのためのアノテーションガイドラインVer.2.42011

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

      Technical Report of Department of Information Science, Ochanomizu University(OCHA-IS)

      Pages: 10-4

    • URL

      http://homepage2.nifty.com/bekki/lab/publications/BKKS_annotation%20guidelines_0304_11.pdf

    • Data Source
      KAKENHI-PROJECT-20500148
  • [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

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

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

      Technical Report of Department of Information Science, Ochanomizu University, OCHA-IS

      Volume: 10-4

    • Data Source
      KAKENHI-PROJECT-20500148
  • [Journal Article] メタラムダ計算の圏論的意味論2011

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

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

      Pages: 60-74

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] 条件論理Cbとそのタブローシステム」2011

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

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

      Pages: 33-47

    • NAID

      40020269496

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Journal Article] 条件論理Cb とそのタブローシステム2011

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

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

      Pages: 33-47

    • NAID

      40020269496

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] 言語情報の確実性に影響する表現およびそのスコープのためのアノテーションガイドラインVer.2.42011

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

      Technical Report of Department of Information Science, Ochanomizu University

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

    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] 様相・否定・条件表現の言語学的分析に基づく確実性アノテーションスキーマの設計2011

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

      言語処理学会第17回年次大会発表論文集

      Pages: 143-146

    • NAID

      130007425754

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Journal Article] 言語情報の確実性アノテーションのための韓国語の様相表現の分類2011

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

      中華日本研究

      Volume: 3(12月発行予定)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500148
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] メタラムダ計算の圏論的意味論2011

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

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] 言語情報の確実性アノテーションのための韓国語の様相表現の分類2011

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

      中華日本研究 第3号(発行予定)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Journal Article] 命題動的論理の証明システムとその健全性について2011

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

      Technical Report of Department of Information Science, Ochanomizu University

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

    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] Combinatory Categorial Grammar as a Substructural Logic --- Preliminary Remarks2010

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

      Proceedings of the Seventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 7)

      Pages: 70-83

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Journal Article] 言語情報の確実性アノテーションのための様相表現の分類2010

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

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

      Volume: 第31号 Pages: 109-129

    • NAID

      120003005473

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] Representing Covert Movements by Delimited Continuations (extended version)2010

    • Author(s)
      Bekki, Daisuke
    • Journal Title

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

      Volume: LNAI 6284 Pages: 161-180

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500148
  • [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

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

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

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

      Volume: 2C3-2(CD-ROM)

    • NAID

      130007425754

    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] 言語情報の確実性アノテーションのための様相表現の分類2010

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

      九州大学言語学論集 31

      Pages: 109-129

    • NAID

      120003005473

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Journal Article] Combinatory Categorial Grammar as a Substructural Logic---Preliminary Remarks2010

    • Author(s)
      Bekki, Daisuke
    • Journal Title

      Proceedings of the Seventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 7)

      Pages: 70-83

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Journal Article] 証明木作成プログラムを用いたCCG意味合成の実装2010

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

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

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

    • NAID

      130007425582

    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] Representing Covert Movements by Delimited Continuations (extended version)2010

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

      Kumiyo NAKAKOJI,Yohei MURAKAMI, Eric MCCREADY (Eds.), New Frontiers in Artificial Intelligence (LNAI 6284)

      Pages: 161-180

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Journal Article] 「小耳に挟む」-接辞繰り上げ分析と型繰り上げ分析-2010

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

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

      Pages: 140-145

    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] 言語情報の確実性アノテーションのための様相表現の分類2010

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

      九州大学言語学論集

      Volume: 31号 Pages: 109-129

    • NAID

      120003005473

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Journal Article] 言語情報の確実性アノテーションのための様相表現の分類2010

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

      九州大学言語学論集

      Volume: 31 Pages: 109-129

    • NAID

      120003005473

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Journal Article] 様相・否定・条件表現の言語学的分析に基づく確実性アノテーションスキーマの設計2010

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

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

    • NAID

      130007425754

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

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

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

      Volume: 2C3-2

    • NAID

      130007425754

    • Data Source
      KAKENHI-PROJECT-20500148
  • [Journal Article] 確実性判断に関わる意味的文脈アノテーションの試み2009

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

      IPSJ SIG Technical Report 2009-NL-189

      Pages: 77-84

    • NAID

      110007123988

    • Data Source
      KAKENHI-PROJECT-20500148
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700125
  • [Journal Article] 確実性判断に関わる意味的文脈アノテーションの試み2009

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

      IPSJ SIG Technical Report 2009-NL-189

      Pages: 77-84

    • NAID

      110007123988

    • Data Source
      KAKENHI-PROJECT-20500148
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700125
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700125
  • [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

      Pages: 71-90

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500148
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700125
  • [Journal Article] Monads and Meta-Lambda Calculus2009

    • Author(s)
      Bekki, Daisuke
    • Journal Title

      New Frontiers in Artificial Intelligence 5447

      Pages: 193-208

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500148
  • [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 Natura 1 Language Semantics 6

      Pages: 71-90

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Journal Article] Monads and Meta-Lambda Calculus2009

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

      New Frontiers in Artificial Intelligence 5447

      Pages: 193-208

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500148
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700125
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700125
  • [Journal Article] Monads and Meta-Lambda Calculus2008

    • Author(s)
      Bekki, Daisuke
    • Journal Title

      Proceedings of LENLS 2008 5

      Pages: 56-78

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Journal Article] 日本語における前提概念の同定2008

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

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

      Pages: 366-371

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Journal Article] 日本語における前提概念の同定2008

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

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

      Pages: 366-371

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500148
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700125
  • [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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 時間関係に基づくテ形節の用法分類2024

    • Author(s)
      野口咲帆, 戸次大介
    • Organizer
      言語処理学会第30回年次大会
    • Data Source
      KAKENHI-PROJECT-23K28142
  • [Presentation] 依存型意味論における暗黙的な文脈拡張による慣習的推意の分析2024

    • Author(s)
      松岡大樹, 戸次大介, 谷中瞳
    • Organizer
      言語処理学会第30回年次大会
    • Data Source
      KAKENHI-PROJECT-23K28142
  • [Presentation] 依存型意味論によるモダリティと照応の統一的分析に向けて2024

    • Author(s)
      飯村葵, 戸次大介
    • Organizer
      言語処理学会第30回年次大会
    • Data Source
      KAKENHI-PROJECT-23K28142
  • [Presentation] 言語学的に妥当な日本語 CCG ツリーバンクの構築と評価2024

    • Author(s)
      富田朝, 谷中瞳, 戸次大介
    • Organizer
      言語処理学会第30回年次大会
    • Data Source
      KAKENHI-PROJECT-23K28142
  • [Presentation] 主節と関係節における Weak Crossover 現象の非構造的要因を制御した経験的検証2024

    • Author(s)
      福島遥, PlesniakDaniel, 戸次大介
    • Organizer
      言語処理学会第30回年次大会
    • Data Source
      KAKENHI-PROJECT-23K28142
  • [Presentation] テ形従属節の用法判定のための用法分類アノテーション2023

    • Author(s)
      野口咲帆, 田中リベカ, 戸次大介
    • Organizer
      第37回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-23K28142
  • [Presentation] 依存型意味論による自然言語の意味の理論:見通しと課題2023

    • Author(s)
      戸次大介
    • Organizer
      第37回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-23K28142
  • [Presentation] 組合せ範疇文法(CCG)入門2023

    • Author(s)
      戸次大介
    • Organizer
      言語学フェス2023, 2023/1/28
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] 言語学的に妥当な CCG ツリーバンク構築の試み2023

    • Author(s)
      富田朝, 谷中瞳, 戸次大介
    • Organizer
      第37回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-23K28142
  • [Presentation] 依存型意味論を用いた日本語連体節のテンス解釈2023

    • Author(s)
      松岡大樹, 戸次大介, 谷中瞳
    • Organizer
      第37回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-23K28142
  • [Presentation] A Proof-theoretic Analysis of Weak Crossover2022

    • Author(s)
      Daisuke Bekki
    • Organizer
      the 2nd workshop on Language Faculty Science (2022/2/12)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] 依存型と自然言語のダイナミクス2022

    • Author(s)
      戸次大介
    • Organizer
      みちのく情報伝達学セミナー(Mics),東北大学,2022/07/27
    • Invited
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] A Proof-theoretic Analysis of Weak Crossover2022

    • Author(s)
      Bekki, Daisuke
    • Organizer
      the 2nd workshop on Language Faculty Science, online, February 12
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] Dependent Types and Dynamics of Natural Language2022

    • Author(s)
      Bekki, Daisuke
    • Organizer
      the International Workshop on Type-Theoretical Semantics (IWoTTS), online, June 25
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] 言語理論の証明論的転回2022

    • Author(s)
      戸次大介
    • Organizer
      言語学フェス2022, 2022/1/29
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] 言語理論の証明論的転回2022

    • Author(s)
      戸次大介
    • Organizer
      言語学フェス2022 (2022/1/29)
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] An introduction to Combinatory Categorial Grammar2022

    • Author(s)
      Daisuke, Bekki
    • Organizer
      A talk in IUT de bordeaux, 2022/12/13
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] DTSの部分体系のための定理自動証明器の実装に向けて2021

    • Author(s)
      大洞日音, 戸次大介
    • Organizer
      言語処理学会第27回年次大会, 北九州国際会議場/オンライン, 2021/3/15-19.
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] 日本語形態素解析器の知識蒸留2021

    • Author(s)
      田上青空,戸次大介
    • Organizer
      第34回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] Yesodによる日本語CCGパーザ開発環境の構築2021

    • Author(s)
      石嶋美咲,戸次大介
    • Organizer
      第34回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] 理論言語学と深層学習のハイブリッドアプローチによる自然言語推論2021

    • Author(s)
      戸次大介
    • Organizer
      半導体エネルギー研究所 (2021/5/19)
    • Invited
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] 理論言語学と深層学習のハイブリッドアプローチによる自然言語推論2021

    • Author(s)
      戸次大介
    • Organizer
      半導体エネルギー研究所, 2021/5/19
    • Invited
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] 実テキストにおける数量表現の含意関係認識に向けて2021

    • Author(s)
      小谷野華那,鈴木莉子,春田和泉,谷中瞳,戸次大介
    • Organizer
      第34回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] A hybrid approach toward Natural Language Understanding2020

    • Author(s)
      Bekki,Daisuke
    • Organizer
      Centre for Linguistic Theory and Studies in Probability (CLASP), 2020/12/09
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] ニューラルネットは自然言語推論の体系性を学習するか2020

    • Author(s)
      谷中瞳, 峯島宏次, 戸次大介, 乾健太郎
    • Organizer
      言語処理学会第26回年次大会
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] CCGとCoqを用いた日本語マルチモーダル推論システムの構築2020

    • Author(s)
      秋山雛乃, 石嶋美咲, 石田真捺, 高野紗輝, 鈴木莉子, 谷中瞳, 峯島宏次, 戸次大介
    • Organizer
      言語処理学会第26回年次大会
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] 汎用言語モデルBERTを用いた多言語テキストにおける意味現象タグ予測2020

    • Author(s)
      伊藤美賀, 佐藤七海, 田上青空, 谷中瞳, 峯島宏次, 戸次大介
    • Organizer
      言語処理学会第26回年次大会
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] CCGと自動定理証明による比較表現の計算意味論2020

    • Author(s)
      春田和泉, 峯島宏次, 戸次大介
    • Organizer
      人工知能学会第34回年次大会, オンライン開催, 2020/6/9-12.
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] Why parsing is a part of Language Faculty Science2020

    • Author(s)
      Bekki,Daisuke
    • Organizer
      The 2020 Zoom Workshop on Language Faculty Science: Linguistic Intuitions and Replication, 2020/12/20
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] Development of an automated theorem prover for the fragment of DTS2020

    • Author(s)
      Daido,Hinari; Bekki,Daisuke;
    • Organizer
      the 17th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS17).
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] マルチモーダル推論評価のための日本語データセットの試案2020

    • Author(s)
      飯野早貴, 石田真捺, 小谷野華那, 松本留奈, 鈴木莉子, 谷中瞳, 峯島宏次, 戸次大介
    • Organizer
      言語処理学会第26回年次大会
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] Dependent Types and Theory of Meaning2019

    • Author(s)
      Bekki, Daisuke
    • Organizer
      Nanzan Workshop on the Foundational Issues in Linguistics and Philosophy of Language
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] 自然言語理解技術の動向2019

    • Author(s)
      戸次大介
    • Organizer
      NEDO TSC Foresightセミナー(第1回)
    • Invited
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] クラウドソーシングによる単調推論データセットの構築2019

    • Author(s)
      谷中瞳, 戸次大介, 峯島宏次, 関根聡, 乾健太郎
    • Organizer
      第33回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] 理論言語学に基づく自然言語理解の最前線2019

    • Author(s)
      戸次大介
    • Organizer
      日本英語学会第37回大会
    • Invited
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] Hybrid natural language understanding: neural network, logic and beyond2019

    • Author(s)
      Bekki, Daisuke; Yanaka, Hitomi
    • Organizer
      Konferenz zur Verarbeitung naturlicher Sprache (KONVENS2019)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] テキスト情報と画像情報を組み合わせた論理推論システムの構築2019

    • Author(s)
      鈴木莉子, 吉川将司, 谷中瞳, 峯島宏次, 戸次大介
    • Organizer
      第33回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-18H03284
  • [Presentation] 理論言語学と自然言語処理と2018

    • Author(s)
      戸次 大介
    • Organizer
      言語処理学会第24回年次大会(岡山大学)招待講演, 2018/3/15.
    • Invited
    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Presentation] Introduction to Dependent Type Semantics2017

    • Author(s)
      Daisuke Bekki
    • Organizer
      A talk at Bordeaux University, Bordeaux, France, 2017/9/23.
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Presentation] Indirect Answers to QUD2017

    • Author(s)
      Yurina Ito, Koji Mineshima, Daisuke Bekki
    • Organizer
      IASM, ESSLLI2017
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K02640
  • [Presentation] Variable Handling in DRT and DTS2017

    • Author(s)
      Yukiko Yana, Daisuke Bekki, Koji Mineshima
    • Organizer
      Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017), Stockholm, Sweden.
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Presentation] 依存型意味論による自然言語の証明論的意味論II2017

    • Author(s)
      伊藤 友里菜, 簗 有紀子, 戸次 大介
    • Organizer
      東海意味論研究会, 名古屋学院大学, 2017/10/29
    • Invited
    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Presentation] ,On-demand Injection of Lexical Knowledge for Recognising Textual Entailmen2017

    • Author(s)
      ascual Martinez-Gomez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki
    • Organizer
      EACL2017
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K02640
  • [Presentation] Introduction to Dependent Type Semantics2017

    • Author(s)
      D. Bekki
    • Organizer
      Bordeaux University
    • Data Source
      KAKENHI-PROJECT-16K02640
  • [Presentation] Determining Semantic Textual Similarity using Natural Deduction Proofs2017

    • Author(s)
      Hitomi Yanaka, Koji Mineshima, Pascual Martinez-Gomez, Daisuke Bekki
    • Organizer
      EMNLP2017
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K02640
  • [Presentation] Coercion as Proof Search in Dependent Type Semantics2017

    • Author(s)
      Eriko Kinoshita, Koji Mineshima, Daisuke Bekki
    • Organizer
      Workshop on Approaches to Coercion and Polysemy (CoPo 2017), University of Oslo, Norway.
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Presentation] 意味論の証明論的転回2017

    • Author(s)
      戸次 大介, 峯島 宏次, 金子 貴美, 田中 リベカ, 谷中 瞳, 木下 恵梨子, 伊藤 友里菜, 簗 有紀子
    • Organizer
      第31回人工知能学会全国大会, 2B3-OS-07a-4, ウインクあいち, 2017/5/23-26.
    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Presentation] Indirect Answers to QUD2017

    • Author(s)
      Yurina Ito, Koji Mineshima, Daisuke Bekki
    • Organizer
      Integrating Approaches to Social Meaning (IASM) workshop, in the 29th European Summer School in Logic, Language and Information (ESSLLI 2017), Toulouse, France.
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Presentation] 依存型意味論とオントロジーを用いた論理的多義とコアーション現象の分析に向けて2016

    • Author(s)
      木下恵梨子. 中村絢子. 戸次大介.
    • Organizer
      言語処理学会第22回年次大会, D2-4.
    • Place of Presentation
      東北大学
    • Year and Date
      2016-03-07
    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Presentation] 依存型意味論と形式オントロジーによる述語の選択制約の分析2016

    • Author(s)
      木下恵理子; 峯島宏次; 戸次大介;
    • Organizer
      第30回人工知能学会全国大会
    • Place of Presentation
      北九州国際会議場
    • Year and Date
      2016-06-06
    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Presentation] オントロジーを用いた型理論的な語彙意味論の試み2015

    • Author(s)
      中村絢子. 峯島宏次. 戸次大介.
    • Organizer
      第29回人工知能学会全国大会, 2M1-2.
    • Place of Presentation
      はこだて未来大学
    • Year and Date
      2015-05-30
    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Presentation] Towards Modeling Natural Language Inferences with Formal Ontology and Lexical Semantics2015

    • Author(s)
      Nakamura, Ayako. Mineshima, Koji. Bekki, Daisuke.
    • Organizer
      the FOfAI session of the Joint Ontology Workshops (JOWO)
    • Place of Presentation
      Buenos Aires
    • Year and Date
      2015-07-25
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00301
  • [Presentation] 限定継続を用いた inverse scope の分析と実装2014

    • Author(s)
      叢悠悠, 浅井健一, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学(発表論文集(CD-ROM), E7-2)
    • Year and Date
      2014-03-20
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 組み合わせ範疇文法 (CCG) による日本語の敬語表現の分析に向けて2014

    • Author(s)
      渡辺成美, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学(発表論文集(CD-ROM), B3-4)
    • Year and Date
      2014-03-19
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 依存型意味論を用いた日本語含意関係コーパスの分析に向けて2014

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

    • Author(s)
      渡辺成美, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] MCNコーパス:「ノダ」にみるガイドライン作成の手法2014

    • Author(s)
      田中リベカ, 川添愛, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 限定継続を用いた inverse scope の分析と実装2014

    • Author(s)
      叢悠悠, 浅井健一, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] SDRT に基づく因果関係認識日本語評価データ構築手法の提案2014

    • Author(s)
      金子貴美, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] Japanese Honorification: Compositionality and Expressivity2014

    • Author(s)
      Eric McCready, Daisuke Bekki, Narumi Watanabe
    • Organizer
      FAJL 7
    • Place of Presentation
      ICU
    • Data Source
      KAKENHI-PROJECT-25370441
  • [Presentation] MCN コーパスにおける形式名詞「はず」「わけ」「つもり」のアノテーション2014

    • Author(s)
      宇津木舞香, 佐藤未歩, 青木花純, 田中リベカ, 川添愛, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学(発表論文集(CD-ROM), B7-1)
    • Year and Date
      2014-03-20
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] SDRT に基づく因果関係認識日本語評価データ構築手法の提案2014

    • Author(s)
      金子貴美, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学(発表論文集(CD-ROM), B7-4)
    • Year and Date
      2014-03-20
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] MCNコーパスにおける形式名詞「はず」「わけ」「つもり」のアノテーション2014

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

    • Author(s)
      田中リベカ, 川添愛, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学(発表論文集(CD-ROM), B7-2)
    • Year and Date
      2014-03-20
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 依存型意味論を用いた日本語含意関係コーパスの分析に向けて2014

    • Author(s)
      中村絢子, 金子貴美, 戸次大介
    • Organizer
      言語処理学会第20回年次大会
    • Place of Presentation
      北海道大学
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 複合機能表現「という」の分類にみるMCNコーパスの方法論と検証2013

    • Author(s)
      叢悠悠. 田中リベカ. 中村絢子. 酒向美帆. 佐宗智子. 清水蘭. 劉月晴. 川添愛. 戸次大介.
    • Organizer
      第3回コーパス日本語学ワークショップ
    • Place of Presentation
      国立国語学研究所
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 条件文解析のための一階述語条件論理と近傍層意味論2013

    • Author(s)
      山本華子, 戸次大介
    • Organizer
      第27回人工知能学会全国大会
    • Place of Presentation
      富山国際会議場
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] MCNコーパス:ガイドライン設計とその運用2013

    • Author(s)
      田中リベカ. 戸次大介. 川添愛
    • Organizer
      言語処理学会第19回年次大会
    • Place of Presentation
      名古屋大学
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 組み合わせ範疇文法(CCG)による日本語の敬語表現の分析に向けて2013

    • Author(s)
      渡辺成美, 戸次大介
    • Organizer
      第214回自然言語処理研究会
    • Place of Presentation
      屋久島環境文化村センター
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 部分型理論による概念表記の展望2013

    • Author(s)
      中野悠紀, 戸次大介
    • Organizer
      第27回人工知能学会全国大会
    • Place of Presentation
      富山国際会議場
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 基本文関係に分解した日本語含意関係認識アノテーション2013

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

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

    • Author(s)
      金子貴美, 戸次大介
    • Organizer
      第214回自然言語処理研究会
    • Place of Presentation
      屋久島環境文化村センター
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 依存型意味論による前提理論の形式化2013

    • Author(s)
      石下裕里. 戸次大介.
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL2013)ポスター発表
    • Place of Presentation
      東山温泉「御宿東鳳」
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 基本文関係に分解した日本語含意関係認識アノテーション2013

    • Author(s)
      金子貴美, 戸次大介, 宮尾祐介
    • Organizer
      第27回人工知能学会全国大会
    • Place of Presentation
      富山国際会議場
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] Neighborhood-sheafによる一階述語条件論理の意味論2013

    • Author(s)
      山本華子. 戸次大介.
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL2013)ポスター発表
    • Place of Presentation
      東山温泉「御宿東鳳」
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] CCGパーザを用いた未知語の統語範疇自動推定2013

    • Author(s)
      田中リベカ, 宮尾祐介, 戸次大介
    • Organizer
      第27回人工知能学会全国大会
    • Place of Presentation
      富山国際会議場
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 限定継続を用いたフォーカスの分析と実装に向けて2013

    • Author(s)
      叢 悠悠, 浅井 健一, 戸次 大介
    • Organizer
      第214回自然言語処理研究会
    • Place of Presentation
      屋久島環境文化村センター
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 正規化制約を用いたCCG構文解析とその実装2013

    • Author(s)
      尾崎博子. 戸次大介
    • Organizer
      言語処理学会第19回年次大会
    • Place of Presentation
      名古屋大学
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] SDRTに基づく談話関係アノテーションの試み2013

    • Author(s)
      金子貴美, 戸次大介
    • Organizer
      第214回自然言語処理研究会
    • Place of Presentation
      屋久島環境文化村センター
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 基本文関係に分解した含意関係認識日本語評価データの構築2013

    • Author(s)
      金子貴美. 宮尾祐介. 戸次大介
    • Organizer
      言語処理学会第19回年次大会
    • Place of Presentation
      名古屋大学
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 限定継続を用いたフォーカスの分析と実装に向け2013

    • Author(s)
      叢 悠悠, 浅井 健一, 戸次 大介
    • Organizer
      第214回自然言語処理研究会
    • Place of Presentation
      屋久島環境文化村センター
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 高階依存型理論を用いた自然言語の意味論構築に向けて2012

    • Author(s)
      中野悠紀. 戸次大介.
    • Organizer
      人工知能学会第26会全国大会
    • Place of Presentation
      山口県教育会館
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 言語的テストに基づく意味アノテーションのガイドライン設計-確実性判断に関わる表現を中心に-2012

    • Author(s)
      田中リベカ, 小池恵里子, 戸次大介, 川添愛
    • Organizer
      言語処理学会第18回年次大会発表論文集pp.401-404
    • Place of Presentation
      広島市立大学
    • Year and Date
      2012-03-14
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 高階依存型理論を用いた自然言語の意味論構築に向けて2012

    • Author(s)
      中野悠紀, 戸次大介
    • Organizer
      第14回プログラミングおよびプログラミング言語ワークショップ(PPL202)ポスター発表
    • Place of Presentation
      南紀白浜むさし(和歌山県)
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 量化動的論理による組み合わせ範疇文法の意味表示の記述とその実装に向けて2012

    • Author(s)
      石下裕里. 戸次大介.
    • Organizer
      人工知能学会第26会全国大会
    • Place of Presentation
      山口県教育会館
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] MCNコーパス:モダリティ関連表現の曖昧性解消のためのアノテーションと言語学的テストの利用2012

    • Author(s)
      川添愛. 田中リベカ. 戸次大介.
    • Organizer
      テキストアノテーションワークショップ・コンテスト
    • Place of Presentation
      国立情報学研究所
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] MCNコーパス:言語学的テストに基づくモダリティ・アノテーションの理論と実証2012

    • Author(s)
      田中リベカ. 川添愛. 戸次大介.
    • Organizer
      第2回コーパス日本語学ワークショップ
    • Place of Presentation
      国立国語学研究所
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] モナドによる自然言語の意味論2012

    • Author(s)
      戸次大介
    • Organizer
      応用哲学会2012年度研究大会ワークショップ「非古典論理による言語科学の新展開」(矢田部俊介,戸次大介,増子萌,中野悠紀)
    • Place of Presentation
      千葉大学
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 前提記述のための動的論理の証明論構築に向けて2011

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

    • Author(s)
      尾崎有梨・戸次大介
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)
    • Place of Presentation
      定山渓ビューホテル(北海道)
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Presentation] 形式意味論の考え方とその変遷2011

    • Author(s)
      戸次大介
    • Organizer
      言語処理学会第17回年次大会(NLP2011)チュートリアル
    • Place of Presentation
      豊橋技術科学大学(愛知県)
    • Year and Date
      2011-03-07
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 部分方向性組み合わせ論理の計算論的性質2011

    • Author(s)
      尾崎博子, 戸次大介
    • Organizer
      人工知能学会第25会全国大会,オーガナイズト・セッション「意味と理解のコンピューティング」,3H2-OS3-1
    • Place of Presentation
      盛岡
    • Year and Date
      2011-06-03
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 様相・条件・否定表現の言語学的分析に基づく確実性判断のためのアノテーション済みコーパスの構築2011

    • Author(s)
      川添愛, 齊藤学, 片岡喜代子, 崔栄殊, 戸次大介
    • Organizer
      言語処理学会第17回年次大会 テーマセッション「複合辞とモダリティ:理論から応用まで」
    • Place of Presentation
      豊橋技術科学大学
    • Year and Date
      2011-03-08
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Presentation] 条件論理C_bとそのタブローシステム2011

    • Author(s)
      尾崎有梨, 戸次大介
    • Organizer
      人工知能学会第25会全国大会,オーガナイズト・セッション「意味と理解のコンピューティング」,3H2-OS3-3
    • Place of Presentation
      盛岡
    • Year and Date
      2011-06-03
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 部分方向性組合せ論理の計算論的性質2011

    • Author(s)
      尾崎博子、戸次大介
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)ポスター発表
    • Place of Presentation
      定山渓ビューホテル(北海道)
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 組み合わせ範疇文法(CCG)と理論言語学における検証2011

    • Author(s)
      戸次大介
    • Organizer
      応用哲学会2011年度臨時研究大会ワークショップ「言語理論と反証可能性:範疇文法によるアプローチ」(矢田部俊介,戸次大介,峯島宏次)
    • Place of Presentation
      京都大学
    • Year and Date
      2011-09-25
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 前提記述のための動的論理の証明論構築に向けて2011

    • Author(s)
      石下裕里・戸次大介
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)
    • Place of Presentation
      定山渓ビューホテル(北海道)
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Presentation] 条件論理Cbとそのタブローシステム」2011

    • Author(s)
      尾崎有梨・戸次大介
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)
    • Place of Presentation
      定山渓ビューホテル(北海道)
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Presentation] 前提記述のための動的論理の証明論構築に向けて2011

    • Author(s)
      石下裕里、戸次大介
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)ポスター発表
    • Place of Presentation
      定山渓ビューホテル(北海道)
    • Data Source
      KAKENHI-PROJECT-22680013
  • [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
    • Data Source
      KAKENHI-PROJECT-22680013
  • [Presentation] 様相・条件・否定表現の言語学的分析に基づく確実性判断のためのアノテーション済みコーパスの構築2011

    • Author(s)
      川添愛.齊藤学.片岡喜代子.崔栄殊.戸次大介
    • Organizer
      言語処理学会第17回年次大会テーマセッション「複合辞とモダリティ:理論から応用まで
    • Place of Presentation
      豊橋技術科学大学
    • Year and Date
      2011-03-08
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Presentation] CCGによる日本語文法記述の進捗と展望~活用体系・統語構造・意味合成~2010

    • Author(s)
      戸次大介
    • Organizer
      言語処理学会第16回年次大会発表論文集
    • Place of Presentation
      東京大学
    • Data Source
      KAKENHI-PROJECT-20700125
  • [Presentation] CGによる日本語文法記述の進捗と展望~活用体系・統語構造・意味合成~2010

    • Author(s)
      戸次大介
    • Organizer
      言語処理学会第16回年次大会
    • Place of Presentation
      東京大学
    • Year and Date
      2010-03-11
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Presentation] Combinatory Categorial Grammar as a Substructural Logic---Preliminary Remarks2010

    • Author(s)
      Bekki, Daisuke
    • Organizer
      the Seventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 7)
    • Place of Presentation
      Campus Innovation Center, Tokyo, Japan
    • Year and Date
      2010-11-19
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Presentation] 証明木作成プログラムを用いたCCG統語導出の実装2010

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

    • Author(s)
      尾崎有梨, 櫻井加奈子, 浅井健一, 戸次大介
    • Organizer
      言語処理学会第16回年次大会発表論文集
    • Place of Presentation
      東京大学
    • Data Source
      KAKENHI-PROJECT-20700125
  • [Presentation] Combinatory Categorial Grammar as a Substructural Logic ---Preliminary Remarks2010

    • Author(s)
      戸次大介
    • Organizer
      the Seventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 7)
    • Place of Presentation
      Campus Innovation Center, Tokyo, Japan
    • Year and Date
      2010-11-19
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Presentation] CCGによる日本語文法記述の進捗と展望~活用体系・統語構造・意味合成~2010

    • Author(s)
      戸次大介
    • Organizer
      言語処理学会第16回年次大会
    • Place of Presentation
      東京大学
    • Year and Date
      2010-03-11
    • Data Source
      KAKENHI-PROJECT-20700125
  • [Presentation] 様相・否定・条件表現の言語学的分析に基づく確実性アノテーションスキーマの設計2010

    • Author(s)
      川添愛.齊藤学.片岡喜代子.崔栄殊.戸次大介
    • Organizer
      人工知能学会第24会全国大会
    • Place of Presentation
      長崎ブリックホール
    • Year and Date
      2010-06-10
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Presentation] CCGによる日本語文法記述の進捗と展望~活用体系・統語構造・意味合成~2010

    • Author(s)
      戸次大介
    • Organizer
      言語処理学会第16回年次大会
    • Place of Presentation
      東京大学
    • Year and Date
      2010-03-11
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Presentation] Representing Covert Movements by Delimited Continuations2009

    • Author(s)
      Bekki Daisuke, Kenichi Asai
    • Organizer
      the Sixth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6)
    • Place of Presentation
      Campus Innovation Center, Tokyo, Japan
    • Year and Date
      2009-11-19
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Presentation] 確実性判断に関わる意味的文脈アノテーションの試み2009

    • Author(s)
      川添愛、齊藤学、片岡喜代子、戸次大介
    • Organizer
      情報処理学会第189回自然言語処理研究会・第93回情報学基礎研究会合同研究発表会
    • Place of Presentation
      お茶の水女子大学
    • Year and Date
      2009-01-23
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Presentation] Representing Covert Movements by Delimited Continuations2009

    • Author(s)
      Bekki, Daisuke, Kenichi, As ai
    • Organizer
      the Sixth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6)
    • Place of Presentation
      キャンパスイノベーションセンター(東京、田町)
    • Year and Date
      2009-11-19
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Presentation] 型付きラムダ計算による自然言語の動的意味論2009

    • Author(s)
      戸次大介
    • Organizer
      第23回人工知能学会全国大会オーガナイズドセッション「意味と理解のコンピューティング」
    • Place of Presentation
      香川
    • Year and Date
      2009-06-19
    • Data Source
      KAKENHI-PROJECT-20700125
  • [Presentation] 確実性判断に関わる意味的文脈アノテーシヨンの試み2009

    • Author(s)
      川添 愛, 齊藤 学, 片岡喜代子, 戸次 大介
    • Organizer
      情報処理学会 第189回自然言語処理研究会・第93回情報学基礎研究会合同研究発表会
    • Place of Presentation
      お茶の水女子大学
    • Year and Date
      2009-01-23
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Presentation] [招待講演]「型付きラムダ計算による自然言語の動的意味論」2009

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

    • Author(s)
      戸次 大介
    • Organizer
      日本言語学会第136回大会
    • Place of Presentation
      学習院大学
    • Year and Date
      2008-06-21
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Presentation] 日本語における前提概念の同定2008

    • Author(s)
      戸次 大介
    • Organizer
      日本言語学会第136回大会
    • Place of Presentation
      旭川コンベンション・ビューロー
    • Year and Date
      2008-06-10
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Presentation] 日本語における前提概念の同定2008

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

    • Author(s)
      戸次大介
    • Organizer
      日本言語学会第135回大会予稿集
    • Place of Presentation
      学習院大学
    • Data Source
      KAKENHI-PROJECT-20700125
  • [Presentation] 日本語における前提概念の同定2008

    • Author(s)
      戸次大介
    • Organizer
      日本言語学会第136回大会
    • Place of Presentation
      習院大学
    • Year and Date
      2008-06-21
    • Data Source
      KAKENHI-PROJECT-20500148
  • [Presentation] CI via DTS

    • Author(s)
      Daisuke Bekki and Eric McCready
    • Organizer
      LENLS
    • Place of Presentation
      Tokyo (Keio)
    • Year and Date
      2014-11-22 – 2014-11-23
    • Data Source
      KAKENHI-PROJECT-25370441
  • [Presentation] Japanese Honorification: Compositionality and Expressivity

    • Author(s)
      Eric McCready, Daisuke Bekki and Narumi Watanabe
    • Organizer
      FAJL
    • Place of Presentation
      Tokyo (ICU)
    • Year and Date
      2014-06-26 – 2014-06-28
    • Data Source
      KAKENHI-PROJECT-25370441
  • 1.  McCready E.S. (30433692)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 2.  KAWAZOE Ai (20450166)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 17 results
  • 3.  KATAOKA Kiyoko (80462810)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 17 results
  • 4.  今仁 生美 (20213233)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  SAITO Manabu
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 17 results
  • 6.  CHOI Youngsoo
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 13 results
  • 7.  Asher Nicholas
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  Tawilapakul Upsorn
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  Pittayaporn Pittayawat
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  MCCREADY Eric Jr.
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 6 results
  • 11.  峯島 宏次
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 6 results

URL: 

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi