微分位相幾何学 - 他の言語