>>423
x = exp(t)とおく