C++は微分可能ですか?