loop invariantsとは 意味・読み方・使い方

An intra-loop invariant deciding means 11 of a loop optimization processing part 1 retrieves expressions in a loop and decides intra-loop invariant, and from among the decided intra-loop invariants, an intra-loop invariant deciding means under a condition 12 selects an intra-loop invariant being under a condition.例文帳に追加

ループ最適化処理部１のループ内不変式決定手段１１によりループ内にある式を検索してループ内不変式を判定し、判定したループ内不変式の中から、条件下にあるループ内不変式決定手段１２により条件下にあるループ内不変式を選ぶ。 - 特許庁