ループふへんしき

ループ不変式

表記・読み：ループふへんしき

1. 1

   loop invariant

   名詞computing