>>954
それじゃあ微分可能性を定義する必要ないやんけ