>>281 >>283
ありがとうござます。
まずはP≠NP問題の独立性証明に挑戦してみたいと思います。
強制法というのを使えば独立であることを示せるんですよね？