∫[0,∞]exp[-x^2]dx=√π/2を用いて次の積分を計算せよ。
∫[0,1](log(1/x))^(1/2)dx
よろしくお願いします。