オーバーラン(overrun)とは、