檜山正幸のキマイラ飼育記 (はてなBlog)2024-10-16 指標から名前の削除 雑記／備忘 指標は宣言文の集まりです。各宣言文は、順番〈位置番号〉でも名前でも一意識別できます。実用上は、（順番は覚えにくいので）名前が使われます。が、理論上は名前が邪魔になることがあるので、ときに、名前を削除する必要があります。名前の削除方法の記述… 2024-10-15 カリー／ハワード／ランベック対応のための“呼び名”と“書き方” 雑記／備忘 ここ最近の本ブログのテーマは「カリー／ハワード／ランベック対応」です。最近の記事がすべてカリー／ハワード／ランベック対応に関係するわけではありませんが、9月の記事「関数の構成法 (カリー／ハワード／ランベック対応も少し)」あたりから、カリー／… 2024-10-14 コンテキストの圏と指標の圏と限量子 雑記／備忘 「指標の圏はコンテキストの圏の反対圏」と「指標の圏に対する余ディスプレイ包含構造」で述べた
