call/cc による古典論理の証明 を追加した。