ギャップ、脱出、スペキュラムによる開放