天文学名词 Tiānwénxué míngcí (科学出版社, 1956)