本日、9月23日は「海王星の日」。1846年9月23日、ドイツの天文学者ヨハン・ガレがベルリン天文台での観測で、海王星を発見した日にちなんでいる。海王星は、地球から最も離れている惑星であり、肉眼で観察することができない太陽系唯一の惑星だ。そのため、数学を使った理論的な予測によって発見されたという経緯がある。…