巧算星期几

今天在网上看到一个能够计算任意一天是星期几的公式，很妙！
公式：w = (d+1+2*m+3*(m+1)/5+y+(y/4)-y/100+y/400) % 7
约束条件: m=1,m=2 时 m=m+12,y=y-1；
其中：y、m、d、w分别代表年、月、日以及星期；w取0~6分别表示星期日至星期六。

其推导过程见：自己推导计算星期的公式