前回の日記のあと、さかいさんから個人的に指摘もらいました。「この圏はCCCじゃないんじゃないか」と。CCCに対応するのは直観主義論理なのですが、一方で継続 ~X が Xの双対なら、~~X が X と同型になりそうなのです。つまり、~X を「Xの否定」とみなすと、…

値と継続が双対 (dual)の関係にあることを初めて知る。以下、自分の思考をだらだらと書き留めたチラシの裏。なんのまとまりもありません。あと、元論文の解説ではなくて、読みながら考えたことを書いてるので注意。実は違う話をしてる可能性大。 それから、…

こんなん出た。 そうかーあと13278年くらいで試用期間切れちゃうのかー。