x^x^xを微分するとx^x(logx+1)(logx+(1/x))であってますか?