>>17
局面は有限通りしかなくて4回同一局面で終了なので必ず有限時間で終わる