これをformula_33について微分することで次が得られる。