Presentations - BEKKI Daisuke

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