ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
ループ表明
プログラムの繰返し部分の性質を記述する表明.繰返しを何回実行したかには無関係に,繰返しのある部分について常に成立している不変関係として表現される.ループの特定の部分を毎回実行する前に成立していなければならない一つ以上の条件を指定する論理式
loop assertion