タイムスタンプの精度を落とすときは切り捨てろ - 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 そして、そう決めたからには一貫して同じように、指定精度未満は切り捨てというルールを維持しなければならない。秒以下は四捨五入で、とかやってはいけないのだ。 一貫しないと何が問題

[Knoa]

少しわき道にそれるけど、YouTubeとかが過去の動画に「1年前」とか付けて、ほぼ2年前まで含ませる解像度の悪さが大嫌い。

[t-tanaka]

言われてみればそのとおり。無意識にはやっていたが，このように言語化したことはなかった。

[aktkro]

てかタイムスタンプ四捨五入する人なんているんだ。

[twainy]

どこかで教わった覚えもないけど常識だと思ってた。デジタル時計の表示がそもそも切り捨てだしなあ

[Kil]

タイムスタンプの精度を落とすことを「切り捨て」「四捨五入」と算術的に考えることがそもそもないな。精度落とす＝特定の桁のところまで表示する、というイメージでしかない。

[hase0510]

タイムスタンプの話をしているのであって時刻情報一般の話をしているわけではないことには注意しましょう。マジで。

[last10min]

でも"世紀"だけは切り上げなんだよなあ。世界史とかを普通に分かりづらくする要因だった。

[tienoti]

"2023-12-31 23:59:59.999555 これは年にすると 2023 年だし、日付にすると2023-12-31だ。 しかしこれをミリ秒で四捨五入すると、 2024-01-01 00:00:00.000 になって、年も日付も変わってしまう。"

[Falky]

そりゃそうなんだけど、普段言語化しないよね。仕様を書く時は明示しないと事故るんだよなあ//「期間」の定義も普段意識しないが難しい。偉そうなブコメしてるキミ、民法138〜143条を正しく理解している自信はあるか？

[NetPenguin]

たしかに。普段意識していないけど、たしかにそうだな。

[fukken]

四捨五入でも切り捨てでも大差ない場合、普通は切り捨てを選ぶよな。実装も楽だし。

[nilab]

「ナノ秒からミリ秒への変換で四捨五入してきた人がいて」「時刻を扱うときは保存精度未満は切り捨てるべき」「2023-10-01 を、何年か表示する時に、2024年に丸める人はいないだろう」

[harumomo2006]

バグはともかく時刻を意識的に四捨五入するプログラマーは見たことないかも。このあたりは設計書書くときに明確にするのでみんな言語化してると思ってた

[nezuku]

四捨五入など未来に進めてしまうことのある動作だと想定外の日時と化してしまうかもしれないよ? という指摘

[napsucks]

確かに。意識したこともなかった。時刻は四捨五入しない。

[deep_one]

用途による気がする。

[gurinekosan]

タイムスタンプでは無いけれど、浮動小数点数が使われていると、丸め誤差が発生する。Excel等で計算をさせる時、同じ式でも順番を変えると結果が違ってくる的な古典芸能があって、利息のようなものを扱う時は文字数

[Gaju]

関係ないけど外人って相対時刻表示好きだよな

[prograti]

昔インターネットカフェでバイトしていた時入店時間は切り上げでしたね

[ardarim]

Excel君に言ってやって

[chintaro3]

　なるほどー。いわれてみればごもっとも。

[nyakapoko]

オレは午後になったらもう明日だと思ってるよ

[kirine]

理由がわからない人向けに説明すると後でログを集計したり読んだりする時に時間が切り上げされてると◯日のログ、◯時のログ、という枠からはみ出ちゃって正常に分析出来なくなるからです

[kazukan]

無意識にYYYY年MM月DD日って書いた設計書をもとに実装して、2024年04月19日ってなってしまって、ゼロいらんわーってなる症状と似てる(似てる?)

[kompiro]

世紀を切り上げと表現するのも変だよ0-99年を1番目の世紀だから1世紀としてるだけでは？ 算術的には切り上げといえばそうなのかもしれないが

[nornsaffectio]

ビジネスの現場では日付が繰り上がって翌日や翌年度になってしまうと締切等の関係で命取りになることがあるのでな。

[cartman0]

〇〇時前くらいの表現だと切り上げたほうがええな

[onesplat]

意味はわかるし同意もするんだけど、「で、それの何が問題なの？」に対する説得力が乏しい

[syamatsumi]

なるほどなー。言われて見りゃ確かにって印象。

[MysticDoll]

言われてみると確かにそう

[ch1248]

これ重要よね。

[shingo-sasaki-0529]

単純に四捨五入ってめちゃくちゃ難しいからよっぽどの理由がない限りは切り上げるか切り捨てるかの二択よね

[ryo_ryoo_ryooo]

ProtobufのTimestampをjsのDateに変換するときに勝手に丸められるから切り捨てたことある

[spark7]

大きい日付時刻を丸めることはないだろうけど、なるほどナノ秒→ミリ秒のときだとそんな事してしまいそうな気はする。

[puhu208n]

これは切り捨てるのが正しいから切り捨てるのではなく、古来から余計な桁数を除算やビットマスクで処理する方が簡単だったからだろう。四捨五入の方が命令数が少なく済むならそっちが定着していたはず。

[t2y-1979]

みたことも聞いたこともない。シンプルに四捨五入する開発者の意図を聞いてみたい

[baronhorse]

出勤時刻は切り上げで退勤時刻は切り下げみたいな要件が時々あるわけよ

[a-know]

たしかにね

[tekitou-manga]

全然関係ないけど、https://blog.hatena.ne.jp/-/antennaで1日前とか出てるのに開いたら10年前とかの記事だったてことがたまにあるんだけどあれは何なんだ？

[polamjag]

PostgreSQLでタイムスタンプ系の型で精度落とすキャストの時の挙動が四捨五入でめちゃくちゃビビった記憶 / 切り捨ての方が四捨五入前の値が取りうる範囲が明瞭なのが嬉しいと思う