ループ不変 ふへん しきではありません
rūpufuhenshikidewārimasen

Noun
Desu Copula
Negation Auxiliary

The polite negative form of ループ不変式

1. It is not a loop invariant.

Negative
Polite
Formal Register
Computing