トップ «前の日記(2002-11-14) 最新 次の日記(2002-11-16)» 月表示 編集

日々の流転


2002-11-15 [長年日記]

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

λ. 言語の意味論

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

λ. 東方紅魔郷

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

Tags: 東方

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

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

Tags: 向井研

λ. 夕食

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

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

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

Tags: 東方
本日のツッコミ(全2件) [ツッコミを入れる]
ψ (2002-11-25 08:45)

遅延評価のところどうごまかすか(^^;興味深いです。

ψ さかい (2002-11-25 23:03)

誤魔化すだなんて人聞きの悪い(笑)<br><br>今回は、実際のプログラミング言語にはあまり立ち入らないつもりなので、<br>単に「正規順序評価で」とか言って済ませてしまう予定です。(^^;<br><br>あの遅延評価をうまくjustify出来たらカッコ良いとは思うのですが、なかなか……