そうそう、そういえば昨年8月のエントリィで、冥王星が新たにカテゴライズされた「Dwarf planet」（当時は「矮小惑星」とか「矮惑星」などと暫定訳されていた）の邦訳語に「準惑星」なんてどうだろうか、と言っているのですが、どうやら正式に「準惑星」にな…