GNIとEDPと天文