「惑星が消える？？」なんてずいぶん大それた話題がマスコミで展開されております。まあ、人間によってたまたま「冥王星（英語ではPluto）」と名づけられた星が、これまた人間によって作られた惑星（英語ではPlanet）という概念に当てはまるかどうかという、…