優秀な数学者にはインターネットで遊ぶ暇がない