アカウント名:
パスワード:
閏秒 ntp が勝手に吸収してくれるから別に気にしなくてOK閏日 さすがに著名なのでどこも対処済み。ていうかライブラリ使えや閏月 もしあったらわりと任意っぽいので扱いは大変そう
かしら
あともう、春分・秋分の日は100年ぐらいのスパンで決定的にしてしまうほうがいいと思うなー
24:00UTCは、09:00JST。JRの座席予約受付開始なんかは10:00JSTだけれども、09:00始業の会社は多少の混乱が起きそう。前月の5月31日は日曜日なんだから5月末日の方が良さそうな気がするのだが。なぜだろう?
うるう秒は、6月末日か12月末日、それでも足りなければ3月末日か9月末日に挿入されるという決まりになっているからです。
地域によって日付が変わるってこと忘れていませんか? 日曜が公休日でない国もあるし、逆に休日中で無人で動作中にシステム不具合を起こしたら対応するまで時間が掛かるので、「例外的な作業は担当者がいる時に」という見方も。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
皆さんもソースを読むときに、行と行の間を読むような気持ちで見てほしい -- あるハッカー
閏を考える (スコア:2)
閏秒 ntp が勝手に吸収してくれるから別に気にしなくてOK
閏日 さすがに著名なのでどこも対処済み。ていうかライブラリ使えや
閏月 もしあったらわりと任意っぽいので扱いは大変そう
かしら
あともう、春分・秋分の日は100年ぐらいのスパンで決定的にしてしまうほうがいいと思うなー
Re:閏を考える (スコア:0)
24:00UTCは、09:00JST。JRの座席予約受付開始なんかは10:00JSTだけれども、09:00始業の会社は多少の混乱が起きそう。
前月の5月31日は日曜日なんだから5月末日の方が良さそうな気がするのだが。なぜだろう?
Re:閏を考える (スコア:1)
うるう秒は、6月末日か12月末日、それでも足りなければ3月末日か9月末日に挿入されるという決まりになっているからです。
Re: (スコア:0)
地域によって日付が変わるってこと忘れていませんか? 日曜が公休日でない国もあるし、逆に休日中で無人で動作中にシステム不具合を起こしたら対応するまで時間が掛かるので、「例外的な作業は担当者がいる時に」という見方も。