AdditiveArithmeticは横ベクトル同士の自然な加減算があるのでできなくはなさそうですよね