前回、剰余演算の考え方を応用して、グレゴリオ暦の日付を入れると「曜日」を出力する不思議な「ツェラーの公式 (Zeller's congruence)」を紹介しました。どんな仕組みになっているのでしょうか? まず、それぞれの変数の意味は上のとおりです。このとき面白いのは、月を3月の前で切って、3月から始めて2月で終わるという考え方にするところです。1月と2月は前年の13月、14月と数えて、「3月から14月まで」とします。たとえば2011年の1月であれば、2010年13月というデータを入れるのです。 これは、閏年の調整日が12月の末日ではなく、2月の終わりに入っているところから来たものです。前回、閏年の2012年の影響は、当年の2012年ではなく翌年の2013年に現れているところをみました。これをもっと細かくみれば、当年の3月以降からズレていることになりますので、3月からはじめて2月で終わる、