丹元子 2023年8月9日 中国文史哲大辞典 隋末唐初人,本名王希明。官右拾遗。以所著《步天歌》而知名。此歌将恒星表编成七言歌诀,广为流传,有益于普及天文知识。歌辞全文保存于宋王应麟《玉海·天文·天文书》。