これは圏です(はてな使ったら負けだとおもっていた)

きっと何者にもなれないつぎの読者につづく。

2006-07-16から1日間の記事一覧

Set Oriented Programming

オフ中に(今もそうだけど)集合論を独学しながら考えた事。集合指向(セット指向)プログラミングとかあったらおもしろいかも。万物は集合で、その間の関係とか写像とかを定義しながら使うわけで。で、どの集合論を使うの?っていうと、まあ、ZFとBGという選択…