ついでに行列や四元数は積について可換じゃないから * を割り当てるのは違和感があるな・・・