次元を増やす

3次元回転を記述するのに、4変数を使う。