公式ありきにしても、一次元のrot???