>>82
一度SECDマシンで考えて、
<S,E,C,D>(のコピー)が継続そのものであることを理解したら、
継続パッシングスタイルに評価器を書き換える。