トップ «前の日記(2003-08-11) 最新 次の日記(2003-08-15)» 月表示 編集

日々の流転


2003-08-14 [長年日記]

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

λ. LDAP on Debian

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

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

Tags: URL tom

λ. 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

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

にウケた。

Tags: ocaml

λ. VMとか

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