日々の流転

λ. AMG

AcronymFinderでAMGを検索すると、「Aa! Megami Sama! (anime)」がトップにくる。「Ah! My Goddess」ではなく「Aa! Megami Sama!」がdefinitionとして載っていることに少し驚く。

λ. SLACS 2003

今日も行ってきた。発表を聞いていたら、僕も研究しなくちゃなぁという気がしてきた。

λ. 外延的π計算

へぇ、λ計算をπ計算に埋め込めるのか。

λ. 情報と依存関係の論理, 小林 聡(京産大)

竹内君とか、結構興味がありそう。内容そのものも面白かったけど、論理体系を作っていく過程みたいなのが面白かった。

λ. The double-negation and ?! translations of classical logic, 白旗 優 (慶應大)

.

λ. 等式の対応関係について, 西原 秀明 (産総研/CREST)

.

λ. 学校

帰りに学校によって、幾つか雑用を済ませてくる。久しぶりの学校は何やら工事か何かをしていた。あ、ITSSの謝金申請書を提出してくるの忘れた。

λ. 読書

『夢使い 5』

植芝 理一 [著]

λ. Scott位相, Compactness

Scott位相の開集合の条件に「inaccessible by directed join 」があるって事は、例えば、半順序集合 (N∪{∞}, ≦) 上のScott位相を考えると、{∞}は含まれないって事かな。……なるほど、なるほど。

Compactnessまだ分からん。池上さんも「普通に勉強していても詰まるところ」と言っていたので、気長に行こっと……