ln(x) は微分される側だろ、常考