出典:Wikipedia
出典:『Wikipedia』 (2010/10/20 15:27 UTC 版)
In computer programming, loop-invariant code consists of statements or expressions (in an imperative programming language) which can be moved outside the body of a loop without affecting the semantics of the program.