ループ不変 ふへん しきじゃない
rūpufuhenshikijanai

Noun
Da Copula
Negation Auxiliary

The negative form of ループ不変式

1. Not a loop invariant.

Negative
Computing