3年前ボストンに行ったときに、港のショッピングモールの建物に在ったマークです。レンガ作りとはいえ、こんな窓のいっぱいある建物で死の灰が降ってきて助かるものでもないと思います。冷戦時の遺物。鼻で笑ってしまいそうになります。ただ、彼らは実際には…

大阪でおまけ言うたらコレ!サンプルソースは http://camlspotter@bitbucket.org/camlspotter/omake-depend-on-dir にあるよ。 OMake って大阪のオバチャンに言わせるところの「便利やけど使いにくいわぁ」「どっちやねん!」なツールですよね! OMakeは素晴ら…

C.U.F.P. (Companhia União Fabril Portuense)関数型言語の国際会議 ICFP の今年の開催地は東京です。ICFP のアジアでの開催は初めてですね。F# も正式にリリースされましたし Haskell も Haskell Platform が立て続けに出てます。Coq や Agda などの依存型…