使用蔡勒 (Zeller)公式由日期推算今天是星期几

历史上的某一天是星期几？未来的某一天是星期几？关于这个问题，有很多计算公式，其中最著名的是蔡勒 (Zeller)公式，即：

W=[C/4]-2C+Y+[Y/4]+[13×(M+1)/5]+D-1
或者是
W=Y+[Y/4]+[C/4]-2C+[26×(M+1)/10]+D-1

公式都是基于公历的置闰规则来考虑。 公式中的符号含义如下：
W：星期
C：年份前两位数
Y：年份后两位数
M：月(M的取值范围为3至14，即在蔡勒公式中，某年的1、2月要看作上一年的13、14月来计算，比如2003 年1月1日要看作 2002 年的13月1日来计算)
D ：日
[]：称作高斯符号，代表取整，即只要整数部份
mod：求余，这里代表括号里的答案除以7后的余数
算出来的除以7，余数是几就是星期几。如果余数是0，则为星期日。
不过，以上公式只适合于1582年(我国明朝万历十年)10 月15日之后的情形。
若要计算的日期是在1582年10月4日或之前，其公式为：

 W=Y+[Y/4]+[C/4]-2C+[13×(M+1)/5]+D+3. 

经过推导，可以得到最常见到的计算星期几的公式：

 W=(Y-1)+[(Y-1)/4]-[(Y-1)/100]+[(Y-1)/400]+D
 W=W%7//最后需要模7
 Y——年
 D——日其中最后一年的累计天数，例如2020-1-25对应的D=25

这个公式好记又好用。
经过推导，还可以得到下面的计算星期几的公式：

w=(d+2*m+3*(m+1)/5+y+y/4-y/100+y/400+1)%7
y——年
m——月
d——日

这个公式的优点就是不用再计算累计天数。