>>423 微分可能だろ