近日，九三学社中央收到中国科学院紫金山天文台来函，函中称，中国科学院紫金山天文台1965年9月20日发现的，国际编号为4913号被国际小行星中心和国际小行星命名委员会批准，正式命名为“王选星”。

王选院士是中国著名的计算机科学家，是中国汉字激光照排技术的创始人，他杰出的学术成就和所开创的汉字印刷技术革新，为我国的科技发展和产业自主创新作出了重大贡献。王选院士生前担任全国政协副主席和九三学社中央副主席，他孜孜不倦的努力工作，为发展中国共产党领导的多党合作和九三学社的长远发展，为国家的繁荣昌盛而呕心沥血、贡献良多，为我们树立了学习的楷模。今天王选院士荣获小行星国际命名，完全是实至名归，也是人们对王选院士最好的纪念和缅怀。

据了解，今年6月，九三学社中央曾致函中科院紫金山天文台，建议用王选的名字命名一颗小行星，以寄托社会各界对王选院士的哀思。中科院紫金山天文台小行星命名专家委员会一致同意这一建议，并随即进行了有关“王选星”的国内征询意见和国际命名的申报工作。经过几个月的努力，终于获得国际小行星中心和国际小行星命名委员会批准。

镌刻着王选院士英名的（4913号）王选星将永远闪耀在宇宙星空之中。