R における sin x = 1/2 の一般解。