Presentations - BEKKI Daisuke

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