ノート

知見をシェアできればなと思います．

修士論文

置換に関する不動点制約を用いた名目書き換え (新潟大学, 2022.3) [PDF]

名目書き換えシステム (Nominal Rewriting System) という計算モデルのお話です．Nominal Sets のこと誰か教えて．

数理論理学

1日1進次郎 (構成的に証明できないトートロジー集) (2020.7.27) [PDF]

2020.7.18 から 2020.7.27 までの10日間で Twitter に毎日投稿し続けた，トートロジーの自然演繹体系での証明木集です．背理法や二重否定の除去などを使わないと証明できない (このことの証明は省略していますが) ものを扱っています．

様相論理の体系と Lindenbaum の補題 (2019.12.14) [PDF]

Mathematical Logic Advent Calendar 2019 の14日目の記事です．様相論理の体系の定義から始まって Lindenbaum の補題を導きます．割とタイトル詐欺です．