>>384
それだと、ddx=0 が独立変数であることの定義ってことか?