金沢誠　教授

【専攻】
数理論理学，形式言語理論

【研究テーマ】
形式言語のアルゴリズム的学習の理論，非古典論理，数理言語学，対話型定理証明

金沢 誠 教授