>>763-764
だとすると、d^(-1)/dx^(-1) f(x) = ∫f(x)dxなんていう定義もアリですか？