タイムスタンプの精度を落とすときは切り捨てろ - 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 そして、そう決めたからには一貫して同じように、指定精度未満は切り捨てというルールを維持しなければならない。秒以下は四捨五入で、とかやってはいけないのだ。 一貫しないと何が問題
イラン中部で爆発音“イスラエルが攻撃”米メディア | NHK
アメリカの複数のメディアは政府当局者の話として、イスラエルがイランを攻撃したと伝え、今月13日から14日にかけてのイランの大規模攻撃に対する対抗措置に踏み切ったものとみられます。 一方、イランのメディアはイラン中部のイスファハン州で爆発音があり、無人機を迎撃したものだと伝えていて、核施設を含めた重要施設に被害は出ていないとしています。 目次 IAEA“イラン核施設に被害なし” イラン国営テレビ “小型無人機を撃墜する様子”映像公開 イランの体制寄りのメディア、ファルス通信は、現地時間の19日午前5時すぎ日本時間の午前10時半すぎ関係者の話として、イラン中部、イスファハン州の北西にある空軍基地の近くで爆発音が聞こえたと伝えました。 同じく体制寄りの別のメディア、メフル通信は爆発音は、3機の小型無人機を撃墜した際の音だと伝え、無人機がどこから飛行してきたかなどの詳しい状況はわからないとしていま
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
