正格性解析をなめてた。もっと簡単なもんかと。とりあえず、abstract interpretaionは一応理解したと思う。 ・Strictness Analysis Another Methodの前半 ・Introduction to Abstract interpreation: http://akira.ruc.dk/~madsr/webpub/absint.pdf のstrict…

・融合変換を本格的に実装したコンパイラをつくる GHCを見てると、至る所に改良すべき点があるように感じるのと、あとやっぱ一回くらいコンパイラ作ってみたいなぁというのと。しかし、コンパイラ作りたいというのは、ありきたりすぎるというか、それはいい…

excite翻訳を超える翻訳者がいるとは http://saikyoline.jp/weblog/2006/06/post_76.html

カリーさんが、もしギースという名前だったら、カリーハワード同型はギースハワード同型という名前になって、えらい人がギースハワードを連呼するたびに、レイジングストームをうつ彼の姿が脳内を駆け巡ってニヤニヤしてたんだろうなぁ