>>287
4^(x-(1/2)=(4^x)/(4^(1/2))=以下略