いくつかの条件が満たされる限り、同じ活動のシーケンスを繰り返すループです。While ループごとにループの先頭にその条件をテストします。開始から、条件が false の場合、ループ内に含まれるアクティビティのシーケンスが決して実行されます。