interp関数の(extend-env (bind (fdC-arg fd) (interp a env fds)) mt-env)を(extend-env (bind (fdC-arg fd) (interp a env fds)) env)とするとダイナミックスコープになってしまうので注意。(schemeはダイナミックスコープではなく、レキシカルスコープ) #…

一次合同式とは以下である。 のとき、と書ける。 （は整数)にこれを代入すると、即ち、より、はを約数として持たなければならない。よって、と書くと、なる。で割ると以下のようになる。 この一次合同式の唯一つの解をとすると、より 両辺に掛けて、即ちとな…

「Programming Languages: Application and Interpretation by Shriram Krishnamurthi」というPDFを読んでいます。http://cs.brown.edu/~sk/Publications/Books/ProgLangs/ これは、言語処理系に関する本のようです。インターネットで調べたところCPS変換に…