うるう秒

いまさらな話題ではあるのですが、先日の7月1日 8時59分（日本時間）の「うるう秒」調整で ...