• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

戸次 大介  Bekki Daisuke

研究者番号 90431783
その他のID
  • ORCIDhttps://orcid.org/0000-0002-9988-1260
外部サイト
所属 (現在) 2025年度: お茶の水女子大学, 基幹研究院, 教授
所属 (過去の研究課題情報に基づく) *注記 2021年度 – 2024年度: お茶の水女子大学, 基幹研究院, 教授
2015年度 – 2020年度: お茶の水女子大学, 基幹研究院, 准教授
2015年度: お茶の水女子大学, 大学院人間文化創成科学研究科, 准教授
2014年度: お茶の水女子大学, 人間文化創成学研究科, 准教授
2012年度 – 2013年度: お茶の水女子大学, 大学院人間文化創成科学研究科, 准教授
2008年度 – 2011年度: お茶の水女子大学, 大学院・人間文化創成科学研究科, 准教授
審査区分/研究分野
研究代表者
小区分61030:知能情報学関連 / 知能情報学 / 合同審査対象区分:小区分60030:統計科学関連、小区分61030:知能情報学関連 / 小区分60030:統計科学関連 / 知能情報学
研究代表者以外
言語学 / 小区分02060:言語学関連 / 知能情報学
キーワード
研究代表者
形式意味論 / 自然言語処理 / 計算言語学 / 依存型意味論 / 依存型理論 / 含意関係認識 / 深層学習 / 統語解析器 / 深層ニューラルネットワーク / 統語解析 … もっと見る / 組合せ範疇文法 / 計算意味論 / 選択制約 / コア-ション / メタファー / 強制現象 / 共述語化 / 選択制限 / 圏論 / 型理論 / 数理言語学 / 形式文法理論 … もっと見る
研究代表者以外
politeness / honorification / expressive meaning / pragmatics / semantics / 敬語 / 語用論 / 意味論 / 言語学 / 確率 / 慣習的含み / 合成的意味論 / 礼儀正しさ / 日本語 / タイ語 / expressive content / social meaning / linguistics / 終助詞 / Thai / Japanese / 形式語用論 / 形式意味論 / 尊敬語 / 理論言語学 / アノテーション / 自然言語処理 隠す
  • 研究課題

    (9件)
  • 研究成果

    (272件)
  • 共同研究者

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

    • 研究代表者
      今仁 生美
    • 研究期間 (年度)
      2024 – 2026
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分02060:言語学関連
    • 研究機関
      名古屋学院大学
  •  依存型意味論による自然言語の意味の研究とその自動検証研究代表者

    • 研究代表者
      戸次 大介
    • 研究期間 (年度)
      2023 – 2027
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分61030:知能情報学関連
      小区分60030:統計科学関連
      合同審査対象区分:小区分60030:統計科学関連、小区分61030:知能情報学関連
    • 研究機関
      お茶の水女子大学
  •  日本語CCG統語解析器lightblueの開発研究代表者

    • 研究代表者
      戸次 大介
    • 研究期間 (年度)
      2018 – 2021
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分61030:知能情報学関連
    • 研究機関
      お茶の水女子大学
  •  Computational semantics and pragmatics of honorification and particles in Asian languages

    • 研究代表者
      McCREADY Elin (McCREADY E.S.JR.)
    • 研究期間 (年度)
      2016 – 2018
    • 研究種目
      基盤研究(C)
    • 研究分野
      言語学
    • 研究機関
      青山学院大学
  •  型理論による形式意味論・語彙意味論・オントロジーの統合記述体系の確立研究代表者

    • 研究代表者
      戸次 大介
    • 研究期間 (年度)
      2015 – 2017
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      お茶の水女子大学
  •  Computational semantics and pragmatics of politeness phenomena

    • 研究代表者
      E・S McCready
    • 研究期間 (年度)
      2013 – 2015
    • 研究種目
      基盤研究(C)
    • 研究分野
      言語学
    • 研究機関
      青山学院大学
  •  メタラムダ計算とモナドによる自然言語の意味・文脈情報の統合研究代表者

    • 研究代表者
      戸次 大介
    • 研究期間 (年度)
      2010 – 2013
    • 研究種目
      若手研究(A)
    • 研究分野
      知能情報学
    • 研究機関
      お茶の水女子大学
  •  確実性アノテーション:『確実性判断を表す意味的文脈』を記述したコーパスの構築

    • 研究代表者
      川添 愛
    • 研究期間 (年度)
      2008 – 2010
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      津田塾大学
  •  CCGと高階動的論理による等位接続構文の形式的記述研究代表者

    • 研究代表者
      戸次 大介
    • 研究期間 (年度)
      2008 – 2009
    • 研究種目
      若手研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      お茶の水女子大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 その他

すべて 雑誌論文 学会発表 図書

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

    • 著者名/発表者名
      Bekki, Daisuke; Mineshima, Koji; McCready, Elin;
    • 総ページ数
      233
    • 出版者
      Springer
    • ISBN
      9783031439766
    • データソース
      KAKENHI-PROJECT-23K28142
  • [図書] Context-Passing and Underspecification in Dependent Type Semantics2017

    • 著者名/発表者名
      Daisuke Bekki, Koji Mineshima
    • 出版者
      Modern Perspectives in Type-Theoretical Semantics, S.Chatzikyriakidis and Z.Luo (Eds.), Studies of Linguistics and Philosophy, Springer. pp.11-41.
    • ISBN
      9783319504209
    • データソース
      KAKENHI-PROJECT-15K00301
  • [図書] 人工知能学事典2017

    • 著者名/発表者名
      戸次 大介
    • 出版者
      項目「形式意味論」, pp.632-635, 人工知能学会.
    • ISBN
      9784320121072
    • データソース
      KAKENHI-PROJECT-15K00301
  • [図書] Modern Perspectives in Type-Theoretical Semantics2017

    • 著者名/発表者名
      Koji Mineshima, Daisuke Bekki
    • 総ページ数
      30
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-16K02640
  • [図書] Lecture Notes in Artificial Intelligence 100912017

    • 著者名/発表者名
      Mihoko Otake, Koji Mineshima, Daisuke Bekki
    • 総ページ数
      548
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-16K02640
  • [図書] 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

    • 著者名/発表者名
      Mihoko Otake, Koji Mineshima, Daisuke Bekki
    • 出版者
      Lecture Notes in Artificial Intelligence 10091, Springer
    • ISBN
      9783319509532
    • データソース
      KAKENHI-PROJECT-15K00301
  • [図書] On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting2017

    • 著者名/発表者名
      Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
    • 総ページ数
      14
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-16K02640
  • [図書] New Frontiers in Artificial Intelligence: JSAI-isAI 2015 Workshops Revised Selected Papers2016

    • 著者名/発表者名
      Otake, Mihoko; Mineshima, Koji; Bekki, Daisuke
    • 総ページ数
      564
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-16K02640
  • [図書] New Frontiers in Artificial Intelligence (JSAI-isAI 2012 Workshops, Miyazaki, Japan, Selected Papers from LENLS9, JURISIN 2012, ALSIP2012 and MiMI)2013

    • 著者名/発表者名
      Motomura, Yoichi. Butler, Alastair. Bekki, Daisuke
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-22680013
  • [図書] 数理論理学2012

    • 著者名/発表者名
      戸次大介
    • 出版者
      東京大学出版会
    • データソース
      KAKENHI-PROJECT-22680013
  • [図書] 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

    • 著者名/発表者名
      Okumura, Manabu. Bekki, Daisuke. Satoh, Ken. (Eds.)
    • 総ページ数
      290
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-22680013
  • [図書] New Frontiers in Artificial Intelligence (JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI: Takamatsu, Japan, December 2011, Revised Selected Papers)2012

    • 著者名/発表者名
      Okumura, Manabu. Bekki, Daisuke. Satoh, Ke
    • 総ページ数
      290
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-22680013
  • [図書] New Frontiers in Artificial Intelligence (JSAI-isAI 2010 Workshops, Tokyo, Japan, November 2010, Selected Papers)2011

    • 著者名/発表者名
      Okumura, Manabu, Bekki, Daisuke, Satoh, Ken.(Eds.)
    • 総ページ数
      338
    • 出版者
      New Frontiers in Artificial Intelligence (JSAI-isAI 2010 Workshops, Tokyo, Japan, November 2010, Selected Papers)
    • データソース
      KAKENHI-PROJECT-22680013
  • [図書] New Frontiers in Artificial Intelligence (JSAI-isAI 2010 Workshops, Tokyo, Japan, November 2010, Selected Papers)2011

    • 著者名/発表者名
      Onoda, Takashi. Bekki, Daisuke. McCready, Eric
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-22680013
  • [図書] 日本語文法の形式理論-活用体系・統語構造・意味合成2010

    • 著者名/発表者名
      戸次大介
    • 総ページ数
      356
    • 出版者
      くろしお出版
    • データソース
      KAKENHI-PROJECT-20500148
  • [図書] 日本語文法の形式理論-活用体系・統語構造・意味合成-(日本語研究叢書24)2010

    • 著者名/発表者名
      戸次大介
    • 総ページ数
      356
    • 出版者
      くろしお出版
    • データソース
      KAKENHI-PROJECT-20700125
  • [図書] 日本語文法の形式理論-活用体系・統語構造・意味合成-2010

    • 著者名/発表者名
      戸次大介
    • 総ページ数
      356
    • 出版者
      くろしお出版
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] Reforging : A Method for Constructing Linguistically Valid Japanese CCG Treebank2024

    • 著者名/発表者名
      Tomita, Asa; Yanaka, Hitomi; Bekki, Daisuke
    • 雑誌名

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

      巻: - ページ: 196-207

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-23K28142
  • [雑誌論文] A Proof-Theoretic Approach to the Binding Problem2024

    • 著者名/発表者名
      Yana, Yukiko; Mineshima, Koji; Bekki, Daisuke
    • 雑誌名

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

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23K28142
  • [雑誌論文] Appositive Projection as Implicit Context Extension in Dependent Type Semantics2023

    • 著者名/発表者名
      Matsuoka, Daiki; Yanaka, Hitomi; Bekki, Daisuke
    • 雑誌名

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

      巻: - ページ: 82-87

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23K28142
  • [雑誌論文] Recurrent Neural Network CCG 構文解析器の実装2023

    • 著者名/発表者名
      田上青空,戸次大介
    • 雑誌名

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

      巻: ANLP2023

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-18H03284
  • [雑誌論文] Implementing Natural Language Inference for Comparatives2023

    • 著者名/発表者名
      Izumi Haruta, Koji Mineshima, Daisuke Bekki
    • 雑誌名

      Journal of Language Modelling

      巻: 10 号: 1 ページ: 139-191

    • DOI

      10.15398/jlm.v10i1.294

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K00016, KAKENHI-PROJECT-18H03284, KAKENHI-PROJECT-23K20416
  • [雑誌論文] Matrix and Relative Weak Crossover on the Level of the Individual: A Proposed Experimental Investigation2023

    • 著者名/発表者名
      Fukushima, Haruka; Plesniak, Daniel; Bekki, Daisuke
    • 雑誌名

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

      巻: - ページ: 93-98

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K28142
  • [雑誌論文] A Proof-Theoretic Analysis of Weak Crossover2023

    • 著者名/発表者名
      Bekki Daisuke
    • 雑誌名

      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)

      巻: LNAI 13856 ページ: 228-241

    • DOI

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

    • ISBN
      9783031361890, 9783031361906
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-23K28142
  • [雑誌論文] Yesodによる日本語CCGパーザ開発環境の構築2021

    • 著者名/発表者名
      石嶋 美咲、戸次 大介
    • 雑誌名

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

      巻: JSAI2021 号: 0 ページ: 4J1GS6d01-4J1GS6d01

    • DOI

      10.11517/pjsai.JSAI2021.0_4J1GS6d01

    • NAID

      130008051930

    • 言語
      日本語
    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-18H03284
  • [雑誌論文] A Proof-theoretic Analysis of Weak Crossover2021

    • 著者名/発表者名
      Bekki, Daisuke
    • 雑誌名

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

      巻: LENLS18 ページ: 75-88

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H03284
  • [雑誌論文] The proviso problem from a proof-theoretic perspective2021

    • 著者名/発表者名
      Yukiko Yana, Koji Mineshima, Daisuke Bekki
    • 雑誌名

      Logical Aspects of Computational Linguistics (LACL) 2021

      巻: X ページ: 159-176

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H03284
  • [雑誌論文] The proviso problem from a proof-theoretic perspective2021

    • 著者名/発表者名
      Yana, Yukiko; Mineshima, Koji; Bekki, Daisuke
    • 雑誌名

      Proceedings of Logical Aspects of Computational Linguistics (LACL) 2021

      巻: LACL2021 ページ: 159-176

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H03284
  • [雑誌論文] A Proof-theoretic Analysis of Weak Crossover2021

    • 著者名/発表者名
      Daisuke Bekki
    • 雑誌名

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

      巻: X ページ: 75-88

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H03284
  • [雑誌論文] 実テキストにおける数量表現の含意関係認識に向けて2021

    • 著者名/発表者名
      小谷野 華那、鈴木 莉子、春田 和泉、谷中 瞳、戸次 大介
    • 雑誌名

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

      巻: JSAI2021 号: 0 ページ: 4J2GS6e02-4J2GS6e02

    • DOI

      10.11517/pjsai.JSAI2021.0_4J2GS6e02

    • NAID

      130008051915

    • 言語
      日本語
    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-18H03284
  • [雑誌論文] 論理推論による症例検索に向けた日本語症例テキストの複合語解析の試案2021

    • 著者名/発表者名
      石田 真捺、谷中 瞳、馬目 華奈、戸次 大介
    • 雑誌名

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

      巻: JSAI2021 号: 0 ページ: 4J3GS6f05-4J3GS6f05

    • DOI

      10.11517/pjsai.JSAI2021.0_4J3GS6f05

    • NAID

      130008052025

    • 言語
      日本語
    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-18H03284
  • [雑誌論文] 日本語形態素解析器の知識蒸留2021

    • 著者名/発表者名
      田上 青空、戸次 大介
    • 雑誌名

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

      巻: JSAI2021 号: 0 ページ: 4J1GS6d02-4J1GS6d02

    • DOI

      10.11517/pjsai.JSAI2021.0_4J1GS6d02

    • NAID

      130008051929

    • 言語
      日本語
    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-18H03284
  • [雑誌論文] Logical Inferences with Comparatives and Generalized Quantifiers2020

    • 著者名/発表者名
      Haruta,Izumi; Mineshima,Koji; Bekki,Daisuke;
    • 雑誌名

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

      巻: 58 ページ: 263-270

    • DOI

      10.18653/v1/2020.acl-srw.35

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18H03284, KAKENHI-PROJECT-17K13316
  • [雑誌論文] Combining Event Semantics and Degree Semantics for Natural Language Inference2020

    • 著者名/発表者名
      Haruta,Izumi; Mineshima,Koji; Bekki,Daisuke;
    • 雑誌名

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

      巻: 28 ページ: 1758-1764

    • DOI

      10.18653/v1/2020.coling-main.156

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18H03284, KAKENHI-PROJECT-17K13316
  • [雑誌論文] Logical Inferences with Comparatives and Generalized Quantifiers2020

    • 著者名/発表者名
      Haruta, Izumi; Mineshima, Koji; Bekki, Daisuke;
    • 雑誌名

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

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H03284
  • [雑誌論文] A CCG-based Compositional Semantics and Inference System for Comparatives2019

    • 著者名/発表者名
      Haruta, Izumi; Mineshima, Koji; Bekki, Daisuke;
    • 雑誌名

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

      巻: - ページ: 67-76

    • NAID

      120006772920

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H03284
  • [雑誌論文] Questions in Dependent Type Semantics2019

    • 著者名/発表者名
      Watanabe Kazuki、Mineshima Koji、Bekki Daisuke
    • 雑誌名

      Proceedings of the Sixth Workshop on Natural Language and Computer Science

      巻: 2019 ページ: 23-33

    • DOI

      10.18653/v1/w19-1103

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-17H02265, KAKENHI-PROJECT-18H03284
  • [雑誌論文] Can Neural Networks Understand Monotonicity Reasoning?2019

    • 著者名/発表者名
      Yanaka Hitomi、Mineshima Koji、Bekki Daisuke、Inui Kentaro、Sekine Satoshi、Abzianidze Lasha、Bos Johan
    • 雑誌名

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

      巻: 2019 ページ: 31-40

    • DOI

      10.18653/v1/w19-4804

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-18H03284
  • [雑誌論文] Underspecification and interpretive parallelism in Dependent Type Semantics2019

    • 著者名/発表者名
      Kubota Yusuke、Mineshima Koji、Levine Robert、Bekki Daisuke
    • 雑誌名

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

      巻: 2019 ページ: 1-9

    • DOI

      10.18653/v1/w19-1001

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-18H03284
  • [雑誌論文] Variable Handling and Compositionality: Comparing DRT and DTS2019

    • 著者名/発表者名
      Yana Yukiko、Mineshima Koji、Bekki Daisuke
    • 雑誌名

      Journal of Logic, Language and Information

      巻: 28 号: 2 ページ: 261-285

    • DOI

      10.1007/s10849-019-09294-3

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-17H02265, KAKENHI-PROJECT-18H03284
  • [雑誌論文] HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning2019

    • 著者名/発表者名
      Yanaka Hitomi、Mineshima Koji、Bekki Daisuke、Inui Kentaro、Sekine Satoshi、Abzianidze Lasha、Bos Johan
    • 雑誌名

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

      巻: 2019 ページ: 250-255

    • DOI

      10.18653/v1/s19-1027

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-18H03284
  • [雑誌論文] Factivity and Presupposition in Dependent Type Semantics2017

    • 著者名/発表者名
      Ribeka Tanaka, Koji Mineshima, Daisuke Bekk
    • 雑誌名

      Journal of Language Modelling

      巻: 5 号: 2 ページ: 385-420

    • DOI

      10.15398/jlm.v5i2.153

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K02640, KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-15J11772, KAKENHI-PROJECT-15K00301
  • [雑誌論文] Variable Handling in DRT and DTS2017

    • 著者名/発表者名
      Yukiko Yana, Daisuke Bekki, Koji Mineshima
    • 雑誌名

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

      巻: ー ページ: 141-159

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K00301
  • [雑誌論文] Indirect Answers to QUD2017

    • 著者名/発表者名
      Yurina Ito, Koji Mineshima, Daisuke Bekki
    • 雑誌名

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

      巻: ー

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K00301
  • [雑誌論文] On-demand Injection of Lexical Knowledge for Recognising Textual Entailment2017

    • 著者名/発表者名
      Pascual Martinez-Gomez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki
    • 雑誌名

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

      巻: 1 ページ: 710-720

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K02640
  • [雑誌論文] Coercion as Proof Search in Dependent Type Semantics2017

    • 著者名/発表者名
      Eriko Kinoshita, Koji Mineshima, Daisuke Bekki
    • 雑誌名

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

      巻: ー

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K00301
  • [雑誌論文] 意味論の証明論的転回2017

    • 著者名/発表者名
      戸次 大介, 峯島 宏次, 金子 貴美, 田中 リベカ, 谷中 瞳, 木下 恵梨子, 伊藤 友里菜, 簗 有紀子
    • 雑誌名

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

      巻: ー

    • NAID

      130007427108

    • データソース
      KAKENHI-PROJECT-15K00301
  • [雑誌論文] Context-Passing and Underspecification in Dependent Type Semantics2017

    • 著者名/発表者名
      D Bekki and K Mineshima
    • 雑誌名

      Modern Perspectives in Type-Theoretical Semantics

      巻: Edited volume ページ: 11-41

    • DOI

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

    • ISBN
      9783319504209, 9783319504223
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K02640
  • [雑誌論文] Variable Handling in DRT and DTS2017

    • 著者名/発表者名
      Yukiko Yana, Koji Mineshima, Pascual Martinez-Gomez, Daisuke Bekki
    • 雑誌名

      Proceedings of Workshop on Logic and Algorithms in Computational Linguistics 2017

      巻: 1 ページ: 141-159

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K02640
  • [雑誌論文] An analysis of selectional restrictions with Dependent Type Semantics2016

    • 著者名/発表者名
      Eriko Kinoshita; Koji Mineshima; Bekki, Daisuke;
    • 雑誌名

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

      巻: 13 ページ: 100-113

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K00301
  • [雑誌論文] Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser2016

    • 著者名/発表者名
      Mineshima, Koji; Tanaka, Ribeka; Martinez-Gomez, Pascual; Miyao, Yusuke; Bekki, Daisuke
    • 雑誌名

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

      巻: 2016 ページ: 2236-2242

    • データソース
      KAKENHI-PROJECT-16K02640
  • [雑誌論文] CI via DTS2015

    • 著者名/発表者名
      Daisuke Bekki and E. McCready
    • 雑誌名

      New Frontiers in Artificial Intelligence

      巻: none ページ: 23-36

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-25370441
  • [雑誌論文] Meta-Lambda Calculus and Linguistic Monads2014

    • 著者名/発表者名
      Daisuke Bekki, Moe Masuko
    • 雑誌名

      Formal Approaches to Semantics and Pragmatics

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] 限定継続を用いたフォーカスの分析と実装2014

    • 著者名/発表者名
      叢悠悠. 戸次大介
    • 雑誌名

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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Japanese Honorification: Compositionality and Expressivity.2014

    • 著者名/発表者名
      Narumi Watanabe, Daisuke Bekki and Eric McCready
    • 雑誌名

      Proceedings of FAJL

      巻: 7 ページ: 265-276

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-25370441
  • [雑誌論文] Neighborhood-Sheaf Semanticsを用いた一階述語条件論理の意味論2014

    • 著者名/発表者名
      山本華子, 戸次大介
    • 雑誌名

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

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Building a Japanese Corpus of Temporal-Causal-Discourse Structures Based on SDRT for Extracting Causal Relations2014

    • 著者名/発表者名
      Kaneko, Kimi. Bekki, Daisuke
    • 雑誌名

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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Neighborhood-Sheaf Semantics を用いた一階述語条件論理の意味論2014

    • 著者名/発表者名
      山本華子. 戸次大介
    • 雑誌名

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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] 限定継続を用いたフォーカスの分析と実装2014

    • 著者名/発表者名
      叢悠悠, 戸次大介
    • 雑誌名

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

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] CI via DTS.2014

    • 著者名/発表者名
      Daisuke Bekki and Eric McCready
    • 雑誌名

      Proceedings of LENLS

      巻: 11 ページ: 110-123

    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-25370441
  • [雑誌論文] First-order conditional logic and neighborhood-sheaf semantics for analysis of conditional sentences2013

    • 著者名/発表者名
      Yamamoto, Hanako. Bekki, Daisuke
    • 雑誌名

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

      巻: (ISBN:978-4-915905-57-5 C3004 (JSAI)) ページ: 96-106

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Subtyping in Logical Polysemy and Copredication2013

    • 著者名/発表者名
      Bekki, Daisuke. Asher, Nicholas
    • 雑誌名

      New Frontiers in Artificial Intelligence (JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November and December 2012, Revised Selected Papers), Yoichi Motomura, Alastair Butler, Daisuke Bekki (Eds.)

      ページ: 17-24

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Constructive Generalized Quantifiers Revisited2013

    • 著者名/発表者名
      Tanaka, Ribeka. Nakano, Yuki. Bekki, Daisuke
    • 雑誌名

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

      巻: (ISBN:978-4-915905-57-5 C3004 (JSAI)) ページ: 69-78

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] On the semantic relation between noun phrases and quantity expressions in Japanese2013

    • 著者名/発表者名
      Hayahishita, J.-R.. Bekki, Daisuke
    • 雑誌名

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

      ページ: 41-52

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Building Japanese Textual Entailment Specialized Data Sets for Inference of Basic Sentence Relations2013

    • 著者名/発表者名
      Kaneko, Kimi. Miyao, Yusuke. Bekki, Daisuke
    • 雑誌名

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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] First-order conditional logic and neighborhood-sheaf semantics for analysis of conditional sentences2013

    • 著者名/発表者名
      Hanako Yamamoto, Daisuke Bekki
    • 雑誌名

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

      巻: - ページ: 96-106

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Building Japanese Textual Entailment Specialized Data Sets for Inference of Basic Sentence Relations2013

    • 著者名/発表者名
      Kimi Kaneko, Yusuke Miyao, Daisuke Bekki
    • 雑誌名

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

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] On the semantic relation between noun phrases and quantity expressions in Japanese2013

    • 著者名/発表者名
      J.-R. Hayashishita, Daisuke Bekki
    • 雑誌名

      New Frontiers in Artificial Intelligence

      巻: LNAI 7856 ページ: 41-52

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Subtyping in Logical Polysemy and Copredication2013

    • 著者名/発表者名
      Daisuke Bekki, Nicholas Asher
    • 雑誌名

      New Frontiers in Artificial Intelligence

      巻: LNAI 7856 ページ: 17-24

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Constructive Generalized Quantifiers Revisited2013

    • 著者名/発表者名
      Ribeka Tanaka, Yuki Nakano, Daisuke Bekki
    • 雑誌名

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

      巻: - ページ: 69-78

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] A Type-theoretic Approach to Double Negation Elimination in Anaphora2013

    • 著者名/発表者名
      Bekki, Daisuke
    • 雑誌名

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

      巻: (ISBN:978-4-915905-57-5 C3004(JSAI)) ページ: 56-68

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] A Type-theoretic Approach to Double Negation Elimination in Anaphora2013

    • 著者名/発表者名
      Daisuke Bekki
    • 雑誌名

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

      巻: - ページ: 56-68

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] 一階述語条件論理VCb(CI)とそのタブローシステム2012

    • 著者名/発表者名
      尾崎有梨, 戸次大介
    • 雑誌名

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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Illative Combinatory Logic を用いた前提の定式化に向けて2012

    • 著者名/発表者名
      石下裕里, 戸次大介
    • 雑誌名

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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Extractability as Deduction Theorem in Subdirectional Combiantory Logic2012

    • 著者名/発表者名
      Ozaki, Hiroko. and Bekki, Daisuke.
    • 雑誌名

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

      巻: LNAI 7351 ページ: 186-200

    • DOI

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

    • ISBN
      9783642312618, 9783642312625
    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] 言語情報の確実性アノテーションのための韓国語の様相表現の分類2012

    • 著者名/発表者名
      齊藤学, 崔栄殊, 戸次大介, 片岡喜代子, 川添愛
    • 雑誌名

      中華日本研究第3号

      ページ: 17-40

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Extractability as Deduction Theorem in Subdirectional Combiantory Logic (extended version)2012

    • 著者名/発表者名
      Ozaki, Hiroko. Bekki, Daisuke
    • 雑誌名

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

      巻: LNAI 7351 ページ: 186-200

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Subtyping in Logical Polysemy and Copredication2012

    • 著者名/発表者名
      Bekki, Daisuke. Asher, Nicholas
    • 雑誌名

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

      巻: (ISBN: 978-4-915905-51-3 C3004(JSAI)) ページ: 98-105

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] 言語情報の確実性アノテーションのための韓国語の様相表現の分類2012

    • 著者名/発表者名
      齊藤学. 崔栄殊. 戸次大介. 片岡喜代子. 川添愛
    • 雑誌名

      中華日本研究

      巻: 第3号 ページ: 17-40

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] On the semantic relation between noun phrases and quantity expressions in Japanese2012

    • 著者名/発表者名
      Hayahishita, J.-R.. Bekki, Daisuke
    • 雑誌名

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

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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Conjoined nominal expressions in Japanese - Interpretation through monad - (revised version)2012

    • 著者名/発表者名
      Hayashishita, J.-R..Bekki, Daisuke
    • 雑誌名

      In New Frontiers in Artificial Intelligence (JSAI-isAI 2011 Workshops, Takamatsu, Japan, December 2011, Selected Papers from LENLS8), Manabu Okumura, Daisuke Bekki, Ken Satoh (Eds.)

      巻: LNAI 7258 ページ: 54-67

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] 一階述語条件論理VCb(CI)とそのタブローシステム2012

    • 著者名/発表者名
      尾崎有梨, 戸次大介
    • 雑誌名

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

      巻: (CD-ROM版)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Toward the formulation of presupposition by Illative Combinatory Logic2012

    • 著者名/発表者名
      Ishishita, Yuri. Bekki, Daisuke
    • 雑誌名

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

      巻: LNAI 7351 ページ: 74-85

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] On the semantic relation between noun phrases and quantity expressions in Japanese2012

    • 著者名/発表者名
      Hayahishita, J.-R. and Bekki, Daisuke.
    • 雑誌名

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

      巻: LENLS9 ページ: 198-209

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Conjoined nominal expressions in Japanese - Interpretation through monad -2012

    • 著者名/発表者名
      J.-R. Hayashishita. and Bekki, Daisuke.
    • 雑誌名

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

      巻: LNAI 7258 ページ: 54-67

    • DOI

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

    • ISBN
      9783642320897, 9783642320903
    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Illative Combinatory Logicを用いた前提の定式化に向けて2012

    • 著者名/発表者名
      石下裕里, 戸次大介
    • 雑誌名

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

      巻: (CD-ROM版)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Toward the formulation of presupposition by Illative Combinatory Logic2012

    • 著者名/発表者名
      Ishishita, Yuri. and Bekki, Daisuke.
    • 雑誌名

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

      巻: LNAI 7351 ページ: 74-85

    • DOI

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

    • ISBN
      9783642312618, 9783642312625
    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Subtyping in Logical Polysemy and Copredication2012

    • 著者名/発表者名
      Bekki, Daisuke. and Asher, Nicholas.
    • 雑誌名

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

      巻: LENLS9 ページ: 98-105

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Extractability as Deduction Theorem in Subdirectional Combinatory Logic2011

    • 著者名/発表者名
      Ozaki, Hiroko, Bekki, Daisuke
    • 雑誌名

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

      ページ: 80-93

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] 条件論理Cbとそのタブローシステム2011

    • 著者名/発表者名
      尾崎有梨・戸次大介
    • 雑誌名

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

      ページ: 33-47

    • NAID

      40020269496

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] 様相・否定・条件表現の言語学的分析に基づく確実性アノテーションスキーマの設計2011

    • 著者名/発表者名
      川添愛.齊藤学.片岡喜代子.崔栄殊.戸次大介
    • 雑誌名

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

      ページ: 143-136

    • NAID

      130007425754

    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] 部分方向性組合せ論理の計算論的性質とその証明2011

    • 著者名/発表者名
      尾崎博子、戸次大介
    • 雑誌名

      Technical Report of Department of Information Science, Ochanomizu University

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

    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] 条件論理Cbとそのタブローシステム2011

    • 著者名/発表者名
      尾崎有梨、戸次大介
    • 雑誌名

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

      ページ: 33-47

    • NAID

      40020269496

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Conjoined nominal expressions in Japanese : Interpretation through monad2011

    • 著者名/発表者名
      Hayahishita, J.-R., Bekki, Daisuke
    • 雑誌名

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

      ページ: 139-152

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Conditional Logic Cb and its Tableau System2011

    • 著者名/発表者名
      Ozaki, Yuri, Bekki, Daisuke
    • 雑誌名

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

      巻: LNAI6736 ページ: 190-204

    • DOI

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

    • NAID

      40020269496

    • ISBN
      9783642222207, 9783642222214
    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] 言語情報の確実性に影響する表現およびそのスコープのためのアノテーションガイドラインVer.2.42011

    • 著者名/発表者名
      川添愛・齊藤学・片岡喜代子・崔栄殊・戸次大介
    • 雑誌名

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

      ページ: 10-4

    • URL

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

    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] Combinatory Categorial Grammar as a Substructural Logic - Preliminary Remarks - (revised version)2011

    • 著者名/発表者名
      Bekki, Daisuke
    • 雑誌名

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

      巻: LNAI 6797 ページ: 16-29

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] 言語情報の確実性に影響する表現およびそのスコープのためのアノテーションガイドラインVer.2.42011

    • 著者名/発表者名
      川添愛・齊藤学・片岡喜代子・崔栄殊・戸次大介
    • 雑誌名

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

      巻: 10-4

    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] メタラムダ計算の圏論的意味論2011

    • 著者名/発表者名
      増子萌、戸次大介
    • 雑誌名

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

      ページ: 60-74

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] 条件論理Cbとそのタブローシステム」2011

    • 著者名/発表者名
      尾崎有梨・戸次大介
    • 雑誌名

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

      ページ: 33-47

    • NAID

      40020269496

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] 条件論理Cb とそのタブローシステム2011

    • 著者名/発表者名
      尾崎有梨, 戸次大介
    • 雑誌名

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

      ページ: 33-47

    • NAID

      40020269496

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Combinatory Categorial Grammar as a Substructural Logic -Preliminary Remarks-(revised version)2011

    • 著者名/発表者名
      Bekki, Daisuke
    • 雑誌名

      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)

      巻: LNAI6797 ページ: 16-29

    • DOI

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

    • ISBN
      9783642256547, 9783642256554
    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] 言語情報の確実性に影響する表現およびそのスコープのためのアノテーションガイドラインVer.2.42011

    • 著者名/発表者名
      川添愛、齊藤学、片岡喜代子、崔栄殊、戸次大介
    • 雑誌名

      Technical Report of Department of Information Science, Ochanomizu University

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

    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] 様相・否定・条件表現の言語学的分析に基づく確実性アノテーションスキーマの設計2011

    • 著者名/発表者名
      川添愛, 齊藤学, 片岡喜代子, 崔栄殊, 戸次大介
    • 雑誌名

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

      ページ: 143-146

    • NAID

      130007425754

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] 言語情報の確実性アノテーションのための韓国語の様相表現の分類2011

    • 著者名/発表者名
      齊藤学、崔栄殊、戸次大介、片岡喜代子、川添愛
    • 雑誌名

      中華日本研究

      巻: 3(12月発行予定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] Conjoined nominal expressions in Japanese: Interpretation through monad2011

    • 著者名/発表者名
      Hayahishita, J.-R.. Bekki, Daisuke
    • 雑誌名

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

      巻: (ISBN: 978-4-915905-51-3 C3004(JSAI)) ページ: 139-152

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] メタラムダ計算の圏論的意味論2011

    • 著者名/発表者名
      増子萌, 戸次大介
    • 雑誌名

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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Extractability as Deduction Theorem in Subdirectional Combinatory Logic2011

    • 著者名/発表者名
      Ozaki, Hiroko. Bekki, Daisuke
    • 雑誌名

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

      巻: (ISBN: 978-4-915905-51-3 C3004(JSAI)) ページ: 80-93

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Conditional Logic Cb and its Tableau System2011

    • 著者名/発表者名
      Ozaki, Yuri. Bekki, Daisuke
    • 雑誌名

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

      巻: LNAI 6736 ページ: 190-204

    • NAID

      40020269496

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] 言語情報の確実性アノテーションのための韓国語の様相表現の分類2011

    • 著者名/発表者名
      齊藤学、崔栄殊、戸次大介、片岡喜代子、川添愛
    • 雑誌名

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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] 命題動的論理の証明システムとその健全性について2011

    • 著者名/発表者名
      石下裕里、戸次大介
    • 雑誌名

      Technical Report of Department of Information Science, Ochanomizu University

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

    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Combinatory Categorial Grammar as a Substructural Logic --- Preliminary Remarks2010

    • 著者名/発表者名
      戸次大介
    • 雑誌名

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

      ページ: 70-83

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] 言語情報の確実性アノテーションのための様相表現の分類2010

    • 著者名/発表者名
      川添愛、齊藤学、片岡喜代子、崔栄殊、戸次大介
    • 雑誌名

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

      巻: 第31号 ページ: 109-129

    • NAID

      120003005473

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Representing Covert Movements by Delimited Continuations (extended version)2010

    • 著者名/発表者名
      Bekki, Daisuke, Kenichi Asai
    • 雑誌名

      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.

      巻: LNAI 6284 ページ: 161-180

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Combinatory Categorial Grammar as a Substructural Logic-Preliminary Remarks-2010

    • 著者名/発表者名
      Bekki, Daisuke
    • 雑誌名

      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

      ページ: 70-83

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Representing Covert Movements by Delimited Continuations (extended version)2010

    • 著者名/発表者名
      Bekki, Daisuke
    • 雑誌名

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

      巻: LNAI 6284 ページ: 161-180

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] Introduction to LENLS 62010

    • 著者名/発表者名
      Bekki, Daisuke
    • 雑誌名

      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.

      巻: LNAI 6284 ページ: 159-160

    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] 様相・否定・条件表現の言語学的分析に基づく確実性アノテーションスキーマの設計2010

    • 著者名/発表者名
      川添愛、齊藤学、片岡喜代子、崔栄殊、戸次大介
    • 雑誌名

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

      巻: 2C3-2(CD-ROM)

    • NAID

      130007425754

    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] 言語情報の確実性アノテーションのための様相表現の分類2010

    • 著者名/発表者名
      川添愛・齊藤学・片岡喜代子・崔栄殊・戸次大介
    • 雑誌名

      九州大学言語学論集 31

      ページ: 109-129

    • NAID

      120003005473

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] Combinatory Categorial Grammar as a Substructural Logic---Preliminary Remarks2010

    • 著者名/発表者名
      Bekki, Daisuke
    • 雑誌名

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

      ページ: 70-83

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] 証明木作成プログラムを用いたCCG意味合成の実装2010

    • 著者名/発表者名
      尾崎有梨、櫻井加奈子、浅井健一、戸次大介
    • 雑誌名

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

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

    • NAID

      130007425582

    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] Representing Covert Movements by Delimited Continuations (extended version)2010

    • 著者名/発表者名
      戸次大介
    • 雑誌名

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

      ページ: 161-180

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] 「小耳に挟む」-接辞繰り上げ分析と型繰り上げ分析-2010

    • 著者名/発表者名
      戸次大介
    • 雑誌名

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

      ページ: 140-145

    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] 言語情報の確実性アノテーションのための様相表現の分類2010

    • 著者名/発表者名
      川添愛, 齊藤学, 片岡喜代子, 崔栄殊, 戸次大介
    • 雑誌名

      九州大学言語学論集

      巻: 31号 ページ: 109-129

    • NAID

      120003005473

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [雑誌論文] 言語情報の確実性アノテーションのための様相表現の分類2010

    • 著者名/発表者名
      川添愛・齊藤学・片岡喜代子・崔栄殊・戸次大介
    • 雑誌名

      九州大学言語学論集

      巻: 31 ページ: 109-129

    • NAID

      120003005473

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] 様相・否定・条件表現の言語学的分析に基づく確実性アノテーションスキーマの設計2010

    • 著者名/発表者名
      川添愛.齊藤学.片岡喜代子.崔栄殊.戸次大介
    • 雑誌名

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

    • NAID

      130007425754

    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] 様相・否定・条件表現の言語学的分析に基づく確実性アノテーションスキーマの設計2010

    • 著者名/発表者名
      川添愛, 齊藤学, 片岡喜代子, 崔栄殊, 戸次大介
    • 雑誌名

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

      巻: 2C3-2

    • NAID

      130007425754

    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] 確実性判断に関わる意味的文脈アノテーションの試み2009

    • 著者名/発表者名
      川添 愛, 齊藤 学, 片岡喜代子, 戸次 大介
    • 雑誌名

      IPSJ SIG Technical Report 2009-NL-189

      ページ: 77-84

    • NAID

      110007123988

    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] Representing Covert Movements by Delimited Continuations2009

    • 著者名/発表者名
      Bekki, Daisuke, Kenichi, Asai
    • 雑誌名

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

      ページ: 71-90

    • URL

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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20700125
  • [雑誌論文] 確実性判断に関わる意味的文脈アノテーションの試み2009

    • 著者名/発表者名
      川添愛、齊藤学、片岡喜代子、戸次大介
    • 雑誌名

      IPSJ SIG Technical Report 2009-NL-189

      ページ: 77-84

    • NAID

      110007123988

    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] Representing Covert Movements by Delimited Continuations2009

    • 著者名/発表者名
      Bekki, Daisuke Kenichi, Asai
    • 雑誌名

      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

      ページ: 71-90

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20700125
  • [雑誌論文] Monads and Meta-Lambda Calculus2009

    • 著者名/発表者名
      Bekki, Daisuke, H. Hattori, et al. (Eds. )
    • 雑誌名

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

      ページ: 193-208

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20700125
  • [雑誌論文] Representing Covert Movements by Delimited Continuations2009

    • 著者名/発表者名
      Bekki Daisuke, Kenichi Asai
    • 雑誌名

      Proceedings of the Sixth International Workshop on Logic and Engineering of Natural Language Semantics

      ページ: 71-90

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] Monads and Meta-Lambda Calculus2009

    • 著者名/発表者名
      Bekki, Daisuke
    • 雑誌名

      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

      ページ: 193-208

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20700125
  • [雑誌論文] Monads and Meta-Lambda Calculus2009

    • 著者名/発表者名
      Bekki, Daisuke
    • 雑誌名

      New Frontiers in Artificial Intelligence 5447

      ページ: 193-208

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] Representing Covert Movements by Delimited Continuations2009

    • 著者名/発表者名
      Bekki, Daisuke, Kenichi, Asai
    • 雑誌名

      Proceedings of the Sixth International Workshop on Logic and Engineering of Natura 1 Language Semantics 6

      ページ: 71-90

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] Monads and Meta-Lambda Calculus2009

    • 著者名/発表者名
      戸次大介
    • 雑誌名

      New Frontiers in Artificial Intelligence 5447

      ページ: 193-208

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] Monads and Meta-Lambda Calculus2009

    • 著者名/発表者名
      Bekki, Daisuke
    • 雑誌名

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

      ページ: 193-208

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20700125
  • [雑誌論文] Monads and Meta-Lambda Calculus2008

    • 著者名/発表者名
      Bekki, Daisuke
    • 雑誌名

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

      ページ: 56-78

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20700125
  • [雑誌論文] Monads and Meta-Lambda Calculus2008

    • 著者名/発表者名
      Bekki, Daisuke
    • 雑誌名

      Proceedings of LENLS 2008 5

      ページ: 56-78

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] 日本語における前提概念の同定2008

    • 著者名/発表者名
      戸次大介
    • 雑誌名

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

      ページ: 366-371

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] 日本語における前提概念の同定2008

    • 著者名/発表者名
      戸次 大介
    • 雑誌名

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

      ページ: 366-371

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500148
  • [雑誌論文] Monads and Meta-Lambda Calculus2008

    • 著者名/発表者名
      Bekki, Daisuke
    • 雑誌名

      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

      ページ: 56-78

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20700125
  • [雑誌論文] Meta-Lambda Calculus and Linguistic Monads

    • 著者名/発表者名
      Bekki, Daisuke. Masuko, Moe
    • 雑誌名

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

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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 時間関係に基づくテ形節の用法分類2024

    • 著者名/発表者名
      野口咲帆, 戸次大介
    • 学会等名
      言語処理学会第30回年次大会
    • データソース
      KAKENHI-PROJECT-23K28142
  • [学会発表] 依存型意味論における暗黙的な文脈拡張による慣習的推意の分析2024

    • 著者名/発表者名
      松岡大樹, 戸次大介, 谷中瞳
    • 学会等名
      言語処理学会第30回年次大会
    • データソース
      KAKENHI-PROJECT-23K28142
  • [学会発表] 依存型意味論によるモダリティと照応の統一的分析に向けて2024

    • 著者名/発表者名
      飯村葵, 戸次大介
    • 学会等名
      言語処理学会第30回年次大会
    • データソース
      KAKENHI-PROJECT-23K28142
  • [学会発表] 言語学的に妥当な日本語 CCG ツリーバンクの構築と評価2024

    • 著者名/発表者名
      富田朝, 谷中瞳, 戸次大介
    • 学会等名
      言語処理学会第30回年次大会
    • データソース
      KAKENHI-PROJECT-23K28142
  • [学会発表] 主節と関係節における Weak Crossover 現象の非構造的要因を制御した経験的検証2024

    • 著者名/発表者名
      福島遥, PlesniakDaniel, 戸次大介
    • 学会等名
      言語処理学会第30回年次大会
    • データソース
      KAKENHI-PROJECT-23K28142
  • [学会発表] テ形従属節の用法判定のための用法分類アノテーション2023

    • 著者名/発表者名
      野口咲帆, 田中リベカ, 戸次大介
    • 学会等名
      第37回人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-23K28142
  • [学会発表] 依存型意味論による自然言語の意味の理論:見通しと課題2023

    • 著者名/発表者名
      戸次大介
    • 学会等名
      第37回人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-23K28142
  • [学会発表] 組合せ範疇文法(CCG)入門2023

    • 著者名/発表者名
      戸次大介
    • 学会等名
      言語学フェス2023, 2023/1/28
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] 言語学的に妥当な CCG ツリーバンク構築の試み2023

    • 著者名/発表者名
      富田朝, 谷中瞳, 戸次大介
    • 学会等名
      第37回人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-23K28142
  • [学会発表] 依存型意味論を用いた日本語連体節のテンス解釈2023

    • 著者名/発表者名
      松岡大樹, 戸次大介, 谷中瞳
    • 学会等名
      第37回人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-23K28142
  • [学会発表] A Proof-theoretic Analysis of Weak Crossover2022

    • 著者名/発表者名
      Daisuke Bekki
    • 学会等名
      the 2nd workshop on Language Faculty Science (2022/2/12)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] 依存型と自然言語のダイナミクス2022

    • 著者名/発表者名
      戸次大介
    • 学会等名
      みちのく情報伝達学セミナー(Mics),東北大学,2022/07/27
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] A Proof-theoretic Analysis of Weak Crossover2022

    • 著者名/発表者名
      Bekki, Daisuke
    • 学会等名
      the 2nd workshop on Language Faculty Science, online, February 12
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] Dependent Types and Dynamics of Natural Language2022

    • 著者名/発表者名
      Bekki, Daisuke
    • 学会等名
      the International Workshop on Type-Theoretical Semantics (IWoTTS), online, June 25
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] 言語理論の証明論的転回2022

    • 著者名/発表者名
      戸次大介
    • 学会等名
      言語学フェス2022, 2022/1/29
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] 言語理論の証明論的転回2022

    • 著者名/発表者名
      戸次大介
    • 学会等名
      言語学フェス2022 (2022/1/29)
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] An introduction to Combinatory Categorial Grammar2022

    • 著者名/発表者名
      Daisuke, Bekki
    • 学会等名
      A talk in IUT de bordeaux, 2022/12/13
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] DTSの部分体系のための定理自動証明器の実装に向けて2021

    • 著者名/発表者名
      大洞日音, 戸次大介
    • 学会等名
      言語処理学会第27回年次大会, 北九州国際会議場/オンライン, 2021/3/15-19.
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] 日本語形態素解析器の知識蒸留2021

    • 著者名/発表者名
      田上青空,戸次大介
    • 学会等名
      第34回人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] Yesodによる日本語CCGパーザ開発環境の構築2021

    • 著者名/発表者名
      石嶋美咲,戸次大介
    • 学会等名
      第34回人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] 理論言語学と深層学習のハイブリッドアプローチによる自然言語推論2021

    • 著者名/発表者名
      戸次大介
    • 学会等名
      半導体エネルギー研究所 (2021/5/19)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] 理論言語学と深層学習のハイブリッドアプローチによる自然言語推論2021

    • 著者名/発表者名
      戸次大介
    • 学会等名
      半導体エネルギー研究所, 2021/5/19
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] 実テキストにおける数量表現の含意関係認識に向けて2021

    • 著者名/発表者名
      小谷野華那,鈴木莉子,春田和泉,谷中瞳,戸次大介
    • 学会等名
      第34回人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] A hybrid approach toward Natural Language Understanding2020

    • 著者名/発表者名
      Bekki,Daisuke
    • 学会等名
      Centre for Linguistic Theory and Studies in Probability (CLASP), 2020/12/09
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] ニューラルネットは自然言語推論の体系性を学習するか2020

    • 著者名/発表者名
      谷中瞳, 峯島宏次, 戸次大介, 乾健太郎
    • 学会等名
      言語処理学会第26回年次大会
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] CCGとCoqを用いた日本語マルチモーダル推論システムの構築2020

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

    • 著者名/発表者名
      伊藤美賀, 佐藤七海, 田上青空, 谷中瞳, 峯島宏次, 戸次大介
    • 学会等名
      言語処理学会第26回年次大会
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] CCGと自動定理証明による比較表現の計算意味論2020

    • 著者名/発表者名
      春田和泉, 峯島宏次, 戸次大介
    • 学会等名
      人工知能学会第34回年次大会, オンライン開催, 2020/6/9-12.
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] Why parsing is a part of Language Faculty Science2020

    • 著者名/発表者名
      Bekki,Daisuke
    • 学会等名
      The 2020 Zoom Workshop on Language Faculty Science: Linguistic Intuitions and Replication, 2020/12/20
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] Development of an automated theorem prover for the fragment of DTS2020

    • 著者名/発表者名
      Daido,Hinari; Bekki,Daisuke;
    • 学会等名
      the 17th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS17).
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] マルチモーダル推論評価のための日本語データセットの試案2020

    • 著者名/発表者名
      飯野早貴, 石田真捺, 小谷野華那, 松本留奈, 鈴木莉子, 谷中瞳, 峯島宏次, 戸次大介
    • 学会等名
      言語処理学会第26回年次大会
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] Dependent Types and Theory of Meaning2019

    • 著者名/発表者名
      Bekki, Daisuke
    • 学会等名
      Nanzan Workshop on the Foundational Issues in Linguistics and Philosophy of Language
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] 自然言語理解技術の動向2019

    • 著者名/発表者名
      戸次大介
    • 学会等名
      NEDO TSC Foresightセミナー(第1回)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] クラウドソーシングによる単調推論データセットの構築2019

    • 著者名/発表者名
      谷中瞳, 戸次大介, 峯島宏次, 関根聡, 乾健太郎
    • 学会等名
      第33回人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] 理論言語学に基づく自然言語理解の最前線2019

    • 著者名/発表者名
      戸次大介
    • 学会等名
      日本英語学会第37回大会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] Hybrid natural language understanding: neural network, logic and beyond2019

    • 著者名/発表者名
      Bekki, Daisuke; Yanaka, Hitomi
    • 学会等名
      Konferenz zur Verarbeitung naturlicher Sprache (KONVENS2019)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] テキスト情報と画像情報を組み合わせた論理推論システムの構築2019

    • 著者名/発表者名
      鈴木莉子, 吉川将司, 谷中瞳, 峯島宏次, 戸次大介
    • 学会等名
      第33回人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-18H03284
  • [学会発表] 理論言語学と自然言語処理と2018

    • 著者名/発表者名
      戸次 大介
    • 学会等名
      言語処理学会第24回年次大会(岡山大学)招待講演, 2018/3/15.
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K00301
  • [学会発表] Introduction to Dependent Type Semantics2017

    • 著者名/発表者名
      Daisuke Bekki
    • 学会等名
      A talk at Bordeaux University, Bordeaux, France, 2017/9/23.
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00301
  • [学会発表] Indirect Answers to QUD2017

    • 著者名/発表者名
      Yurina Ito, Koji Mineshima, Daisuke Bekki
    • 学会等名
      IASM, ESSLLI2017
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K02640
  • [学会発表] Variable Handling in DRT and DTS2017

    • 著者名/発表者名
      Yukiko Yana, Daisuke Bekki, Koji Mineshima
    • 学会等名
      Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017), Stockholm, Sweden.
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00301
  • [学会発表] 依存型意味論による自然言語の証明論的意味論II2017

    • 著者名/発表者名
      伊藤 友里菜, 簗 有紀子, 戸次 大介
    • 学会等名
      東海意味論研究会, 名古屋学院大学, 2017/10/29
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K00301
  • [学会発表] ,On-demand Injection of Lexical Knowledge for Recognising Textual Entailmen2017

    • 著者名/発表者名
      ascual Martinez-Gomez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki
    • 学会等名
      EACL2017
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K02640
  • [学会発表] Introduction to Dependent Type Semantics2017

    • 著者名/発表者名
      D. Bekki
    • 学会等名
      Bordeaux University
    • データソース
      KAKENHI-PROJECT-16K02640
  • [学会発表] Determining Semantic Textual Similarity using Natural Deduction Proofs2017

    • 著者名/発表者名
      Hitomi Yanaka, Koji Mineshima, Pascual Martinez-Gomez, Daisuke Bekki
    • 学会等名
      EMNLP2017
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K02640
  • [学会発表] Coercion as Proof Search in Dependent Type Semantics2017

    • 著者名/発表者名
      Eriko Kinoshita, Koji Mineshima, Daisuke Bekki
    • 学会等名
      Workshop on Approaches to Coercion and Polysemy (CoPo 2017), University of Oslo, Norway.
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00301
  • [学会発表] 意味論の証明論的転回2017

    • 著者名/発表者名
      戸次 大介, 峯島 宏次, 金子 貴美, 田中 リベカ, 谷中 瞳, 木下 恵梨子, 伊藤 友里菜, 簗 有紀子
    • 学会等名
      第31回人工知能学会全国大会, 2B3-OS-07a-4, ウインクあいち, 2017/5/23-26.
    • データソース
      KAKENHI-PROJECT-15K00301
  • [学会発表] Indirect Answers to QUD2017

    • 著者名/発表者名
      Yurina Ito, Koji Mineshima, Daisuke Bekki
    • 学会等名
      Integrating Approaches to Social Meaning (IASM) workshop, in the 29th European Summer School in Logic, Language and Information (ESSLLI 2017), Toulouse, France.
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00301
  • [学会発表] 依存型意味論とオントロジーを用いた論理的多義とコアーション現象の分析に向けて2016

    • 著者名/発表者名
      木下恵梨子. 中村絢子. 戸次大介.
    • 学会等名
      言語処理学会第22回年次大会, D2-4.
    • 発表場所
      東北大学
    • 年月日
      2016-03-07
    • データソース
      KAKENHI-PROJECT-15K00301
  • [学会発表] 依存型意味論と形式オントロジーによる述語の選択制約の分析2016

    • 著者名/発表者名
      木下恵理子; 峯島宏次; 戸次大介;
    • 学会等名
      第30回人工知能学会全国大会
    • 発表場所
      北九州国際会議場
    • 年月日
      2016-06-06
    • データソース
      KAKENHI-PROJECT-15K00301
  • [学会発表] オントロジーを用いた型理論的な語彙意味論の試み2015

    • 著者名/発表者名
      中村絢子. 峯島宏次. 戸次大介.
    • 学会等名
      第29回人工知能学会全国大会, 2M1-2.
    • 発表場所
      はこだて未来大学
    • 年月日
      2015-05-30
    • データソース
      KAKENHI-PROJECT-15K00301
  • [学会発表] Towards Modeling Natural Language Inferences with Formal Ontology and Lexical Semantics2015

    • 著者名/発表者名
      Nakamura, Ayako. Mineshima, Koji. Bekki, Daisuke.
    • 学会等名
      the FOfAI session of the Joint Ontology Workshops (JOWO)
    • 発表場所
      Buenos Aires
    • 年月日
      2015-07-25
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00301
  • [学会発表] 限定継続を用いた inverse scope の分析と実装2014

    • 著者名/発表者名
      叢悠悠, 浅井健一, 戸次大介
    • 学会等名
      言語処理学会第20回年次大会
    • 発表場所
      北海道大学(発表論文集(CD-ROM), E7-2)
    • 年月日
      2014-03-20
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 組み合わせ範疇文法 (CCG) による日本語の敬語表現の分析に向けて2014

    • 著者名/発表者名
      渡辺成美, 戸次大介
    • 学会等名
      言語処理学会第20回年次大会
    • 発表場所
      北海道大学(発表論文集(CD-ROM), B3-4)
    • 年月日
      2014-03-19
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 依存型意味論を用いた日本語含意関係コーパスの分析に向けて2014

    • 著者名/発表者名
      中村絢子, 金子貴美, 戸次大介
    • 学会等名
      言語処理学会第20回年次大会
    • 発表場所
      北海道大学(発表論文集(CD-ROM), D5-4)
    • 年月日
      2014-03-20
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 組み合わせ範疇文法 (CCG) による日本語の敬語表現の分析に向けて2014

    • 著者名/発表者名
      渡辺成美, 戸次大介
    • 学会等名
      言語処理学会第20回年次大会
    • 発表場所
      北海道大学
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] MCNコーパス:「ノダ」にみるガイドライン作成の手法2014

    • 著者名/発表者名
      田中リベカ, 川添愛, 戸次大介
    • 学会等名
      言語処理学会第20回年次大会
    • 発表場所
      北海道大学
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 限定継続を用いた inverse scope の分析と実装2014

    • 著者名/発表者名
      叢悠悠, 浅井健一, 戸次大介
    • 学会等名
      言語処理学会第20回年次大会
    • 発表場所
      北海道大学
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] SDRT に基づく因果関係認識日本語評価データ構築手法の提案2014

    • 著者名/発表者名
      金子貴美, 戸次大介
    • 学会等名
      言語処理学会第20回年次大会
    • 発表場所
      北海道大学
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] Japanese Honorification: Compositionality and Expressivity2014

    • 著者名/発表者名
      Eric McCready, Daisuke Bekki, Narumi Watanabe
    • 学会等名
      FAJL 7
    • 発表場所
      ICU
    • データソース
      KAKENHI-PROJECT-25370441
  • [学会発表] MCN コーパスにおける形式名詞「はず」「わけ」「つもり」のアノテーション2014

    • 著者名/発表者名
      宇津木舞香, 佐藤未歩, 青木花純, 田中リベカ, 川添愛, 戸次大介
    • 学会等名
      言語処理学会第20回年次大会
    • 発表場所
      北海道大学(発表論文集(CD-ROM), B7-1)
    • 年月日
      2014-03-20
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] SDRT に基づく因果関係認識日本語評価データ構築手法の提案2014

    • 著者名/発表者名
      金子貴美, 戸次大介
    • 学会等名
      言語処理学会第20回年次大会
    • 発表場所
      北海道大学(発表論文集(CD-ROM), B7-4)
    • 年月日
      2014-03-20
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] MCNコーパスにおける形式名詞「はず」「わけ」「つもり」のアノテーション2014

    • 著者名/発表者名
      宇津木舞香, 佐藤未歩, 青木花純, 田中リベカ, 川添愛, 戸次大介
    • 学会等名
      言語処理学会第20回年次大会
    • 発表場所
      北海道大学
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] MCN コーパス:「ノダ」にみるガイドライン作成の手法2014

    • 著者名/発表者名
      田中リベカ, 川添愛, 戸次大介
    • 学会等名
      言語処理学会第20回年次大会
    • 発表場所
      北海道大学(発表論文集(CD-ROM), B7-2)
    • 年月日
      2014-03-20
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 依存型意味論を用いた日本語含意関係コーパスの分析に向けて2014

    • 著者名/発表者名
      中村絢子, 金子貴美, 戸次大介
    • 学会等名
      言語処理学会第20回年次大会
    • 発表場所
      北海道大学
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 複合機能表現「という」の分類にみるMCNコーパスの方法論と検証2013

    • 著者名/発表者名
      叢悠悠. 田中リベカ. 中村絢子. 酒向美帆. 佐宗智子. 清水蘭. 劉月晴. 川添愛. 戸次大介.
    • 学会等名
      第3回コーパス日本語学ワークショップ
    • 発表場所
      国立国語学研究所
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 条件文解析のための一階述語条件論理と近傍層意味論2013

    • 著者名/発表者名
      山本華子, 戸次大介
    • 学会等名
      第27回人工知能学会全国大会
    • 発表場所
      富山国際会議場
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] MCNコーパス:ガイドライン設計とその運用2013

    • 著者名/発表者名
      田中リベカ. 戸次大介. 川添愛
    • 学会等名
      言語処理学会第19回年次大会
    • 発表場所
      名古屋大学
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 組み合わせ範疇文法(CCG)による日本語の敬語表現の分析に向けて2013

    • 著者名/発表者名
      渡辺成美, 戸次大介
    • 学会等名
      第214回自然言語処理研究会
    • 発表場所
      屋久島環境文化村センター
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 部分型理論による概念表記の展望2013

    • 著者名/発表者名
      中野悠紀, 戸次大介
    • 学会等名
      第27回人工知能学会全国大会
    • 発表場所
      富山国際会議場
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 基本文関係に分解した日本語含意関係認識アノテーション2013

    • 著者名/発表者名
      金子貴美, 戸次大介, 宮尾祐介
    • 学会等名
      第27回人工知能学会全国大会
    • 発表場所
      富山国際会議場(論文集(CD-ROM), 4B1-5)
    • 年月日
      2013-06-07
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] CCG パーザを用いた未知語の統語範疇自動推定2013

    • 著者名/発表者名
      田中リベカ, 宮尾祐介, 戸次大介
    • 学会等名
      第27回人工知能学会全国大会
    • 発表場所
      富山国際会議場(論文集(CD-ROM), 4B1-6)
    • 年月日
      2013-06-07
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] SDRT に基づく談話関係アノテーションの試み2013

    • 著者名/発表者名
      金子貴美, 戸次大介
    • 学会等名
      第214回自然言語処理研究会
    • 発表場所
      屋久島環境文化村センター
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 依存型意味論による前提理論の形式化2013

    • 著者名/発表者名
      石下裕里. 戸次大介.
    • 学会等名
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL2013)ポスター発表
    • 発表場所
      東山温泉「御宿東鳳」
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 基本文関係に分解した日本語含意関係認識アノテーション2013

    • 著者名/発表者名
      金子貴美, 戸次大介, 宮尾祐介
    • 学会等名
      第27回人工知能学会全国大会
    • 発表場所
      富山国際会議場
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] Neighborhood-sheafによる一階述語条件論理の意味論2013

    • 著者名/発表者名
      山本華子. 戸次大介.
    • 学会等名
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL2013)ポスター発表
    • 発表場所
      東山温泉「御宿東鳳」
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] CCGパーザを用いた未知語の統語範疇自動推定2013

    • 著者名/発表者名
      田中リベカ, 宮尾祐介, 戸次大介
    • 学会等名
      第27回人工知能学会全国大会
    • 発表場所
      富山国際会議場
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 限定継続を用いたフォーカスの分析と実装に向けて2013

    • 著者名/発表者名
      叢 悠悠, 浅井 健一, 戸次 大介
    • 学会等名
      第214回自然言語処理研究会
    • 発表場所
      屋久島環境文化村センター
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 正規化制約を用いたCCG構文解析とその実装2013

    • 著者名/発表者名
      尾崎博子. 戸次大介
    • 学会等名
      言語処理学会第19回年次大会
    • 発表場所
      名古屋大学
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] SDRTに基づく談話関係アノテーションの試み2013

    • 著者名/発表者名
      金子貴美, 戸次大介
    • 学会等名
      第214回自然言語処理研究会
    • 発表場所
      屋久島環境文化村センター
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 基本文関係に分解した含意関係認識日本語評価データの構築2013

    • 著者名/発表者名
      金子貴美. 宮尾祐介. 戸次大介
    • 学会等名
      言語処理学会第19回年次大会
    • 発表場所
      名古屋大学
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 限定継続を用いたフォーカスの分析と実装に向け2013

    • 著者名/発表者名
      叢 悠悠, 浅井 健一, 戸次 大介
    • 学会等名
      第214回自然言語処理研究会
    • 発表場所
      屋久島環境文化村センター
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] Extractability as Deduction Theorem in Subdirectional Combinatory Logic2012

    • 著者名/発表者名
      Ozaki, Hiroko. Bekki, Daisuke
    • 学会等名
      The 14th Programming and Programming Language Workshop (PPL2012)
    • 発表場所
      Nanki-Shirahama Musashi, Wakayama, Japan
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 高階依存型理論を用いた自然言語の意味論構築に向けて2012

    • 著者名/発表者名
      中野悠紀. 戸次大介.
    • 学会等名
      人工知能学会第26会全国大会
    • 発表場所
      山口県教育会館
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] Extractability as Deduction Theorem in Subdirectional Combinatory Logic2012

    • 著者名/発表者名
      Ozaki, Hiroko, Bekki, Daisuke
    • 学会等名
      The 14th Programming and Programming Language Workshop (PPL202)
    • 発表場所
      Nanki-Shirahama Musashi, Wakayama, Japan
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 言語的テストに基づく意味アノテーションのガイドライン設計-確実性判断に関わる表現を中心に-2012

    • 著者名/発表者名
      田中リベカ, 小池恵里子, 戸次大介, 川添愛
    • 学会等名
      言語処理学会第18回年次大会発表論文集pp.401-404
    • 発表場所
      広島市立大学
    • 年月日
      2012-03-14
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 高階依存型理論を用いた自然言語の意味論構築に向けて2012

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

    • 著者名/発表者名
      石下裕里. 戸次大介.
    • 学会等名
      人工知能学会第26会全国大会
    • 発表場所
      山口県教育会館
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] MCNコーパス:モダリティ関連表現の曖昧性解消のためのアノテーションと言語学的テストの利用2012

    • 著者名/発表者名
      川添愛. 田中リベカ. 戸次大介.
    • 学会等名
      テキストアノテーションワークショップ・コンテスト
    • 発表場所
      国立情報学研究所
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] MCNコーパス:言語学的テストに基づくモダリティ・アノテーションの理論と実証2012

    • 著者名/発表者名
      田中リベカ. 川添愛. 戸次大介.
    • 学会等名
      第2回コーパス日本語学ワークショップ
    • 発表場所
      国立国語学研究所
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] モナドによる自然言語の意味論2012

    • 著者名/発表者名
      戸次大介
    • 学会等名
      応用哲学会2012年度研究大会ワークショップ「非古典論理による言語科学の新展開」(矢田部俊介,戸次大介,増子萌,中野悠紀)
    • 発表場所
      千葉大学
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 前提記述のための動的論理の証明論構築に向けて2011

    • 著者名/発表者名
      石下裕里, 戸次大介
    • 学会等名
      人工知能学会第25会全国大会,オーガナイズト・セッション「意味と理解のコンピューティング」,3H2-OS3-2
    • 発表場所
      盛岡
    • 年月日
      2011-06-03
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] Conjoined nominal expressions in Japanese2011

    • 著者名/発表者名
      Hayahishita, J.-R.. Bekki, Daisuke
    • 学会等名
      The 21st Japanese/Korean Linguistics Conference, The 21st Japanese/Korean Linguistics Conference, Poster session
    • 発表場所
      Seoul National University
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 条件論理Cbとそのタブローシステム2011

    • 著者名/発表者名
      尾崎有梨・戸次大介
    • 学会等名
      第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)
    • 発表場所
      定山渓ビューホテル(北海道)
    • データソース
      KAKENHI-PROJECT-20500148
  • [学会発表] 形式意味論の考え方とその変遷2011

    • 著者名/発表者名
      戸次大介
    • 学会等名
      言語処理学会第17回年次大会(NLP2011)チュートリアル
    • 発表場所
      豊橋技術科学大学(愛知県)
    • 年月日
      2011-03-07
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 部分方向性組み合わせ論理の計算論的性質2011

    • 著者名/発表者名
      尾崎博子, 戸次大介
    • 学会等名
      人工知能学会第25会全国大会,オーガナイズト・セッション「意味と理解のコンピューティング」,3H2-OS3-1
    • 発表場所
      盛岡
    • 年月日
      2011-06-03
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 様相・条件・否定表現の言語学的分析に基づく確実性判断のためのアノテーション済みコーパスの構築2011

    • 著者名/発表者名
      川添愛, 齊藤学, 片岡喜代子, 崔栄殊, 戸次大介
    • 学会等名
      言語処理学会第17回年次大会 テーマセッション「複合辞とモダリティ:理論から応用まで」
    • 発表場所
      豊橋技術科学大学
    • 年月日
      2011-03-08
    • データソース
      KAKENHI-PROJECT-20500148
  • [学会発表] 条件論理C_bとそのタブローシステム2011

    • 著者名/発表者名
      尾崎有梨, 戸次大介
    • 学会等名
      人工知能学会第25会全国大会,オーガナイズト・セッション「意味と理解のコンピューティング」,3H2-OS3-3
    • 発表場所
      盛岡
    • 年月日
      2011-06-03
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 部分方向性組合せ論理の計算論的性質2011

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

    • 著者名/発表者名
      戸次大介
    • 学会等名
      応用哲学会2011年度臨時研究大会ワークショップ「言語理論と反証可能性:範疇文法によるアプローチ」(矢田部俊介,戸次大介,峯島宏次)
    • 発表場所
      京都大学
    • 年月日
      2011-09-25
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] Focus Movement by Delimited Continuations2011

    • 著者名/発表者名
      Bekki, Daisuke, Kenichi, Asai
    • 学会等名
      ACM SIGPLAN Continuation Workshop 2011, co-located with ICFP2011
    • 発表場所
      National Institute of Informatics (NII)
    • 年月日
      2011-09-24
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 前提記述のための動的論理の証明論構築に向けて2011

    • 著者名/発表者名
      石下裕里・戸次大介
    • 学会等名
      第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)
    • 発表場所
      定山渓ビューホテル(北海道)
    • データソース
      KAKENHI-PROJECT-20500148
  • [学会発表] 条件論理Cbとそのタブローシステム」2011

    • 著者名/発表者名
      尾崎有梨・戸次大介
    • 学会等名
      第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)
    • 発表場所
      定山渓ビューホテル(北海道)
    • データソース
      KAKENHI-PROJECT-20500148
  • [学会発表] 前提記述のための動的論理の証明論構築に向けて2011

    • 著者名/発表者名
      石下裕里、戸次大介
    • 学会等名
      第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)ポスター発表
    • 発表場所
      定山渓ビューホテル(北海道)
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] "Focus Movement" by Delimited Continuations2011

    • 著者名/発表者名
      Bekki, Daisuke. Asai, Kenichi
    • 学会等名
      ACM SIGPLAN Continuation Workshop 2011, co-located with ICFP 2011
    • 発表場所
      Tokyo, Japan Saturday
    • 年月日
      2011-09-24
    • データソース
      KAKENHI-PROJECT-22680013
  • [学会発表] 様相・条件・否定表現の言語学的分析に基づく確実性判断のためのアノテーション済みコーパスの構築2011

    • 著者名/発表者名
      川添愛.齊藤学.片岡喜代子.崔栄殊.戸次大介
    • 学会等名
      言語処理学会第17回年次大会テーマセッション「複合辞とモダリティ:理論から応用まで
    • 発表場所
      豊橋技術科学大学
    • 年月日
      2011-03-08
    • データソース
      KAKENHI-PROJECT-20500148
  • [学会発表] CCGによる日本語文法記述の進捗と展望~活用体系・統語構造・意味合成~2010

    • 著者名/発表者名
      戸次大介
    • 学会等名
      言語処理学会第16回年次大会発表論文集
    • 発表場所
      東京大学
    • データソース
      KAKENHI-PROJECT-20700125
  • [学会発表] CGによる日本語文法記述の進捗と展望~活用体系・統語構造・意味合成~2010

    • 著者名/発表者名
      戸次大介
    • 学会等名
      言語処理学会第16回年次大会
    • 発表場所
      東京大学
    • 年月日
      2010-03-11
    • データソース
      KAKENHI-PROJECT-20500148
  • [学会発表] Combinatory Categorial Grammar as a Substructural Logic---Preliminary Remarks2010

    • 著者名/発表者名
      Bekki, Daisuke
    • 学会等名
      the Seventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 7)
    • 発表場所
      Campus Innovation Center, Tokyo, Japan
    • 年月日
      2010-11-19
    • データソース
      KAKENHI-PROJECT-20500148
  • [学会発表] 証明木作成プログラムを用いたCCG統語導出の実装2010

    • 著者名/発表者名
      尾崎有梨, 櫻井加奈子, 浅井健一, 戸次大介
    • 学会等名
      言語処理学会第16回年次大会
    • 発表場所
      東京大学
    • 年月日
      2010-03-10
    • データソース
      KAKENHI-PROJECT-20700125
  • [学会発表] 証明木作成プログラムを用いたCCG統語導出の実装2010

    • 著者名/発表者名
      尾崎有梨, 櫻井加奈子, 浅井健一, 戸次大介
    • 学会等名
      言語処理学会第16回年次大会発表論文集
    • 発表場所
      東京大学
    • データソース
      KAKENHI-PROJECT-20700125
  • [学会発表] Combinatory Categorial Grammar as a Substructural Logic ---Preliminary Remarks2010

    • 著者名/発表者名
      戸次大介
    • 学会等名
      the Seventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 7)
    • 発表場所
      Campus Innovation Center, Tokyo, Japan
    • 年月日
      2010-11-19
    • データソース
      KAKENHI-PROJECT-20500148
  • [学会発表] CCGによる日本語文法記述の進捗と展望~活用体系・統語構造・意味合成~2010

    • 著者名/発表者名
      戸次大介
    • 学会等名
      言語処理学会第16回年次大会
    • 発表場所
      東京大学
    • 年月日
      2010-03-11
    • データソース
      KAKENHI-PROJECT-20700125
  • [学会発表] 様相・否定・条件表現の言語学的分析に基づく確実性アノテーションスキーマの設計2010

    • 著者名/発表者名
      川添愛.齊藤学.片岡喜代子.崔栄殊.戸次大介
    • 学会等名
      人工知能学会第24会全国大会
    • 発表場所
      長崎ブリックホール
    • 年月日
      2010-06-10
    • データソース
      KAKENHI-PROJECT-20500148
  • [学会発表] CCGによる日本語文法記述の進捗と展望~活用体系・統語構造・意味合成~2010

    • 著者名/発表者名
      戸次大介
    • 学会等名
      言語処理学会第16回年次大会
    • 発表場所
      東京大学
    • 年月日
      2010-03-11
    • データソース
      KAKENHI-PROJECT-20500148
  • [学会発表] Representing Covert Movements by Delimited Continuations2009

    • 著者名/発表者名
      Bekki Daisuke, Kenichi Asai
    • 学会等名
      the Sixth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6)
    • 発表場所
      Campus Innovation Center, Tokyo, Japan
    • 年月日
      2009-11-19
    • データソース
      KAKENHI-PROJECT-20500148
  • [学会発表] 確実性判断に関わる意味的文脈アノテーションの試み2009

    • 著者名/発表者名
      川添愛、齊藤学、片岡喜代子、戸次大介
    • 学会等名
      情報処理学会第189回自然言語処理研究会・第93回情報学基礎研究会合同研究発表会
    • 発表場所
      お茶の水女子大学
    • 年月日
      2009-01-23
    • データソース
      KAKENHI-PROJECT-20500148
  • [学会発表] Representing Covert Movements by Delimited Continuations2009

    • 著者名/発表者名
      Bekki, Daisuke, Kenichi, As ai
    • 学会等名
      the Sixth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6)
    • 発表場所
      キャンパスイノベーションセンター(東京、田町)
    • 年月日
      2009-11-19
    • データソース
      KAKENHI-PROJECT-20500148
  • [学会発表] 型付きラムダ計算による自然言語の動的意味論2009

    • 著者名/発表者名
      戸次大介
    • 学会等名
      第23回人工知能学会全国大会オーガナイズドセッション「意味と理解のコンピューティング」
    • 発表場所
      香川
    • 年月日
      2009-06-19
    • データソース
      KAKENHI-PROJECT-20700125
  • [学会発表] 確実性判断に関わる意味的文脈アノテーシヨンの試み2009

    • 著者名/発表者名
      川添 愛, 齊藤 学, 片岡喜代子, 戸次 大介
    • 学会等名
      情報処理学会 第189回自然言語処理研究会・第93回情報学基礎研究会合同研究発表会
    • 発表場所
      お茶の水女子大学
    • 年月日
      2009-01-23
    • データソース
      KAKENHI-PROJECT-20500148
  • [学会発表] [招待講演]「型付きラムダ計算による自然言語の動的意味論」2009

    • 著者名/発表者名
      戸次大介
    • 学会等名
      第23回人工知能学会全国大会オーガナイズドセッション「意味と理解のコンピューティング」
    • 年月日
      2009-06-19
    • データソース
      KAKENHI-PROJECT-20700125
  • [学会発表] 日本語における前提概念の同定2008

    • 著者名/発表者名
      戸次 大介
    • 学会等名
      日本言語学会第136回大会
    • 発表場所
      学習院大学
    • 年月日
      2008-06-21
    • データソース
      KAKENHI-PROJECT-20500148
  • [学会発表] 日本語における前提概念の同定2008

    • 著者名/発表者名
      戸次 大介
    • 学会等名
      日本言語学会第136回大会
    • 発表場所
      旭川コンベンション・ビューロー
    • 年月日
      2008-06-10
    • データソース
      KAKENHI-PROJECT-20500148
  • [学会発表] 日本語における前提概念の同定2008

    • 著者名/発表者名
      戸次大介
    • 学会等名
      日本言語学会第135回大会
    • 発表場所
      学習院大学
    • 年月日
      2008-06-21
    • データソース
      KAKENHI-PROJECT-20700125
  • [学会発表] 日本語における前提概念の同定2008

    • 著者名/発表者名
      戸次大介
    • 学会等名
      日本言語学会第135回大会予稿集
    • 発表場所
      学習院大学
    • データソース
      KAKENHI-PROJECT-20700125
  • [学会発表] 日本語における前提概念の同定2008

    • 著者名/発表者名
      戸次大介
    • 学会等名
      日本言語学会第136回大会
    • 発表場所
      習院大学
    • 年月日
      2008-06-21
    • データソース
      KAKENHI-PROJECT-20500148
  • [学会発表] CI via DTS

    • 著者名/発表者名
      Daisuke Bekki and Eric McCready
    • 学会等名
      LENLS
    • 発表場所
      Tokyo (Keio)
    • 年月日
      2014-11-22 – 2014-11-23
    • データソース
      KAKENHI-PROJECT-25370441
  • [学会発表] Japanese Honorification: Compositionality and Expressivity

    • 著者名/発表者名
      Eric McCready, Daisuke Bekki and Narumi Watanabe
    • 学会等名
      FAJL
    • 発表場所
      Tokyo (ICU)
    • 年月日
      2014-06-26 – 2014-06-28
    • データソース
      KAKENHI-PROJECT-25370441
  • 1.  E・S McCready (30433692)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 2.  川添 愛 (20450166)
    共同の研究課題数: 1件
    共同の研究成果数: 17件
  • 3.  片岡 喜代子 (80462810)
    共同の研究課題数: 1件
    共同の研究成果数: 17件
  • 4.  今仁 生美 (20213233)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  齊藤 学
    共同の研究課題数: 1件
    共同の研究成果数: 17件
  • 6.  崔 栄殊
    共同の研究課題数: 1件
    共同の研究成果数: 13件
  • 7.  ニコラス アッシャー
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  Tawilapakul Upsorn
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  Pittayaporn Pittayawat
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  マクレディ エリック Jr.
    共同の研究課題数: 0件
    共同の研究成果数: 6件
  • 11.  峯島 宏次
    共同の研究課題数: 0件
    共同の研究成果数: 6件

URL: 

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi