CPS変換の手法にもいろいろある．前提として，λ式は以下のような構文で定義されているとする． M, N ::= x | λx.M | M N CPS(継続渡し形式)とは，計算が行われる順序を明示するために，ある式の計算結果を，残りの計算を表す継続（途中結果を受け取り，残り…