_ 2、3日前から兆候があってイヤな予感はしてたんだけど、案の定風邪ひいた。なんでせっかくの連休に身動きとれなくなるかな。連休中せめて1日ぐらいは遊びたいんだけど。最近体調崩すこと多すぎ。
_ けっきょく、風邪の兆候があるからおとなしくしとこう、からはじまって、やっぱり風邪ひいた死んだ、を経て、いちおう復活したみたい、だけでゴールデンウィークが終わってしまった。連休返せ(泣
_ うちの日記スクリプトはそこらのブログツールと違って「日記」用なので、祝日は自分で判別して勝手に HTML につっこんどいてくれるようになってる。で、日曜祝日の翌日がまた祝日だったらさらに翌日を振り替え休日にする、という去年の祝日法改正がはじめて適用される今日になって、そのあたりの判別部分を修正するかー、と見直す腰の重さ。
_ ……あれ、もう修正されてる。自分ではまったく記憶にないんだけど、メモを見たら2005年8月に修正済みだったらしい。そんな昔か。つーか、2007年1月施行なのその1年半も前にやってたのかわし。法改正があってすぐのころかな？ そんなに準備よくやったわりには、改正施行前の HTML を再生成すると存在しない火曜振休が出現してしまうやっつけ仕事なのがなんとも情けないが。まあ、できてるんだからいいや。
_ で、来年の GW は水曜日が振り替え休日になるらしいぞ。
_ うちの日記スクリプトで過去分を再生成したら存在しないはずの火曜振休ができちゃいそうな件、修正しようと思っていちおう念のためテストスクリプトを実行してみたら、なんと発生しない。なんでー、と思ってよくよく確認してみたら、2006年までは 5/4 が祝日ではなく祝日と祝日に挟まれただけのただの休日だったから、振り替え休日の発生条件に合致せず火曜日まで持ち越されることがなかったためのようだ。でも、いちおう2007年以降は制度が変わったとわかるように明示的にコーディングしなおした方がいいかな。つーわけで修正。てゆーか、過ぎてから修正するな。
_ そういえばゴールデンウィーク以外でも、秋分の日の翌日が敬老の日(9月第3月曜)になったら火曜振休になるんじゃね？と思って調べてみたけど、少なくとも今世紀中は一度もないようだ。もっとも、そんな先まで法律上の秋分の日なんてまだ正式には決まってはいないから、天文学上の秋分(に合致する値を返す簡易計算式 (*1))によるチェックだけど。
_ 参考までに今後30年間の特殊な休日。もちろん現在の祝日がこのままずっと続くという前提。振り替え休日はいずれも 5/6、国民の休日は2032年が 9/21、それ以外は 9/22。
火曜振休: 2008, 2014, 2025, 2031, 2036
水曜振休: 2009, 2015, 2020, 2026, 2037
国民の休日: 2009, 2015, 2126, 2032, 2037