(computer science) an invariant that should be true on entry into a loop and is guaranteed to remain true on every iteration of the loop
loop invariant
アルゴリズムを検証するために、彼女はループ開始時に成り立ち各反復で保持される性質を表すループ不変式を定式化した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
