プログラムは必ず初期ステップ(右図ではInitial)から開始する.
必ず