小惑星「総背番号制」に？ 国際天文学連合 命名法の改正検討