Presentations - BEKKI Daisuke

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

21. 依存型理論のための自動定理証明器Neural Waniの開発に向けて

    宮川 夏菜子; 田上 青空; 戸次 大介, Domestic, Oral presentation (general), 2025.05, , 第39回人工知能学会全国大会論文集, 3G5-GS-6-04, 大阪国際会議場，2025/5/27-30., 大阪国際会議場，2025/5/27-30., Not Invited, Coauthor

22. Is Japanese CCGBank empirically correct? A case study of passive and causative constructions

    Daisuke Bekki, International, Oral presentation (general), 2023.03, 2023/03/012023/03/01, the 21st International Workshop on Treebanks and Linguistic Theories (TLT, GURT/SyntaxFest 2023), Washington, D.C., Not Invited, Main Speakerhttps://aclanthology.org/2023.tlt-1.4.pdf

23. Learning Knowledge with Neural DTS

    Daisuke Bekki, International, Oral presentation (general), 2022.08, 20222022, the 3rd Natural Logic Meets Machine Learning (NALOMA III), Galway, Association of Computational Linguistics, Invited, Main Speaker

24. A Proof-theoretic Analysis of Weak Crossover

    Bekki,Daisuke, International, 2022.02, , Invited, Main Speaker

25. 言語理論の証明論的転回

    戸次 大介, Domestic, 2022.01, , 言語学フェス2022, オンライン（oVice）, 言語学フェス2022実行委員会, Not Invited, Main Speaker

26. 理論言語学と深層学習のハイブリッドアプローチによる自然言語推論

    戸次 大介, Domestic, 2021.05, , 半導体エネルギー研究所, 半導体エネルギー研究所, Invited, Main Speaker

27. A hybrid approach toward Natural Language Understanding

    Bekki,Daisuke, International, 2020.12, , An invited talk in Centre for Linguistic Theory and Studies in Probability (CLASP), The University of Gothenburg, Invited, Main Speaker

28. Why parsing is a part of Language Faculty Science

    Bekki,Daisuke, International, 2020.12, , The 2020 Zoom Workshop on Language Faculty Science: Linguistic Intuitions and Replication, Invited, Main Speaker

29. Dependent Types and Theory of Meaning

    Bekki,Daisuke, International, 2019.11, , Invited, Main Speaker

30. Hybrid natural language understanding: neural network, logic and beyon

    Bekki, Daisuke, International, 2019.10, , KONVENS2019, ドイツ, Computational Linguistics & Language Technology, Not Invited, Main Speaker

31. lightblue: A Japanese CCG Parser

    Bekki, Daisuke, Domestic, 2018.07, , The 25th International Conference on Head-Driven Phrase Structure Grammar (HSPG2018), University of Tokyo, Invited, Main Speaker

32. Introduction to Dependent Type Semantics

    Bekki, Daisuke, International, 2018.06, , North American Summer School on Logic, Language, and Information (NASSLLI2018), Carnegie Mellon University, Pi, Invited, Main Speaker

33. 依存型意味論入門

    戸次大介, Domestic, 2015.03, , 第13回ICRセミナー: 動的意味論の最前線, 筑波大学東京キャンパス, Invited, Main Speaker

34. 依存型理論による自然言語の意味論入門

    戸次大介, Domestic, 2014.10, , 第94回九州大学言語学研究会, 九州大学, Invited, Main Speaker

35. 一般化量化子を含む自然論理に対する依存型意味論の完全性

    中野悠紀. 戸次大介, Domestic, 2014.03, , 第16回プログラミングおよびプログラミング言語ワークショップ, 阿蘇の司 ビラパークホテル, PPL2014, Not Invited, Coauthor

36. Neighborhood-sheafによる一階述語条件論理の意味論

    山本華子. 戸次大介, Domestic, 2013.03, , 第15回プログラミングおよびプログラミング言語ワークショップ, 東山温泉「御宿東鳳」, PPL2013, Not Invited, Coauthor

37. MCNコーパス：モダリティ関連表現の曖昧性解消のためのアノテーションと言語学的テストの利用

    MCNコーパス：モダリティ関連表現の曖昧性解消のためのアノテーションと言語学的テストの利用, Domestic, 2012.08, , テキストアノテーションワークショップ・コンテスト, 国立情報学研究所, Not Invited, Coauthor

38. モナドによる自然言語の意味論

    戸次大介, Domestic, 2012.04, , 応用哲学会2012年度研究大会ワークショップ「非古典論理による言語科学の新展開」, 千葉大学, Invited, Main Speaker

39. Extractability as Deduction Theorem in Subdirectional Combinatory Logic

    Ozaki, Hiroko Bekki, Daisuke, Domestic, 2012.03, , The 14th Programming and Programming Language Workshop (PPL2012), Wakayama, Japan, Not Invited, Coauthor

40. Enriched Categorical Semantics of Meta-Lambda Calculus

    Masuko, Moe Bekki, Daisuke, Domestic, 2012.03, , PPL2012, Wakayama, Japan, Not Invited, Coauthor

41. 高階依存型理論を用いた自然言語の意味論構築に向けて

    高階依存型理論を用いた自然言語の意味論構築に向けて 中野悠紀. 戸次大介, Domestic, 2012.03, , 第14回プログラミングおよびプログラミング言語ワークショップ, 南紀白浜 むさし, PPL2012, Not Invited, Coauthor

42. Conjoined nominal expressions in Japanese

    Hayahishita, J.-R. Bekki, Daisuke, International, 2011.10, , The 21st Japanese/Korean Linguistics Conference, Seoul National University, Not Invited, Coauthor

43. "Focus Movement" by Delimited Continuations

    Bekki, Daisuke Kenichi, Asai, Domestic, 2011.09, , ACM SIGPLAN Continuation Workshop 2011, co-located with ICFP 2011, Tokyo, Not Invited, Main Speaker

44. 組み合わせ範疇文法(CCG)と理論言語学における検証

    戸次大介, Domestic, 2011.09, , 応用哲学会2011年度臨時研究大会ワークショップ「言語理論と反証可能性：範疇文法によるアプローチ」, 京都大学, Invited, Main Speaker

45. 組み合わせ範疇文法(CCG)入門

    戸次大介, Domestic, 2011.09, , 言語学と言語哲学研究会, 東京大学, Invited, Main Speaker

46. Categorical Semantics of Meta-Lambda Calculus

    Masuko, Moe Bekki, Daisuke, Domestic, 2011.03, , PPL2011, Sapporo, Japan, Not Invited, Coauthor

47. Natural Language Semantics: the concept and history

    Bekki, Daisuke, Domestic, 2011.03, , The 17th Annual Meeting of the Association for Natural Language Processing (NLP2011), Invited, Main Speaker

48. 前提記述のための動的論理の証明論構築に向けて

    石下裕里. 戸次大介, Domestic, 2011.03, , 第13回プログラミングおよびプログラミング言語ワークショップ, 定山渓ビューホテル, PPL2011, Not Invited, Coauthor

49. 部分方向性組合せ論理の計算論的性質

    尾崎博子. 戸次大介, Domestic, 2011.03, , 第13回プログラミングおよびプログラミング言語ワークショップ, 定山渓ビューホテル, PPL2011, Not Invited, Coauthor

50. 組合せ範疇文法(CCG)と部分構造論理

    戸次大介, Domestic, 2010.12, , 「範疇文法と証明論」シンポジウム, お茶の水女子大学, Invited, Main Speaker

51. Natural Language Semantics by Typed Lambda Calculus

    Bekki, Daisuke, Domestic, 2009.06, , The 23rd Annual conference of the Japanese Society of Artificial Intelligence, Invited, Main Speaker

52. Dynamic Interpretation of Possible Worlds

    Bekki, Daisuke, Domestic, 2005.06, , the 5th International Forum on Language, Brain and Cognition, Sendai, Tohoku University, Not Invited, Main Speaker

53. Matrix and Relative Weak Crossover on the Level of the Individual: A Proposed Experimental Investigation

    Fukushima,Haruka; Plesniak,Daniel; Bekki,Daisuke;, International, Oral presentation (general), 2024.11, 2024/11/012024/11/01, the 20th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS20), Osaka, Japan, Not Invited, Coauthor

54. Appositive Projection as Implicit Context Extension in Dependent Type Semantics

    Matsuoka,Daiki; Yanaka,Hitomi; Bekki,Daisuke;, International, Oral presentation (general), 2024.11, 2024/11/012024/11/01, the 20th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS20), Osaka, Japan, Not Invited, Coauthor

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

    Matsuoka,Daiki; Bekki,Daisuke; Yanaka,Hitomi;, International, Oral presentation (general), 2024.09, 2024/09/012024/09/01, Sinn und Bedeutung 29, Siracusa, italy., Not Invited, Coauthor

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

    Matsuoka,Daiki; Bekki,Daisuke; Yanaka,Hitomi;, International, Oral presentation (general), 2024.09, 2024/09/012024/09/01, the 31st Japanese-Korean Linguistic Conference (JK31), Melborne, Australia, Not Invited, Coauthor

57. Matrix and relative weak crossover effects in Japanese: An experimental investigation

    Fukushima,Haruka; Plesniak,Daniel; Bekki,Daisuke;, International, Oral presentation (general), 2024.08, 2024/08/012024/08/01, the 2024 SMOG International Conference on Syntax and Semantics, Andong, Korea, Not Invited, Coauthor

58. Reforging : A Method for Constructing Linguistically Valid Japanese CCG Treebank

    Tomita,Asa; Yanaka,Hitomi; Bekki,Daisuke;, International, Oral presentation (general), 2024.03, 2024/03/012024/03/01, the 18th Conference of the European Chapter of the Association for Computational Linguistics (EACL2024): Student Research Workshop, St. Julian's, Malta, Not Invited, Coauthor

59. A Proof-Theoretic Approach to the Binding Problem

    Yana,Yukiko; Mineshima,Koji; Bekki,Daisuke;, International, Oral presentation (general), 2024.03, 2024/03/012024/03/01, the 6th Asian Workshop on Philosophical Logic (AWPL 2024), Hokkaido University in Sapporo, Japan, Not Invited, Coauthor

60. Neural DTS: A hybrid NLI system combining two procedural approaches

    Iinuma,Mizuki; Takahashi,Yuta; Tagami,Sora; Bekki,Daisuke;, International, Oral presentation (general), 2023.08, 2023/08/012023/08/01, Procedural and computational models of semantic and pragmatic processes, ESSLLI2023 workshop, Ljubljana, Slovenia, Not Invited, Coauthor

61. Knowledge Injection for Disease Names in Logical Inference between Japanese Clinical Texts

    Murakami,Natsuki; Ishida,Mana; Takahashi,Yuta; Yanaka,Hitomi; Bekki,Daisuke;, International, Poster presentation, 2023.08, 2023/08/012023/08/01, the 5th Clinical Natural Language Processing Workshop, Toronto, Canada, Not Invited, Coauthor

62. Recurrent Neural Network CCG Parser

    Tagami,Sora; Bekki,Daisuke;, International, Oral presentation (general), 2023.06, 2023/06/012023/06/01, Natural Logic Meets Machine Learning IV (NALOMA23), IWCS2023 workshop, Nancy, France, Not Invited, Coauthor

63. Multi-purpose neural network for French categorial grammars

    Margueritte,Gaetan; Bekki,Daisuke; Mineshima,Koji;, International, Poster presentation, 2023.06, 2023/06/012023/06/01, IWCS2023, Nancy, France, Not Invited, Coauthor

64. 組合せ範疇文法(CCG)入門

    戸次　大介, Domestic, Oral presentation (general), 2023.01, 2023/01/28, 言語学フェス2023, Web開催 (oVice), 言語学フェス2023実行委員会, Not Invited, Main Speaker

65. 依存型と自然言語のダイナミクス

    戸次　大介, Domestic, Oral presentation (invited, special), 2022.07, 2022/07/27, みちのく情報伝達学セミナー（Mics）における招待講演，東北大学, 東北大学, 東北大学, Invited, Main Speaker

66. Dependent Types and Dynamics of Natural Language

    Bekki, Daisuke, International, Oral presentation (invited, special), 2022.06, 2022/06/25, An invited talk at the International Workshop on Type-Theoretical Semantics (IWoTTS), online, June 25., Invited, Main Speaker

67. A Proof-theoretic Analysis of Weak Crossover

    Bekki,Daisuke;, International, Oral presentation (general), 2021.11, 2021/11/012021/11/01, the 18th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS18), Online, Not Invited, Main Speaker

68. Integrating Deep Neural Network with Dependent Type Semantics

    Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta;, International, Oral presentation (general), 2021.11, 2021/11/012021/11/01, the Symposium Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), Stockholm University, Not Invited, Main Speaker