∫(0->π/2)log(cos(x))dxの値を求めよ