日本版GPS衛星「みちびき」11月1日から本格運用。