P != NP 予想、証明されるか?』(/.-J)…