某氏のP≠NPの証明ホントかねえ。
S^i_2の階層性に帰着させてるから割とガチっぽくは
あるんだけど……

限定算術勉強するなら何が一番効率良いんだろう