曜日を求めるための公式として、「ツェラーの公式」というものがあります。
(年 + 年 ÷ 4 ー 年 ÷ 100 + 年 ÷ 400 + (13 × 月 + 8) ÷ 5 + 日) を 7で割った剰りが曜日になります。
Wikipediaが参考になります。
証明はなかなか難しいです・・・
enumの利用例としてこれを利用したカレンダーを作っていたのですが、
どうも1月2月だけ、デタラメな暦になってしまっていましたが、この公式では1月と2月は前年の13月と14月として扱う必要があるのです。
すっかり忘れていました。
続きを読む