タイムスタンプの精度を落とすときは切り捨てろ - 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 そして、そう決めたからには一貫して同じように、指定精度未満は切り捨てというルールを維持しなければならない。秒以下は四捨五入で、とかやってはいけないのだ。 一貫しないと何が問題
エセ東京を目指して何が悪い - methaneのブログ
http://blog.livedoor.jp/dankogai/archives/50907479.html まず、税金が人口が集中している場所から地方に行くのは当たり前。道路、治水、その他インフラにかかるお金は、人口に比例する部分と人が生活している面積に比例している部分があるのに対して、税収はほとんど面積に比例しないからだ。 首都圏に住んでいる人も、地方の道路やインフラの恩恵を間接的に受けている*1ので、東京の人が払った税金が地方で使われるのは全く正しい姿だ。 また、地方がエセ東京を目指してオリジナリティを生かしていなかったと言っているが、人口や税金を集められるだけの「オリジナリティ」なんてどれだけある？小飼さんが良い例として挙げているのも、結局ただの観光地でしかない。観光産業なんてパイの奪い合い*2に参加したところで、夕張のような地方がまた生まれるだけだ。「オリジナリティ」を生かして
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
