トップ «前の日記(2001-06-19) 最新 次の日記(2001-06-21)» 月表示 編集

日々の流転


2001-06-20 [長年日記]

λ. 血液型

そうそう。僕はB型なんで、血液型で性格が決まるなんて信じないのさっ :D

λ. Dreamcast

弟がDreamcastを急に買って来たので驚く。外箱を見ると、MIL CD が動作するって書いてあるんで、たしかNetBSDとLinuxが動作したはず。しばらく遊べるかな。

λ. 含意

確かにフレーゲ的には、片方が invert されてる OR は implication (含意) なんだけど、「A ⇒ B」と書かないで、部分集合の記号を使って「A ⊇ B」って書くと混乱するような気がするにゃあ。AとBが条件なら、逆に「{x|A(x)} ⊆ {x|B(x)}」っていう表記もするし。(Aの外延は、Bの外延の部分集合になるんで)