その一 Haskellに依存型があれば、カッコいい。 その二 また、アドホックな多相型？ があれば便利だと思う（型を集合とすると、集合の直和ではなく、集合の合併に相当する）。 (A | B)をA型でもB型でもよいアドホックな多相型だとすると、 f a = if a then 1…

たぶん、今まで哲学上主張された実在は、四つに分けることができる。 実念的実在 - プラトンの「イデア」、上座部の「ダルマ」。論理学でいう「述語」にあたるものを実在として扱う。「三角形」「変化」「美」といった実在。 本質存在 - アリストテレスの「…

「科学」を「知の体系」一般として定義すると、「『科学』も新手の宗教である」というのは、例えば「真善美のうち、真の卓越的価値を信じる信仰」ということになるだろう。僕は、知（あるいは真）に極めて重要な価値があると思っている。これは、価値の議論…