x^2-x-1=0の解とか