0

これはばかげているように聞こえるかもしれませんが、我慢してください。私は最近、間隔と日付でたくさん働いています。私を悩ませている1つの質問:1日は本当に24時間ですか?理論的にも実践的にも答えに興味があります。

たとえば、今日を例にとると、その日は2012年12月13日00:00:00に開始され、(すべての)日時の実装によれば、2012年12月14日00:00:00に終了します。これは正しく、2つの日付の差は完全に24時間です。

これに伴う問題は、終了日が「明日」として認識されることです。ほとんどの人は、1日が00:00:00に始まり、23:59:59に終わると考えています。

それで、今日は開始時に閉じた間隔であり、最後に開いたよう[start..end)に、終了は2012年12月14日00:00:00に非常に近いですか(実際には完全な24時間ではありません)?それとも、実際には両端が24時間で閉じられているのでしょうか。

4

1 に答える 1

3

これは、セット メンバーシップの言語でのみ賢明かつ明確に解決できるため、ここではそれを選択します。

1 日は午前 0 時に終わり、次の日が始まります。連続時間ベースでは、1 日に属する一連の瞬間は、その日の午前 0 時 (含む) から翌日の午前 0 時 (含まない) までの半開間隔で構成されます。離散時間ベースでは、1 日に属する一連の瞬間は、その日の真夜中 (両端を含む) と次の真夜中 (両端を含む) の前の可能な限り小さい瞬間に発生する瞬間の間の瞬間で構成されます。

要約すると、1 日の長さは「できる限り近い」24 時間です。限定的なケース (連続時間) では、1 日の長さは漸近的に 24 時間に近づきます。明らかに、この議論ではうるう秒とうるう日は考慮されていません。

于 2012-12-13T22:07:34.547 に答える