タイムスタンプの精度を落とすときは切り捨てろ - 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 そして、そう決めたからには一貫して同じように、指定精度未満は切り捨てというルールを維持しなければならない。秒以下は四捨五入で、とかやってはいけないのだ。 一貫しないと何が問題
🇺🇸人同僚「日本人は何で24時間表記なんて使うんだ？」僕「だって、9時から会議って言うだけじゃ、朝の9時か夜の9時か分からないだろ？」🇺🇸「何言ってんだ！夜の9時から会議なんてするはず無いじゃないか！」
ゆう🇺🇸本気のアメリカ就職 @honkiku1 🇺🇸人同僚「日本人は何で24時間表記なんて使うんだ？」 僕「だって、9時から会議って言うだけじゃ、朝の9時か夜の9時か分からないだろ？」 🇺🇸「何言ってんだ！夜の9時から会議なんてするはず無いじゃないか！」 僕「え？」 🇺🇸「ん？」 僕&🇺🇸「……」 僕「でも、24時間表記の方が、数字だけで午前と午後がぱっと分かって便利だろ？」 🇺🇸「何言ってんだ！時計見るたびに毎回電卓を使えって言うのかよ！」 僕「え？」 🇺🇸「ん？」 僕&🇺🇸「……」 アメリカで24時間表記が広まらない理由、どうやらこの辺にヒントが隠されているみたいです😅 2023-12-08 05:00:26 ゆう🇺🇸本気のアメリカ就職 @honkiku1 僕がアンバサダーを務める #WorkCircle というコミュニティアプリでは、このような外
18時発の電車のドアを17:59に閉めないでほしい
俺がよく乗っている18時ちょうど発の電車。 18時にホームに着いたら、電車は停まってるけどドアは閉まってることが多い。 なんなら17:59にホームに行ってもドアが閉まってたりする。 それで18時になったら動き始める。 たしかに18時に出発はしてるけど、ドアは18時になるまで開けておいてほしい。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
