論文 - 戸次　大介

21. Composing Meaning via Dependent Types

    A course lecture at 36th European Summer School in Logic, Language and Information (ESSLLI2025), Bochum, July 28--August 1, 2025., , 2025年07月, Bekki Daisuke, 原著, 研究論文（研究会，シンポジウム資料等）, 単著

22. CCG 統語解析器lightblueと自動定理証明器waniによる自然言語推論の試み

    第39回人工知能学会全国大会論文集, 4G1-GS-6-03, 大阪国際会議場，2025/5/27-30., , 2025年05月, 富田 朝; 大洞 日音; 戸次 大介, 原著, 研究論文（国際会議プロシーディングス）, 共著者

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

    第39回人工知能学会全国大会論文集, 3G5-GS-6-04, 大阪国際会議場，2025/5/27-30., , 2025年05月, 宮川 夏菜子; 田上 青空; 戸次 大介, 原著, 研究論文（国際会議プロシーディングス）, 共著者

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

    the 2024 SMOG International Conference on Syntax and Semantics, , 2024年08月, Fukushima,Haruka; Plesniak,Daniel; Bekki,Daisuke; , 原著, 研究論文（国際会議プロシーディングス）, 共著者

25. A Proof-Theoretic Approach to the Binding Problem

    Proceedings of the 6th Asian Workshop on Philosophical Logic (AWPL 2024), , 2024年03月, Yana,Yukiko; Mineshima,Koji; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

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

    Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics (EACL2024): Student Research Workshop, , -巻-号(頁196 - 207), 2024年03月, Tomita,Asa; Yanaka,Hitomi; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

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

    the 18th Conference of the European Chapter of the Association for Computational Linguistics (EACL2024), (頁17 - 22), 2024年03月, Tomita,Asa; Yanaka,Hitomi; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

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

    Proceedings of the 20th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS20), , -巻-号(頁82 - 87), 2023年11月, Matsuoka,Daiki; Yanaka,Hitomi; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

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

    Proceedings of the 20th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS20), , -巻-号(頁93 - 98), 2023年11月, Fukushima,Haruka; Plesniak,Daniel; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

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

    Proceedings of the 20th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS20), (頁93 - 98), 2023年11月, Fukushima,Haruka; Plesniak,Daniel; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

31. Temporal relation identification applied to requirements specifications towards more efficient software development

    Proceedings of 27th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES2023), , 225巻-号(頁1161 - 1170), 2023年10月, Onishi,Maiko; Ogata,Shinpei; Okano,Kozo; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

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

    Proceedings of Procedural and computational models of semantic and pragmatic processes2023年08月, Iinuma,Mizuki; Takahashi,Yuta; Tagami,Sora; Bekki,Daisuke, 原著, 研究論文（国際会議プロシーディングス）, 共著者

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

    Proceedings of the 5th Clinical Natural Language Processing Workshop, Association for Computational Linguistics, -巻-号(頁108 - 117), 2023年07月, Murakami,Natsuki; Ishida,Mana; Takahashi,Yuta; Yanaka,Hitomi; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

34. Multi-purpose neural network for French categorial grammars

    Proceedings of IWCS2023, , -巻-号(頁78 - 82), 2023年06月, Margueritte,G"aetan; Bekki,Daisuke; Mineshima,Koji; , 原著, 研究論文（国際会議プロシーディングス）, 共著者

35. Recurrent Neural Network CCG Parser

    Proceedings of Natural Logic Meets Machine Learning IV (NALOMA23), Association of Computational Linguistics, -巻-号(頁35 - 40), 2023年06月, Tagami,Sora; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

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

    Proceedings of the 21st International Workshop on Treebanks and Linguistic Theories (TLT, GURT/SyntaxFest 2023), Association for Computational Linguistics, -巻-号(頁32 - 36), 2023年03月, Bekki,Daisuke; Yanaka,Hitomi;, 原著, 研究論文（国際会議プロシーディングス）, 第一著者相当

37. Implementing Natural Language Inference for Comparatives

    Journal of Language Modelling, , 10巻1号(頁139 - 191), 2022年11月, Haruta,Izumi; Mineshima,Koji; Bekki,Daisuke;, 原著, 研究論文（学術雑誌）, 共著者

38. A Bounded Model Checker for Timed Automata and Its Application to LTL Properties

    Proceedings of 26th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES 2022),, , -巻-号(頁532 - 541), 2022年09月, Okano,Kozo; Onishi,Maiko; Otsuka,Jo; Ogata,Shinpei; Sekizawa,Toshifusa; Okamoto,Keishi; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

39. Learning Knowledge with Neural DTS

    Proceedings of the 3rd Natural Logic Meets Machine Learning (NALOMA III), Association of Computational Linguistics, -巻-号(頁17 - 25), 2022年06月, Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta;, 原著, 研究論文（国際会議プロシーディングス）, 第一著者相当

40. Annotating Japanese Numeral Expressions for a Logical and Pragmatic Inference Dataset

    Proceedings of the Eighteenth Joint ACL-ISO Workshop on Interoperable Semantic Annotation (ISA-18), , -巻-号(頁127 - 132), 2022年06月, Koyano,Kana; Yanaka,Hitomi; Mineshima,Koji; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者