タイムスタンプの精度を落とすときは切り捨てろ - 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 そして、そう決めたからには一貫して同じように、指定精度未満は切り捨てというルールを維持しなければならない。秒以下は四捨五入で、とかやってはいけないのだ。 一貫しないと何が問題
西暦1年は閏年か？ - プログラマーの脳みそ
閏年（うるうどし）の話題。 Twitterで見かけた話題で「西暦1年は閏年かどうかぱっとわからん人おる？」という些か煽り気味のツイートを見かけたのだけども、反射的に「閏年じゃないに決まってるじゃん」とぱっと答えてしまわないだろうか。本当にそうだろうか？ そう単純な話なのだろうか？ プログラミングを学んでカレンダーを扱うことを学ぶ際に置閏法についても簡単に触れられることがある。置閏法というのは閏年や閏月（太陰暦では1年が13ヵ月になるケースがあり追加の月を閏月と呼ぶ）をどのようなルールで挿入するかという話で、まさにアルゴリズムであるからプログラミングの話題と相性がいい。 置閏法 現代の西暦の置閏法（ちじゅんほう）は 西暦を 400 で割り切れる年は閏年 上記以外で西暦を 100 で割り切れる年は平年 上記以外で西暦を 4 で割り切れる年は閏年 上記以外は平年 といった手続きで閏年（つまり2月
rails:739
From: Hiroshi Takagi <gollum@h...> Date: Mon, 05 Dec 2005 00:49:50 +0900 Subject: [rails:739] Re: 悩ましい日付型, date_select, select_date 高木宏です。 On Sun, 04 Dec 2005 19:44:44 +0900 Kazuhiro Yoshida <moriq@m...> wrote: > もりきゅうです。 > > Hiroshi Takagi <gollum@h...> wrote: > > 1. render :action => 'new' もしくは render :action => 'edit' > > でエラーメッセージとともに最表示されたフォーム上では、 > > 不正な日付が入力されたフィールドの値は、デフォルトのDate.todayに > >
一足先にサマータイム導入
先日の4月3日，月曜のことです。お客様から，SOSの連絡が入りました。 「突然，バッチ処理開始が1時間早く開始するようになりましたー」。 現場まで，新幹線で急行します。現場に到着し，時間を調べると確かに時間が進んでいます。さらに調べるとサーバーのタイムゾーン設定にJDTという見慣れぬ設定が含まれていました。 「JDTって一体何？ 普通のJSTとどこが違うの？」とつぶやきながら調べてみると，どうやら日本夏時間のタイムゾーンのようです。米国産OSなので，夏時間がデフォルトなのでしょうか。お国柄を考慮して下さいとぼやきたくなります。 2006年4月1日が土曜日だったのが幸いしたかもしれません。平日の日次処理と，年度をしめる年次処理とが夏時間繰り上げにぶつかっていたら，何が起こったか想像したくありません。 そういうわけで，事故レポートを書いています。ちなみに，設定ミスをしたのは，私ではありません。
Linux と「うるう秒」 - bkブログ
Linux と「うるう秒」 今日の日本時間の午前 9時 にうるう秒が入ったそうです。そこで、手元の Debian GNU/Linux sarge で 08:59:60 という時刻を表示させてみました。 通常用いられているタイムゾーンの定義ファイル /usr/share/zoneinfo/Asia/Tokyoにはうるう秒の情報は入っていません。うるう秒入りのタイムゾーンの定義ファイルは /usr/share/zoneinfo/right 以下にあります。東京の場合は /usr/share/zoneinfo/right/Asia/Tokyo です。TZ 環境変数を使うと、任意のタイムゾーンでプログラムを実行できます。 それではまず、前回のうるう秒が挿入された 1999年1月 1日午前 9時の様子を見てます。 % TZ=right/Asia/Tokyo ruby -e 'p Time.mktim
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Add a design doc of Timestamp parsing by dmikurube · Pull Request #947 · embulk/embulk
[ruby-list:44006] Re: ある日付の最終時刻の求め方 (秒単位)
勝手に哲学史入門 第2章 時間論