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

日々の流転


2002-11-28 [長年日記]

λ.

  • 不死の(ノスフェラトゥ)ゾッド(人間形態)にチェーンソーで襲われる夢
  • 夜の都市を飛び回る夢。空を飛ぶ夢は浮遊感が気持良い。 ただ、何故か知らないけど地上から大量に銃撃されてたけど。

λ. 予算編成論

来年の1/16の授業が田中康夫の講演になるそうです。

λ. 偏頭痛

偏頭痛がする。あらゆる事にイライラする。病的で破滅的な妄想が頭から離れない。こんな自分は嫌いだ。

λ. E.Moggi

MoggiのThe Partial Lambda-Calculus. に PhD thesis, University of Edinburgh, 1988 と書いてあったので、ひょっとして萩野先生と面識があるのではないかと思って萩野先生に訊いてみたらビンゴだった。ま、どうでも良いけど。

λ. 龍田真さん

proof.styの作者って、『型理論』の著者の龍田真さんだったのか。Moggiの事といい「世間って案外狭いのかも」と今日は少し思った。

λ. ホームページのウンザリ度鑑定

憂鬱な昨日に猫キック 不安な明日に猫パンチ (2002-11-26) より。知り合いのサイトとかを鑑定してみるも、みんな0点なのでつまらないなぁ。