2009-10-02 Ex 2.24 EoPL memo 英語が読めん。てーか負け惜しみではないんですが substitutions なオブジェクトがどう動くのか、なイメージがナニ。 と言いつつ問題文の全体を眺めてみるに、難しく考えすぎてるのかな。 実際に subst するのは subst-in-term とか subst-in-terms とかか。 しかし_オブジェクトがイメージできん_とゆーハマり方するのは久々かも。