ケプラーの法則
ケプラーの法則（ケプラーのほうそく）は、1609年から約1619年にかけてヨハネス・ケプラーによって発表された惑星の運動に関する法則である。
高橋至時
至時は著書『新修五星法及図説』において、自らが行った観測結果から、惑星の公転周期を計算した。そして、公転周期の2乗と軌道半径の3乗の比が一定になるという法則、つまりいわゆるケプラーの第3法則を利用して、惑星の軌道半径を計算した（至時はこの法則を剛立から学んでいる）。