ループ不変条件()とは、計算機科学において、ループの不変条件のこと。