SEARCH

Search Details

KANAZAWA Makoto
Faculty of Science and Engineering　Department of Advanced Sciences
Professor

Researcher information

■ Degree
  • Ph.D., Stanford University
■ Research Keyword
  • Mathematical Logic
  • Grammatical Inference
  • Semantics
  • Formal Language Theory
  • Mathematical Linguistics
■ Field Of Study
  • Informatics, Intelligent informatics, Computational Linguistics
  • Humanities & social sciences, Linguistics, Semantics
  • Natural sciences, Applied mathematics and statistics, Non-classical logic, proof theory
  • Natural sciences, Basic mathematics, Non-classical logic, proof theory
  • Informatics, Information theory, Formal Language Theory, Algorithmic Learning Theory, Typed Lambda Calculus

Career

■ Career
  • Apr. 2018 - Present
    Hosei University, Faculty of Science and Engineering Department of Advanced Sciences, Professor
  • Apr. 2004 - Mar. 2018
    National Institute of Informatics, Associate Professor
  • Apr. 2000 - Mar. 2004
    The University of Tokyo, Interfaculty Initiative in Information Studies Graduate School of Interdisciplinary Information Studies, Associate Professor
  • Jul. 1994 - Mar. 2000
    Chiba University, Faculty of Letters, Associate Professor

Research activity information

■ Paper
■ MISC
  • Grammatical Inference Preface
    Remi Eyraud; Colin de la Higuera; Makoto Kanazawa; Ryo Yoshinaka
    FUNDAMENTA INFORMATICAE, 2016
  • Review of Michael R. Brent, ed., Computational Approaches to Language Acquisition　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Journal of Logic, Language and Information, Jul. 2004
■ Books and other publications
  • JFAK: Essays Dedicated to Johan van Benthem on the Occasion of His 50th Birthday　　　　　　　　　　　　　　　
    Jelle Gerbrandy; Maarten Marx; Maarten de Rijke; Yde Venema; edito, Lambek calculus: Recognizing power and complexity
    Vossiuspers, Amsterdam University Press, CD-ROM, Aug. 1999
  • Learnable Classes of Categorial Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Stanford, California: CSLI Publications, Mar. 1998
  • Dynamics, Polarity, and Quantification　　　　　　　　　　　　　　　
    Makoto Kanazawa; Christopher Pinon; editors, Dynamic generalized quantifiers and monotonicity
    Stanford, California: CSLI Publications, Sep. 1994
■ Lectures, oral presentations, etc.
  • Learning context-free grammars from positive data and membership queries
    Makoto Kanazawa
    29th Workshop on Logic, Language, Information and Computation, 14 Jul. 2023, []
  • A Hierarchy of Context-Free Languages Learnable from Positive Data and Membership Queries
    Makoto Kanazawa
    ICGI 2020/2021, 23 Aug. 2021
  • What was wrong with the Chomsky hierarchy?　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The 25th International Conference on Head-Driven Phrase Structure Grammar, 30 Jun. 2018, []
  • The Strong, Weak, and Very Weak Finite Context and Kernel Properties　　　　　　　　　　　　　　　
    Makoto Kanazawa
    LATA 2017: Language and Automata Theory and Applications, 06 Mar. 2017
  • Ogden's lemma, multiple context-free grammars, and the control language hierarchy　　　　　　　　　　　　　　　
    Makoto Kanazawa
    10th International Conference on Language and Automata Theory and Applications, 16 Mar. 2016
  • 自然言語の文法とλ計算　　　　　　　　　　　　　　　
    金沢誠
    日本ソフトウェア科学会第32回大会, 11 Sep. 2015, []
  • Syntactic features for regular constraints and an approximation of directional slashes in abstract categorial grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Empirical Advances in Categorial Grammars (CG 2015), 13 Aug. 2015
  • Distributional learning and context/substructure enumerability in nonlinear tree grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The 20th Conference on Formal Grammar, 08 Aug. 2015
  • Distributional Learning of Formal Languages: A Logic-Based Approach　　　　　　　　　　　　　　　
    Makoto Kanazawa
    NLCS'15: Third Workshop on Natural Language and Computer Science, 05 Jul. 2015, []
  • Toward a Logic of Cumulative Quantification　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The 49th MLG meeting at Kaga, 06 Dec. 2014
  • A generalization of linear indexed grammars equivalent to simple context-free tree grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    FG-2014: The 19th Conference on Formal Grammar, 16 Aug. 2014
  • Toward a logic of cumulative quantification　　　　　　　　　　　　　　　
    Makoto Kanazawa; Junri Shimada
    Second Workshop on Natural Language and Computer Science, 17 Jul. 2014
  • Almost affine lambda terms　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Trends in Logic XIII, 04 Jun. 2014
  • Monadic quantifiers recognized by deterministic pushdown automata　　　　　　　　　　　　　　　
    Makoto Kanazawa
    19th Amsterdam Colloquium, 20 Dec. 2013
  • The string-meaning relations definable by Lambek grammars and context-free grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The 18th Conference on Formal Grammar, 11 Aug. 2013
  • MIX is not a tree-adjoining language　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The 50th Annual Meeting of the Association for Computational Linguistics, Jul. 2012
  • Generation as intersection and Datalog　　　　　　　　　　　　　　　
    Makoto Kanazawa
    ACG@10: Ten Years of Abstract Categorial Grammars, Dec. 2011
  • Pumping　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Second Workshop on Multiple Context-Free Grammars and Related Formalisms, Sep. 2011
  • Two subhierarchies inside the MCFLs　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Second Workshop on Multiple Context-Free Grammars and Related Formalisms, Sep. 2011
  • Multiple Context-Free Languages and Non-Duplicating Macro Languages
    Makoto Kanazawa
    Workshop on Multiple Context-Free Grammars and Related Formalisms, Oct. 2010
  • The Copying Power of Well-Nested Multiple Context-Free Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    LATA 2010: 4th International Conference on Language and Automata Theory and Applications, May 2010
  • Advances in Abstract Categorial Grammars: Language Theory and Linguistic Modeling　　　　　　　　　　　　　　　
    Makoto Kanazawa; Sylvain Pogodalla
    ESSLLI 2009, Jul. 2009
  • The Convergence of Well-Nested Mildly Context-Sensitive Grammar Formalisms　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The 14th Conference on Formal Grammar, Jul. 2009, []
  • Datalog as a Uniform Framework for Parsing and Generation　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Parsing with Categorial Grammars, ESSLLI 2009, Jul. 2009, []
  • The Pumping Lemma for Well-Nested Multiple Context-Free Languages　　　　　　　　　　　　　　　
    Makoto Kanazawa
    DLT 2009: 13th International Conference on Developments in Language Theory, Jul. 2009
  • The Convergence of Well-Nested Mildly Context-Sensitive Grammar Formalisms　　　　　　　　　　　　　　　
    Makoto Kanazawa
    第７回ラムダ計算と形式文法ワークショップ (Seventh Workshop on Lambda Calculus and Formal Grammars), Mar. 2009
  • The Pumping Lemma for Well-Nested Multiple Context-Free Languages　　　　　　　　　　　　　　　
    Makoto Kanazawa
    第６回ラムダ計算と形式文法ワークショップ (Sixth Workshop on Lambda Calculus and Formal Grammar), Oct. 2008
  • A Lambda Calculus Characterization of MSO Definable Tree Transductions　　　　　　　　　　　　　　　
    Makoto Kanazawa
    第１０回アジア論理会議 (10th Asian Logic Conference), Sep. 2008, []
  • Prefix-Correct Earley Parsing of Mildly Context-Sensitive Languages　　　　　　　　　　　　　　　
    Makoto Kanazawa
    第１５回論理・言語・情報・計算に関するワークショップ (15th Workshop on Logic, Language, Information and Computation), Jul. 2008, []
  • Parsing and Generation as Datalog Query Evaluation　　　　　　　　　　　　　　　
    Makoto Kanazawa
    第１５回論理・言語・情報・計算に関するワークショップ (15th Workshop on Logic, Language, Information and Computation), Jul. 2008, []
  • A Prefix-Correct Earley Recognizer for Multiple Context-Free Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    第９回木接合文法と関連するフォーマリズムに関する国際ワークショップ（Ninth International Workshop on Tree Adjoining Grammars and Related Formalisms）, 06 Jun. 2008
  • A Prefix-Correct Earley Recognizer for Multiple Context-Free Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    第５回ラムダ計算と文法ワークショップ（Fifth Workshop on Lambda Calculus and Formal Grammar）, 24 Mar. 2008
  • Almost Linear Abstract Categorial Grammars and Attribute Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Fourth Workshop on Lambda Calculus and Formal Grammar, 18 Sep. 2007
  • Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Workshop on New Directions in Type-Theoretic Grammars, 06 Aug. 2007
  • Generating Control Languages with Abstract Categorial Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa; Sylvain Salvati
    FG-2007: The 12th Conference on Formal Grammar, 04 Aug. 2007
  • Parsing and Generation as Datalog Queries　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The 45th Annual Meeting of the Association for Computational Linguistics, 25 Jun. 2007, The Association for Computational Linguistics
  • Parsing and Generation as Datalog Queries　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Third Workshop on Lambda Calculus and Formal Grammar, National Institute of Informatics, Tokyo, Japan, January 29, 2007, 29 Jan. 2007
  • A Lambda Calculus Approach to Formal Grammar Learning　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The 7th International Workshop on Computational Semantics. Tilburg University, Tilburg, The Netherlands, January 12, 2007, 12 Jan. 2007, []
  • Abstract Families of Abstract Categorial Languages　　　　　　　　　　　　　　　
    Makoto Kanazawa
    13th Workshop on Logic, Language and Computation. Stanford University, Stanford, California, July 19, 2006, 19 Jul. 2006
  • Generation as Parsing in Abstract Categorial Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Logic and Engineering of Natural Language Semantics 2006 (a satelite workshop of the 20th Annual Conference of JSAI), Tower Hall Funabori, Tokyo, Japan, June 6, 2006, 06 Jun. 2006
  • Semantics-Driven Learning of Lexicalized Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Second Workshop on Lambda Calculus and Formal Grammar, National Institute of Informatics, Tokyo, February 2, 2006, 02 Feb. 2006
  • Semantics-Driven Learning of Lexicalized Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The Fifteenth Amsterdam Colloquium, University of Amsterdam, Amsterdam, The Netherlands, December 20, 2005, 20 Dec. 2005
  • Abstract categorial grammar and linear logic　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Proof Theory Workshop, Keio University, Tokyo, Japan, March 23, 2005, 23 Mar. 2005
  • Abstract families of abstract categorial languages　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Lambda Calculus and Formal Grammar, National Institute of Informatics, Tokyo, February 18, 2005, 18 Feb. 2005
  • Computing word meanings by interpolation　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The Fourteenth Amsterdam Colloquium, University of Amsterdam, Amsterdam, December 2003, Dec. 2003
  • Computing interpolants in implicational logics　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Takeuti Symposium, Kobe University, Kobe, December 2003, Dec. 2003
  • Computing word meanings by interpolation in logical semantics　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Mathematics of Language 8, Indiana University, Bloomington, Indiana, June 2003, Jun. 2003
  • Computation of meaning and logic　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Second International Symposium on the Logic of Real-World Interactions, Tokyo, March 2003, Mar. 2003
  • Learning word-to-meaning mappings in logical semantics　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The Thirteen Amsterdam Colloquium, Amsterdam, December 2001, Dec. 2001
  • Algorithmic learning of grammars and the language acquisition device　　　　　　　　　　　　　　　
    Makoto Kanazawa
    11th International Congress of Logic, Methodology and Philosophy of Science, Krakow, August 1999, Aug. 1999
  • Learning categorial grammars: identification in the limit and parameter setting　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Logical Aspects of Computational Linguistics, Grenoble, France, December 1998, Dec. 1998
  • Developments in learnability theory　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Third International Conference on Information-Theoretic Approaches to Logic, Language, and Computation. Hsi-Tou, Taiwan, June 1998, Jun. 1998
  • Donkey anaphora: singular vs. plural　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Workshop on Quantification, Collectivity, and Reciprocity. ESSLLI'97, Aix-en-Provence, August 1997, Aug. 1997
  • Characterization theorems in learnability theory　　　　　　　　　　　　　　　
    Makoto Kanazawa
    FoLLI Workshop on Logics for Linguistics, Philosophy, and Cognitive Science, Chiba University, Chiba, December 1996, Dec. 1996
  • Angluin's theorem for indexed families of r.e. sets and applications　　　　　　　　　　　　　　　
    Dick de Jongh; Makoto Kanazawa
    The Ninth Annual Conference on Computational Learning Theory, Desenzano del Garda, Italy, June 1996, Jun. 1996
  • The Lambek calculus: recognizing power and complexity　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Linear Logic 96 Tokyo Meeting, Keio University, Tokyo, April 1996, Apr. 1996
  • What makes categorial grammars learnable?　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The Third CSLI Workshop on Logic, Language, and Computation, Stanford University, Stanford, California, June 1994, Jun. 1994
  • Completeness and decidability of the mixed style of inference with composition　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The Ninth Amsterdam Colloquium, University of Amsterdam, Amsterdam, December 1993, Dec. 1993
  • Identification in the limit of categorial grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The Second CSLI Workshop on Logic, Language, and Comptation, Stanford University, Stanford, California, June 1993, Jun. 1993
  • On learning categorial grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Workshop on Grammar, Proof Theory and Complexity, Amsterdam, The Netherlands, January 1993, Jan. 1993
  • Dynamic generalized quantifiers and monotonicity　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Workshop on Logic and Language, Stanford University, Stanford, California, May 1992, May 1992
■ Affiliated academic society
  • Association for Mathematics of Language　　　　　　　　　　　　　　　
  • Mathematical Society of Japan　　　　　　　　　　　　　　　
  • European Association for Theoretical Computer Science　　　　　　　　　　　　　　　
  • Association for Logic, Language and Information　　　　　　　　　　　　　　　
  • Association for Symbolic Logic　　　　　　　　　　　　　　　
■ Research Themes
■ Social Contribution Activities
  • Epistemic Logic　　　　　　　　　　　　　　　
    lecturer
    Toyama High School, SSH Mathematics Special Lecture, 11 Jan. 2014 - 11 Jan. 2014