研究発表 - 戸次　大介

21. Extractability as Deduction Theorem in Subdirectional Combinatory Logic

    Ozaki, Hiroko Bekki, Daisuke, 国内, 2012年03月, , The 14th Programming and Programming Language Workshop (PPL2012), Wakayama, Japan, 一般発表, 共著者

22. 豊穣圏によるメタラムダ計算の意味論

    増子萌 戸次大介, 国内, 2012年03月, , PPL2012, 和歌山, 日本, 一般発表, 共著者

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

    高階依存型理論を用いた自然言語の意味論構築に向けて 中野悠紀. 戸次大介, 国内, 2012年03月, , 第14回プログラミングおよびプログラミング言語ワークショップ, 南紀白浜 むさし, PPL2012, 一般発表, 共著者

24. Conjoined nominal expressions in Japanese

    Hayahishita, J.-R. Bekki, Daisuke, 国外, 2011年10月, , The 21st Japanese/Korean Linguistics Conference, Seoul National University, 一般発表, 共著者

25. "Focus Movement" by Delimited Continuations

    Bekki, Daisuke Kenichi, Asai, 国内, 2011年09月, , ACM SIGPLAN Continuation Workshop 2011, co-located with ICFP 2011, Tokyo, 一般発表, 第一発表者

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

    戸次大介, 国内, 2011年09月, , 応用哲学会2011年度臨時研究大会ワークショップ「言語理論と反証可能性：範疇文法によるアプローチ」, 京都大学, 招待講演, 第一発表者

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

    戸次大介, 国内, 2011年09月, , 言語学と言語哲学研究会, 東京大学, 招待講演, 第一発表者

28. メタラムダ計算の圏論的意味論

    増子萌 戸次大介, 国内, 2011年03月, , PPL2011, 札幌, 日本, 一般発表, 共著者

29. 形式意味論の考え方とその変遷

    戸次大介, 国内, 2011年03月, , 言語処理学会第17回年次大会(NLP2011), 招待講演, 第一発表者

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

    石下裕里. 戸次大介, 国内, 2011年03月, , 第13回プログラミングおよびプログラミング言語ワークショップ, 定山渓ビューホテル, PPL2011, 一般発表, 共著者

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

    尾崎博子. 戸次大介, 国内, 2011年03月, , 第13回プログラミングおよびプログラミング言語ワークショップ, 定山渓ビューホテル, PPL2011, 一般発表, 共著者

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

    戸次大介, 国内, 2010年12月, , 「範疇文法と証明論」シンポジウム, お茶の水女子大学, 招待講演, 第一発表者

33. 型付きラムダ計算による自然言語の動的意味論

    戸次大介, 国内, 2009年06月, , 第23回人工知能学会全国大会オーガナイズドセッション「意味と理解のコンピューティング」, 招待講演, 第一発表者

34. Dynamic Interpretation of Possible Worlds

    Bekki, Daisuke, 国内, 2005年06月, , the 5th International Forum on Language, Brain and Cognition, 仙台, Tohoku University, 一般発表, 第一発表者

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

    戸次　大介, 国内, 口頭発表（一般）, 2023年01月, 2023年01月28日, 言語学フェス2023, Web開催 (oVice), 言語学フェス2023実行委員会, 一般発表, 第一発表者

36. Dependent type semantics and its Davidsonian extension

    Daisuke,Bekki;, 国外, 口頭発表（招待・特別）, 2022年12月, 2022年12月15日, A talk in Laboratoire de linguistique formelle, 2022/12/15., 招待講演, 第一発表者

37. An introduction to Combinatory Categorial Grammar

    Daisuke,Bekki;, 国外, 口頭発表（招待・特別）, 2022年12月, 2022年12月13日, A talk in IUT de bordeaux, 2022/12/13., 招待講演, 第一発表者

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

    戸次　大介, 国内, 口頭発表（招待・特別）, 2022年07月, 2022年07月27日, みちのく情報伝達学セミナー（Mics）における招待講演，東北大学, 東北大学, 東北大学, 招待講演, 第一発表者

39. Dependent Types and Dynamics of Natural Language

    Bekki, Daisuke, 国外, 口頭発表（招待・特別）, 2022年06月, 2022年06月25日, An invited talk at the International Workshop on Type-Theoretical Semantics (IWoTTS), online, June 25., Zoom, 招待講演, 第一発表者