>>722
むかしからdxというのは微分幾何の時代からきちんと定義されてる。
超準解析なんか必要ねー