うるう秒
太陽時とセシウム原子時計の誤差を埋める
6月か12月の最後に挿入(または削除)される
2016年の最後に挿入されたとすると
2016/12/31 23:59:60という時刻が現れる
IERSは、地球の自転速度の変化を監視し、TAIとUT1との差が0.9秒を超えると予測された場合、次の6月30日または12月31日にうるう秒を追加または削除することを発表します。 GPT-4.icon
『ソフトウェア設計のトレードオフと誤り』.iconによると6ヶ月前には発表されるらしい
うるう秒、2035年までに廃止へ - CNET Japan
2022/11/18の会議で廃止することが決定されたらしい
『ソフトウェア設計のトレードオフと誤り』 p.192