ループ不変式

Reading

Kana: ループふへんしき
Romaji: ru-pufuhenshiki
Kana
Romaji

Definition

1

loop invariant

(Computer terminology)

Kanji

Readings: フ、 ブ
Meanings: negative, non-, bad, ugly, clumsy
Readings: ヘン、 か.わる、 か.わり、 か.える
Meanings: unusual, change, strange
Reading: シキ
Meanings: style, ceremony, rite, function, method, system, form, expression