ループ不変式ループふへんしきruupufuhenshikinounloop invariantKanji in this word不negative変unusual式styleStudy it in Yanamino