こんにちは、ぐりです。1日に記事を2本投稿することなんてほとんどないですがとりあえず書きます。 さて、今朝はうるう秒とか言うイベントで1日が1秒伸びましたね。うるう秒がどんなものかとか、なんであるのかとかは、前回の記事やWikipediaなどを参照して…

こんにちは、最近ごちうさときんモザにはまってるぐりです。 さて、本日、2015年7月1日といえばうるう秒挿入の日です。実際にはUTCにおける6月末の23:59:60にうるう秒が挿入されることになってます。うるう秒が必要な時は、6月と12月から優先的に使うようで…