Suppose the "fixed stars" live in Minkowski spacetime and are modeled by points on the celestial sphere.
「静止した星々」がミンコフスキー時空上にあり、天球上の点によりモデル化されるものとする。