>>102
割り算は別に形式的では無くてただの数の割り算ってだけ
その割り算が意味を持つのがdy÷dx=f'(x)の関係があるときだけ
というだけ