>>866
n秒後に赤が点灯している確率=n-1秒後に赤以外が点灯している確率*1/2