「制御構造」の版間の差分

m
(福いたら里 (会話) による ID:47744775 の版を取り消し)
 
=== ループ変化条件とループ不変条件 ===
{{仮リンク|ループ変化条件|en|Loop variant}}と{{仮リンク|[[ループ不変条件|en|loop invariant}}]]は、ループの正しさを表すのに使われる<ref>{{Cite book|last=Meyer|first=Bertrand|title=Eiffel: The Language|year=1991|publisher=Prentice Hall|pages=129–131}}</ref>。
 
現実的には、ループ変化条件とは非負の初期値を持つ整数式である。変化条件はループを回るたびに減少しなければならないが、正しいループ実行の間は負の値になってはならない。ループ変化条件はループが終了するであろうことを保証するのに使われる。
24,289

回編集