「人間的自然の理性化」 から 「数学の人間的自然化」へ