>>123
ローレンツ変換使わなくてもいいんだけどね。