今朝、閏秒が実施。
公式には8時59分60秒が挿入されたものの、Googleは前後10時間の、Amazon AWSは前後12時間で調整した模様。
非常識な"8時59分60秒"という“うるう秒”も面白いが、どう考えても1秒を僅かに長くして調整したGoogleやAmazonの方が現実的で賢明と思うな。
【参照】
●INTERNET Watch http://internet.watch.impress.co.jp/
┣“うるう秒”しばらくは存続、ITUの世界無線通信会議で決定 2015年11月20日
┣来年の元日は1秒長い日に、NICTが「うるう秒」挿入を発表、2017年1月1日に8時59分60秒が挿入 2016年7月8日
┣Google、うるう秒の1秒分を前後10時間のクロック変更で吸収 2016年12月2日
┗Amazon AWS、うるう秒の1秒分を前後12時間の1秒を1/86400長くして吸収 2016年12月28日
●Wikipedia https://ja.wikipedia.org/wiki/
┗閏秒