この回転変換、円と直線の衝突判定とか、三角形同士の衝突判定のときとかにも応用できるテクニックなので、覚えておいて損はないです。 サンプルプログラムはそのうち消しちゃいますけど、もう大丈夫ですよね?