９番目の惑星が存在するらしいとの報道があったけど、惑星と認定された場合、どういう名前になるのだろう。"Hades"になったりしたら、訳語に困りそう(^^; 惑星の名前は基本的にローマ神話から来ているのだけど、天王星の"Uranus"だけはギリシャ神話由来なん…