ループ不変式 (ループふへんしき) — loop invariant | Kumi Dictionary