ベクトルの回転

2次元ベクトルを回転させたときの座標変換は次の通り。

x' = x * cosθ - y * sinθ
y' = y * cosθ + x * sinθ

このとき回転方向は時計回りが正。

追記(11/17):
座標系はX軸の正方向が右側、Y軸の正方向が下向きのとき。このときに角度の正方向は時計回りになる。