自己再検証:Swiss Ephemeris の座標系実装について─ 前報(v3)の訂正と正しい検証結果 ─ / Self-Correction: On the Coordinate System Implementation of Swiss Ephemeris — Correction of Previous Report (v3) and Verified Results —

日本語 前報(v3)において、著者は Swiss Ephemeris の “tropical” 出力が実際には J2000 座標系であると主張した。しかし公開後、検証に使用した Skyfield の座標系フレームのラベルが逆転していたことが判明した。具体的には、Skyfield の ecliptic_frame(実際は of-date フレーム)を “J2000” と誤ってラベルし、ecliptic_latlon()(J2000 相当の値を返す)を“of-date” と誤ってラベルしていた。 正しいフレームで再検証した結果、Swiss Ephemeris の太陽黄経(1983年7月5日:102.69463°)は Skyfield の ecliptic_frame(of-date)と 0.032 秒角以内で一致し、ecliptic_J2000_frame(J2000 固定)とは 846 秒角(17年分の歳差)の差があることが確認された。 これは Swiss Ephemeris がドキュメント通り of-date 座標系を正しく実装していることを意味する。前報の核心的主張「Swiss = J2000」および関連する「二重補正問題」の記述は誤りであり、ここに訂正する。 また、今回の経験は天文計算ライブラリを用いた座標系検証における重要な教訓を示している。フレーム名が直感に反する命名を持つ場合、ライブラリのドキュメントまたは既知の数値での事前検証が不可欠である。 English In the previous report (v3), the author claimed that Swiss Ephemeris’s “tropical” output is actually in the J2000 coordinate system. However, after publication, it was discovered that the Skyfield coordinate frame labels used in the verification scripts were reversed. Specifically, Skyfield’s ecliptic_frame (which is actually an of-date frame) was incorrectly labeled as “J2000”, and ecliptic_latlon() (which returns J2000-equivalent values) was incorrectly labeled as “of-date”.Re-verification with the correct frame labels confirmed that Swiss Ephemeris’s solar longitude (July 5, 1983: 102.69463°) matches Skyfield’s ecliptic_frame (of-date) within 0.032 arcseconds, and differs from ecliptic_J2000_frame (J2000 fixed) by 846 arcseconds (equivalent to 17 years of precession). This demonstrates that Swiss Ephemeris correctly implements the of-date coordinate system as documented. The central claim of the previous report—“Swiss = J2000”—and the associated description of a “double correction problem” were erroneous and are hereby corrected. This experience also provides an important lesson for coordinate system verification using astronomical libraries: when frame names have counter-intuitive naming, pre-verification against known numerical values or library documentation is essential.