ループ不変条件