Bekki Laboratory

Site Map: NLP Resources: SNS: Conferences/Workshops: Links: Books:
「数理論理学」
戸次大介著
東京大学出版会
定価(税込)：￥3,150 (320頁)
第2刷正誤表
「日本語文法の形式理論
－活用体系・統語構造・意味合成－」
戸次大介著
くろしお出版, 日本語研究叢書２４
定価(税込)：￥4,410 (356頁)
Publications in English
Reviewed papers
Edited books
Invited talks and course lectures
Reviewed conference talks
Other Papers and essays
Publications in Japanese
Books
Reviewed papers
Tutorial papers
Invited talks
Conference papers w/o review
Technical reports
Other presentations
Media
Publications in English
Reviewed Papers
  • The proviso problem from a proof-theoretic perspective
    Yana,Yukiko; Mineshima,Koji; Bekki,Daisuke; (2021).
    To appear in Proceedings of Logical Aspects of Computational Linguistics 2021.

  • A Proof-theoretic Analysis of Weak Crossover
    Bekki,Daisuke; (2021).
    To appear in Proceedings of the 18th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS18).

  • Compositional Semantics for Multiword Expression in Medical Case Retrieval
    Ishida,Mana; Yanaka,Hitomi; Bekki,Daisuke; (2021).
    To appear in Proceedings of the 18th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS18).

  • 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), to appear, Groningen, Netherlands.

  • 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.

  • 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, Cham[doi][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, Springer[doi][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, Springer[doi][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 press[pdf]

  • 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
  • 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, Springer[doi][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, Springer[doi][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, Springer[doi][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
  • 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
  • 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
  • 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 Amsterdam[pdf]

  • 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]

学術論文（査読有り）
  • 自然演繹に基づく論理推論の文間類似度学習・含意関係認識への応用
    谷中瞳, 峯島宏次, 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.

招待講演
  • 理論言語学と深層学習のハイブリッドアプローチによる自然言語推論
    戸次大介, (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.

学術論文（査読無し）
  • 言語で説明できるAIシステムへの道のり
    乾健太郎, 戸次大介, 黒橋禎夫, 久木田水生, (2021).
    自然言語処理,2021年9月号．

  • 仕様書の条件文における状態遷移関係の抽出方法
    大西舞子, 井　浩也, 小形真平, 岡野浩三, 戸次大介, (2021).
    ソフトウェアサイエンス研究会（SS）, マリオス（岩手県盛岡市），2021/7/8-10.

  • 日本語形態素解析器の知識蒸留
    田上青空, 戸次大介, (2021).
    第34回人工知能学会全国大会論文集, オンライン，2021/6/8-11.

  • Yesodによる日本語CCGパーザ開発環境の構築
    石嶋美咲, 戸次大介, (2021).
    第34回人工知能学会全国大会論文集, オンライン，2021/6/8-11.

  • 論理推論による症例検索に向けた日本語症例テキストの複合語解析の試案
    石田真捺, 谷中瞳, 馬目華奈, 戸次大介, (2021).
    第34回人工知能学会全国大会論文集, オンライン，2021/6/8-11.[doi][pdf]

  • 実テキストにおける数量表現の含意関係認識に向けて
    小谷野華那, 鈴木莉子, 春田和泉, 谷中瞳, 戸次大介, (2021).
    第34回人工知能学会全国大会論文集, オンライン，2021/6/8-11.

  • マルチモーダル推論のための動画アクションデータセットの構築
    横関茉衣, 村上夏輝, 鈴木莉子, 谷中瞳, 峯島宏次, 戸次大介, (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.

  • CCGとCoqを用いた日本語マルチモーダル推論システムの構築
    秋山雛乃, 石嶋美咲, 石田真捺, 高野紗輝, 鈴木莉子, 谷中瞳, 峯島宏次, 戸次大介, (2020).
    言語処理学会第26回年次大会, 茨城大学, 2020/3/16-19.

  • マルチモーダル推論評価のための日本語データセットの試案
    飯野早貴, 石田真捺, 小谷野華那, 松本留奈, 鈴木莉子, 谷中瞳, 峯島宏次, 戸次大介, (2020).
    言語処理学会第26回年次大会, 茨城大学, 2020/3/16-19.

  • クラウドソーシングによる単調推論データセットの構築
    谷中瞳, 戸次大介, 峯島宏次, 関根聡, 乾健太郎, (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-6[pdf]

  • 様相・否定・条件表現の言語学的分析に基づく確実性アノテーションスキーマの設計
    川添愛, 齊藤学, 片岡喜代子, 崔栄殊, 戸次大介, (2010).
    人工知能学会第24会全国大会論文集, 2C3-2[pdf]

  • 証明木作成プログラムを用いた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.

口頭発表（抜粋）
  • 一般化量化子を含む自然論理に対する依存型意味論の完全性
    中野悠紀, 戸次大介, (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]