Lorentz transformation
慣性系 における現在 と世界線 との交わりはローレンツ変換により