0389132人目の素数さん垢版 | 大砲2020/01/11(土) 18:21:18.95ID:HWf7AWYi >>375 >ただ、時枝の決定番号dは、非正則という結論には同意する バカ丸出し 「決定番号が可測でなければならない」という条件は時枝戦略には不必要。 必要なのは「決定番号は自然数である」という条件だけ。 この条件の成立は選択公理によって保証される。よって戦略は成立w