talk:>>258 cos(x)/(2√(x))でも積分してみるか?