論文 - 戸次　大介

1. A Proof-theoretic Analysis of Weak Crossover

   New Frontiers in Artificial Intelligence (JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 202, Springer, LNAI 13856巻-号(頁228 - 241), 2023年07月, Daisuke Bekki, 原著, 論文集(書籍)内論文, 単著

2. Integrating Deep Neural Network with Dependent Type Semantics

   Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), Springer, 1081巻-号(頁261 - 284), 2023年03月, Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta;, 原著, 論文集(書籍)内論文, 第一著者相当

3. Neural DTS：自然言語推論システムへの双曲分類器の組み込み

   言語処理学会第32回年次大会論文集, Q6-11, ライトキューブ宇都宮, , 2026年03月, 小林 ほのか; 大洞 日音; 戸次 大介, 原著, 研究論文（国際会議プロシーディングス）, 共著者

4. 言語学的パイプラインに基づく妥当性の検証：金融テキストを対象として

   言語処理学会第32回年次大会論文集, Q6-10, ライトキューブ宇都宮, , 2026年03月, 松原 舞; 外園 康智; 角田 充弘; 田村 光太郎; 大洞 日音; 富田 朝; 戸次 大介, 原著, 研究論文（国際会議プロシーディングス）, 共著者

5. Neural Wani：依存型理論のための自動定理証明器waniの高速化に向けて

   言語処理学会第32回年次大会論文集, Q6-9, ライトキューブ宇都宮, , 2026年03月, 宮川 夏菜子; 大洞 日音; 戸次 大介, 原著, 研究論文（国際会議プロシーディングス）, 共著者

6. LLM を用いた知識補完の統合による自然言語推論システムlightblueの拡張

   言語処理学会第32回年次大会論文集, Q6-8, ライトキューブ宇都宮, , 2026年03月, 富田 朝; 戸次 大介, 原著, 研究論文（国際会議プロシーディングス）, 共著者

7. Modal DTSによる様相従属化の分析再考

   言語処理学会第32回年次大会論文集, Q6-5, ライトキューブ宇都宮, , 2026年03月, 飯村 葵; 水野 輝之; 戸次 大介, 原著, 研究論文（国際会議プロシーディングス）, 共著者

8. Yesod による日本語推論システム lightblue の開発環境の構築

   言語処理学会第32回年次大会論文集, Q6-13, ライトキューブ宇都宮, , 2026年03月, 佐伯 小遥; 富田 朝; 松原 舞; 戸次 大介, 原著, 研究論文（国際会議プロシーディングス）, 共著者

9. A Proof-theoretic Analysis of VP Ellipsis in Dependent Type Semantics

   In Proceedings of the 21th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS21), pp.83-89., (頁83 - 89), 2025年11月, Bekki Daisuke, 原著, 研究論文（国際会議プロシーディングス）, 単著

10. 証明論による自然言語の意味の理論

    AI4Math（IBIS2025セッション）における招待講演, 那覇文化芸術劇場 なはーと, November 12-14, 2025., , 2025年11月, 戸次 大介, 原著, 研究論文（研究会，シンポジウム資料等）, 単著

11. Functional indefinites as conventional implicatures

    To appear in Proceedings of NELS56, New York, USA., , 2025年10月, Matsuoka Daiki; Yanaka Hitomi; Bekki Daisuke, 原著, 研究論文（国際会議プロシーディングス）, 共著者

12. Relative Tense in Japanese: A Case of Multiply Embedded Relative Clauses

    In Proceedings of the 31st Japanese-Korean Linguistic Conference (JK31), pp.463-473, Melborne, Australia., (頁463 - 473), 2025年10月, Matsuoka Daiki; Bekki Daisuke; Yanaka Hitomi, 原著, 研究論文（国際会議プロシーディングス）, 共著者

13. Natural Language Inference with CCG Parser and Automated Theorem Prover for DTS

    In Proceedings of BriGap-2, Workshop in IWCS 2025, pp.1-7, Dusseldorf, Germany, 24 September., (頁1 - 7), 2025年09月, Tomita Asa; Matsubara Mai; Daido Hinari; Bekki Daisuke, 原著, 研究論文（国際会議プロシーディングス）, 共著者

14. A propositions-as-types approach to the generalized crossover effect

    In Proceedings of Sinn und Bedeutung 29, pp.986-1003, Siracusa, italy., (頁986 - 1003), 2025年09月, Matsuoka Daiki; Bekki Daisuke; Yanaka Hitomi, 原著, 研究論文（国際会議プロシーディングス）, 共著者

15. A Proof-theoretic Investigation of Natural Language Semantics

    An invited talk at International Conference on Mathematical and Computational Linguistics for Proofs, a part of EuroProofNet Symposium, , 2025年09月, Bekki Daisuke, 原著, 研究論文（研究会，シンポジウム資料等）, 単著

16. Modal Subordination in Dependent Type Semantics

    In Proceedings of BriGap-2, Workshop in IWCS 2025, pp.15-19, Dusseldorf, Germany, 24 September., (頁15 - 19), 2025年09月, Iimura Aoi; Mizuno Teruyuki; Bekki Daisuke, 原著, 研究論文（国際会議プロシーディングス）, 共著者

17. Presupposition projection and filtering in DTS

    科研ワークショップ「今後の形式意味論の展開」における招待講演, 札幌市立大学サテライト, 札幌, , 2025年08月, Bekki Daisuke, 原著, 研究論文（研究会，シンポジウム資料等）, 単著

18. Sheaves for Dependent Types and Natural Language Sematantics

    An invited talk at Theory and applications of sheaf theory, ESSLLI2025 workshop, 7 Aug, 2025., , 2025年08月, Lachlan McPheat; Bekki Daisuke, 原著, 研究論文（研究会，シンポジウム資料等）, 共著者

19. Automatic Evaluation of Linguistic Validity in Japanese CCG Treebanks

    A talk at the 5th Natural Logic Meets Machine Learning (NALOMA), Workshop in ESSLLI2025, 4-8 August, Bochum, Germany., , 2025年08月, Tomita Asa; Yanaka Hitomi; Bekki Daisuke, 原著, 研究論文（国際会議プロシーディングス）, 共著者

20. Automatic Evaluation of Linguistic Validity in Japanese CCG Treebanks

    In Proceedings of the 23rd International Workshop on Treebanks and Linguistic Theories (TLT), Workshop in Syntax Fest 2025, (頁74 - 80), 2025年08月, Tomita Asa; Yanaka Hitomi; Bekki Daisuke, 原著, 研究論文（国際会議プロシーディングス）, 共著者