Re:>>281 ∂/∂xにも積分を定義しようと思えばできるんじゃないの?