Lorentz transformation
ローレンツ変換 と4元ベクトル を使って