みちびきは、2023年に7機体制になり

GPSに依存しない日本国内用GNSSとして運用できるようになるからね