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

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

チラシの裏

Set Oriented Programming

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

不完全性定理×ミステリ

ネットを検索していたら、不完全性定理とミステリを結びつけて扱っている文献が、いくつか見つかりました。 それを読んで考えた事を書きます。……といっても、話題の旬を逃してそうだし、同じ事いってる人居そうですが。トンデモ覚悟で聞いて下さい(何 まず、…