loop invariant
(algebra) An element of an algebraic structure, generally denoted 1, which is an identity for a multiplicative operation (generally denoted × or *, or by concatenation).
(not comparable, of a horse) Not wearing blinkers. / (figuratively) Not blinkered; having full vision or awareness.
(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
past participle of blow one's top
アルゴリズムを検証するために、彼女はループ開始時に成り立ち各反復で保持される性質を表すループ不変式を定式化した。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★
