高橋至時
至時は著書『新修五星法及図説』において、自らが行った観測結果から、惑星の公転周期を計算した。そして、公転周期の2乗と軌道半径の3乗の比が一定になるという法則、つまりいわゆるケプラーの第3法則を利用して、惑星の軌道半径を計算した(至時はこの法則を剛立から学んでいる)。
この値を西洋の書物である『アールドゴローツ』(ヨハン・リリウス著)および『ナチュルキュンテ』(ベンヤミン・マルチン著)に載っている値と比較すると、わずかなずれが見られた。至時は、このずれは1年という単位が違うためではないかと考えた。つまり、至時は1年を、太陽が地球の周りを公転する周期(太陽年)で計算したが、西洋書は、地球から見た恒星が同じ位置に来るまでの時間(恒星年)を1年として計算していると判断したのである。そして実際に、恒星年を元に再び計算を行うと、西洋の書物の値とほぼ一致し、剛立や至時自らの理論の正しいことが確かめられた。