Site Map: SNS Conferences/Workshops: Links: 著書
「数理論理学」
戸次大介著
東京大学出版会
定価(税込):¥3,150 (320頁)
第2刷正誤表
「日本語文法の形式理論
-活用体系・統語構造・意味合成-」
戸次大介著
くろしお出版, 日本語研究叢書24
定価(税込):¥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 without review
Technical reports
Talks
Media
Publications in English
Reviewed Papers
  • Factivity and Presupposition in Dependent Type Semantics
    Tanaka, Ribeka; Mineshima, Koji; Bekki, Daisuke; (2017).
    Journal of Language Modelling, to appear.

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

  • 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: 10.1007/978-3-319-50422-3)

  • Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts
    Kimi Kaneko; Saku Sugawara; Koji Mineshima; Daisuke Bekki; (2016).
    In Proceedings of the 12th Workshop on Asian Language Resources (ALR12), pp.10-19, Coling2016 Workshop, Osaka, Japan, December 12.

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

  • On the interpretation of dependent plural anaphora in a dependently-typed setting
    Ribeka Tanaka; Koji Mineshima; 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
    Eriko Kinoshita; Koji Mineshima; 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.

  • ccg2lambda: A Compositional Semantics System
    Martinez-Gomez, Pascual; Mineshima, Koji; Miyao, Yusuke; Bekki, Daisuke; (2016).
    In Proceedings of the 54st Annual Meeting of the Association for Computational Linguistics (ACL2016), System Demonstrations, pp.85-90, August 7-12, Berlin, Germany. [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.

  • 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.  [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 Proceedings of TYpe Theory and LExical Semantics (TYTLES) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), Barcelona, Spain. [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.

  • 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).
    To appear 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: 10.1007/978-3-662-48119-6_3)  [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: 10.1007/978-3-662-48119-6_7)  [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: 10.1007/978-94-017-8813-7)  [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: 10.1007/978-3-662-43742-1_2)  [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: 10.1007/978-3-319-10061-6_8)  [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: 10.1007/978-3-319-10061-6_11)  [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. [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: 10.1007/978-3-642-39931-2_2)  [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: 10.1007/978-3-642-39931-2_4)  [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: 10.1007/978-3-642-32090-3_6)  [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: 10.1007/978-3-642-31262-5_13)  [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: 10.1007/978-3-642-31262-5_5)  [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: 10.1007/978-3-642-25655-4_3)  [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: 10.1007/978-3-642-22221-4_13)  [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: 10.1007/978-3-642-14888-0_16)  [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: 10.1007/978-3-642-00609-8_17)  [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
    Manabu, Sato; Daisuke, Bekki; Yusuke, Miyao; Jun'ichi, Tsujii; (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: 10.1007/978-3-662-48119-6)  [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: 10.1007/978-3-319-10061-6)  [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: 10.1007/978-3-642-39931-2)  [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: 10.1007/978-3-642-32090-3)  [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: 10.1007/978-3-642-25655-4)  [bookstore]

Reviewed Conference Talks
  • 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
  • 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
  • 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
    Daisuke Bekki; (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: 10.1007/978-3-642-14888-0_15)  [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]

学術論文(査読有り)
  • 命題の確実度に合わせた韓国語の認識的推量表現の下位分類
    崔栄殊; 齊藤学; 戸次大介; 片岡喜代子; 川添愛; (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]

解説・総説
  • 人工知能学事典
    戸次大介; (2017).
    (「形式意味論」の項目), 人工知能学会.

  • 合理主義言語学における部分構造論理
    戸次大介; (2012).
    人工知能学会誌, 27巻3号(2012年5月), 特集「ポスト経験主義の言語処理」, pp.304-309.

  • 日本語学大事典
    戸次大介; (fothcoming).
    (「句構造文法」の項目), 日本語学会編, 東京堂出版

招待講演
  • 依存型意味論による自然言語の証明論的意味論
    戸次大介; (2017).
    東海意味論研究会, 名古屋学院大学, 2017/2/18

  • 依存型理論による自然言語の意味論入門
    戸次大介; (2014).
    招待講演,第94回九州大学言語学研究会, 九州大学, 2014/10/31.

  • 形式意味論の考え方とその変遷
    戸次大介; (2011).
    言語処理学会第17回年次大会(NLP2011)チュートリアル, 豊橋技術科学大学, 2011/3/7.

  • 型付きラムダ計算による自然言語の動的意味論
    戸次大介; (2009).
    第23回人工知能学会全国大会オーガナイズドセッション「意味と理解のコンピューティング」招待講演, 2009/6/19. [pdf]

  • 自然言語の文法と推論の法則 - 動的論理による解明 -
    戸次大介; (2003).
    科学技術振興機構戦略的創造研究推進事業さきがけプログラム「情報と知」領域研究報告会, 東京国際フォーラム,2003/11/14.

学術論文(査読無し)
  • 意味論の証明論的転回
    戸次大介; 峯島宏次; 金子貴美; 田中リベカ; 谷中瞳; 木下恵梨子; 伊藤友里菜; 簗有紀子; (2017).
    第31回人工知能学会全国大会論文集, 2B3-OS-07a-4, ウインクあいち, 2017/5/23-26.

  • 単語の分散表現と仮説推論を用いた文の類似度学習
    谷中瞳; 峯島宏次; Pascual Martinez-Gomez; 戸次大介; (2017).
    第31回人工知能学会全国大会論文集, 2B3-OS-07a-3, ウインクあいち, 2017/5/23-26.

  • 談話表示理論と依存型意味論における上書き問題
    簗有紀子; 峯島宏次; 戸次大介; (2017).
    言語処理学会第23回年次大会(筑波大学)発表論文集, D1-2, 62-65, 2017.

  • 前提と慣習的含みに対する投射現象の分析
    伊藤友里菜; 峯島宏次; 戸次大介; (2017).
    言語処理学会第23回年次大会(筑波大学)発表論文集, D1-3, 66-69, 2017.

  • 論理式による意味表現と証明プロセスに着目した文の類似度学習方法の提案
    谷中瞳; 峯島宏次; Pascual Martinez-Gomez; 戸次大介; (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パーザに基づく意味解析・推論システムの提案
    田中リベカ; 峯島宏次; Pascual Martinez-Gomez; 宮尾祐介; 戸次大介; (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).
    第7回コーパス日本語学ワークショップ予稿集, 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).
    第3回コーパス日本語学ワークショップ論文集, 国立国語学研究所, 2013/2/28-3/1.

  • MCNコーパス:言語学的テストに基づくモダリティ・アノテーションの理論と実証
    田中リベカ; 川添愛; 戸次大介; (2012).
    第2回コーパス日本語学ワークショップ論文集, 国立国語学研究所, 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.

口頭発表(抜粋)
  • 依存型意味論入門
    戸次大介; ; (2015).
    第13回ICRセミナー: 動的意味論の最前線,筑波大学東京キャンパス, 2015/3/13.

  • 一般化量化子を含む自然論理に対する依存型意味論の完全性
    中野悠紀; 戸次大介; (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.

  • 数学と言語のあいだ:形式意味論入門
    戸次大介; (2010).
    第26回夏期数学講習会, お茶の水女子大学, 2010/7/31.

メディア
  • さきがけ研究成果ビデオ「プログラミング言語としての自然言語 - 推論システムと人間の思考 - 」
    戸次大介; (2003).
    2003年,日本科学未来館1Fにおいて上映.現在は,科学技術振興機構のWebページ「「情報と知」研究領域 第四期 (2000-2003)タイトル:知の世界を創る」において配信中.