檜山正幸に関するoxydeのブックマーク (1)

  • 檜山正幸のキマイラ飼育記 (はてなBlog)

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

    檜山正幸のキマイラ飼育記 (はてなBlog)
  • 1