ローレンツ変換
Lorentz transformation of velocities.