退場の整合性