最近、やむをえない事情によって、C#を覚えたのだけど、ついでにF#とか使ってみようと思った。ベースになってるのは、Ocamlで、Ocamlの標準ライブラリの大部分を利用できて、.NET Frameworkも簡単に利用できるとか。どうでもいいんだけど、MSには、Erik Meij…

圏論ばっかやってると飽きる。まあ、モナドが色々な場面でよいインターフェースだという点については、概ね合意が得られてると思うんだけど、Arrowはどうなんかな〜っていうか、そもそも、Arrowとか、まともに使ってるライブラリが殆どないので、よーわから…

人間の意識は計算不可能云々という話を見て思い出したのだけど、計算可能性の定義として、いわゆるチャーチのテーゼは広く受け入れられてる(というか、それ以外の定義はないと思うけど)。けど、チャーチのテーゼが受け入れられてる理由って、単に、チャーチ…

あんまし興味なかったので、ちゃんと勉強したことなかったけど、勉強しようと思った http://web.sfc.keio.ac.jp/~mukai/2006-mathlogic/incompleteness.pdf を読んだ。 たった8ページ(本質的な部分は4ページくらい)で、証明自体に難しいことはないのだけど、…

キングクリムゾン