そういえば本来のLorentz変換とやらが何か教えてもらったなかったですね。
これもお願いします。