金沢誠 KANAZAWA Makoto

研究者番号	20261886
その他のID
外部サイト
所属 (現在)	2025年度: 法政大学, 理工学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2018年度 – 2022年度: 法政大学, 理工学部, 教授 2017年度: 国立情報学研究所, 大学共同利用機関等の部局等, 准教授 2017年度: 国立情報学研究所, 情報学プリンシプル研究系, 准教授 2013年度 – 2015年度: 国立情報学研究所, 情報学プリンシプル研究系, 准教授 2007年度 – 2011年度: 国立情報学研究所, 情報学プリンシプル研究系, 准教授 1997年度 – 1999年度: 千葉大学, 文学部, 助教授
審査区分/研究分野	研究代表者情報学基礎理論 / 情報学基礎 / 言語学・音声学研究代表者以外情報学基礎理論 / 数学一般(含確率論・統計数学) / 哲学
キーワード	研究代表者多重文脈自由文法 / Datalog / 文生成 / 構文解析 / 型つきラムダ計算 / 形式言語 / 情報基礎 / 等価性判定 / 閉包性 / 正規演算 … もっと見る / 正規木言語 / 所属性質問 / 有限文脈特性 / 拡張正規表現 / 拡張正規閉包 / 分布学習 / 正例と所属性質問からの極限同定 / 文法推論 / 文脈自由文法 / 線形指標文法 / 指標文法 / Dyck言語 / 属性文法 / 並列多重文脈自由文法 / IO文脈自由木文法 / 制御言語 / Weirの制御言語 / Dyck木言語 / Ogdenの補題 / 表現定理 / 多次元木 / 樹状指標文法 / 単純文脈自由木文法 / ラムダ項 / 文脈自由ラムダ項文法 / ACG / ほとんど線形なラムダ項 / LOGCFL / マジックセット書き換え / Earleyのアルゴリズム / 計算言語学 / 形式言語理論 / 一般化量化子理論 / 論理的意味論 / 量化子 / 代名詞 / 照応 / 量化 / 動的意味論 / 意味論 … もっと見る研究代表者以外国際研究者交流（イギリス，フランス） / 計算論的学習 / 計算論的学習理論 / 文脈自由文法 / 分布学習 / オートマトン / 厳密学習 / 質問学習 / 文法推論 / Type Theory / Lambda Calculus / BCK Logic / Intuitionistic Logic / Classical Logic / Substructural Logic / 型理論 / ラムダ計算 / BCK論理 / 直観主義論理 / 古典論理 / 部分構造論理 / Philosophy of Language / Logical Education / Japanese semantics / 論理的意味論 / 自然言語の意味論 / 言語哲学 / 論理学教育 / 日本語意味論隠す

形式言語の分布学習の理論の深化研究代表者
- 研究代表者
  
  金沢誠
- 研究期間 (年度)
  2017 – 2022
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎理論
- 研究機関
  法政大学
   国立情報学研究所
分布学習に基づく自然言語文とその意味表現の対からなる形式言語の学習に関する研究
- 研究代表者
  
  吉仲亮
- 研究期間 (年度)
  2014 – 2017
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎理論
- 研究機関
  東北大学
   京都大学
文脈自由木文法の生成する木言語および文字列言語の性質の研究研究代表者
- 研究代表者
  
  金沢誠
- 研究期間 (年度)
  2013 – 2015
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎理論
- 研究機関
  国立情報学研究所
型つきラムダ計算とDatalogに基づく構文解析・文生成の研究研究代表者
- 研究代表者
  
  金沢誠
- 研究期間 (年度)
  2009 – 2011
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  国立情報学研究所
型つきラムダ計算に基づく構文解析・生成のDatalogへの帰着研究代表者
- 研究代表者
  
  金沢誠
- 研究期間 (年度)
  2007 – 2008
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  国立情報学研究所
量化子と照応の動的意味論研究代表者
- 研究代表者
  
  金沢誠
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  言語学・音声学
- 研究機関
  千葉大学
部分構造論理の研究
- 研究代表者
  
  古森雄一
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  千葉大学
日本語と論理学
- 研究代表者
  
  飯田隆
- 研究期間 (年度)
  1997 – 1999
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  哲学
- 研究機関
  慶應義塾大学
   千葉大学

すべて 2023 2021 2019 2018 2017 2016 2015 2014 2013 2012 2011 2009 2008 2007

すべて雑誌論文学会発表

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

1. 飯田隆 (10117327)

共同の研究課題数: 1件

共同の研究成果数: 0件
2. 加知大介 (50251145)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 土屋俊 (50155404)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 岡田光弘 (30224025)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 古森雄一 (10022302)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 山本光晴 (00291295)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 桜井貴文 (60183373)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 藤田憲悦 (30228994)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 廣川佐千男 (40126785)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 吉仲亮 (80466424)

共同の研究課題数: 1件

共同の研究成果数: 2件
11. 金子洋之 (60191988)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 藤本隆志 (20001795)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. SALVATI Sylvain

共同の研究課題数: 1件

共同の研究成果数: 0件

金沢 誠 KANAZAWA Makoto

研究課題

研究成果

共同研究者

形式言語の分布学習の理論の深化研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

分布学習に基づく自然言語文とその意味表現の対からなる形式言語の学習に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

文脈自由木文法の生成する木言語および文字列言語の性質の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

型つきラムダ計算とDatalogに基づく構文解析・文生成の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

型つきラムダ計算に基づく構文解析・生成のDatalogへの帰着研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

量化子と照応の動的意味論研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

部分構造論理の研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

日本語と論理学

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Extending Distributional Learning from Positive Data and Membership Queries2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] Learning Context-Free Grammars from Positive Data and Membership Queries2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Hierarchy of Context-Free Languages Learnable from Positive Data and Membership Queries2021

著者名/発表者名

雑誌名

データソース

[雑誌論文] Decision problems for Clark-congruential languages2019

著者名/発表者名

雑誌名

データソース

[雑誌論文] Ogden's lemma, multiple context-free grammars, and the control language hierarchy2016

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] A Generalization of Linear Indexed Grammars Equivalent to Simple Context-Free Tree Grammars2014

著者名/発表者名

雑誌名

DOI

ISBN

データソース

金沢誠 KANAZAWA Makoto