SEARCH

検索詳細

金沢　誠
理工学部 創生科学科
教授

研究者情報

■ 学位
  • Ph.D., Stanford University
■ 研究キーワード
  • 数理論理学
  • 文法推論
  • 意味論
  • 形式言語理論
  • 数理言語学
■ 研究分野
  • 情報通信, 知能情報学, 計算言語学
  • 人文・社会, 言語学, 意味論
  • 自然科学一般, 応用数学、統計数学, 非古典論理、証明論
  • 自然科学一般, 数学基礎, 非古典論理、証明論
  • 情報通信, 情報学基礎論, 形式言語理論、アルゴリズム的学習理論、型つきラムダ計算

経歴

■ 経歴
  • 2018年04月 - 現在
    法政大学, 理工学部 創生科学科, 教授
  • 2004年04月 - 2018年03月
    国立情報学研究所, 准教授
  • 2000年04月 - 2004年03月
    東京大学, 大学院情報学環・学際情報学府, 助教授
  • 1994年07月 - 2000年03月
    千葉大学, 文学部, 助教授

研究活動情報

■ 論文
■ 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, 2004年07月
■ 書籍等出版物
  • 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, 1999年08月, 査読無し
  • 〔主要な業績〕Learnable Classes of Categorial Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa, 単著
    Stanford, California: CSLI Publications, 1998年03月, 査読無し
  • Dynamics, Polarity, and Quantification　　　　　　　　　　　　　　　
    Makoto Kanazawa; Christopher Pinon; editors, 分担執筆, Dynamic generalized quantifiers and monotonicity
    Stanford, California: CSLI Publications, 1994年09月, 査読無し
■ 講演・口頭発表等
  • Learning context-free grammars from positive data and membership queries
    Makoto Kanazawa
    29th Workshop on Logic, Language, Information and Computation, 2023年07月14日, ［招待有り］
  • A Hierarchy of Context-Free Languages Learnable from Positive Data and Membership Queries
    Makoto Kanazawa
    ICGI 2020/2021, 2021年08月23日
  • What was wrong with the Chomsky hierarchy?　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The 25th International Conference on Head-Driven Phrase Structure Grammar, 2018年06月30日, ［招待有り］
  • The Strong, Weak, and Very Weak Finite Context and Kernel Properties　　　　　　　　　　　　　　　
    Makoto Kanazawa
    LATA 2017: Language and Automata Theory and Applications, 2017年03月06日
  • Ogden's lemma, multiple context-free grammars, and the control language hierarchy　　　　　　　　　　　　　　　
    Makoto Kanazawa
    10th International Conference on Language and Automata Theory and Applications, 2016年03月16日
  • 自然言語の文法とλ計算　　　　　　　　　　　　　　　
    金沢誠
    日本ソフトウェア科学会第32回大会, 2015年09月11日, ［招待有り］
  • Syntactic features for regular constraints and an approximation of directional slashes in abstract categorial grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Empirical Advances in Categorial Grammars (CG 2015), 2015年08月13日
  • Distributional learning and context/substructure enumerability in nonlinear tree grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The 20th Conference on Formal Grammar, 2015年08月08日
  • Distributional Learning of Formal Languages: A Logic-Based Approach　　　　　　　　　　　　　　　
    Makoto Kanazawa
    NLCS'15: Third Workshop on Natural Language and Computer Science, 2015年07月05日, ［招待有り］
  • Toward a Logic of Cumulative Quantification　　　　　　　　　　　　　　　
    金沢誠
    第49回 MLG 数理論理学研究集会, 2014年12月06日
  • A generalization of linear indexed grammars equivalent to simple context-free tree grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    FG-2014: The 19th Conference on Formal Grammar, 2014年08月16日
  • Toward a logic of cumulative quantification　　　　　　　　　　　　　　　
    Makoto Kanazawa; Junri Shimada
    Second Workshop on Natural Language and Computer Science, 2014年07月17日
  • Almost affine lambda terms　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Trends in Logic XIII, 2014年06月04日
  • Monadic quantifiers recognized by deterministic pushdown automata　　　　　　　　　　　　　　　
    Makoto Kanazawa
    19th Amsterdam Colloquium, 2013年12月20日
  • The string-meaning relations definable by Lambek grammars and context-free grammars　　　　　　　　　　　　　　　
    金沢誠
    The 18th Conference on Formal Grammar, 2013年08月11日
  • MIX is not a tree-adjoining language　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The 50th Annual Meeting of the Association for Computational Linguistics, 2012年07月
  • Generation as intersection and Datalog　　　　　　　　　　　　　　　
    金沢誠
    ACG@10: Ten Years of Abstract Categorial Grammars, 2011年12月
  • Pumping　　　　　　　　　　　　　　　
    金沢誠
    Second Workshop on Multiple Context-Free Grammars and Related Formalisms, 2011年09月
  • Two subhierarchies inside the MCFLs　　　　　　　　　　　　　　　
    金沢誠
    Second Workshop on Multiple Context-Free Grammars and Related Formalisms, 2011年09月
  • Multiple Context-Free Languages and Non-Duplicating Macro Languages
    Makoto Kanazawa
    Workshop on Multiple Context-Free Grammars and Related Formalisms, 2010年10月
  • The Copying Power of Well-Nested Multiple Context-Free Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    LATA 2010: 4th International Conference on Language and Automata Theory and Applications, 2010年05月
  • Advances in Abstract Categorial Grammars: Language Theory and Linguistic Modeling　　　　　　　　　　　　　　　
    Makoto Kanazawa; Sylvain Pogodalla
    ESSLLI 2009, 2009年07月
  • The Convergence of Well-Nested Mildly Context-Sensitive Grammar Formalisms　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The 14th Conference on Formal Grammar, 2009年07月, ［招待有り］
  • Datalog as a Uniform Framework for Parsing and Generation　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Parsing with Categorial Grammars, ESSLLI 2009, 2009年07月, ［招待有り］
  • The Pumping Lemma for Well-Nested Multiple Context-Free Languages　　　　　　　　　　　　　　　
    Makoto Kanazawa
    DLT 2009: 13th International Conference on Developments in Language Theory, 2009年07月
  • The Convergence of Well-Nested Mildly Context-Sensitive Grammar Formalisms　　　　　　　　　　　　　　　
    Makoto Kanazawa
    第７回ラムダ計算と形式文法ワークショップ (Seventh Workshop on Lambda Calculus and Formal Grammars), 2009年03月
  • The Pumping Lemma for Well-Nested Multiple Context-Free Languages　　　　　　　　　　　　　　　
    Makoto Kanazawa
    第６回ラムダ計算と形式文法ワークショップ (Sixth Workshop on Lambda Calculus and Formal Grammar), 2008年10月
  • A Lambda Calculus Characterization of MSO Definable Tree Transductions　　　　　　　　　　　　　　　
    Makoto Kanazawa
    第１０回アジア論理会議 (10th Asian Logic Conference), 2008年09月, ［招待有り］
  • Prefix-Correct Earley Parsing of Mildly Context-Sensitive Languages　　　　　　　　　　　　　　　
    Makoto Kanazawa
    第１５回論理・言語・情報・計算に関するワークショップ (15th Workshop on Logic, Language, Information and Computation), 2008年07月, ［招待有り］
  • Parsing and Generation as Datalog Query Evaluation　　　　　　　　　　　　　　　
    Makoto Kanazawa
    第１５回論理・言語・情報・計算に関するワークショップ (15th Workshop on Logic, Language, Information and Computation), 2008年07月, ［招待有り］
  • A Prefix-Correct Earley Recognizer for Multiple Context-Free Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    第９回木接合文法と関連するフォーマリズムに関する国際ワークショップ（Ninth International Workshop on Tree Adjoining Grammars and Related Formalisms）, 2008年06月06日
  • A Prefix-Correct Earley Recognizer for Multiple Context-Free Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    第５回ラムダ計算と文法ワークショップ（Fifth Workshop on Lambda Calculus and Formal Grammar）, 2008年03月24日
  • Almost Linear Abstract Categorial Grammars and Attribute Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Fourth Workshop on Lambda Calculus and Formal Grammar, 2007年09月18日
  • Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Workshop on New Directions in Type-Theoretic Grammars, 2007年08月06日
  • Generating Control Languages with Abstract Categorial Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa; Sylvain Salvati
    FG-2007: The 12th Conference on Formal Grammar, 2007年08月04日
  • Parsing and Generation as Datalog Queries　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The 45th Annual Meeting of the Association for Computational Linguistics, 2007年06月25日, 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, 2007年01月29日
  • 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, 2007年01月12日, ［招待有り］
  • Abstract Families of Abstract Categorial Languages　　　　　　　　　　　　　　　
    Makoto Kanazawa
    13th Workshop on Logic, Language and Computation. Stanford University, Stanford, California, July 19, 2006, 2006年07月19日
  • 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, 2006年06月06日
  • Semantics-Driven Learning of Lexicalized Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Second Workshop on Lambda Calculus and Formal Grammar, National Institute of Informatics, Tokyo, February 2, 2006, 2006年02月02日
  • Semantics-Driven Learning of Lexicalized Grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The Fifteenth Amsterdam Colloquium, University of Amsterdam, Amsterdam, The Netherlands, December 20, 2005, 2005年12月20日
  • Abstract categorial grammar and linear logic　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Proof Theory Workshop, Keio University, Tokyo, Japan, March 23, 2005, 2005年03月23日
  • Abstract families of abstract categorial languages　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Lambda Calculus and Formal Grammar, National Institute of Informatics, Tokyo, February 18, 2005, 2005年02月18日
  • Computing word meanings by interpolation　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The Fourteenth Amsterdam Colloquium, University of Amsterdam, Amsterdam, December 2003, 2003年12月
  • Computing interpolants in implicational logics　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Takeuti Symposium, Kobe University, Kobe, December 2003, 2003年12月
  • Computing word meanings by interpolation in logical semantics　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Mathematics of Language 8, Indiana University, Bloomington, Indiana, June 2003, 2003年06月
  • Computation of meaning and logic　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Second International Symposium on the Logic of Real-World Interactions, Tokyo, March 2003, 2003年03月
  • Learning word-to-meaning mappings in logical semantics　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The Thirteen Amsterdam Colloquium, Amsterdam, December 2001, 2001年12月
  • Algorithmic learning of grammars and the language acquisition device　　　　　　　　　　　　　　　
    Makoto Kanazawa
    11th International Congress of Logic, Methodology and Philosophy of Science, Krakow, August 1999, 1999年08月
  • Learning categorial grammars: identification in the limit and parameter setting　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Logical Aspects of Computational Linguistics, Grenoble, France, December 1998, 1998年12月
  • Developments in learnability theory　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Third International Conference on Information-Theoretic Approaches to Logic, Language, and Computation. Hsi-Tou, Taiwan, June 1998, 1998年06月
  • Donkey anaphora: singular vs. plural　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Workshop on Quantification, Collectivity, and Reciprocity. ESSLLI'97, Aix-en-Provence, August 1997, 1997年08月
  • Characterization theorems in learnability theory　　　　　　　　　　　　　　　
    Makoto Kanazawa
    FoLLI Workshop on Logics for Linguistics, Philosophy, and Cognitive Science, Chiba University, Chiba, December 1996, 1996年12月
  • 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, 1996年06月
  • The Lambek calculus: recognizing power and complexity　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Linear Logic 96 Tokyo Meeting, Keio University, Tokyo, April 1996, 1996年04月
  • What makes categorial grammars learnable?　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The Third CSLI Workshop on Logic, Language, and Computation, Stanford University, Stanford, California, June 1994, 1994年06月
  • Completeness and decidability of the mixed style of inference with composition　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The Ninth Amsterdam Colloquium, University of Amsterdam, Amsterdam, December 1993, 1993年12月
  • Identification in the limit of categorial grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    The Second CSLI Workshop on Logic, Language, and Comptation, Stanford University, Stanford, California, June 1993, 1993年06月
  • On learning categorial grammars　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Workshop on Grammar, Proof Theory and Complexity, Amsterdam, The Netherlands, January 1993, 1993年01月
  • Dynamic generalized quantifiers and monotonicity　　　　　　　　　　　　　　　
    Makoto Kanazawa
    Workshop on Logic and Language, Stanford University, Stanford, California, May 1992, 1992年05月
■ 所属学協会
  • Association for Mathematics of Language　　　　　　　　　　　　　　　
  • 日本数学会　　　　　　　　　　　　　　　
  • European Association for Theoretical Computer Science　　　　　　　　　　　　　　　
  • Association for Logic, Language and Information　　　　　　　　　　　　　　　
  • Association for Symbolic Logic　　　　　　　　　　　　　　　
■ 共同研究・競争的資金等の研究課題
■ 社会貢献活動
  • 認識論理　　　　　　　　　　　　　　　
    講師
    東京都立戸山高校, SSH数学特別授業, 2014年01月11日 - 2014年01月11日