[0, 2pi) 에서 sin x = \sqrt 2/2 을 풀어라