どうやら津川が凄い数学者というのは本当のことのようだな