タイムスタンプの精度を落とすときは切り捨てろ - methaneのブログ
とあるプロジェクトでナノ秒からミリ秒への変換で四捨五入してきた人がいて、時刻を扱うときは保存精度未満は切り捨てるべきというのが常識になっていないなーと思ったので。 2023-10-01 を、何年か表示する時に、2024年に丸める人はいないだろう。 13:45 が何時か表示する時も、13時と表示するだろう。（口頭で何時？と聞かれたら14時と答えるかもしれないけれど） つまり、ある精度で表した時刻は、実際には次のような半開区間を示しているのである。 2023-01-01 00:00:00 <= 2023年 < 2024-01-01 00:00:00 13:45:00.000 <= 13:45 < 13:46:00.000 そして、そう決めたからには一貫して同じように、指定精度未満は切り捨てというルールを維持しなければならない。秒以下は四捨五入で、とかやってはいけないのだ。 一貫しないと何が問題
地球の自転が速くなっているため2029年までに「負のうるう秒」が必要になる可能性大、ネットやITサービスが大混乱になる危険性も
4年に1度、2月が1日長くなる「うるう年」はよく知られていますが、これとは別に12月31日か6月30日に1秒調整する「うるう秒」も存在します。うるう秒は、これまではすべて1秒長くするものでしたが、2029年までに1秒減らす必要があるという計算結果が報告されました。 A global timekeeping problem postponed by global warming | Nature https://www.nature.com/articles/s41586-024-07170-0 A faster spinning Earth may cause timekeepers to subtract a second from world clocks | AP News https://apnews.com/article/leap-second-subtract-melting
１日の長さに１秒加える「うるう秒」廃止へ…１９７２年導入、システム障害の懸念で国連機関が決議
【読売新聞】 国連の専門機関・国際電気通信連合（ＩＴＵ）の会議は１１日、１日の長さに１秒を加える「うるう秒」を、原則２０３５年までに廃止するとした決議案を採択した。うるう秒を追加する度に、コンピューターなどでシステム障害が発生するリ
🇺🇸人同僚「日本人は何で24時間表記なんて使うんだ？」僕「だって、9時から会議って言うだけじゃ、朝の9時か夜の9時か分からないだろ？」🇺🇸「何言ってんだ！夜の9時から会議なんてするはず無いじゃないか！」
ゆう🇺🇸本気のアメリカ就職 @honkiku1 🇺🇸人同僚「日本人は何で24時間表記なんて使うんだ？」 僕「だって、9時から会議って言うだけじゃ、朝の9時か夜の9時か分からないだろ？」 🇺🇸「何言ってんだ！夜の9時から会議なんてするはず無いじゃないか！」 僕「え？」 🇺🇸「ん？」 僕&🇺🇸「……」 僕「でも、24時間表記の方が、数字だけで午前と午後がぱっと分かって便利だろ？」 🇺🇸「何言ってんだ！時計見るたびに毎回電卓を使えって言うのかよ！」 僕「え？」 🇺🇸「ん？」 僕&🇺🇸「……」 アメリカで24時間表記が広まらない理由、どうやらこの辺にヒントが隠されているみたいです😅 2023-12-08 05:00:26 ゆう🇺🇸本気のアメリカ就職 @honkiku1 僕がアンバサダーを務める #WorkCircle というコミュニティアプリでは、このような外
9時間足すんだっけ引くんだっけ問題～あるいは、諸プログラミング言語はいかにタイムゾーンと向き合っているか - エムスリーテックブログ
私は日付時刻の処理が大好きです。 タイムゾーンの問題でデータ抽出が9時間分漏れていたとか、朝9時の始業前のログが昨日付けになってしまっていたなんていう問題が起こると喜んじゃうタイプ。 そんな私にとって、各プログラミング言語が標準で持っている日付時刻型クラスにはそれぞれ思うところがあり、今日はちょっとその品評会をしてみたいと思います。 エムスリーエンジニアリンググループ、Unit1（製薬企業向けプラットフォームチーム）三浦(@yuba@reax.work) [記事一覧 ]がお送りいたします、エムスリー Advent Calendar 2023の2日目です。 至高の日付時刻型を持つ言語、BigQuery SQL 不足はないが蛇足、Java 8 日付時刻で画竜点睛を欠いたC# C#よりややまし、Python 型は良い構成、なのに命名と処理関数で損しているPostgreSQL まとめ We ar
18時発の電車のドアを17:59に閉めないでほしい
俺がよく乗っている18時ちょうど発の電車。 18時にホームに着いたら、電車は停まってるけどドアは閉まってることが多い。 なんなら17:59にホームに行ってもドアが閉まってたりする。 それで18時になったら動き始める。 たしかに18時に出発はしてるけど、ドアは18時になるまで開けておいてほしい。
タイムゾーン呪いの書 - Qiita
コメント欄で「Software Design 誌 (2018/12) に寄稿した内容や修正などをこちらの記事にも適用したい」と言ったあと、やるやる詐欺でずっと放置していましたが、三年近く経ってようやく 2021年 7月に大幅に改訂し、同時に Zenn に引っ越すことにしました。 タイムゾーン呪いの書 (知識編) タイムゾーン呪いの書 (実装編) タイムゾーン呪いの書 (Java 編) なにやら長くなりすぎたので三部構成になっています。 この Qiita 版は、しばらく (最低一年は) 改訂前のまま残しておきます。 タイムゾーンの存在はほぼ全ての人が知っていると思います。ソフトウェア・エンジニアなら多くの方が、自分の得意な言語で、タイムゾーンが関わるなにかしらのコードを書いたことがあるでしょう。ですが、日本に住んで日本の仕事をしていると国内時差もなく1 夏時間もない2 日本標準時 (Japa
「8時59分60秒」を見に行こう - エキサイトニュース
「8時59分59秒の1秒後は、何時何分何秒？」こんなクイズがあったとしよう。いつもだったら、正解は「9時0分0秒」だが、来年の元日に限っては「8時59分60秒」が正解になる。「9時0分0秒」がやってくるのは、さらにもう1秒後だ。 昔は、地球が回る速さを元に「1秒」の長さを決めていた。でも、地球の回転速度には結構ムラがある。技術の進歩でもっともっと正確な時計が必要になり、1967年から「原子時計」の刻む1秒が正確な「1秒」ということになった。 しかし、地球の方は少しずつ回転が遅くなっているので、だんだん原子時計とずれてくる。ずれを戻すためにうるう秒が実施されるのだ。うるう年と違って、何年に1度とは決まっていない。 そういうわけで来年の元日の朝は「8時59分60秒」を見るチャンス。どこに行けば見られるだろうか。日本標準時を司る独立行政法人情報通信研究機構（NICT）に聞いた。 「若干調べてみま
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Macの日時設定を間違って数百年後に設定してしまっただけで正常起動できなくなり本体交換修理に→｢日付設定を変更させるだけでMacを壊せるのでは？」
オタクは普通に受け入れているが”毎週金曜25時30分放送”とか平然と書かれている我が国はすごいと思う「アメリカで24時間表記を使ったら”お前は軍関係か？”と言われた」
「うるう秒調整しない」国連機関が決議 実質廃止へ - 日本経済新聞
【やじうまPC Watch】 Windows 11のタスクバーの時計で「秒」表示が完全に無効化されたワケ