NichiDict

ループ不変式

るーぷふへんしき
[ruupufuhenshiki]

Meanings

1.Noun

《computing》loop invariant