>>151
下に凸なら最小値で微分0
x=uで最小値をとるならf'(u)-a=0
f^(a)=-min(f(x)-ax) → f^(a)=-f(u)+au
a=x^,u=x → f^(x^)=xx^-f(x)