« MLは脱退済み。 | Main | TXといえばトランザクション。 »

2005年09月23日(金)

暑さ寒さも僻んでる。

秋分の日は春分の日と同じく祝日の中でも特殊な祝日である。なにせ、祝日の根拠となる国民の祝日に関する法律に休みの日が定義されていない。秋分日としか定義されておらず具体的な日付は未定義。秋分日は太陽が秋分点を通過する瞬間を含む日のことで天文的な定義となっている。ところが、一年は365.2422日なので、毎年秋分点が0.2422日ずれる。これにうるう年で4年(厳密には100年と400年もアレだが)に1日時間が巻き戻る。毎年秋分点が変わるので秋分の日も変動する。この理論に基づいた秋分の日を計算する概算法もあるのだが、正式な秋分の日は、国立天文台が天文観測に基づいて計算をしたものが前の年の2月になってようやく官報で告知される。なんだか計算リソースの無駄遣いのような気もするが。いっそ秋分も春分もハッピーマンデーにしてしまえば、色々簡単になって連休が増えてメデタいだろうに。あの世でも同じややこしい計算をして彼岸の日を待っている訳でもないだろう。

Posted by awa at 23:49.49
Categories: 雑記