ループ不変 ふへん しきです
rūpufuhenshikidesu

Noun
Desu Copula

The polite form of ループ不変式

1. Loop invariant.

Polite
Computing