「call/ccによる古典論理の証明」を見直す。