>>474
ありがとうございます。

しかし >>473 の例、
(car&cdr '(a b c)
(lambda (x y)
(list y x))) => ((b c) a)
(car&cdr '(a b c) cons) => (a b c)
(car&cdr '(a b c a d) memv) => (a d)

これらはいずれも、返り値は複数ではなくて一つだけ(リスト一つ)です
よね。

これがなぜ
> >>473の例は複数の値を返せる，という継続の特徴の一部を示している
> だけのプログラム例
ということになるんでしょうか？

> ちなみにContinuationはそのときの環境なども含まれるから
> 単純なプロシージャとは違います．

では、代わりにクロージャ渡しと言えば、それは CPS と同義なんでしょうか？