>>73
これについて、Will Clingerがdenotational semanticsをがしがし
計算して、1を返す(もしくはメモリがあふれる)のが正しいって
いってるんですがサパーリ理解できません。

http://www.ccs.neu.edu/home/will/Personal/Nerdliness/callcc.txt