0387132人目の素数さん垢版 | 大砲2020/02/14(金) 00:27:48.99ID:8cT1yPek 「選択函数は存在するが、値を知ることはできない」 と仮定しても、時枝解法は成立しない。