そういえば今日のマドリッドでウィグダーソン氏の
P-NPの講演がありますね。彼には御神本贈ったのかな。