ミンコフスキー空間
the line element on Minkowski space is