定義域と値域の両方を実1次元射影空間に拡大するのが一番素直だな