ループ不変 ふへん しきじゃありません
rūpufuhenshikijārimasen

Noun
Desu Copula
Negation Auxiliary

The polite negative form of ループ不変式

1. It is not a loop invariant.

Negative
Polite
Terminal Form
Computing