判断某天是星期几

判断某天是星期几：
public static boolean  IsLeapYear(int year)
   {
    if(year%400==0||(year%100!=0&&year%4==0))
    return true;
    else
    return false;
   }
理论基础：
日期格式 y-m-d，y为年份数(y>1582)，m为月份数（0<m<13），d为日数（0<d<28、29、30、31）。y、m、d为整数。例如2008-8-1，各变量分别是y=2008，m=8，d=1。 
1、常用公式


           W = [y-1] + [(y-1)/4] - [(y-1)/100] + [(y-1)/400] + D


   式中变量说明：W为星期数，y为年份数，D为该日期在该年中的排序数；[X]为对X取整，下同。


2、蔡勒（Zeller）公式


           W=Y+[Y/4]+[C/4]-2C+[26(M+1)/10]+d-1


   公式中的符号含义如下：


   W为星期数；C为世纪；Y为年（两位数）； M为月数（M=m（当m>2）；M=m+12（m<3））；d为日。


   相比于通用通用计算公式而言，蔡勒（Zeller）公式大大降低了计算的复杂度。


3、基姆拉尔森计算公式


           W= (d+2*m+3*(m+1)/5+y+y/4-y/100+y/400) mod 7


    在公式中d表示日期中的日数，m表示月份数，y表示年份数。


    注意：在公式中有个与其他公式不同的地方：


    把一月和二月看成是上一年的十三月和十四月，例：如果是2004-1-10则换算成：2003-13-10来代入公式计算。


4、蔡勒公式一种改进


    相比于另外一个通用通用计算公式而言，蔡勒（Zeller）公式大大降低了计算的复杂度。不过，另外有一个似乎更加简洁更简单的改进公式，提出这个公式的人是冯思琮[1] [2] ：


         W=[y/4]+r(y/7)-2r(c/4)+m’+d


    下，其他符号与蔡勒公式中含义相同。r(X)为对表达式X取余；
    m’是m的修正数。
    1至12月的修正数1’至12’如下：
    （1’，10’）=6；
    （2’，3’，11’）=2；
    （4’，7’）=5；
    （5’）=0；
    （6’）=3；
    （8’）=1；
    （9’，12’）=4
    特别地：在笔者给出的公式中，y为润年时（1’）=5；（2’）=1。
-----------------------------
     以上的公式都只适合于1582年10月15日之后的情形，即我国明朝万历十年间。罗马教皇格里高利十三世在1582年组织了一批天文学家，根据哥白尼日心说计算出来的数据，对儒略历作了修改。将1582年10月5日到14日之间的10天宣布撤销，继10月4日之后为10月15日。
    后来人们将这一新的历法称为“格里高利历”，也就是今天世界上所通用的历法，简称格里历或公历。
**************************
由以上分析我们可以得出判断某天星期几，主要判断闰年然后，代入公式计算即可。另外告诉你个秘密，公元1年1月1日是根据耶稣的诞生日确定的，那么是星期几呢？聪明的读者自己计算吧！