Presentations - BEKKI Daisuke

Division display  1 - 20 of about 68 ／  All the affair displays >>

  1. Modal DTSによる様相従属化の分析再考

    飯村 葵; 水野 輝之; 戸次 大介, Domestic, Poster presentation, 2026.03, , 言語処理学会第32回年次大会論文集, Q6-5, ライトキューブ宇都宮, ライトキューブ宇都宮, Not Invited, Coauthor

  2. Yesod による日本語推論システム lightblue の開発環境の構築

    佐伯 小遥; 富田 朝; 松原 舞; 戸次 大介, Domestic, Oral presentation (general), 2026.03, , 言語処理学会第32回年次大会論文集, Q6-13, ライトキューブ宇都宮, ライトキューブ宇都宮, Not Invited, Coauthor

  3. Neural DTS：自然言語推論システムへの双曲分類器の組み込み

    小林 ほのか; 大洞 日音; 戸次 大介, Domestic, Oral presentation (general), 2026.03, , 言語処理学会第32回年次大会論文集, Q6-11, ライトキューブ宇都宮, ライトキューブ宇都宮, Not Invited, Coauthor

  4. 言語学的パイプラインに基づく妥当性の検証：金融テキストを対象として

    松原 舞; 外園 康智; 角田 充弘; 田村 光太郎; 大洞 日音; 富田 朝; 戸次 大介, Domestic, Oral presentation (general), 2026.03, , 言語処理学会第32回年次大会論文集, Q6-10, ライトキューブ宇都宮, ライトキューブ宇都宮, Not Invited, Coauthor

  5. Neural Wani：依存型理論のための自動定理証明器waniの高速化に向けて

    宮川 夏菜子; 大洞 日音; 戸次 大介, Domestic, Oral presentation (general), 2026.03, , 言語処理学会第32回年次大会論文集, Q6-9, ライトキューブ宇都宮, ライトキューブ宇都宮, Not Invited, Coauthor

  6. LLM を用いた知識補完の統合による自然言語推論システムlightblueの拡張

    富田 朝; 戸次 大介, Domestic, Oral presentation (general), 2026.03, , 言語処理学会第32回年次大会論文集, Q6-8, ライトキューブ宇都宮, ライトキューブ宇都宮, Not Invited, Coauthor

  7. A Proof-theoretic Analysis of VP Ellipsis in Dependent Type Semantics

    Bekki Daisuke, International, Oral presentation (general), 2025.11, , In Proceedings of the 21th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS21), pp.83-89., Not Invited, Main Speaker

  8. 証明論による自然言語の意味の理論

    戸次 大介, International, Oral presentation (general), 2025.11, , AI4Math（IBIS2025セッション）における招待講演, 那覇文化芸術劇場 なはーと, November 12-14, 2025., 2025, Invited, Main Speaker

  9. Relative Tense in Japanese: A Case of Multiply Embedded Relative Clauses

    Matsuoka Daiki; Bekki Daisuke; Yanaka Hitomi, International, Oral presentation (general), 2025.10, , In Proceedings of the 31st Japanese-Korean Linguistic Conference (JK31), pp.463-473, Melborne, Australia., Australia., Not Invited, Coauthor

  10. Functional indefinites as conventional implicatures

    Matsuoka Daiki; Yanaka Hitomi; Bekki Daisuke, International, Oral presentation (invited, special), 2025.10, , To appear in Proceedings of NELS56, New York, USA., USA., Not Invited, Coauthor

  11. Natural Language Inference with CCG Parser and Automated Theorem Prover for DTS

    Tomita Asa; Matsubara Mai; Daido Hinari; Bekki Daisuke, International, Oral presentation (general), 2025.09, , In Proceedings of the Second Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-2), Workshop in IWCS 2025, pp.1-7, Dusseldorf, Germany, 24 September., 24 September., Not Invited, Coauthor

  12. A propositions-as-types approach to the generalized crossover effect

    Matsuoka Daiki; Bekki Daisuke; Yanaka Hitomi, International, Oral presentation (invited, special), 2025.09, , In Proceedings of Sinn und Bedeutung 29, pp.986-1003, Siracusa, italy., italy., Not Invited, Coauthor

  13. A Proof-theoretic Investigation of Natural Language Semantics

    Bekki Daisuke, International, Oral presentation (general), 2025.09, , An invited talk at International Conference on Mathematical and Computational Linguistics for Proofs, a part of EuroProofNet Symposium, Institut Pascal, 15-18 September 2025., 15-18 September 2025., Invited, Main Speaker

  14. Modal Subordination in Dependent Type Semantics

    Iimura Aoi; Mizuno Teruyuki; Bekki Daisuke, International, Oral presentation (general), 2025.09, , In Proceedings of the Second Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-2), Workshop in IWCS 2025, pp.15-19, Dusseldorf, Germany, 24 September., 24 September., Not Invited, Coauthor

  15. Presupposition projection and filtering in DTS

    Bekki Daisuke, Domestic, Oral presentation (invited, special), 2025.08, , 科研ワークショップ「今後の形式意味論の展開」における招待講演, 札幌市立大学サテライト, 札幌, 札幌, Invited, Main Speaker

  16. Sheaves for Dependent Types and Natural Language Sematantics

    Lachlan McPheat; Bekki Daisuke, International, Oral presentation (invited, special), 2025.08, , An invited talk at Theory and applications of sheaf theory, ESSLLI2025 workshop, 7 Aug, 2025., 2025, Invited, Coauthor

  17. Automatic Evaluation of Linguistic Validity in Japanese CCG Treebanks

    Tomita Asa; Yanaka Hitomi; Bekki Daisuke, International, Oral presentation (general), 2025.08, , A talk at the 5th Natural Logic Meets Machine Learning (NALOMA), Workshop in ESSLLI2025, 4-8 August, Bochum, Germany., Germany., Invited, Coauthor

  18. Automatic Evaluation of Linguistic Validity in Japanese CCG Treebanks

    Tomita Asa; Yanaka Hitomi; Bekki Daisuke, International, Oral presentation (invited, special), 2025.08, , In Proceedings of the 23rd International Workshop on Treebanks and Linguistic Theories (TLT), Workshop in Syntax Fest 2025, pp.74-80, Ljubljana, Slovenia, August 28-29., August 28-29., Not Invited, Coauthor

  19. Composing Meaning via Dependent Types

    Bekki Daisuke, International, Oral presentation (invited, special), 2025.07, , A course lecture at 36th European Summer School in Logic, Language and Information (ESSLLI2025), Bochum, July 28--August 1, 2025., 2025, Invited, Main Speaker

  20. CCG 統語解析器lightblueと自動定理証明器waniによる自然言語推論の試み

    富田 朝; 大洞 日音; 戸次 大介, Domestic, Oral presentation (general), 2025.05, , 第39回人工知能学会全国大会論文集, 4G1-GS-6-03, 大阪国際会議場，2025/5/27-30., 大阪国際会議場，2025/5/27-30., Not Invited, Coauthor

< PREV - NEXT >

To the head of this page.▲