Presentations - BEKKI Daisuke
-
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
-
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
-
A Proof-theoretic Analysis of Weak Crossover
Bekki,Daisuke, International, 2022.02, , Invited, Main Speaker
-
言語理論の証明論的転回
戸次 大介, Domestic, 2022.01, , 言語学フェス2022, オンライン(oVice), 言語学フェス2022実行委員会, Not Invited, Main Speaker
-
理論言語学と深層学習のハイブリッドアプローチによる自然言語推論
戸次 大介, Domestic, 2021.05, , 半導体エネルギー研究所, 半導体エネルギー研究所, Invited, Main Speaker
-
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
-
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
-
Dependent Types and Theory of Meaning
Bekki,Daisuke, International, 2019.11, , Invited, Main Speaker
-
Hybrid natural language understanding: neural network, logic and beyon
Bekki, Daisuke, International, 2019.10, , KONVENS2019, ドイツ, Computational Linguistics & Language Technology, Not Invited, Main Speaker
-
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
-
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
-
依存型意味論入門
戸次大介, Domestic, 2015.03, , 第13回ICRセミナー: 動的意味論の最前線, 筑波大学東京キャンパス, Invited, Main Speaker
-
依存型理論による自然言語の意味論入門
戸次大介, Domestic, 2014.10, , 第94回九州大学言語学研究会, 九州大学, Invited, Main Speaker
-
一般化量化子を含む自然論理に対する依存型意味論の完全性
中野悠紀. 戸次大介, Domestic, 2014.03, , 第16回プログラミングおよびプログラミング言語ワークショップ, 阿蘇の司 ビラパークホテル, PPL2014, Not Invited, Coauthor
-
Neighborhood-sheafによる一階述語条件論理の意味論
山本華子. 戸次大介, Domestic, 2013.03, , 第15回プログラミングおよびプログラミング言語ワークショップ, 東山温泉「御宿東鳳」, PPL2013, Not Invited, Coauthor
-
MCNコーパス:モダリティ関連表現の曖昧性解消のためのアノテーションと言語学的テストの利用
MCNコーパス:モダリティ関連表現の曖昧性解消のためのアノテーションと言語学的テストの利用, Domestic, 2012.08, , テキストアノテーションワークショップ・コンテスト, 国立情報学研究所, Not Invited, Coauthor
-
モナドによる自然言語の意味論
戸次大介, Domestic, 2012.04, , 応用哲学会2012年度研究大会ワークショップ「非古典論理による言語科学の新展開」, 千葉大学, Invited, Main Speaker
-
Enriched Categorical Semantics of Meta-Lambda Calculus
Masuko, Moe Bekki, Daisuke, Domestic, 2012.03, , PPL2012, Wakayama, Japan, Not Invited, Coauthor
-
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
-
高階依存型理論を用いた自然言語の意味論構築に向けて
高階依存型理論を用いた自然言語の意味論構築に向けて 中野悠紀. 戸次大介, Domestic, 2012.03, , 第14回プログラミングおよびプログラミング言語ワークショップ, 南紀白浜 むさし, PPL2012, Not Invited, Coauthor
-
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
-
"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
-
組み合わせ範疇文法(CCG)と理論言語学における検証
戸次大介, Domestic, 2011.09, , 応用哲学会2011年度臨時研究大会ワークショップ「言語理論と反証可能性:範疇文法によるアプローチ」, 京都大学, Invited, Main Speaker
-
組み合わせ範疇文法(CCG)入門
戸次大介, Domestic, 2011.09, , 言語学と言語哲学研究会, 東京大学, Invited, Main Speaker
-
Categorical Semantics of Meta-Lambda Calculus
Masuko, Moe Bekki, Daisuke, Domestic, 2011.03, , PPL2011, Sapporo, Japan, Not Invited, Coauthor
-
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
-
前提記述のための動的論理の証明論構築に向けて
石下裕里. 戸次大介, Domestic, 2011.03, , 第13回プログラミングおよびプログラミング言語ワークショップ, 定山渓ビューホテル, PPL2011, Not Invited, Coauthor
-
部分方向性組合せ論理の計算論的性質
尾崎博子. 戸次大介, Domestic, 2011.03, , 第13回プログラミングおよびプログラミング言語ワークショップ, 定山渓ビューホテル, PPL2011, Not Invited, Coauthor
-
組合せ範疇文法(CCG)と部分構造論理
戸次大介, Domestic, 2010.12, , 「範疇文法と証明論」シンポジウム, お茶の水女子大学, Invited, Main Speaker
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
組合せ範疇文法(CCG)入門
戸次 大介, Domestic, Oral presentation (general), 2023.01, 2023/01/28, 言語学フェス2023, Web開催 (oVice), 言語学フェス2023実行委員会, Not Invited, Main Speaker
-
依存型と自然言語のダイナミクス
戸次 大介, Domestic, Oral presentation (invited, special), 2022.07, 2022/07/27, みちのく情報伝達学セミナー(Mics)における招待講演,東北大学, 東北大学, 東北大学, Invited, Main Speaker
-
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
-
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
-
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