ツェラーの公式
出典: フリー百科事典『ウィキペディア（Wikipedia）』
ツェラーの公式（Zeller's congruence）は、西暦の年、月、日からその日が何曜日であるかを算出する公式である。
まず、求めたい日の年の下2桁を削ったもの（年/100の小数点以下切り捨て）をJ、年の下2桁(年 mod 100)をK、月をm、日をq、曜日をhとする。ただし求めたい日の月が1月、2月の場合はそれぞれ前年の13月、14月とする(例えば、2007年1月1日なら2006年13月1日と考える)。
ユリウス暦の場合は、
グレゴリオ暦の場合は、
hが0なら土曜日、1なら日曜日、2なら月曜日、……、6なら金曜日である。
- 註：
は、xを超えない（x以下）の最大の整数である。（→床関数）
プログラミング言語においては、負の値に対する剰余演算の都合上、変形式が用いられる場合が多い。
