トップ «前の日記(2002-09-22) 最新 次の日記(2002-09-24)» 月表示 編集

日々の流転


2002-09-23 [長年日記]

λ. 某氏が「悪代官」というゲームにはまってる。つーか、悪代官が「赤い彗星!?」とかいってんじゃねーよ。(微笑)

λ. 夕食

家族で焼き肉屋へ。

λ. 読書

『X』18
CLAMP
Tags:

λ. データ型

についてヘロヘロと考える。coherent condition (+α)を満たすようなcoercingを用いてsubtypeを定義するならば、全てのsupertypeは当然「ただ一つの値からなる、何の操作も定義されていない型」のではないか? これは型を値の集合として考えたときの姿とあまりにも違いすぎる……