>>320
> 継続は手続きである。

仕様を読みましょう。
Continuationとescape procedureは別。
Schemeで1st class objectなのは、
call/ccの作るescape procedureであってcontinuationじゃない。

Escape procedureは、call/ccした時点のcontinuationへの
遷移と値の受け渡しを担ってる。
表示的意味論での継続は、意味関数で意味付けられていて、
それとほぼ同型。CPS風の意味論で顕著。