今の場合r=1+θ上でしかFは定義されてないんだからrotFは計算不可能