>>10
sinxの微分はどうやって定義するのってはなしじゃね?
しらんけど