数学が自然科学だったのは遠い昔の話かと