まぁ普通はそこまで必要無いわな。

ちょっと気になっただけなんだけど、過去の閏秒の情報って何処かから取得出来る？
現時点の情報なら、GPSか電波時計監視すれば出来そうなもんだけど。