ループ不変 ふへん しき
rūpufuhenshikide

Noun
Da Copula

て-form: Used to connect clauses, make requests, or chain actions of ループ不変式

1. Loop invariant

Te-Form
Computing