Bekki Laboratory — Daisuke Bekki

Publications in English: Reviewed papers; Edited books; Invited talks; Reviewed conf. talks; Other papers

Publications in Japanese: 著書; 査読論文; 解説・総説; 招待講演; 査読無し論文; テクニカルレポート; 口頭発表; メディア

Publications in English

Reviewed Papers

A Proof-theoretic Analysis of VP Ellipsis in Dependent Type Semantics
Bekki,Daisuke; (2025)
In Proceedings of the 21th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS21), pp.83-89.
Functional indefinites as conventional implicatures
Matsuoka,Daiki; Yanaka,Hitomi; Bekki,Daisuke; (2025)
To appear in Proceedings of NELS56, New York, USA.
Natural Language Inference with CCG Parser and Automated Theorem Prover for DTS
Tomita,Asa; Matsubara,Mai; Daido,Hinari; Bekki,Daisuke; (2025)
In Proceedings of the Second Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-2), Workshop in IWCS 2025, pp.1-7, Dusseldorf, Germany, 24 September.pdf
Modal Subordination in Dependent Type Semantics
Iimura,Aoi; Mizuno,Teruyuki; Bekki,Daisuke; (2025)
In Proceedings of the Second Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-2), Workshop in IWCS 2025, pp.15-19, Dusseldorf, Germany, 24 September.pdf
Automatic Evaluation of Linguistic Validity in Japanese CCG Treebanks
Tomita,Asa; Yanaka,Hitomi; Bekki,Daisuke; (2025)
In Proceedings of the 23rd International Workshop on Treebanks and Linguistic Theories (TLT), Workshop in Syntax Fest 2025, pp.74-80, Ljubljana, Slovenia, August 28-29.pdf
A propositions-as-types approach to the generalized crossover effect
Matsuoka,Daiki; Bekki,Daisuke; Yanaka,Hitomi; (2025)
In Proceedings of Sinn und Bedeutung 29, pp.986-1003, Siracusa, italy.doi
Relative Tense in Japanese: A Case of Multiply Embedded Relative Clauses
Matsuoka,Daiki; Bekki,Daisuke; Yanaka,Hitomi; (2025)
In Proceedings of the 31st Japanese-Korean Linguistic Conference (JK31), pp.463-473, Melborne, Australia.doi
A Proof-Theoretic Approach to the Binding Problem
Yana,Yukiko; Mineshima,Koji; Bekki,Daisuke; (2024)
Proceedings of 6th Asian Workshop on Philosophical Logic (AWPL2024), pp.129-139.
Matrix and relative weak crossover effects in Japanese: An experimental investigation
Fukushima,Haruka; Plesniak,Daniel; Bekki,Daisuke; (2024)
Proceedings of the 2024 SMOG International Conference on Syntax and Semantics, Andong, Korea.pdf
Reforging : A Method for Constructing Linguistically Valid Japanese CCG Treebank
Tomita,Asa; Yanaka,Hitomi; Bekki,Daisuke; (2024)
In Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics (EACL2024): Student Research Workshop, pp.196-207, St. Julian's, Malta, March 17-22, 2024pdf
A Proof-Theoretic Approach to the Binding Problem
Yana,Yukiko; Mineshima,Koji; Bekki,Daisuke; (2024)
In Proceedings of the 6th Asian Workshop on Philosophical Logic (AWPL 2024), Hokkaido University in Sapporo, Japan on 4-6 March 2024.
Matrix and Relative Weak Crossover on the Level of the Individual: A Proposed Experimental Investigation
Fukushima,Haruka; Plesniak,Daniel; Bekki,Daisuke; (2023)
In Proceedings of the 20th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS20), pp.93-98, Osaka, Japan.
Appositive Projection as Implicit Context Extension in Dependent Type Semantics
Matsuoka,Daiki; Yanaka,Hitomi; Bekki,Daisuke; (2023)
In Proceedings of the 20th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS20), pp.82-87, Osaka, Japan.
A Proof-theoretic Analysis of Weak Crossover
Bekki,Daisuke; (2023)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 2021, Revised Selected Papers), LNAI 13856, pp.228-241, Springer.doi bookstore
Neural DTS: A hybrid NLI system combining two procedural approaches
Iinuma,Mizuki; Takahashi,Yuta; Tagami,Sora; Bekki,Daisuke; (2023)
Proceedings of Procedural and computational models of semantic and pragmatic processes, ESSLLI2023 workshop, Ljubljana, Slovenia.pdf
Knowledge Injection for Disease Names in Logical Inference between Japanese Clinical Texts
Murakami,Natsuki; Ishida,Mana; Takahashi,Yuta; Yanaka,Hitomi; Bekki,Daisuke; (2023)
In Proceedings of the 5th Clinical Natural Language Processing Workshop, pages 108-117, Toronto, Canada. Association for Computational Linguistics.doi pdf
Recurrent Neural Network CCG Parser
Tagami,Sora; Bekki,Daisuke; (2023)
Proceedings of Natural Logic Meets Machine Learning IV (NALOMA23), IWCS2023 workshop, short paper, Nancy, France, pp.35-40, Association of Computational Linguistics.pdf
Multi-purpose neural network for French categorial grammars
Margueritte,G\"aetan; Bekki,Daisuke; Mineshima,Koji; (2023)
Proceedings of IWCS2023, poster session, pp.78-82, Nancy, France.pdf
Integrating Deep Neural Network with Dependent Type Semantics
Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta; (2023)
In Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), Roussanka Loukanova, Peter LeFanu Lumsdaine, Reinhard Muskens (eds.), Studies in Computational Intelligence, vol.1081. pp.261-284, Springer.doi
Temporal relation identification applied to requirements specifications towards more efficient software development
Onishi,Maiko; Ogata,Shinpei; Okano,Kozo; Bekki,Daisuke; (2023)
Proceedings of 27th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES2023), Procedia Computer Science, Vol.225, pp.1161-1170.doi
Is Japanese CCGBank empirically correct? A case study of passive and causative constructions
Bekki,Daisuke; Yanaka,Hitomi; (2023)
Proceedings of the 21st International Workshop on Treebanks and Linguistic Theories (TLT, GURT/SyntaxFest 2023), pp.32-36, Washington, D.C., Association for Computational Linguisticspdf
Implementing Natural Language Inference for Comparatives
Haruta,Izumi; Mineshima,Koji; Bekki,Daisuke; (2022)
Journal of Language Modelling, Volume 10, No.1, pp.139-191.doi pdf
A Bounded Model Checker for Timed Automata and Its Application to LTL Properties
Okano,Kozo; Onishi,Maiko; Otsuka,Jo; Ogata,Shinpei; Sekizawa,Toshifusa; Okamoto,Keishi; Bekki,Daisuke; (2022)
Proceedings of 26th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES 2022), vol.207, pp.532-541.doi
Learning Knowledge with Neural DTS
Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta; (2022)
Proceedings of the 3rd Natural Logic Meets Machine Learning (NALOMA III), pp.17-25, Galway, Ireland, Association of Computational Linguistics.pdf
Annotating Japanese Numeral Expressions for a Logical and Pragmatic Inference Dataset
Koyano,Kana; Yanaka,Hitomi; Mineshima,Koji; Bekki,Daisuke; (2022)
In Proceedings of the Eighteenth Joint ACL-ISO Workshop on Interoperable Semantic Annotation (ISA-18), pp.127-132, Marseille, France, 2022.pdf
Integrating Deep Neural Network with Dependent Type Semantics
Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta; (2021)
In Proceedings of the Symposium Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), Axcel Ljungstrom, Roussanka Loukanova, Peter LeFanu Lumsdaine, Reinhard Muskens (eds.), p.37, Stockholm University, 2021, DiVA Portal for Digital Publications.pdf
The proviso problem from a proof-theoretic perspective
Yana,Yukiko; Mineshima,Koji; Bekki,Daisuke; (2021)
In Proceedings of Logical Aspects of Computational Linguistics (LACL) 2021, pp.159-176.
A Proof-theoretic Analysis of Weak Crossover
Bekki,Daisuke; (2021)
In Proceedings of the 18th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS18), pp.75-88.
Compositional Semantics for Multiword Expression in Medical Case Retrieval
Ishida,Mana; Yanaka,Hitomi; Bekki,Daisuke; (2021)
In Proceedings of the 18th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS18), pp.231-239.
Building a Video-and-Language Dataset with Human Actions for Multimodal Logical Inference
Suzuki,Riko; Yanaka,Hitomi; Mineshima,Koji; Bekki,Daisuke; (2021)
In Proceedings of Beyond Language: Multimodal Semantic Representations (MMSR I, IWCS2021 workshop), pp.102-107, Groningen, Netherlands.pdf
Combining Event Semantics and Degree Semantics for Natural Language Inference
Haruta,Izumi; Mineshima,Koji; Bekki,Daisuke; (2020)
In Proceedings of the COLING2020 (short paper), pp.1758-1764, Barcelona, Spain (Online).doi pdf
Development of an automated theorem prover for the fragment of DTS
Daido,Hinari; Bekki,Daisuke; (2020)
In Proceedings of the 17th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS17).
Logical Inferences with Comparatives and Generalized Quantifiers
Haruta,Izumi; Mineshima,Koji; Bekki,Daisuke; (2020)
In Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics Student Research Workshp (ACL2020-SRW), pp.263-270, Seattle, USA.pdf
A CCG-based Compositional Semantics and Inference System for Comparatives
Haruta,Izumi; Mineshima,Koji; Bekki,Daisuke; (2019)
In Proceedings of the 33rd Pacific Asia Conference on Language, Information and Computation (PACLIC33), pp.67-76, Hakodate, Japan.pdf
Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation
Yoshikawa,Masashi; Noji,Hiroshi; Mineshima,Koji; Bekki,Daisuke; (2019)
In Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics (ACL2019), pp.129-139, Florence, Italy.doi pdf
Multimodal Logical Inference System for Visual-Textual Entailment
Suzuki,Riko; Yanaka,Hitomi; Yoshikawa,Masashi; Mineshima,Koji; Bekki,Daisuke; (2019)
In Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics Student Research Workshop (ACL2019-SRW), pp.386-392, Florence, Italy.pdf
Can neural networks understand monotonicity reasoning?
Yanaka,Hitomi; Mineshima,Koji; Bekki,Daisuke; Inui,Kentaro; Sekine,Satoshi; Abzianidze,Lasha; Bos,Johan; (2019)
In Proceedings of the Second BlackboxNLP workshop on Analyzing and Interpreting Neural Networks for NLP, pp.31-40, Florence, Italy.doi pdf
Towards Building a Logical Inference System for Text and Images
Suzuki,Riko; Yanaka,Hitomi; Yoshikawa,Masashi; Mineshima,Koji; Bekki,Daisuke; (2019)
In Proceedings of the 17th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT2019), the second workshop on Shortcomings in Vision and Language (SiVL), Minneapolis, USA. June 6.
HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning
Yanaka,Hitomi; Mineshima,Koji; Bekki,Daisuke; Inui,Kentaro; Sekine,Satoshi; Abzianidze,Lasha; Bos,Johan; (2019)
In Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics (*SEM 2019), pp.250-255, Minneapolis, Minnesota, USA.doi pdf
Variable Handling and Compositionality: Comparing DRT and DTS
Yana,Yukiko; Bekki,Daisuke; Mineshima,Koji; (2019)
Journal of Logic, Language and Information, vol.28 (2), pp.261-285.doi pdf
Underspecification and interpretive parallelism in Dependent Type Semantics
Kubota,Yusuke; Mineshima,Koji; Bekki,Daisuke; Levine,Robert; (2019)
In Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures (CSTFRS), pp.1-9, Gothenburg, Sweden.doi pdf
Questions in Dependent Type Semantics
Watanabe,Kazuki; Mineshima,Koji; Bekki,Daisuke; (2019)
In Proceedings of the Sixth Workshop on Natural Language and Computer Science (NLCS'19), pp.23-33, Gothenburg, Sweden.doi
Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference
Yoshikawa,Masashi; Noji,Hiroshi; Mineshima,Koji; Bekki,Daisuke; (2019)
In proceedings of the 33rd AAAI Conference on Artificial Intelligence, (AAAI-2019), Honolulu, Hawaii, United States.pdf
Coercion as Proof Search in Dependent Type Semantics
Kinoshita,Eriko; Mineshima,Koji; Bekki,Daisuke; (2018)
In Possessives in L2 and translation: basic principles and empirical findings, Cathrine Fabricius-Hansen, Bergljot Behrens, Anneliese Pitz and Hans Petter Helland (eds.), Oslo Studies in Language 10, No 2, pp.1-20.pdf
Neural sentence generation from formal semantics
Manome,Kana; Yoshikawa,Masashi; Yanaka,Hitomi; Martinez-Gomez,Pascual; Mineshima,Koji; Bekki,Daisuke; (2018)
In Proceedings of 11th International Conference on Natural Language Generation (INLG2018), pp.408-414, November 5-8, Tilburg, Netherland.pdf
Paychecks, presupposition, and dependent types
Tanaka,Ribeka; Mineshima,Koji; Bekki,Daisuke; (2018)
In Proceedings of the Fifth Workshop on Natural Language and Computer Science (NLCS2018) , Preprint no.215, Oxford University, Oxford, UK, July 7-8, 2018.doi pdf
Acquisition of Phrase Correspondences using Natural Deduction Proofs
Yanaka,Hitomi; Mineshima,Koji; Martinez-Gomez,Pascual; Bekki,Daisuke; (2018)
In Proceedings of the 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT2018), pp.756-766, New Orleans, Louisiana, USA. July 1-6.doi pdf
Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning
Yoshikawa,Masashi; Mineshima,Koji; Noji,Hiroshi; Bekki,Daisuke; (2018)
In Proceedings of the 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT2018), pp.407-412, New Orleans, Louisiana, USA. Jun 1-6.doi pdf
Factivity and Presupposition in Dependent Type Semantics
Tanaka,Ribeka; Mineshima,Koji; Bekki,Daisuke; (2017)
Journal of Language Modelling, Volume 5, No 2, pp.385-420.doi
Determining Semantic Textual Similarity using Natural Deduction Proofs
Yanaka,Hitomi; Mineshima,Koji; Martinez-Gomez,Pascual; Bekki,Daisuke; (2017)
In Proceedings of Empirical Methods in Natural Language Processing (EMNLP2017), pp.681-691, September 7-11, Copenhagen, Denmark.doi pdf
Variable Handling in DRT and DTS
Yana,Yukiko; Bekki,Daisuke; Mineshima,Koji; (2017)
In Proceedings of Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017), pp.141-159, Stockholm, Sweden.
Indirect Answers to QUD
Ito,Yurina; Mineshima,Koji; Bekki,Daisuke; (2017)
In Proceedings of Integrating Approaches to Social Meaning (IASM) workshop, in the 29th European Summer School in Logic, Language and Information (ESSLLI 2017), Toulouse, France.
On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting
Tanaka,Ribeka; Mineshima,Koji; Bekki,Daisuke; (2017)
In New Frontiers in Artificial Intelligence. JSAI-isAI 2016, Kurahashi S., Ohta Y., Arai S., Satoh K., Bekki D. (eds), Lecture Notes in Computer Science, vol 10247, pp.123-137, Springer.doi bookstore
An Analysis of Selectional Restrictions with Dependent Type Semantics
Kinoshita,Eriko; Mineshima,Koji; Bekki,Daisuke; (2017)
In New Frontiers in Artificial Intelligence. JSAI-isAI 2016, Kurahashi S., Ohta Y., Arai S., Satoh K., Bekki D. (eds), Lecture Notes in Computer Science, vol 10247, pp.19-32, Springer, Chamdoi bookstore
On-demand Injection of Lexical Knowledge for Recognising Textual Entailment
Martinez-Gomez,Pascual; Mineshima,Koji; Miyao,Yusuke; Bekki,Daisuke; (2017)
In Proceedings of the European Chapter of the Association for Computational Linguistics (EACL2017), pp.710-720, Valencia, Spain. pdf
Context-Passing and Underspecification in Dependent Type Semantics
Bekki,Daisuke; Mineshima,Koji; (2017)
Modern Perspectives in Type-Theoretical Semantics, S.Chatzikyriakidis and Z.Luo (Eds.), Studies of Linguistics and Philosophy, Springer. pp.11-41.doi
Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts
Kaneko,Kimi; Sugawara,Saku; Mineshima,Koji; Bekki,Daisuke; (2016)
In Proceedings of the 12th Workshop on Asian Language Resources (ALR12), pp.10-19, Coling2016 Workshop, Osaka, Japan, December 12.pdf
Implementing Variable Vectors in a CCG Parser
Bekki,Daisuke; Kawazoe,Ai; (2016)
In Logical Aspects of Computational Linguistics (9th international conference, LACL2016, Nancy, France, December 2016 Proceedings), C.Retore and S.Pogodalla (Eds), pp.52-67, Springer, Heiderburg.doi
On the interpretation of dependent plural anaphora in a dependently-typed setting
Tanaka,Ribeka; Mineshima,Koji; Bekki,Daisuke; (2016)
In Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13), pp.86-99.
An analysis of selectional restrictions with Dependent Type Semantics
Kinoshita,Eriko; Mineshima,Koji; Bekki,Daisuke; (2016)
In Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13), pp.100-113.
Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser
Mineshima,Koji; Tanaka,Ribeka; Martinez-Gomez,Pascual; Miyao,Yusuke; Bekki,Daisuke; (2016)
In Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP2016), pp.2236-2242, November 1-5, Austin, United States. doi pdf
ccg2lambda: A Compositional Semantics System
Martinez-Gomez,Pascual; Mineshima,Koji; Miyao,Yusuke; Bekki,Daisuke; (2016)
In Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (ACL2016), System Demonstrations, pp.85-90, August 7-12, Berlin, Germany.doi pdf
Integrating Distributional Similarity as an Abduction Mechanism in Recognizing Textual Entailment
Martinez-Gomez,Pascual; Mineshima,Koji; Miyao,Yusuke; Bekki,Daisuke; (2016)
In Proceedings of Distributional Semantics and Linguistic Theory (DSALT) workshop, in the 28th European Summer School in Logic, Language and Information (ESSLLI 2016), 3 pages, August, Bolzano, Italy.pdf
An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Japanese
Kawazoe,Ai; Tanaka,Ribeka; Mineshima,Koji; Bekki,Daisuke; (2015)
In Proceedings of the Twelfth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS12), JSAI International Symposia on AI 2015, pp.67-73, Tokyo-Yokohama, Japan.
Focus, Inverse Scope, and Delimited Control
Cong,Youyou; Asai,Kenichi; Bekki,Daisuke; (2015)
In Proceedings of the Twelfth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS12), JSAI International Symposia on AI 2015, pp.137-148, Tokyo-Yokohama, Japan.
Higher-order logical inference with compositional semantics
Mineshima,Koji; Martinez-Gomez,Pascual; Miyao,Yusuke; Bekki,Daisuke; (2015)
In Proceedings of Conference on Empirical Methods in Natural Language Processing (EMNLP2015), pp.2055-2061, September 17-21, 2015, Lisboa, Portugal. doi pdf
Two types of Japanese scrambling in combinatory categorial grammar
Bekki,Daisuke; (2015)
In Proceedings of Empirical Advances in Categorial Grammar (CG2015) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), pp.1-12, Barcelona, Spain.pdf
Calculating Projections via Type Checking
Bekki,Daisuke; Miho,Sato; (2015)
In Extended abstracts of the ESSLLI 2015 workshop TYTLES: Types Theory and Lexical Semantics, Robin Cooper, Christian Retore (eds.), pp.62-68, Aug 2015, Barcelona, Spain. 2015. pdf
Factivity and Presupposition in Dependent Type Semantics
Tanaka,Ribeka; Mineshima,Koji; Bekki,Daisuke; (2015)
In Proceedings of TYpe Theory and LExical Semantics (TYTLES) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), Barcelona, Spain.pdf
Towards Modeling Natural Language Inferences with Formal Ontology and Lexical Semantics
Nakamura,Ayako; Mineshima,Koji; Bekki,Daisuke; (2015)
In Proceedings of the FOfAI session of the Joint Ontology Workshops (JOWO), July 25-27th, Buenos Aires.pdf
A Framework for Constructing Multilingual Inference Problem
Kawazoe,Ai; Tanaka,Ribeka; Mineshima,Koji; Bekki,Daisuke; (2015)
In Proceedings of 1st International Workshop on the Use of Multilingual Language Resources in Knowledge Representation Systems (MLKRep2015), 08-10 July 2015, Vienna, Austria.
CI via DTS
Bekki,Daisuke; McCready,Eric; (2015)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers), Lecture Notes in Artificial Intelligence 9067, pp.23-36, Springerdoi bookstore
Resolving Modal Anaphora in Dependent Type Semantics
Tanaka,Ribeka; Mineshima,Koji; Bekki,Daisuke; (2015)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers), Lecture Notes in Artificial Intelligence 9067, pp.83-98, Springerdoi bookstore
Toward a Discourse Theory for Annotating Causal Relations in Japanese
Kaneko,Kimi; Bekki,Daisuke; (2014)
In Proceedings of the 28th Pacific Asia Conference on Language, Information and Computing (PACLIC28), pp.460-469, Phuket, Thailand.pdf
CI via DTS
Bekki,Daisuke; McCready,Eric; (2014)
In Proceedings of the Eleventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS11), pp.110-123, JSAI International Symposia on AI 2014, Tokyo, Japan.
Resolving Modal Anaphora in Dependent Type Semantics
Tanaka,Ribeka; Mineshima,Koji; Bekki,Daisuke; (2014)
In Proceedings of the Eleventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS11), pp.43-56, JSAI International Symposia on AI 2014, Tokyo, Japan.
Japanese Honorification: Compositionality and Expressivity
Watanabe,Narumi; McCready,Eric; Bekki,Daisuke; (2014)
In Proceedings of FAJL 7: Formal Approaches to Japanese Linguistics,International Christian University, Japan, Kawahara, Shigeto. Igarashi, Mika. (Eds), pp.265-276, the MIT Working Papers in Linguistics 73.pdf bookstore
Meta-Lambda Calculus and Linguistic Monads
Bekki,Daisuke; Masuko,Moe; (2014)
In "Formal Approaches to Semantics and PragmaticsJapanese and Beyond", McCready,Eric. Yabushita, Katsuhiko. Yoshimoto,Kei. (Eds), Studies in Linguistics and Philosophy 95, pp.31-64, Springer. doi pdf bookstore
Representing Anaphora with Dependent Types
Bekki,Daisuke; (2014)
In Logical Aspects of Computational Linguistics (8th international conference, LACL2014, Toulouse, France, June 2014 Proceedings), N.Asher and S.Soloviev (Eds), LNCS 8535, pp.14-29, Springer, Heiderburg.doi pdf bookstore
Constructive Generalized Quantifiers Revisited
Tanaka,Ribeka; Nakano,Yuki; Bekki,Daisuke; (2014)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers), Yukiko Nakano, Ken Satoh, Daisuke Bekki (Eds.), LNAI 8417, pp.115-124, Springer.doi pdf bookstore
First-order conditional logic and neighborhood-sheaf semantics for analysis of conditional sentences
Yamamoto,Hanako; Bekki,Daisuke; (2014)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers), Yukiko Nakano, Ken Satoh, Daisuke Bekki (Eds.), LNAI 8417, pp.154-164, Springer.doi pdf bookstore
Building a Japanese Corpus of Temporal-Causal-Discourse Structures Based on SDRT for Extracting Causal Relations
Kaneko,Kimi; Bekki,Daisuke; (2014)
In Proceedings of the EACL2014 Workshop on Computational Approaches to Causality in Language (CAtoCL), pp.33-39, 26th April, Gothenburg, Sweden.doi pdf
A Type-theoretic Approach to Double Negation Elimination in Anaphora
Bekki,Daisuke; (2013)
In Proceedings of the Tenth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS10), pp.56-68, JSAI International Symposia on AI 2013, Tokyo, Japan.pdf
Constructive Generalized Quantifiers Revisited
Tanaka,Ribeka; Nakano,Yuki; Bekki,Daisuke; (2013)
In Proceedings of the Tenth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS10), pp.69-78, JSAI International Symposia on AI 2013, Tokyo, Japan.bookstore
First-order conditional logic and neighborhood-sheaf semantics for analysis of conditional sentences
Yamamoto,Hanako; Bekki,Daisuke; (2013)
In Proceedings of the Tenth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS10), pp.96-106, JSAI International Symposia on AI 2013, Tokyo, Japan.
Building Japanese Textual Entailment Specialized Data Sets for Inference of Basic Sentence Relations
Kaneko,Kimi; Miyao,Yusuke; Bekki,Daisuke; (2013)
In Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics (ACL2013), pp.273-277, 4-9 August, Sofia, Bulgaria.pdf
Logical Polysemy and Subtyping
Bekki,Daisuke; Asher,Nicholas; (2013)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November and December 2012, Revised Selected Papers), Yoichi Motomura, Alastair Butler, Daisuke Bekki (Eds.), LNAI 7856, pp.17-24, Springer, Heidelberg.doi pdf bookstore
On the semantic relation between noun phrases and quantity expressions in Japanese (revised version)
Hayashishita,J.-R.; Bekki,Daisuke; (2013)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November and December 2012, Revised Selected Papers), Yoichi Motomura, Alastair Butler, Daisuke Bekki (Eds.), LNAI 7856, pp.41-52, Springer, Heidelberg.doi pdf bookstore
Subtyping in Logical Polysemy and Copredication
Bekki,Daisuke; Asher,Nicholas; (2012)
In Proceedings of the Ninth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS9), pp.98-105, JSAI International Symposia on AI 2012, Miyazaki, Japan.
On the semantic relation between noun phrases and quantity expressions in Japanese
Hayashishita,J.-R.; Bekki,Daisuke; (2012)
In Proceedings of the Ninth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS9), pp.198-209, JSAI International Symposia on AI 2012, Miyazaki, Japan.
Conjoined nominal expressions in Japanese －Interpretation through monad－ (revised version)
Hayashishita,J.-R.; Bekki,Daisuke; (2012)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2011 Workshops, Takamatsu, Japan, December 2011, Selected Papers from LENLS8), Manabu Okumura, Daisuke Bekki, Ken Satoh (Eds.), LNAI 7258, pp.54-67, Springer, Heidelberg. doi pdf bookstore
Extractability as Deduction Theorem in Subdirectional Combiantory Logic (revised version)
Ozaki,Hiroko; Bekki,Daisuke; (2012)
In Logical Aspects of Computational Linguistics (7th international conference, LACL2012, Nantes, France, July 2012 Proceedings), LNAI 7351, pp.186-200, Springer.doi pdf bookstore
Toward the formulation of presupposition by Illative Combinatory Logic
Ishishita,Yuri; Bekki,Daisuke; (2012)
In Logical Aspects of Computational Linguistics (7th international conference, LACL2012, Nantes, France, July 2012 Proceedings), LNAI 7351, pp.74-85, Springer.doi pdf bookstore
Extractability as Deduction Theorem in Subdirectional Combinatory Logic
Ozaki,Hiroko; Bekki,Daisuke; (2011)
In Proceedings of the Eighth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS8), pp.80-93, JSAI International Symposia on AI 2011, Sunport Hall Takamatsu, Kagawa, Japan.
Conjoined nominal expressions in Japanese: Interpretation through monad
Hayashishita,J.-R.; Bekki,Daisuke; (2011)
In Proceedings of the Eighth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS8), pp.139-152, JSAI International Symposia on AI 2011, Sunport Hall Takamatsu, Kagawa, Japan.
Combinatory Categorial Grammar as a Substructural Logic －Preliminary Remarks－ (revised version)
Bekki,Daisuke; (2011)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2010 Workshops, Tokyo, Japan, November 2010, Selected Papers from LENLS7), Takashi Onoda, Daisuke Bekki, Eric McCready (Eds.), LNAI 6797, pp.16-29, Springer, Heidelberg. doi pdf bookstore
Conditional Logic Cb and its Tableau System
Ozaki,Yuri; Bekki,Daisuke; (2011)
In Logical Aspects of Computational Linguistics (6th international conference, LACL2011, Montpellier, France, June/July 2011 Proceedings), LNAI 6736, pp.190-204, Springer.doi pdf bookstore
Combinatory Categorial Grammar as a Substructural Logic －Preliminary Remarks－
Bekki,Daisuke; (2010)
In Proceedings of the Seventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 7), pp.70-83, JSAI International Symposia on AI 2010, Campus Innovation Center, Tokyo, Japan.
Representing Covert Movements by Delimited Continuations (revised version)
Bekki,Daisuke; Kenichi,Asai; (2010)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2009 Workshops, Tokyo, Japan, November 2009, Selected Papers from LENLS6), Kumiyo Nakakoji, Yohei Murakami, Eric McCready (Eds.), JSAI-isAI, LNAI 6284, pp.161-180, Springer, Heidelberg. doi pdf bookstore
Representing Covert Movements by Delimited Continuations
Bekki,Daisuke; Kenichi,Asai; (2009)
In Proceedings of the Sixth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6), pp.71-90, JSAI International Symposia on AI 2009, Campus Innovation Center, Tokyo, Japan.
Monads and Meta-Lambda Calculus (revised version)
Bekki,Daisuke; (2009)
In New Frontiers in Artificial Intelligence (JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 2008, Revised Selected Papers from LENLS5), Hattori, H., T. Kawamura, T, Ide', M. Yokoo, Y. Murakami (Eds.) LNAI 5447, pp.193-208, Springer.doi bookstore
Monads and Meta-Lambda Calculus
Bekki,Daisuke; (2008)
In Proceedings of the Fifth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS2008) in Conjunction with the 22nd Annual Conference of the Japanese Society for Artificial Intelligence 2008, pp.56-78, Asahikawa, Japan.
The development of a schema for the annotation of terms in the BioCaster disease detection/tracking system
Kawazoe,Ai; Jin,Lihua; Shigematsu,Mika; Bekki,Daisuke; Barrero,Roberto; Taniguchi,Kiyosu; Collier,Nigel; (2009)
Applied Ontology, 4(1), pp.5-20, IOS presspdf
Translating HPSG-style outputs of a robust parser into Typed Dynamic Logic
Sato,Manabu; Bekki,Daisuke; Miyao,Yusuke; Tsujii,Jun'ichi; (2006)
In Proceedings of the COLING/ACL 2006 Main Conference Poster Sessions, pp.707-714, Sydney.pdf
Typed Dynamic Logic for E-type link
Bekki,Daisuke; (2000)
In Proceedings of Third International Conference on Discourse Anaphora and Anaphor Resolution (DAARC2000), pp.39-48, Lancaster University, U.K.pdf

Edited Books

Logic and Engineering of Natural Language Semantics, 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers
Bekki,Daisuke; Mineshima,Koji; McCready,Elin; (Eds.) (2024)
LNCS 14569, Springer.doi
Logic and Engineering of Natural Language Semantics, 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers
Bekki,Daisuke; Mineshima,Koji; McCready,Elin; (Eds.) (2023)
LNCS 14213, Springer.doi bookstore
New Frontiers in Artificial Intelligence, JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers
Arai,Sachiyo; Kojima,Kazuhiro; Mineshima,Koji; Bekki,Daisuke; Satoh,Ken; Ohta,Yuiko; (Eds.) (2018)
Lecture Notes in Artificial Intelligence 10838, Springerdoi bookstore
New Frontiers in Artificial Intelligence, JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers
Kurahashi,Setsuya; Ohta,Yukiko; Arai,Sachiyo; Satoh,Ken; Bekki,Daisuke; (Eds.) (2017)
Lecture Notes in Artificial Intelligence 10247, Springerdoi bookstore
In New Frontiers in Artificial Intelligence (JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers)
Otake,Mihoko; Mineshima,Koji; Bekki,Daisuke; (Eds.) (2017)
Lecture Notes in Artificial Intelligence 10091, Springer
In New Frontiers in Artificial Intelligence (JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers)
Murata,Tsuyoshi; Mineshima,Koji; Bekki,Daisuke; (Eds.) (2015)
Lecture Notes in Artificial Intelligence 9067, Springerdoi bookstore
In New Frontiers in Artificial Intelligence (JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers).
Nakano,Yukiko; Satoh,Ken; Bekki,Daisuke; (Eds.) (2014)
Lecture Notes in Artificial Intelligence 8417, Springerdoi bookstore
In New Frontiers in Artificial Intelligence (JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers)
Motomura,Yoichi; Butler,Alastair; Bekki,Daisuke; (Eds.) (2013)
Lecture Notes in Artificial Intelligence 7856, Springerdoi bookstore
In New Frontiers in Artificial Intelligence (JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI: Takamatsu, Japan, December 2011, Revised Selected Papers)
Okumura,Manabu; Bekki,Daisuke; Satoh,Ken; (Eds.) (2012)
Lecture Notes in Artificial Intelligence 7258, Springer (290 pages).doi bookstore
In New Frontiers in Artificial Intelligence (JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Tokyo,Japan, November 18-19, 2010, Revised Selected Papers)
Onoda,Takashi; Bekki,Daisuke; McCready,Eric; (Eds.) (2011)
Lecture Notes in Artificial Intelligence 6797, Springer.doi bookstore

Reviewed Conference Talks

Implementation of Anaphora Resolution Using the Refine Tactic of Coq
Kosaihira,Hina; Takahashi,Yuta; Bekki,Daisuke; (2023)
2023 Workshop on Proof Theory and its Applicationspdf
Analyzing Japanese Relative Tense with Dependent Type Theory
Matsuoka,Daiki; Bekki,Daisuke; Hitomi,Yanaka; (2023)
Proceedings of Natural Logic Meets Machine Learning IV (NALOMA23), IWCS2023 workshop, extended abstract, Nancy, France, Association of Computational Linguistics.pdf
Towards Understanding Bilingual Textual Entailment and Similarity
Yanaka,Hitomi; Martinez-Gomez,Pascual; Mineshima,Koji; Bekki,Daisuke; (2018)
In Proceedings of the Workshop on NLP in the Era of Big Data, Deep Learning, and Post Truth, in the 30th European Summer School in Logic, Language and Information (ESSLLI2018), Sofia, Bulgaria.
Coercion as Proof Search in Dependent Type Semantics
Kinoshita,Eriko; Mineshima,Koji; Bekki,Daisuke; (2017)
In Proceedings of Workshop on Approaches to Coercion and Polysemy (CoPo 2017), University of Oslo, Norway.pdf
Japanese Honorification: Compositionality and Expressivity
Watanabe,Narumi; McCready,Eric; Bekki,Daisuke; (2014)
Formal Approaches to Japanese Linguistics (FAJL) 7, International Christian University, Japan, 2014/06/27-29.pdf
Conjoined nominal expressions in Japanese
Hayashishita,J.-R.; Bekki,Daisuke; (2011)
The 21st Japanese/Korean Linguistics Conference, The 21st Japanese/Korean Linguistics Conference, Poster session, Oct. 20-22, 2011, Seoul National University.
Delayed Quantification for Cumulative Readings
Bekki,Daisuke; (2000)
SINN UND BEDEUTUNG V, The University of Amsterdam, Netherlands

Invited Talks and Course Lectures

A Proof-theoretic Investigation of Natural Language Semantics
Bekki,Daisuke; (2025)
An invited talk at International Conference on Mathematical and Computational Linguistics for Proofs, a part of EuroProofNet Symposium, Institut Pascal, 15-18 September 2025.
Presupposition projection and filtering in DTS
Bekki,Daisuke; (2025)
科研ワークショップ「今後の形式意味論の展開」における招待講演, 札幌市立大学サテライト, 札幌
Automatic Evaluation of Linguistic Validity in Japanese CCG Treebanks
Tomita,Asa; Yanaka,Hitomi; Bekki,Daisuke; (2025)
A talk at the 5th Natural Logic Meets Machine Learning (NALOMA), Workshop in ESSLLI2025, 4-8 August, Bochum, Germany.
Sheaves for Dependent Types and Natural Language Sematantics
Lachlan,McPheat; Bekki,Daisuke; (2025)
An invited talk at Theory and applications of sheaf theory, ESSLLI2025 workshop, 7 Aug, 2025.
Composing Meaning via Dependent Types
Bekki,Daisuke; (2025)
A course lecture at 36th European Summer School in Logic, Language and Information (ESSLLI2025), Bochum, July 28--August 1, 2025.
From Dependent Types to Natural Language Semantics
Bekki,Daisuke; (2024)
A plenary talk at Logic Colloquium 2024, Gothenburg, Sweden, 24-28 June.
Dependent Types and Dynamics of Natural Language
Bekki,Daisuke; (2022)
An invited talk at the International Workshop on Type-Theoretical Semantics (IWoTTS), online, June 25.
A Proof-theoretic Analysis of Weak Crossover
Bekki,Daisuke; (2022)
A talk at the 2nd workshop on Language Faculty Science, online, February 12.
Why parsing is a part of Language Faculty Science
Bekki,Daisuke; (2020)
The 2020 Zoom Workshop on Language Faculty Science: Linguistic Intuitions and Replication, 2020/12/20
A hybrid approach toward Natural Language Understanding
Bekki,Daisuke; (2020)
An invited talk in Centre for Linguistic Theory and Studies in Probability (CLASP), 2020/12/09
Dependent Types and Theory of Meaning
Bekki,Daisuke; (2019)
Nanzan Workshop on the Foundational Issues in Linguistics and Philosophy of Language, Nanzan University, Nagoya, Japan, 2019/12/01.
Hybrid natural language understanding: neural network, logic and beyond
Bekki,Daisuke; Yanaka,Hitomi; (2019)
Plenary talk at Konferenz zur Verarbeitung naturlicher Sprache (KONVENS2019), October 8-11, Erlangen, Germany.
Introduction to Dependent Type Semantics
Bekki,Daisuke; (2018)
North American Summer School on Logic, Language, and Information (NASSLLI2018), New type-theoretic tools in natural language semantics (by Steve Awodey, Justyna Grudzinska, Marek Zawadowski, and Colin Zwanziger), June 23-29, 2018, Carnegie Mellon University, Pittsburgh, USA.
lightblue: A Japanese CCG Parser
Bekki,Daisuke; (2018)
The 25th International Conference on Head-Driven Phrase Structure Grammar (HSPG2018), the workshop on the clause structure of Japanese and Korean, July 2, 2018, University of Tokyo, Komaba Campus.pdf
An Introduction to Dependent Type Semantics
Bekki,Daisuke; Mineshima,Koji; (2016)
A course lecture at 28th European Summer School in Logic, Language and Information (ESSLLI2016), Bolzano-Bozen, Italy, 2016/08/15-19.
Anaphora and Presuppositions in Dependent Type Semantics
Bekki,Daisuke; (2015)
Invited talk at Colloquium in Philosophy, Logic and Philosophy of Science, Munich Center for Mathematical Philosophy (MCMP), Ludwig-Maximilians-University, Munich, Germany, 2015/12/2.
Anaphora and Presuppositions in Dependent Type Semantics
Bekki,Daisuke; (2015)
Invited talk at Dynamic Semantics: Modern Type Theoretic and Category Theoretic Approaches, Ohio State University, United States, 2015/10/24-25.
Contexts in Dependent Type Semantics
Bekki,Daisuke; (2015)
Invited talk at the Second International Workshop on Linguistics of BA, Future University Hakodate, 2015/7/4.pdf

Other Papers, Essays and Talks

Dependent type semantics and its Davidsonian extension
Daisuke,Bekki; (2022)
A talk in Laboratoire de linguistique formelle, 2022/12/15.
An introduction to Combinatory Categorial Grammar
Daisuke,Bekki; (2022)
A talk in IUT de bordeaux, 2022/12/13.
Introduction to Dependent Type Semantics
Bekki,Daisuke; (2019)
University of Edinburgh, August 13.
Introduction to Dependent Type Semantics
Bekki,Daisuke; (2017)
A talk at Bordeaux University, Bordeaux, France, 2017/9/23.
FraCaS, JSeM and the 'Inferences as Tests' paradigm
Bekki,Daisuke; (2016)
A talk at Unshared Task at LENLS 13: Theory and System analysis with FraCaS, MultiFraCaS and JSeM Test Suites, National Institute for Japanese Language and Linguistics, Tachikawa, Tokyo, 2016/11/13.
Composing (Im)politeness in Dependent Type Semantics
Bekki,Daisuke; (2015)
A talk at Workshop on Politeness, LENLS12, Ochanomizu University, Japan, 2015/11/15.pdf
Introduction to Dependent Type Semantics
Bekki,Daisuke; (2015)
A talk at New York University, United States, 2015/10/27.
Testability in Dependent Type Semantics
Bekki,Daisuke; (2015)
Talk at the workshop in Japanese/Korean Syntax and Semantics: What constitutes data in linguistics (17th Korea-Japan workshop on linguistics and language processing), 9-10 May 2015, Kyoto University.
Dependent Type Semantics: An Introduction
Bekki,Daisuke; (2014)
Logic and Interactive RAtionality (LIRa) Yearbook 2012, Zo\'{e} Christoff, Paolo Galeazzi, Nina Gierasimczuk, Alexandru Marcoci, Sonja Smet (Eds), Volume I, pp. 277-300, University of Amsterdampdf
Dependent type semantics: the framework
Bekki,Daisuke; (2012)
Talks at University of Amsterdam (October 17th, 2013), Tilburg University (October 25th, 2013), Utrecht University (October 26th, 2013)
Extractability as Deduction Theorem in Subdirectional Combinatory Logic
Ozaki,Hiroko; Bekki,Daisuke; (2012)
The 14th Programming and Programming Language Workshop (PPL2012), Nanki-Shirahama Musashi, Wakayama, Japan, 2012/3/8-10.
"Focus Movement" by Delimited Continuations
Bekki,Daisuke; Asai,Kenichi; (2011)
Talk at ACM SIGPLAN Continuation Workshop 2011, co-located with ICFP 2011, Tokyo, Japan Saturday, September 24, 2011.
Introduction to LENLS 6
Bekki,Daisuke; (2010)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2009 Workshops, Tokyo, Japan, November 2009, Selected Papers), Kumiyo NAKAKOJI, Yohei MURAKAMI, Eric MCCREADY (Eds.), JSAI-isAI, LNAI 6284, pp.159-160, Springer, Heidelberg. doi bookstore
Homage to the Computational Lambek Alpha-Lambda Calculus － in Memory of Norihiro Ogata －
Bekki,Daisuke; (2008)
Talk at Dynamic Semantics Meeting, Tohoku University, Japan, 2008/11/8.
Dynamic Interpretation of Possible Worlds
Bekki,Daisuke; (2005)
In Proceedings of the 5th International Forum on Language, Brain and Cognition, pp.58-65, Sendai.
Typed Dynamic Logic for Compositional Grammar
Bekki,Daisuke; (2000)
Doctoral dissertation, Tokyo University

日本語論文

著書

数理論理学
戸次大介, (2012)
320頁，東京大学出版会.bookstore
日本語文法の形式理論－活用体系・統語構造・意味合成－
戸次大介, (2010)
日本語研究叢書24，356頁，くろしお出版.bookstore

学術論文（査読有り）

日本語症例テキストの複合語解析・推論システムMedc2l
石田真捺, 谷中瞳, 戸次大介, (2023)
自然言語処理，Vol.30, No.3, pp.935-958. doi pdf
日本語数量表現コーパスと推論データセットの構築
小谷野華那, 谷中瞳, 峯島宏次, 戸次大介, (2023)
自然言語処理，2023年30巻2号, pp.432-455.doi
言語で説明できるAIシステムへの道のり
乾健太郎, 戸次大介, 黒橋禎夫, 久木田水生, (2021)
自然言語処理,2021年28巻3号，pp.874-880． doi pdf
自然演繹に基づく論理推論の文間類似度学習・含意関係認識への応用
谷中瞳, 峯島宏次, Martinez-Gomez,Pascual, 戸次大介, (2018)
自然言語処理，25巻3号, pp.295-324.
命題の確実度に合わせた韓国語の認識的推量表現の下位分類
崔栄殊, 齊藤学, 戸次大介, 片岡喜代子, 川添愛, (2016)
中華日本研究第7期, pp.28-50.pdf
shift/reset を用いた stepper の実装に向けて
叢悠悠, 浅井健一, 戸次大介, (2015)
第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)論文集, 道後プリンスホテル（愛媛県）, 2015/3/4-6.
Neighborhood-Sheaf Semanticsを用いた一階述語条件論理の意味論
山本華子, 戸次大介, (2014)
第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)論文集, 阿蘇の司ビラパークホテル（熊本県）, 2014/3/5-7.
限定継続を用いたフォーカスの分析と実装
叢悠悠, 戸次大介, (2014)
第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)論文集, 阿蘇の司ビラパークホテル（熊本県）, 2014/3/5-7.（「PPL 2014 発表賞」受賞論文）
言語情報の確実性アノテーションのための韓国語の様相表現の分類
齊藤学, 崔栄殊, 戸次大介, 片岡喜代子, 川添愛, (2012)
中華日本研究第3期, pp.17-40.pdf
一階述語条件論理VCb(CI)とそのタブローシステム
尾崎有梨, 戸次大介, (2012)
第14回プログラミングおよびプログラミング言語ワークショップ(PPL2012)論文集, 南紀白浜むさし（和歌山県）, 2012/3/8-10.
Illative Combinatory Logic を用いた前提の定式化に向けて
石下裕里, 戸次大介, (2012)
第14回プログラミングおよびプログラミング言語ワークショップ(PPL2012)論文集, 南紀白浜むさし（和歌山県）, 2012/3/8-10.
メタラムダ計算の圏論的意味論
増子萌, 戸次大介, (2011)
第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)論文集, pp.60-74, 定山渓ビューホテル（北海道）, 2011/3/9-11.
条件論理Cbとそのタブローシステム
尾崎有梨, 戸次大介, (2011)
第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)論文集, pp.33-47, 定山渓ビューホテル（北海道）, 2011/3/9-11.
言語情報の確実性アノテーションのための様相表現の分類
川添愛, 齊藤学, 片岡喜代子, 崔栄殊, 戸次大介, (2010)
九州大学言語学論集, 第31号, pp.109-129, 九州大学大学院人文科学研究院言語学研究室編.pdf
「同じ」についての諸考察
川添愛, 戸次大介, (2006)
T-SACジャーナル創刊号, pp.25-36, 帝京大学pdf

解説・総説

日本語学大事典
戸次大介, (2018)
項目「句構造文法」, 日本語学会編, 東京堂出版
人工知能学事典
戸次大介, (2017)
項目「形式意味論」, pp.632-635, 人工知能学会.
合理主義言語学における部分構造論理
戸次大介, (2012)
人工知能学会誌, 27巻3号(2012年5月), 特集「ポスト経験主義の言語処理」, pp.304-309.

招待講演

証明論による自然言語の意味の理論
戸次,大介, (2025)
AI4Math（IBIS2025セッション）における招待講演, 那覇文化芸術劇場なはーと, November 12-14, 2025.
依存型と自然言語のダイナミクス
戸次大介, (2022)
みちのく情報伝達学セミナー（Mics）における招待講演，東北大学，2022/07/27．
理論言語学と深層学習のハイブリッドアプローチによる自然言語推論
戸次大介, (2021)
半導体エネルギー研究所, 2021/5/19.
理論言語学に基づく自然言語理解の最前線
戸次大介, (2019)
日本英語学会第37回大会（関西学院大学）特別講演, 2019/11/09.
自然言語理解技術の動向
戸次大介, (2019)
2019年度 NEDO TSC Foresightセミナー（第1回）, イイノカンファレンスセンター（虎ノ門）, 2019/7/12.
自然言語理解の最前線
戸次大介, (2019)
株式会社Arithmer, 2019/7/4.
自然言語の含意関係・類似度計算システムccg2lambda
戸次大介, (2018)
お茶の水女子大学・新技術説明会, JST東京本部, 2018/6/2.
理論言語学と自然言語処理と
戸次大介, (2018)
言語処理学会第24回年次大会（岡山大学）招待講演, 2018/3/15.
依存型意味論による自然言語の証明論的意味論II
伊藤友里菜, 簗有紀子, 戸次大介, (2017)
東海意味論研究会, 名古屋学院大学, 2017/10/29
依存型意味論による自然言語の証明論的意味論
戸次大介, (2017)
東海意味論研究会, 名古屋学院大学, 2017/2/18
依存型意味論入門
戸次大介, 峯島宏次, (2015)
第13回ICRセミナー: 動的意味論の最前線，筑波大学東京キャンパス, 2015/3/13.
依存型理論による自然言語の意味論入門
戸次大介, (2014)
招待講演，第94回九州大学言語学研究会, 九州大学, 2014/10/31.
形式意味論の考え方とその変遷
戸次大介, (2011)
言語処理学会第17回年次大会(NLP2011)チュートリアル, 豊橋技術科学大学, 2011/3/7.
数学と言語のあいだ：形式意味論入門
戸次大介, (2010)
第26回夏期数学講習会, お茶の水女子大学, 2010/7/31.
型付きラムダ計算による自然言語の動的意味論
戸次大介, (2009)
第23回人工知能学会全国大会オーガナイズドセッション「意味と理解のコンピューティング」招待講演, 2009/6/19.pdf
自然言語の文法と推論の法則－動的論理による解明－
戸次大介, (2003)
科学技術振興機構戦略的創造研究推進事業さきがけプログラム「情報と知」領域研究報告会，東京国際フォーラム，2003/11/14.

学術論文（査読無し）

Modal DTSによる様相従属化の分析再考
飯村葵, 水野輝之, 戸次大介, (2026)
言語処理学会第32回年次大会論文集, Q6-5, ライトキューブ宇都宮
LLM を用いた知識補完の統合による自然言語推論システムlightblueの拡張
富田朝, 戸次大介, (2026)
言語処理学会第32回年次大会論文集, Q6-8, ライトキューブ宇都宮
Neural Wani：依存型理論のための自動定理証明器waniの高速化に向けて
宮川夏菜子, 大洞日音, 戸次大介, (2026)
言語処理学会第32回年次大会論文集, Q6-9, ライトキューブ宇都宮
言語学的パイプラインに基づく妥当性の検証：金融テキストを対象として
松原舞, 外園康智, 角田充弘, 田村光太郎, 大洞日音, 富田朝, 戸次大介, (2026)
言語処理学会第32回年次大会論文集, Q6-10, ライトキューブ宇都宮
Neural DTS：自然言語推論システムへの双曲分類器の組み込み
小林ほのか, 大洞日音, 戸次大介, (2026)
言語処理学会第32回年次大会論文集, Q6-11, ライトキューブ宇都宮
Yesod による日本語推論システム lightblue の開発環境の構築
佐伯小遥, 富田朝, 松原舞, 戸次大介, (2026)
言語処理学会第32回年次大会論文集, Q6-13, ライトキューブ宇都宮
依存型意味論による日本語複合動詞の意味合成と推論
佐久間香那, 富田朝, 戸次大介, (2026)
言語処理学会第32回年次大会論文集, Q6-14, ライトキューブ宇都宮
CCG 統語解析器lightblueと自動定理証明器waniによる自然言語推論の試み
富田朝, 大洞日音, 戸次大介, (2025)
第39回人工知能学会全国大会論文集, 4G1-GS-6-03, 大阪国際会議場，2025/5/27-30.pdf
依存型理論のための自動定理証明器Neural Waniの開発に向けて
宮川夏菜子, 田上青空, 戸次大介, (2025)
第39回人工知能学会全国大会論文集, 3G5-GS-6-04, 大阪国際会議場，2025/5/27-30.pdf
ツリーバンクの言語学的妥当性の自動評価
富田朝, 谷中瞳, 戸次大介, (2025)
言語処理学会第31回年次大会論文集, Q9-18, 出島メッセ長崎pdf
日本語の関係節におけるWeak Crossover現象の非構造的要因を制御した経験的検証
福島遥, PlesniakDaniel, 戸次大介, (2025)
言語処理学会第31回年次大会論文集, P4-4, 出島メッセ長崎pdf
自然言語推論システムNeural DTSの学習アルゴリズムの実装
飯沼瑞稀, 戸次大介, (2025)
言語処理学会第31回年次大会論文集, B2-5, 出島メッセ長崎pdf
Modal DTSによる様相従属化の分析
飯村葵, 水野輝之, 戸次大介, (2025)
言語処理学会第31回年次大会論文集, B2-1, 出島メッセ長崎pdf
CCG 統語解析器lightblueと定理証明器waniによるJSeM Verbsデータセットの自動推論
松原舞, 富田朝, 戸次大介, (2025)
言語処理学会第31回年次大会論文集, B1-3, 出島メッセ長崎pdf
二重目的語構文，与格構文におけるWeak Crossover現象の分析と検証実験
藤田琴海, PlesniakDaniel, 福島遥, 戸次大介, (2025)
言語処理学会第31回年次大会論文集, B2-2, 出島メッセ長崎pdf
日本語推論システムlightblueの開発環境構築に向けて
佐伯小遥, 富田朝, 戸次大介, (2025)
言語処理学会第31回年次大会論文集, B2-3, 出島メッセ長崎pdf
一般化交差効果に対する型理論的アプローチ
松岡大樹, 戸次大介, 谷中瞳, (2025)
言語処理学会第31回年次大会論文集, B1-4, 出島メッセ長崎pdf
論理的同値性による言語モデルの述語論理推論能力の拡張
田中健史朗, 戸次大介, 井之上直也, (2024)
情報処理学会研究報告
依存型意味論における暗黙的な文脈拡張による慣習的推意の分析
松岡大樹, 戸次大介, 谷中瞳, (2024)
言語処理学会第30回年次大会, E3-3, 神戸国際会議場, 2024/3/11-15.pdf
依存型意味論によるモダリティと照応の統一的分析に向けて
飯村葵, 戸次大介, (2024)
言語処理学会第30回年次大会, D2-4, 神戸国際会議場, 2024/3/11-15.pdf
主節と関係節における Weak Crossover 現象の非構造的要因を制御した経験的検証
福島遥, PlesniakDaniel, 戸次大介, (2024)
言語処理学会第30回年次大会, D2-6, 神戸国際会議場, 2024/3/11-15.pdf
言語学的に妥当な日本語 CCG ツリーバンクの構築と評価
富田朝, 谷中瞳, 戸次大介, (2024)
言語処理学会第30回年次大会, D2-2, 神戸国際会議場, 2024/3/11-15.pdf
時間関係に基づくテ形節の用法分類
野口咲帆, 戸次大介, (2024)
言語処理学会第30回年次大会, E3-2, 神戸国際会議場, 2024/3/11-15.pdf
証明論的アプローチを用いた整合性判定による照応解析手法の提案
小斉平ひな, 高橋優太, 戸次大介, (2024)
言語処理学会第30回年次大会, D2-5, 神戸国際会議場, 2024/3/11-15.pdf
依存型意味論による自然言語の意味の理論：見通しと課題
戸次大介, (2023)
第37回人工知能学会全国大会論文集, 熊本城ホール，2023/6/6-9.
Recurrent Neural Network CCG 構文解析器の検証
田上青空, 戸次大介, (2023)
第37回人工知能学会全国大会論文集, 熊本城ホール，2023/6/6-9.
依存型意味論を用いた日本語連体節のテンス解釈
松岡大樹, 戸次大介, 谷中瞳, (2023)
第37回人工知能学会全国大会論文集, 熊本城ホール，2023/6/6-9.
言語学的に妥当な CCG ツリーバンク構築の試み
富田朝, 谷中瞳, 戸次大介, (2023)
第37回人工知能学会全国大会論文集, 熊本城ホール，2023/6/6-9.
Neural DTSに対する型検査アルゴリズムを用いた推論手続きに向けて
飯沼瑞稀, 高橋優太, 田上青空, 戸次大介, (2023)
第37回人工知能学会全国大会論文集, 熊本城ホール，2023/6/6-9.doi
テ形従属節の用法判定のための用法分類アノテーション
野口咲帆, 田中リベカ, 戸次大介, (2023)
第37回人工知能学会全国大会論文集, 熊本城ホール，2023/6/6-9.doi
依存型意味論の未指定型による照応解析の試み
小斉平ひな, 高橋優太, 戸次大介, (2023)
第37回人工知能学会全国大会論文集, 熊本城ホール，2023/6/6-9.doi
病名知識の公理補完を用いた症例テキスト間の論理推論
村上夏輝, 石田真捺, 高橋優太, 谷中瞳, 戸次大介, (2023)
第37回人工知能学会全国大会論文集, 2L5-GS-3-05, 熊本城ホール，2023/6/6-9.doi
日本語CCGBankは言語学的に妥当か
戸次大介, 谷中瞳, (2023)
言語処理学会第29回年次大会, D12-2, 沖縄コンベンションセンター, 2023/3/13-17.
Recurrent Neural Network CCG 構文解析器の実装
田上青空, 戸次大介, (2023)
言語処理学会第29回年次大会, C1-2, 沖縄コンベンションセンター, 2023/3/13-17.
汎用言語モデルにおける日本語数量表現の扱いについての調査
小谷野華那, 谷中瞳, 峯島宏次, 戸次大介, (2023)
言語処理学会第29回年次大会, D1-4, 沖縄コンベンションセンター, 2023/3/13-17.
症例テキスト間の論理推論における病名知識補完の試み
村上夏輝, 石田真捺, 谷中瞳, 戸次大介, (2023)
言語処理学会第29回年次大会, B6-3, 沖縄コンベンションセンター, 2023/3/13-17.
証明支援系Coqを用いた依存型意味論の照応解析と推論の実装の試み
小斉平ひな, 高橋優太, 戸次大介, (2023)
言語処理学会第29回年次大会, D12-4, 沖縄コンベンションセンター, 2023/3/13-17.
Neural DTSに対する型検査アルゴリズムの実装の試み
飯沼瑞稀, 高橋優太, 田上青空, 戸次大介, (2023)
言語処理学会第29回年次大会, C9-3, 沖縄コンベンションセンター, 2023/3/13-17.
日本語CCGBankは言語学的に妥当か
戸次大介, 谷中瞳, (2023)
NLP2023 Workshop on Japanese Language Resources (JLR2023)（日本語言語資源の構築と利用性の向上），言語処理学会第29回年次大会併設ワークショップ, 沖縄コンベンションセンター, 2023/3/17.
言語学的に妥当なCCGツリーバンク構築に向けて
富田朝, 谷中瞳, 戸次大介, (2023)
NLP2023 Workshop on Japanese Language Resources (JLR2023)（日本語言語資源の構築と利用性の向上），言語処理学会第29回年次大会併設ワークショップ, 沖縄コンベンションセンター, 2023/3/17.
日本語症例テキストの複合語解析と論理推論
石田真捺, 谷中瞳, 戸次大介, (2022)
第36回人工知能学会全国大会論文集, 国立京都国際会館，2022/6/14-17.
供述調書に現れる数量表現の推論テストセットの構築
小谷野華那, 谷中瞳, 峯島宏次, 福田浩司, 橋爪宏典, 戸次大介, (2022)
言語処理学会第28回年次大会, アクトシティ浜松コングレスセンター／オンライン, F6-3, 2022/3/14-18.
仕様書の条件文における状態遷移関係の抽出方法
大西舞子, 井浩也, 小形真平, 岡野浩三, 戸次大介, (2021)
研究報告ソフトウェア工学（SE）, 2021-SE-208 (8), pp.1-6.
日本語形態素解析器の知識蒸留
田上青空, 戸次大介, (2021)
第34回人工知能学会全国大会論文集, 4J1GS6d02, オンライン，2021/6/8-11.doi
Yesodによる日本語CCGパーザ開発環境の構築
石嶋美咲, 戸次大介, (2021)
第34回人工知能学会全国大会論文集, 4J1GS6d01, オンライン，2021/6/8-11.doi
論理推論による症例検索に向けた日本語症例テキストの複合語解析の試案
石田真捺, 谷中瞳, 馬目華奈, 戸次大介, (2021)
第34回人工知能学会全国大会論文集, 4J3GS6f05, オンライン，2021/6/8-11.doi pdf
実テキストにおける数量表現の含意関係認識に向けて
小谷野華那, 鈴木莉子, 春田和泉, 谷中瞳, 戸次大介, (2021)
第34回人工知能学会全国大会論文集, 4J2GS6e02, オンライン，2021/6/8-11.doi
マルチモーダル推論のための動画アクションデータセットの構築
横関茉衣, 村上夏輝, 鈴木莉子, 谷中瞳, 峯島宏次, 戸次大介, (2021)
第34回人工知能学会全国大会論文集, オンライン，2021/6/8-11.
DTSの部分体系のための定理自動証明器の実装に向けて
大洞日音, 戸次大介, (2021)
言語処理学会第27回年次大会, 北九州国際会議場／オンライン, 2021/3/15-19.
CCGと自動定理証明による比較表現の計算意味論
春田和泉, 峯島宏次, 戸次大介, (2020)
人工知能学会第34回年次大会, オンライン開催, 2020/6/9-12.
CCGと定理証明器による自然言語の時間関係認識
大西舞子, 谷中瞳, 峯島宏次, 戸次大介, (2020)
人工知能学会第34回年次大会, オンライン開催, 2020/6/9-12.
ニューラルネットは自然言語推論の体系性を学習するか
谷中瞳, 峯島宏次, 戸次大介, 乾健太郎, (2020)
言語処理学会第26回年次大会, 茨城大学, 2020/3/16-19.
汎用言語モデルBERTを用いた多言語テキストにおける意味現象タグ予測
伊藤美賀, 佐藤七海, 田上青空, 谷中瞳, 峯島宏次, 戸次大介, (2020)
言語処理学会第26回年次大会, 茨城大学, 2020/3/16-19. pdf
CCGとCoqを用いた日本語マルチモーダル推論システムの構築
秋山雛乃, 石嶋美咲, 石田真捺, 高野紗輝, 鈴木莉子, 谷中瞳, 峯島宏次, 戸次大介, (2020)
言語処理学会第26回年次大会, 茨城大学, 2020/3/16-19. pdf
マルチモーダル推論評価のための日本語データセットの試案
飯野早貴, 石田真捺, 小谷野華那, 松本留奈, 鈴木莉子, 谷中瞳, 峯島宏次, 戸次大介, (2020)
言語処理学会第26回年次大会, 茨城大学, 2020/3/16-19. pdf
クラウドソーシングによる単調推論データセットの構築
谷中瞳, 戸次大介, 峯島宏次, 関根聡, 乾健太郎, (2019)
第33回人工知能学会全国大会論文集, 2L3-J-9-02, 朱鷺メッセ新潟コンベンションセンター，2019/6/4-7.doi
テキスト情報と画像情報を組み合わせた論理推論システムの構築
鈴木莉子, 吉川将司, 谷中瞳, 峯島宏次, 戸次大介, (2019)
第33回人工知能学会全国大会論文集, 2L1-J-9-03, 朱鷺メッセ新潟コンベンションセンター，2019/6/4-7.（全国大会優秀賞（口頭発表部門）受賞）doi
係り受け木を用いたツリーバンク自動生成によるCCG解析分野適応
吉川将司, 能地宏, 峯島宏次, 戸次大介, (2019)
言語処理学会第25回年次大会発表論文集, F2-2, 名古屋大学, 2019.
ニューラル自然言語推論に向けたMonotonicityに基づく含意関係認識データセット自動構築
谷中瞳, 峯島宏次, 戸次大介, 関根聡, 乾健太郎, Abzianidze,Lasha, Bos,Johan, (2019)
言語処理学会第25回年次大会発表論文集, D6-5, 名古屋大学, 2019.
CCGと定理証明器を用いた画像情報の意味表現と推論の試み
鈴木莉子, 谷中瞳, 峯島宏次, 戸次大介, (2019)
言語処理学会第25回年次大会発表論文集, D6-2, 名古屋大学, 2019.
比較表現の意味解析と含意関係認識
春田和泉, 峯島宏次, 戸次大介, (2019)
言語処理学会第25回年次大会発表論文集, D6-3, 名古屋大学, 2019.
CCGに基づく時間解析の実装に向けて
大西舞子, 峯島宏次, 戸次大介, (2019)
言語処理学会第25回年次大会発表論文集, D6-1, 名古屋大学, 2019.
意味解析システムccg2lambdaによる金融ドキュメント処理
外園康智, 長谷川貴博, 渡邉知樹, 馬目華奈, 簗有紀子, 谷中瞳, 田中リベカ, Martinez-Gomez,Pascual, 峯島宏次, 戸次大介, (2018)
人工知能学会第32回全国大会, 3G1-05, 2018/6/7. pdf
自然演繹に基づく文間の含意関係の証明を用いたフレーズアライメントの試み
谷中瞳, 峯島宏次, Martinez-Gomez,Pascual, 戸次大介, (2018)
言語処理学会第24回年次大会発表論文集, E5-3, 2018.
知識ベース補完を用いた高階論理推論のための自動公理生成
吉川将司, 峯島宏次, 能地宏, 戸次大介, (2018)
言語処理学会第24回年次大会発表論文集, E1-6, 2018.
RNN系列変換モデルを用いた高階論理式からの文生成
馬目華奈, 谷中瞳, 吉川将司, 峯島宏次, 戸次大介, (2018)
言語処理学会第24回年次大会発表論文集, A3-3, 2018.
「NP1のNP2」の意味情報のアノテーション
鈴木莉子, 高山沙也加, 北川舞, 田中リベカ, 峯島宏次, 戸次大介, (2018)
言語処理学会第24回年次大会発表論文集, C3-2, 2018.
含意関係認識による金融ドキュメントチェックへの取り組み
馬目華奈, 外園康智, 長谷川貴博, 小西優祐, 渡邉知樹, 簗有紀子, 谷中瞳, 田中リベカ, 峯島宏次, 戸次大介, (2018)
言語処理学会第24回年次大会発表論文集, A6-5, 2018.
意味論の証明論的転回
戸次大介, 峯島宏次, 金子貴美, 田中リベカ, 谷中瞳, 木下恵梨子, 伊藤友里菜, 簗有紀子, (2017)
第31回人工知能学会全国大会論文集, 2B3-OS-07a-4, ウインクあいち, 2017/5/23-26.
単語の分散表現と仮説推論を用いた文の類似度学習
谷中瞳, 峯島宏次, Martinez-Gomez,Pascual, 戸次大介, (2017)
第31回人工知能学会全国大会論文集, 2B3-OS-07a-3, ウインクあいち, 2017/5/23-26.
談話表示理論と依存型意味論における上書き問題
簗有紀子, 峯島宏次, 戸次大介, (2017)
言語処理学会第23回年次大会（筑波大学）発表論文集, D1-2, 62-65, 2017.
前提と慣習的含みに対する投射現象の分析
伊藤友里菜, 峯島宏次, 戸次大介, (2017)
言語処理学会第23回年次大会（筑波大学）発表論文集, D1-3, 66-69, 2017.
論理式による意味表現と証明プロセスに着目した文の類似度学習方法の提案
谷中瞳, 峯島宏次, Martinez-Gomez,Pascual, 戸次大介, (2017)
言語処理学会第23回年次大会（筑波大学）発表論文集, B4-1, 378-381, 2017.
依存型意味論による複数照応の分析
田中リベカ, 峯島宏次, 戸次大介, (2016)
第30回人工知能学会全国大会論文集, 北九州国際会議場, 2016/6/6-6/9.
依存型意味論による時間に関する照応現象の記述に向けて
宇津木舞香, 戸次大介, (2016)
第30回人工知能学会全国大会論文集, 北九州国際会議場, 2016/6/6-6/9.
依存型意味論における型チェックの実装の試み
佐藤未歩, 戸次大介, (2016)
第30回人工知能学会全国大会論文集, 北九州国際会議場, 2016/6/6-6/9.
依存型意味論と形式オントロジーによる述語の選択制約の分析
木下恵理子, 峯島宏次, 戸次大介, (2016)
第30回人工知能学会全国大会論文集, 北九州国際会議場, 2016/6/6-6/9.
機能語の意味を表現する推論テストセット－JSeMとりたて助詞テストの構築－
川添愛, 田中リベカ, 峯島宏次, 戸次大介, (2016)
言語処理学会第22回年次大会発表論文集, B5-3, 東北大学, 2016/3/7-11.
日本語CCGパーザに基づく意味解析・推論システムの提案
田中リベカ, 峯島宏次, Martinez-Gomez,Pascual, 宮尾祐介, 戸次大介, (2016)
言語処理学会第22回年次大会発表論文集, D4-2, 東北大学, 2016/3/7-11.
依存型意味論のための型チェックの実装に向けて
佐藤未歩, 戸次大介, (2016)
言語処理学会第22回年次大会発表論文集, D4-3, 東北大学, 2016/3/7-11.
依存型意味論とオントロジーを用いた論理的多義とコアーション現象の分析に向けて
木下恵梨子, 中村絢子, 戸次大介, (2016)
言語処理学会第22回年次大会発表論文集, D2-4, 東北大学, 2016/3/7-11.
MCNコーパスにおける条件節のアノテーションに向けて
宇佐見文梨, 大町麗奈, 松本晴香, 吉久怜子, 田中リベカ, 戸次大介, (2016)
言語処理学会第22回年次大会発表論文集, C2-1, 東北大学, 2016/3/7-11.
形式意味論に基づく含意関係テストセット構築の方法論
川添愛, 田中リベカ, 峯島宏次, 戸次大介, (2015)
第29回人工知能学会全国大会論文集, はこだて未来大学, 2015/5/30-6/2.pdf
依存型意味論における叙実動詞の意味記述の試み
田中リベカ, 峯島宏次, 戸次大介, (2015)
第29回人工知能学会全国大会論文集, はこだて未来大学, 2015/5/30-6/2.pdf
依存型意味論による日本語のテンス・アスペクトの分析に向けて
宇津木舞香, 戸次大介, (2015)
第29回人工知能学会全国大会論文集, はこだて未来大学, 2015/5/30-6/2.pdf
依存型意味論による照応・前提計算の実装に向けて
佐藤未歩, 戸次大介, (2015)
第29回人工知能学会全国大会論文集, はこだて未来大学, 2015/5/30-6/2.pdf
オントロジーを用いた型理論的な語彙意味論の試み
中村絢子, 峯島宏次, 戸次大介, (2015)
第29回人工知能学会全国大会論文集, 2M1-2, はこだて未来大学, 2015/5/30-6/2.pdf
日本語意味論テストセットの構築
川添愛, 田中リベカ, 峯島宏次, 戸次大介, (2015)
言語処理学会第21回年次大会発表論文集, E4-1, 京都大学, 2015/3/16-21.pdf
形式意味論に基づく出来事間関係認識に向けて－リソース構築の展望とテンス「タ」のアノテーション－
宇津木舞香, 稲田和明, 金子貴美, 戸次大介, 乾健太郎, (2015)
言語処理学会第21回年次大会発表論文集, B7-3, 京都大学, 2015/3/16-21.pdf
依存型意味論における型推論の定式化と実装
佐藤未歩, 戸次大介, (2015)
言語処理学会第21回年次大会発表論文集, C3-3, 京都大学, 2015/3/16-21.pdf
CCGとDTSによる日本語の敬語表現の分析
渡辺成美, 戸次大介, (2015)
言語処理学会第21回年次大会発表論文集, C3-2, 京都大学, 2015/3/16-21.pdf
オントロジーを用いた自然言語の推論に向けて
中村絢子, 峯島宏次, 戸次大介, (2015)
言語処理学会第21回年次大会発表論文集, D1-2, 京都大学, 2015/3/16-21.pdf
MCNコーパスにおける条件表現「たら」「れば」「ならば」のアノテーション
飯島采永, 佐藤果穂, 田中リベカ, 戸次大介, (2015)
第７回コーパス日本語学ワークショップ予稿集, pp.79-88, 国立国語学研究所, 2015/3/10.
限定継続によるフォーカスと逆スコープの分析
叢悠悠, 浅井健一, 戸次大介, (2014)
第28回人工知能学会全国大会論文集(CD-ROM), 2I4-OS-08a-3, ひめぎんホール（愛媛県県民文化会館）, 2014/5/12-15.pdf
依存型意味論におけるmodal subordinationの記述の試み
田中リベカ, 戸次大介, (2014)
第28回人工知能学会全国大会論文集(CD-ROM), 2I4-OS-08a-1, ひめぎんホール（愛媛県県民文化会館）, 2014/5/12-15.pdf
範疇文法による日本語の敬語表現の分析
渡辺成美, 戸次大介, (2014)
第28回人工知能学会全国大会論文集(CD-ROM), 2I4-OS-08a-2, ひめぎんホール（愛媛県県民文化会館）, 2014/5/12-15.pdf
組み合わせ範疇文法 (CCG) による日本語の敬語表現の分析に向けて
渡辺成美, 戸次大介, (2014)
言語処理学会第20回年次大会発表論文集(CD-ROM), B3-4, 北海道大学, 2014/3/19.pdf
MCNコーパスにおける形式名詞「はず」「わけ」「つもり」のアノテーション
宇津木舞香, 佐藤未歩, 青木花純, 田中リベカ, 川添愛, 戸次大介, (2014)
言語処理学会第20回年次大会発表論文集(CD-ROM), B7-1, 北海道大学, 2014/3/20.pdf
MCNコーパス：「ノダ」にみるガイドライン作成の手法
田中リベカ, 川添愛, 戸次大介, (2014)
言語処理学会第20回年次大会発表論文集(CD-ROM), B7-2, 北海道大学, 2014/3/20.pdf
SDRT に基づく因果関係認識日本語評価データ構築手法の提案
金子貴美, 戸次大介, (2014)
言語処理学会第20回年次大会発表論文集(CD-ROM), B7-4, 北海道大学, 2014/3/20.pdf
限定継続を用いた inverse scope の分析と実装
叢悠悠, 浅井健一, 戸次大介, (2014)
言語処理学会第20回年次大会発表論文集(CD-ROM), E7-2, 北海道大学, 2014/3/20.pdf
依存型意味論を用いた日本語含意関係コーパスの分析に向けて
中村絢子, 金子貴美, 戸次大介, (2014)
言語処理学会第20回年次大会発表論文集(CD-ROM), D5-4, 北海道大学, 2014/3/20.pdf
SDRTに基づく談話関係アノテーションの試み
金子貴美, 戸次大介, (2013)
第214回自然言語処理研究会, 屋久島環境文化村センター, 2013/11/14-15.pdf
組み合わせ範疇文法(CCG)による日本語の敬語表現の分析に向けて
渡辺成美, 戸次大介, (2013)
第214回自然言語処理研究会, 屋久島環境文化村センター, 2013/11/14-15.pdf
限定継続を用いたフォーカスの分析と実装に向けて
叢悠悠, 浅井健一, 戸次大介, (2013)
第214回自然言語処理研究会, 屋久島環境文化村センター, 2013/11/14-15.pdf
基本文関係に分解した日本語含意関係認識アノテーション
金子貴美, 戸次大介, 宮尾祐介, (2013)
第27回人工知能学会全国大会論文集(CD-ROM), 4B1-5, 富山国際会議場, 2013/6/7.pdf
CCGパーザを用いた未知語の統語範疇自動推定
田中リベカ, 宮尾祐介, 戸次大介, (2013)
第27回人工知能学会全国大会論文集(CD-ROM), 4B1-6, 富山国際会議場, 2013/6/7.pdf
部分型理論による概念表記の展望
中野悠紀, 戸次大介, (2013)
第27回人工知能学会全国大会論文集(CD-ROM), 2D5-OS-03b-1, 富山国際会議場, 2013/6/5.pdf
条件文解析のための一階述語条件論理と近傍層意味論
山本華子, 戸次大介, (2013)
第27回人工知能学会全国大会論文集(CD-ROM), 2D5-OS-03b-2, 富山国際会議場, 2013/6/5.pdf
基本文関係に分解した含意関係認識日本語評価データの構築
金子貴美, 宮尾祐介, 戸次大介, (2013)
言語処理学会第19回年次大会発表論文集(CD-ROM), B6-3, 2013/3/15, 名古屋大学.pdf
MCNコーパス：ガイドライン設計とその運用
田中リベカ, 戸次大介, 川添愛, (2013)
言語処理学会第19回年次大会発表論文集(CD-ROM), X1-5, 2013/3/13, 名古屋大学.pdf
正規化制約を用いたCCG構文解析とその実装
尾崎博子, 戸次大介, (2013)
言語処理学会第19回年次大会発表論文集(CD-ROM), D1-2, 2013/3/13, 名古屋大学.pdf
複合機能表現「という」の分類にみるMCNコーパスの方法論と検証
叢悠悠, 田中リベカ, 中村絢子, 酒向美帆, 佐宗智子, 清水蘭, 劉月晴, 川添愛, 戸次大介, (2013)
第３回コーパス日本語学ワークショップ論文集, 国立国語学研究所, 2013/2/28-3/1.
MCNコーパス：言語学的テストに基づくモダリティ・アノテーションの理論と実証
田中リベカ, 川添愛, 戸次大介, (2012)
第２回コーパス日本語学ワークショップ論文集, 国立国語学研究所, 2012/9/6-7.
量化動的論理による組み合わせ範疇文法の意味表示の記述とその実装に向けて
石下裕里, 戸次大介, (2012)
人工知能学会第26会全国大会論文集(CD-ROM), 2E1-R-1-5, 山口県教育会館, 2012/6/12.pdf
高階依存型理論を用いた自然言語の意味論構築に向けて
中野悠紀, 戸次大介, (2012)
人工知能学会第26会全国大会論文集(CD-ROM), 4K1-OS-2-2, 山口県教育会館, 2012/6/15. pdf
言語的テストに基づく意味アノテーションのガイドライン設計－確実性判断に関わる表現を中心に－
田中リベカ, 小池恵里子, 戸次大介, 川添愛, (2012)
言語処理学会第18回年次大会発表論文集, pp.401-404, 2012/3/14, 広島市立大学.pdf
部分方向性組み合わせ論理の計算論的性質
尾崎博子, 戸次大介, (2011)
人工知能学会第25会全国大会, オーガナイズト・セッション「意味と理解のコンピューティング」, 3H2-OS3-1, 2011/6/3, 盛岡.pdf
前提記述のための動的論理の証明論構築に向けて
石下裕里, 戸次大介, (2011)
人工知能学会第25会全国大会, オーガナイズト・セッション「意味と理解のコンピューティング」, 3H2-OS3-2, 2011/6/3, 盛岡.pdf
条件論理Cbとそのタブローシステム
尾崎有梨, 戸次大介, (2011)
人工知能学会第25会全国大会, オーガナイズト・セッション「意味と理解のコンピューティング」, 3H2-OS3-3, 2011/6/3, 盛岡.pdf
様相・条件・否定表現の言語学的分析に基づく確実性判断のためのアノテーション済みコーパスの構築
川添愛, 齊藤学, 片岡喜代子, 崔栄殊, 戸次大介, (2011)
言語処理学会第17回年次大会発表論文集，pp.143-146.（大会優秀発表賞）pdf
「小耳に挟む」－接辞繰り上げ分析と型繰り上げ分析－
戸次大介, (2010)
日本言語学会第140回大会予稿集, pp.140-145, 筑波大学. (2010/08/02修正)pdf
証明木作成プログラムを用いたCCG意味合成の実装
尾崎有梨, 櫻井加奈子, 浅井健一, 戸次大介, (2010)
人工知能学会第24会全国大会, オーガナイズト・セッション「意味と理解のコンピューティング」, 2G1-OS3-6pdf
様相・否定・条件表現の言語学的分析に基づく確実性アノテーションスキーマの設計
川添愛, 齊藤学, 片岡喜代子, 崔栄殊, 戸次大介, (2010)
人工知能学会第24会全国大会論文集, 2C3-2pdf
証明木作成プログラムを用いたCCG統語導出の実装
尾崎有梨, 櫻井加奈子, 浅井健一, 戸次大介, (2010)
言語処理学会第16回年次大会発表論文集, pp.334-336, 東京大学pdf
CCG による日本語文法記述の進捗と展望－活用体系・統語構造・意味合成－
戸次大介, (2010)
言語処理学会第16回年次大会発表論文集, pp.1078-1081, 東京大学pdf
確実性判断に関わる意味的文脈アノテーションの試み
川添愛, 齊藤学, 片岡喜代子, 戸次大介, (2009)
情報処理学会研究報告書, 2009-FI-93, 2009-NL-189, pp. 77-84.pdf
日本語における前提概念の同定
戸次大介, (2008)
日本言語学会第135回大会予稿集, pp.366-371, 学習院大学.
日本語用言の階層性と連接性：CCGによる分析
戸次大介, (2008)
言語処理学会第14回年次大会発表論文集, pp.1132-1135, 東京大学pdf
敬語の意味論
戸次大介, 川添愛, 片岡喜代子, 齊藤学, (2008)
言語処理学会第14回年次大会発表論文集, pp.681-684, 東京大学pdf
南の従属節再考
戸次大介, (2007)
日本言語学会第134回大会予稿集, pp.306-311, 麗澤大学pdf
日本語の叙実的従属節導入表現における前提と話者の知識状態
戸次大介, 川添愛, 片岡喜代子, 齊藤学, (2007)
言語処理学会第13回年次大会発表論文集. pp.322-325. 龍谷大学pdf
日本語CCGの語彙項目獲得
小嶋大起, 戸次大介, 宮尾祐介, 辻井潤一, (2006)
情報処理学会研究報告 2006-NL-176, pp.75-80, 鹿児島大学pdf
日本語における前提テストの再考
戸次大介, 川添愛, 片岡喜代子, 齊藤学, (2006)
電子情報通信学会技術研究報告 Vol.106 No.164 TL2006-7-13 [思考と言語], pp.1-8, 東京大学pdf
並行的解釈における要素間順序と文脈依存性
戸次大介, (2006)
日本言語学会第132回大会予稿集, pp.47-52, 東京大学pdf
等位接続構文の逆スコープ解釈
戸次大介, (2005)
日本言語学会第131回大会予稿集, pp.354-359, 広島大学pdf
頑健なHPSGパーザ出力からの型付き動的論理(TDL)による意味記述への変換手法
佐藤学, 戸次大介, 宮尾祐介, 辻井潤一, (2005)
第168回自然言語処理研究会pdf
等位接続構文の並行的解釈
戸次大介, 川添愛, (2005)
日本言語学会第130回大会予稿集, pp.236-241, 国際基督教大学pdf
型付き動的論理(TDL)による前提条件と照応の統一的分析
戸次大介, (2003)
第37回言語・音声理解と対話処理研究会資料 SIG-SLUD-A203, pp.7-13, 立教大学pdf
型付き動的論理(TDL)によるイベント量化の分析
戸次大介, (2003)
情報処理学会研究報告 2003-NL-154, pp.23-30, 徳島大学pdf
型付き動的論理(TDL)による日本語の量化・照応の分析
戸次大介, (2002)
情報処理学会研究報告 2002-NL-150, pp.69-76, 東北大学pdf

テクニカルレポート

言語情報の確実性に影響する表現およびそのスコープのためのアノテーションガイドラインVer.2.4
川添愛, 齊藤学, 片岡喜代子, 崔栄殊, 戸次大介, (2011)
Technical Report of　Department of Information Science, Ochanomizu University, OCHA-IS 10-4, March 8th, 2011.pdf
命題動的論理の証明システムとその健全性について
石下裕里, 戸次大介, (2011)
Tecnical Report of Department of Information Sciences, Ochanomizu University, OCHA-IS 10-3, February 7th, 2011.pdf
部分方向性組合せ論理の計算論的性質とその証明
尾崎博子, 戸次大介, (2011)
Technical Report of Department of Information Science, Ochanomizu University, OCHA-IS 10-2, February 7th, 2011.

口頭発表（抜粋）

組合せ範疇文法(CCG)入門
戸次大介, (2023)
言語学フェス2023, 2023/1/28.
言語理論の証明論的転回
戸次大介, (2022)
言語学フェス2022, 2022/1/29.
一般化量化子を含む自然論理に対する依存型意味論の完全性
中野悠紀, 戸次大介, (2014)
第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)ポスター発表, 阿蘇の司ビラパークホテル（熊本県）, 2014/3/5-7.
Neighborhood-Sheaf Semantics of First-Order Conditional Logic
山本華子, 戸次大介, (2013)
SLAGICS 2013: ALGI and SLACS join forces, 2013/9/24.
Neighborhood-sheafによる一階述語条件論理の意味論
山本華子, 戸次大介, (2013)
第15回プログラミングおよびプログラミング言語ワークショップ(PPL2013)ポスター発表, 東山温泉「御宿東鳳」（福島県会津若松）, 2013/3/4-6.
依存型意味論による前提理論の形式化
石下裕里, 戸次大介, (2013)
第15回プログラミングおよびプログラミング言語ワークショップ(PPL2013)ポスター発表, 東山温泉「御宿東鳳」（福島県会津若松）, 2013/3/4-6.
MCNコーパス：モダリティ関連表現の曖昧性解消のためのアノテーションと言語学的テストの利用
川添愛, 田中リベカ, 戸次大介, (2012)
テキストアノテーションワークショップ・コンテスト, 国立情報学研究所, 2012/8/6-7.
モナドによる自然言語の意味論
戸次大介, (2012)
応用哲学会2012年度研究大会ワークショップ「非古典論理による言語科学の新展開」（矢田部俊介,戸次大介,増子萌,中野悠紀）, 千葉大学, 2012/4/20-21
高階依存型理論を用いた自然言語の意味論構築に向けて
中野悠紀, 戸次大介, (2012)
第14回プログラミングおよびプログラミング言語ワークショップ(PPL2012)ポスター発表, 南紀白浜むさし（和歌山県）, 2012/3/8-10.
豊穣圏によるメタラムダ計算の意味論
増子萌, 戸次大介, (2012)
第14回プログラミングおよびプログラミング言語ワークショップ(PPL2012)ポスター発表, 南紀白浜むさし（和歌山県）, 2012/3/8-10.
組み合わせ範疇文法(CCG)と理論言語学における検証
戸次大介, (2011)
応用哲学会2011年度臨時研究大会ワークショップ「言語理論と反証可能性：範疇文法によるアプローチ」（矢田部俊介,戸次大介,峯島宏次）, 京都大学, 2011/9/25
組み合わせ範疇文法(CCG)入門
戸次大介, (2011)
言語学と言語哲学研究会, 東京大学, 2011/9/2
前提記述のための動的論理の証明論構築に向けて
石下裕里, 戸次大介, (2011)
第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)ポスター発表, 定山渓ビューホテル（北海道）, 2011/3/9-11.
部分方向性組合せ論理の計算論的性質
尾崎博子, 戸次大介, (2011)
第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)ポスター発表, 定山渓ビューホテル（北海道）, 2011/3/9-11.
組合せ範疇文法(CCG)と部分構造論理
戸次大介, (2010)
「範疇文法と証明論」シンポジウム, お茶の水女子大学, 2010/12/23.

メディア

進化する自然言語処理
吉川和輝, 戸次大介（協力）, (2020)
日経サイエンス2021年2月号「特集：AIに言葉の意味はわかるか」特集記事「進化する自然言語処理」，pp.53-58．（2020年12月25日発売）
さきがけ研究成果ビデオ「プログラミング言語としての自然言語－推論システムと人間の思考－」
戸次大介, (2003)
2003年，日本科学未来館1Fにおいて上映．現在は，科学技術振興機構のWebページ「「情報と知」研究領域第四期 (2000-2003）タイトル：知の世界を創る」において配信中． URL