2004-05-01 [長年日記]
λ. 萩野先生の授業の補講で学校へ。
λ. 読書
- 『絶滅寸前少女』
- 流星 ひかる [著]
- 『時をかける少女 1』
- ツガノ ガク [著], 筒井 康隆 [原作]
λ. "A denotational semantics of inheritance and its correctness", William Cook and Jens Palsberg
を読んだ。継承の表示的意味論の作り方は自然なのだけど、Domainの構成が気持ち悪かった。
[ツッコミを入れる]
