日々の流転

λ. 今朝の夢

どっかの温泉に行く夢。いい湯だった。ちなみに混浴ですた(笑)

λ. アッカーマン関数

CPLでアッカーマン関数の続き。萩谷先生の「止まれ」という記事にも、Ackermann関数も、primitive recursiveな汎関数としてならば定義することができると書いてあった。さらに、任意のprimitive recursiveな汎関数が停止するということから、Peano算術の形式体系としての無矛盾性を導くこともできるという事が書いてあって感嘆する。すごいものだなぁ。

λ. キノの旅 6

『キノの旅 Ⅴ』

時雨沢恵一[著] 黒星紅白[イラスト]

「祝福のつもり」を読んで、何とも言えない気持ちに駆られる。

λ. category of Chu spaces

これまで「classificationとinfomorphismの圏」とか適当に呼んでたけど、 名前はちゃんとあったようだ。

The category whose objects are classifications and whose morphisms are infomorphisms is sometimes called the category of Chu spaces, or the “Chu over Set” category.

λ. infomorphism vs adjunction

ところで、infomorphismの条件「f^∨(b) ⊨_A α iff b ⊨_B f^∧(α) 」って、adjointの条件「Hom_A(F(X),Y) ≅ Hom_B(X,G(Y))」と似てるな、とふと思った。

これって、例のInstitutionではfunctorがinfomorphismに相当するって話と何か関係ある?