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