楽天ブックスでシンプルに目的の本を探す。天文年鑑 2023年版 (天文年鑑編集委員会)の本を買う。