Blog
Masaya Taniguchi
-
Example Post
2026-05-04A short example blog post generated from Markdown.
-
【MLG60発表報告】ランベック計算に循環証明を導入する試み
2025-12-19MLG60での発表をもとに、言語学動機を持つランベック計算に循環証明(μ)を導入する試みと、その形式言語理論的含意について解説します。
Masaya Taniguchi
A short example blog post generated from Markdown.
MLG60での発表をもとに、言語学動機を持つランベック計算に循環証明(μ)を導入する試みと、その形式言語理論的含意について解説します。