人民网北京12月30日电（记者赵竹青）12月29日，“匡廷云星”命名仪式在中国科学院植物研究所举办。经国际天文学联合会批准