アカウント名:
パスワード:
..ていうか、「異なる日付は、時間的に互いに素」であるということが暗黙の前提になっている法律が他にあったりすると、整合性がヤバいような...
往々にして官庁関係の仕事って、例えば異なる年度は互いに素であることを厳密に求められるような気が...
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
アレゲはアレゲを呼ぶ -- ある傍観者
スラドな住人が離散値に馴染んでいるのは理解しますが、 (スコア:4, すばらしい洞察)
連続値である以上、デデキント切断すれば共通部分は無い筈で.. 12月31日と1月1日(ということは2000年と2001年) が一点でも共通部分を持つということは、法的には日付の変わり目はデデキント切断ではない?
..ていうか、「異なる日付は、時間的に互いに素」であるということが暗黙の前提になっている法律が他にあったりすると、整合性がヤバいような...
往々にして官庁関係の仕事って、例えば異なる年度は互いに素であることを厳密に求められるような気が...
Re:スラドな住人が離散値に馴染んでいるのは理解しますが、 (スコア:2, おもしろおかしい)
というわけで離散的な時間を。
っ[プランク時間]
# 1/1 00:00:00 -5.391×10-44秒まで。
Re:スラドな住人が離散値に馴染んでいるのは理解しますが、 (スコア:2, おもしろおかしい)
#プランク時間以下の時間長は意味を持たないけれども、別に
#時間がプランク時間を単位に区切られているわけでは無いので。
・・・というか、むしろ両日にまたがる時間が切断不可となる
可能性もあるわけで、余計に日付の問題はあやふやになるような気も。
Re:スラドな住人が離散値に馴染んでいるのは理解しますが、 (スコア:1)
「文化庁的な解釈はそーだけど、財務省的は違うので」
というのが(この手の仕事をしている人にとっての)お約束ではありますので。そーゆーことになるのでしょうが。
それにしても、そんなワザとらしいこと言ってないで。
前任の著作権課課長みたく「公共のためだけに仕事をするのもどーかと……」位居直ってみてはいかがでしょうか?> 文化庁
#文化庁って、実際何か公共の役に立ってるんですかね?
文化庁も改革の対象にすべきですね :p (スコア:2, 興味深い)
んで,元は「経済的著作物」だったもので,著作権者が権利を放棄したものや著作権切れになった著作物は文化庁の管轄に移転して「文化的著作物」として扱う様にする,とかね。
Re:文化庁も改革の対象にすべきですね :p (スコア:1)
カビが生えてもかまわない物は文化庁管轄と言うことですね。