Entries from 2007-12-30 to 1 day

砧公園

先日砧公園に行ったときのこと。広さのわりに人がまばらで気持ちよく黙々と写真を撮っていた。すると公園巡回員の方に「何の写真を撮っているの?」と話しかけられた。元プロカメラマンのおじさんで色々教えてもらった。

E

論文を読んでいると意味が分からない部分の方が圧倒的に多い。頭がヒリヒリしてきて「いーっ」となる。どうしても数式よりもコードを見てしまう。証明部分をスルーしてしまう。スルーすると次の文章が突然飛躍したように見える。ますます理解できなくなる。…

A正規化(A-normalization)と CPS変換 - Scheme VM を書く

ここに書いてある内容は古いです。A正規形まとめをご参照ください。 The Essence of Compiling with Continuations を読んで理解したことをまとめた。僕は専門家でないので間違いが含まれている可能性があることに注意。 CPS CPSの特徴はすべての手続きが継…