>定義がそもそも書いていない
今の微積分で、"dx"の定義しか探さない奴は馬鹿だ