なんてものがでてくるややこしいものだったが、ここで定義しているCPS変換だとそんなことはないんだな。違いはどこにあるのだろう。継続フェスタの時に亀山先生に直接教えてもらってしまった。昔から二通りの変換があり、ここで使っているCPS変換だと変換結果が末尾呼び出しの形になっておらず、call-by-valueとcall-by-nameで結果が変わったりと良い性質を満たさないそうだ。単純かつこの論文の目的には十分なのでこちらを使用したらしい。工事中の上に人が大杉。侘びも寂びもあったもんじゃないね。哲学の道も人が多過ぎで、散策どころではなかった。(はてな版)日記は現代の病です。読み過ぎ書き過ぎはあなたの健康を害する恐れがあります。2.2.10-p489。