>>280
その直線と球の交点求めるみたいな式がローレンツ変換なのか?