タグ

2009年4月28日のブックマーク (2件)

  • クラスとは何かを集合論から考えなおす - 2009-03-08 - きしだのはてな

    いま論理学とか集合論とかを勉強してるので、クラスって何かという話のときも集合論として考えてた。 なので、そのとき考えたことをまとめておく。 まず、「なにか」があるとする。「なにか」はなんでもいい。 そして、その「なにか」の集合を考える。たとえば"aaa"や"bbb"を要素とするStringという集合を考える。3とか5とかを要素とするIntegerという集合を考える。 ここで、その集合がなにを扱うかという規則をどうするかというのがオブジェクト指向としては大切になるかもしれないけど、今回はそこには触れないでおく。 とにかく、「なにか」と『「なにか」の集合』を考えることをここでは大切にする。 これで『「なにか」の集合』を考えたところで、『「なにか」の集合』を要素とする集合を考えて、この集合をクラスとする。つまり、クラスという集合は、StringやIntegerといった集合を要素にもつ。 ここで、

    クラスとは何かを集合論から考えなおす - 2009-03-08 - きしだのはてな
  • 諸君らの愛したSmalltalkは転けた。何故だ!? - みねこあ

    きむら(K)さんよりの突然の召喚にビックリ。ンッガッグッグ。 なぜ Smalltalkはマイナーなままだったのか? わたしはちゃんとしたSmalltalker じゃないし、若輩すぎて「今」の「わたし」についてしか書けません。その見解も元エントリーで出尽くしているように思えるしで、だからせっかく召喚されたのに、あんまり面白いことを書ける気がしないのですよね。むーむ。 ここは sumim さんの登場を刮目して待つことにして、とりあえず、わたしはなんだか微妙にずれたことをいってお茶を濁そうと思います。例えば、「Smalltalk は コンピュータ界のセガです!」*1と、不埒なことを言ってみたり。 * * * Smalltalk が普及していない理由は、月並みですが、やっぱりキラーアプリがなかったからだと思います。そしてこれだけ先進的で夢盛りだくさんなのに、何故にキラーアプリがなかったのかというと

    諸君らの愛したSmalltalkは転けた。何故だ!? - みねこあ