あと>>498だけど

判定アルゴリズムは構成不可能性の話

だから。ある意味誤解というか

>>502
計算可能性と構成可能性があるとはどっかで何回も言ってる
何故可能かは敢えて言ってないし答えるつもりはない。具体的にどういう効果があるのかはそれなりに
説明するが、あまり仕組みの技術的なアイデアは安易に話さないと初期から言ってる