日々の流転

λ. 「残酷な神が支配する」って完結してたのか。知らなかった……

λ. LDAP on Debian

これは, Debian testing/unstableにおけるLDAPの設定の説明です。LDAPの基礎知識はあるものとします。いずれ基礎知識の文章もかくかも。

メモ。へたれ人生(2003-08-14)より。

λ. Topology via Logic の Chapter 5 を読了

Chapter 5 読了。この章では、Topological System, Topological Space, Locale とその間の関係を扱っている。ここまで読んできて、向井先生が「言語の意味論」で強調していた Channel theory や Chu space と Locale や Topology との繋がりがようやく見えてきた感じがする。Topological Space と Locale の一般化である Topological System は、タイプ集合がフレームになってるClassificationと考えられる。

あと、「A proof of spatiality of a locale shows completeness of a logical system」に、ちょっと驚く。

λ. OCaml.JP

僕と一緒に型推論しませんか？

にウケた。

λ. Decomposing Typed Lambda Calculus Into a Couple of Categorical Programming Languages

メモ。

λ. VMとか

笹田さんは Ruby VM の構想とか、サクサク考えられて羨ましいなぁ。僕も一度はVMと呼べるものを実装してみたいものだ。