レバテックLAB

遊戯王で、ある戦略が確実に勝てる戦略かをコンピュータで判定できるかという問いは、数学的に決定不能？