(1) シーケンスの特定の条件が満たされるまで繰り返し実行されるコンピューター プログラム ステートメントまたは与えられた条件がコンピュータ プログラム文 （1） と同様のシーケンスを実行する true.~(2) です。