• 2019-02-25 初版
• 2020-04-02 第２版 オリンピック延期に伴う祝日変更(2021)

はじめに

• 国民の祝日について
• 2019年と2020年の祝日は改元やオリンピックに伴い例外が多く、アルゴリズムが複雑です。
• そこで、ラズパイで使える祝日表示プログラムを作ってみました。
• 祝日の自動判定を必要とするときがあります。

• 「天皇誕生日」がなかったり、移動したり、
• 「体育の日」が「スポーツの日」に改名したり、
• 「海の日」や「山の日」や「スポーツの日」が移動したり、
• とややこしいです。

2021

• 7月22日「海の日」
• 7月23日「スポーツの日」
• 8月9日「山の日」

ダウンロード

• $ wget http://einstlab.web.fc2.com/RaspberryPi/holiday.tar
• $ tar xvf holiday.tar

著作権と免責事項

• 個人利用に限定され、著作権者の許可なく商用利用できません。
• 直接間接に関わらず、使用によって生じたいかなる損害も筆者は責任を負いません。

使用方法

• 使い方は引数に西暦を指定します。
• 祝日の法律が施行された1948年以降の祝日を表示します。
• 法律が改正されなければ、2150年まで対応しています。
• 固定されていない祝日や「国民の休日」、「振替休日」にも対応しています。
• 法律の改正をアルゴリズムによって実現しています。
• つまり人が法律を解釈するのと同じように実現しています。
• そのため、年を遡っても正確に表示します。
• 例えば、成人の日が固定だったころにも対応しています。
• 例えば、振替休日が月曜日だけだったころにも対応しています。
• 今後、法律が改正されたら、そのアルゴリズムを追加するだけです。