Blog

Posts

1. Example Post

   2026-05-04

   A short example blog post generated from Typst.

2. 【MLG60発表報告】ランベック計算に循環証明を導入する試み

   2025-12-19

   MLG60での発表をもとに、言語学動機を持つランベック計算に循環証明(μ)を導入する試みと、その形式言語理論的含意について解説します。