では、P=NPを解く@grokいつになるのでしょうか?
457