アリス、このソースコードが有限時間で停止するか判定してくれない?