日々の流転

λ. おぉ、Zinniaさんのとこでもこないだのスタックの話と似たような話題が。なるほどobjdumpってこういう目的にも使えるのですね。参考になります。

λ. 言語の意味論

これでモンタギュー意味論もようやくおしまい。次回からは状況意味論へ。全然知らない領域なので楽しみ。

λ. 東方紅魔郷

ノーコンテニューで5面ボスまで到達。

λ. Lawvereの不動点定理について発表

Lawvereの不動点定理について発表。カントールの対角線論法との関係と、不完全性定理との関係について説明した。原さんの Y Combinator の導出方法も準備でしてたのだけど時間切れ。発表しないのももったいないので次回発表しよう。

λ. 夕食

片山さんとデニーズへ。そこで某氏らと遭遇。

λ. Light of the Earth 東方紅魔郷コーナー

スペルカードリスト等あり。