KANAZAWA Makoto 金沢誠

… Alternative Names

金沢誠カナザワマコト

Kanazawa Makoto 金沢誠

Less

Researcher Number	20261886
Other IDs
External Links
Affiliation (Current)	2025: 法政大学, 理工学部, 教授
Affiliation (based on the past Project Information) *help	2018 – 2022: 法政大学, 理工学部, 教授 2017: 国立情報学研究所, 大学共同利用機関等の部局等, 准教授 2017: 国立情報学研究所, 情報学プリンシプル研究系, 准教授 2013 – 2015: 国立情報学研究所, 情報学プリンシプル研究系, 准教授 2007 – 2011: National Institute of Informatics, 情報学プリンシプル研究系, 准教授 1997 – 1999: 千葉大学, 文学部, 助教授
Review Section/Research Field	Principal Investigator Theory of informatics / Fundamental theory of informatics / 言語学・音声学 Except Principal Investigator Theory of informatics / General mathematics (including Probability theory/Statistical mathematics) / Philosophy
Keywords	Principal Investigator 多重文脈自由文法 / Datalog / 文生成 / 構文解析 / 型つきラムダ計算 / 形式言語 / 情報基礎 / 等価性判定 / 閉包性 / 正規演算 … More / 正規木言語 / 所属性質問 / 有限文脈特性 / 拡張正規表現 / 拡張正規閉包 / 分布学習 / 正例と所属性質問からの極限同定 / 文法推論 / 文脈自由文法 / 線形指標文法 / 指標文法 / Dyck言語 / 属性文法 / 並列多重文脈自由文法 / IO文脈自由木文法 / 制御言語 / Weirの制御言語 / Dyck木言語 / Ogdenの補題 / 表現定理 / 多次元木 / 樹状指標文法 / 単純文脈自由木文法 / ラムダ項 / 文脈自由ラムダ項文法 / ACG / ほとんど線形なラムダ項 / LOGCFL / マジックセット書き換え / Earleyのアルゴリズム / 計算言語学 / 形式言語理論 / 一般化量化子理論 / 論理的意味論 / 量化子 / 代名詞 / 照応 / 量化 / 動的意味論 / 意味論 … More Except Principal Investigator 国際研究者交流（イギリス，フランス） / 計算論的学習 / 計算論的学習理論 / 文脈自由文法 / 分布学習 / オートマトン / 厳密学習 / 質問学習 / 文法推論 / Type Theory / Lambda Calculus / BCK Logic / Intuitionistic Logic / Classical Logic / Substructural Logic / 型理論 / ラムダ計算 / BCK論理 / 直観主義論理 / 古典論理 / 部分構造論理 / Philosophy of Language / Logical Education / Japanese semantics / 論理的意味論 / 自然言語の意味論 / 言語哲学 / 論理学教育 / 日本語意味論 Less

Advances in the Theory of Distributional Learning of Formal LanguagesPrincipal Investigator
- Principal Investigator
  
  Kanazawa Makoto
- Project Period (FY)
  2017 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Hosei University
  National Institute of Informatics
Study on the learning of formal languages consisting of natural language sentences and their semantic expressions based on distributional learning
- Principal Investigator
  
  Yoshinaka Ryo
- Project Period (FY)
  2014 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Tohoku University
  Kyoto University
A Study of Tree and String Languages Generated by Context-Free Tree GrammarsPrincipal Investigator
- Principal Investigator
  
  Kanazawa Makoto
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  National Institute of Informatics
Parsing and Generation Based on Typed Lambda Calculus and DatalogPrincipal Investigator
- Principal Investigator
  
  KANAZAWA Makoto
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  National Institute of Informatics
Reduction of Parsing and Generation to Datalog Through Typed LambdaPrincipal Investigator
- Principal Investigator
  
  KANAZAWA Makoto
- Project Period (FY)
  2007 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  National Institute of Informatics
量化子と照応の動的意味論Principal Investigator
- Principal Investigator
  
  金沢誠
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  言語学・音声学
- Research Institution
  Chiba University
A Study of Substractural Logics
- Principal Investigator
  
  KOMORI Yuichi
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Chiba University
Japanese and Logic
- Principal Investigator
  
  IIDA Takashi
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Philosophy
- Research Institution
  Keio University
  Chiba University

All 2023 2021 2019 2018 2017 2016 2015 2014 2013 2012 2011 2009 2008 2007

All Journal Article Presentation

[Journal Article] Extending Distributional Learning from Positive Data and Membership Queries2023
- Author(s)
  Makoto Kanazawa and Ryo Yoshinaka
- Journal Title
  
  Proceedings of Machine Learning Research
  
  Volume: -
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00026
[Journal Article] Learning Context-Free Grammars from Positive Data and Membership Queries2023
- Author(s)
  Makoto Kanazawa
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00026
[Journal Article] A Hierarchy of Context-Free Languages Learnable from Positive Data and Membership Queries2021
- Author(s)
  Makoto Kanazawa and Ryo Yoshinaka
- Journal Title
  
  Proceedings of Machine Learning Research
  
  Volume: 153 Pages: 18-31
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00026
[Journal Article] Decision problems for Clark-congruential languages2019
- Author(s)
  Makoto Kanazawa and Tobias Kappe
- Journal Title
  
  Proceedings of Machine Learning Research
  
  Volume: 93 Pages: 3-16
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00026
[Journal Article] Ogden's lemma, multiple context-free grammars, and the control language hierarchy2016
- Author(s)
  Makoto Kanazawa
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 9618 Pages: 371-383
- DOI
  10.1007/978-3-319-30000-9_29
- ISBN
  9783319299990, 9783319300009
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25330020
[Journal Article] A Generalization of Linear Indexed Grammars Equivalent to Simple Context-Free Tree Grammars2014
- Author(s)
  Makoto Kanazawa
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 8612 Pages: 86-103
- DOI
  10.1007/978-3-662-44121-3_6
- ISBN
  9783662441206, 9783662441213
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330020
[Journal Article] Multi-dimensional trees and a Chomsky-Schuetzenberger-Weir representation theorem for simple context-free tree grammars2013
- Author(s)
  Makoto Kanazawa
- Journal Title
  
  NII Technical Report
  
  Volume: NII-2013-003E Pages: 1-60
- Data Source
  KAKENHI-PROJECT-25330020
[Journal Article] Almost Affine Lambda Terms2012
- Author(s)
  Makoto Kanazawa
- Journal Title
  
  NII Technical Reports
  
  Volume: NII-2012-03E
- URL
  http://www.nii.ac.jp/TechReports/12-003E.html
- Data Source
  KAKENHI-PROJECT-21500025
[Journal Article] Almost Affine Lambda Terms2012
- Author(s)
  金沢誠
- Journal Title
  
  NII Technical Reports
  
  Volume: NII-2012-003E Pages: 1-20
- Data Source
  KAKENHI-PROJECT-21500025
[Journal Article] A prefix-correct Earley recognizer for multiple context-free grammars2008
- Author(s)
  Makoto Kanazawa
- Journal Title
  
  In Proceedings of the Ninth International Workshop on Tree Adjoining Grammars and Related Formalisms (University of Tubingenf)
  
  Pages: 49-56
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500019
[Journal Article] Parsing and generation as Datalog queries2007
- Author(s)
  Makoto Kanazawa
- Journal Title
  
  In Proceedings of the 45th Annual Meeting of the Association for Computational Linguistics (Association for Computational Linguistics)
  
  Pages: 176-183
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500019
[Presentation] Learning Context-Free Grammars from Positive Data and Membership Queries2023
- Author(s)
  Makoto Kanazawa
- Organizer
  WoLLIC 2023, 29th Workshop on Logic, Language, Information and Computation
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00026
[Presentation] Extending Distributional Learning from Positive Data and Membership Queries2023
- Author(s)
  Makoto Kanazawa and Ryo Yoshinaka
- Organizer
  ICGI 2023, 16th International Conference on Grammatical Inference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00026
[Presentation] A Hierarchy of Context-Free Languages Learnable from Positive Data and Membership Queries2021
- Author(s)
  Makoto Kanazawa
- Organizer
  The 15th International Conference on Grammatical Inference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00026
[Presentation] Decision problems for Clark-congruential languages2018
- Author(s)
  Makoto Kanazawa and Tobias Kappe
- Organizer
  The 14th International Conference on Grammatical Inference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00026
[Presentation] Decision problems for Clark-congruential languages2018
- Author(s)
  Makoto Kanazawa and Tobias Kappe
- Organizer
  LearnAut 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00026
[Presentation] The Strong, Weak, and Very Weak Finite Context and Kernel Properties2017
- Author(s)
  Makoto Kanazawa and Ryo Yoshinaka
- Organizer
  Language and Automata Theory and Applications
- Place of Presentation
  ウメア，スウェーデン
- Year and Date
  2017-03-06
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330013
[Presentation] Ogden's lemma, multiple context-free grammars, and the control language hierarchy2016
- Author(s)
  Makoto Kanazawa
- Organizer
  Language and Automata Theory and Applications
- Place of Presentation
  プラハ（チェコ共和国）
- Year and Date
  2016-03-16
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330020
[Presentation] Distributional Learning and Context/Substructure Enumerability in Non-linear Tree Grammars2015
- Author(s)
  Makoto Kanazawa and Ryo Yoshinaka
- Organizer
  The 20th Conference on Formal Grammar
- Place of Presentation
  Universitat Pompeu Fabra, Barcelona, Spain
- Year and Date
  2015-08-08
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330013
[Presentation] A generalization of linear indexed grammars equivalent to simple context-free tree grammars2014
- Author(s)
  Makoto Kanazawa
- Organizer
  FG 2014: 19th Conference on Formal Grammar
- Place of Presentation
  Tuebingen, Germany
- Data Source
  KAKENHI-PROJECT-25330020
[Presentation] Generation as Intersection and Datalog2011
- Author(s)
  Makoto Kanazawa
- Organizer
  ACG@ 10 : Ten Years of Abstract Categorial Grammars
- Place of Presentation
  Bordeaux, France
- Year and Date
  2011-09-07
- Data Source
  KAKENHI-PROJECT-21500025
[Presentation] Generation as Intersection and Datalog2011
- Author(s)
  金沢誠
- Organizer
  ACG@10 : Ten Years of Abstract Categorial Grammars
- Place of Presentation
  LaBRI, Bordeaux, France
- Year and Date
  2011-12-07
- Data Source
  KAKENHI-PROJECT-21500025
[Presentation] Datalog as a Uniform Framework for Parsing and Generation2009
- Author(s)
  金沢誠
- Organizer
  Workshop : Parsing with Categorial Grammars, ESSLLI 2009
- Place of Presentation
  Bordeaux, France
- Year and Date
  2009-07-24
- Data Source
  KAKENHI-PROJECT-21500025
[Presentation] Datalog as a Uniform Framework for Parsing and Generation, Workshop : Parsing with Categorial Grammars2009
- Author(s)
  Makoto Kanazawa
- Organizer
  21st European Summer School in Logic, Language and Information
- Place of Presentation
  Bordeaux, France
- Year and Date
  2009-07-24
- Data Source
  KAKENHI-PROJECT-21500025
[Presentation] A prefix-correct Earley recognizer for multiple context-free grammars2008
- Author(s)
  Makoto Kanazawa
- Organizer
  TAG+9, the Ninth International Workshop on Tree Adjoining Grammars and Related Formalisms
- Place of Presentation
  Tubingen, Germany
- Year and Date
  2008-06-07
- Data Source
  KAKENHI-PROJECT-19500019
[Presentation] A prefix-correct Earley recognizer for multiple context-free grammars2008
- Author(s)
  金沢誠
- Organizer
  The 9th International Workshop on Tree Adjoining Grammars and Related Formalisms
- Place of Presentation
  University of Tubingenドイツ
- Year and Date
  2008-06-07
- Data Source
  KAKENHI-PROJECT-19500019
[Presentation] Parsing and generation as Datalog queries2007
- Author(s)
  Makoto Kanazawa
- Organizer
  The 45th Annual Meeting of the Association for Computational Linguistics
- Place of Presentation
  Prague, Czech Republic
- Year and Date
  2007-06-25
- Data Source
  KAKENHI-PROJECT-19500019
[Presentation] Parsing and generation as Datalog queries2007
- Author(s)
  金沢誠
- Organizer
  45th Annual Meeting of the Association for Computational Linguistics
- Place of Presentation
  TOP HOTEL プラハ(チェコ共和国)
- Year and Date
  2007-06-25
- Data Source
  KAKENHI-PROJECT-19500019

1. IIDA Takashi (10117327)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. KACHI Daisuke (50251145)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. TUTIYA Syun (50155404)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. OKADA Mitsuhiro (30224025)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. KOMORI Yuichi (10022302)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. YAMAMOTO Mitsuharu (00291295)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. SAKURAI Takafumi (60183373)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. FUJITA Ken-etsu (30228994)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. HIROKAWA Sachiko (40126785)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. Yoshinaka Ryo (80466424)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
11. 金子洋之 (60191988)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. 藤本隆志 (20001795)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. SALVATI Sylvain

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

KANAZAWA Makoto 金沢 誠

金沢 誠 カナザワ マコト

Kanazawa Makoto 金沢 誠

Research Projects

Research Products

Co-Researchers

Advances in the Theory of Distributional Learning of Formal LanguagesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on the learning of formal languages consisting of natural language sentences and their semantic expressions based on distributional learning

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study of Tree and String Languages Generated by Context-Free Tree GrammarsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Parsing and Generation Based on Typed Lambda Calculus and DatalogPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Reduction of Parsing and Generation to Datalog Through Typed LambdaPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

量化子と照応の動的意味論Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study of Substractural Logics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Japanese and Logic

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Extending Distributional Learning from Positive Data and Membership Queries2023

Author(s)

Journal Title

Data Source

[Journal Article] Learning Context-Free Grammars from Positive Data and Membership Queries2023

Author(s)

Journal Title

Data Source

[Journal Article] A Hierarchy of Context-Free Languages Learnable from Positive Data and Membership Queries2021

Author(s)

Journal Title

Data Source

[Journal Article] Decision problems for Clark-congruential languages2019

Author(s)

Journal Title

Data Source

[Journal Article] Ogden's lemma, multiple context-free grammars, and the control language hierarchy2016

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] A Generalization of Linear Indexed Grammars Equivalent to Simple Context-Free Tree Grammars2014

Author(s)

Journal Title

DOI

KANAZAWA Makoto 金沢誠

金沢誠カナザワマコト

Kanazawa Makoto 金沢誠