判断某一年是否闰年的函数。