データがありません
通知
通知はありません
ループ不変式 ループふへんしき
loop invariant
大変 たいへん
very; greatly; terribly; awfully
式 しき
way; style; fashion; method; system; form; type
変え かえ
changing; change
変更 へんこう
change; modification; alteration; revision; amendment