アカウント名:
パスワード:
..ていうか、「異なる日付は、時間的に互いに素」であるということが暗黙の前提になっている法律が他にあったりすると、整合性がヤバいような...
往々にして官庁関係の仕事って、例えば異なる年度は互いに素であることを厳密に求められるような気が...
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
私はプログラマです。1040 formに私の職業としてそう書いています -- Ken Thompson
スラドな住人が離散値に馴染んでいるのは理解しますが、 (スコア:4, すばらしい洞察)
連続値である以上、デデキント切断すれば共通部分は無い筈で.. 12月31日と1月1日(ということは2000年と2001年) が一点でも共通部分を持つということは、法的には日付の変わり目はデデキント切断ではない?
..ていうか、「異なる日付は、時間的に互いに素」であるということが暗黙の前提になっている法律が他にあったりすると、整合性がヤバいような...
往々にして官庁関係の仕事って、例えば異なる年度は互いに素であることを厳密に求められるような気が...
Re:スラドな住人が離散値に馴染んでいるのは理解しますが、 (スコア:2, おもしろおかしい)
というわけで離散的な時間を。
っ[プランク時間]
# 1/1 00:00:00 -5.391×10-44秒まで。
Re:スラドな住人が離散値に馴染んでいるのは理解しますが、 (スコア:2, おもしろおかしい)
#プランク時間以下の時間長は意味を持たないけれども、別に
#時間がプランク時間を単位に区切られているわけでは無いので。
・・・というか、むしろ両日にまたがる時間が切断不可となる
可能性もあるわけで、余計に日付の問題はあやふやになるような気も。