トップ «前の日記(2004-04-30) 最新 次の日記(2004-05-02)» 月表示 編集

日々の流転


2004-05-01 [長年日記]

λ. 萩野先生の授業の補講で学校へ。

λ. 読書

『絶滅寸前少女』
流星 ひかる [著]
『時をかける少女 1』
ツガノ ガク [著], 筒井 康隆 [原作]
Tags:

λ. "A denotational semantics of inheritance and its correctness", William Cook and Jens Palsberg

を読んだ。継承の表示的意味論の作り方は自然なのだけど、Domainの構成が気持ち悪かった。

Tags: 論文