結局、微分形式ってのはdx dy の幾何学的意味や微小増分などの意味を深く考えないで、それらが実在するとして計算法や理論構築にどんどん進んでいった学問でFA？