6:00起床。 冥王星が惑星から格下げになるそうだ。最初は新たに2つ太陽系の惑星を増やすつもりだったらしい。ところがその議論を進めるうちに、増やすはずだった惑星よりも小さな冥王星自体を惑星と呼ぶのはいかがなものかという方向になってきたらしい。世…