超準解析では、dx や dy をどんな風に合理化できるの？
詳しい人いたらざっと説明してもらえると嬉しいです。