プログラミング:ループ表明
ループ表明（loop assertion）
Programming:loop assertion
#Programming-term