阳历一套算法跑了几百年。格里高利历。1582年罗马教皇改的规矩。之前是儒略历，四年一闰没毛病，但积累下来节气对不上。新规矩整得挺细——四年一闰，百年不闰，四百年再闰。一般人记不住。1900年没闰，2000年闰了。多数人当时没留意这事。

手机点开日历图标。手指往上划拉。2026年4月17日。星期五。直接显示。底下还能翻到2050年。不用算。这套东西背后是固定公式。程序员写死进代码里。随便查。蔡勒公式、基姆拉尔森公式，两种主流算法。算星期几用的。年月日丢进去，模7取余。余数0是星期天，1星期一，推到6星期六。阳历日期和星期绑定是死规矩，没有例外。

万年历不叫万年历才奇怪。其实也就一两百年范围靠谱。往前翻到1582年10月，直接少了十天。罗马教皇一声令下，10月4日过完就是10月15日。日历跳空。那十天历史上不存在。往后推到未来，公元4000年、8000年怎么调闰，没人定论。地球公转周期365.2422天，不是整数。小数点后面的事。几千年累计再差出一天。到时候再说。

查阳历干嘛用。定合同日子。算预产期。看发工资是周几。买机票选日期。过期食品包装上印着年月日。身份证有效期。阳历管着所有现代生活时间节点。农村地里干活看农历，城里上班看阳历。阳历也叫公历。公历的意思，公共的历法。全球通用。跨时区换个数字，日期不换。

手机日历切到月份视图。2026年4月。1号星期三，30号星期四。中间排列整齐。5月1号星期五，劳动节。法定节假日按阳历固定日期走，调休规则另行通知。国务院办公厅每年年底发下一年的放假安排。2026年五一放几天，得等2025年底的文件。现在查不到。

阳历月份天数记住口诀。一三五七八十腊，三十一天永不差。四六九冬三十天。二月特殊。平年28，闰年29。冬指十一月。腊指十二月。幼儿园小孩背得滚瓜烂熟。成年人反而要想一下。六月三十还是三十一。查手机得了。不用脑子记。

网页端万年历界面更全。有的附带黄历。宜嫁娶、忌动土那套。阳历日期旁边标着农历几月初几。干支纪年。丙午年。马年。属相按农历正月初一切换。跟阳历1月1日没关系。2026年春节是2月17日。那天之后生的孩子属马。之前属蛇。阳历2月16日出生，农历还是乙巳年腊月廿九，属蛇。乱不乱。乱。但老辈人门清。

查历史日期也能查。1949年10月1日，星期六。1978年12月18日，星期一。2008年8月8日，星期五。北京奥运会开幕那天。阳历把日子钉死在时间轴上。每过去一天，阳历日期绝对唯一，没有重复。不像农历存在闰月，有时候一年两个七月。

公历纪元从传说耶稣出生那年算起。公元1年。前面叫公元前。公元没有0年。直接从公元前1年跳到公元1年。历史学家算年份经常被这事坑。千禧年庆祝2000年1月1日，实际21世纪从2001年1月1日开始。没人计较。庆祝就完事了。

电子设备时间同步网络时间协议。NTP服务器。原子钟走时。闰秒偶尔加进去。阳历查询在底层依赖计时系统。UTC协调世界时。北京时间UTC+8。手机自动校准。用户无感知。翻日历查日期，本质上是在查一个被全球天文台维护的庞大时间体系输出结果。

跳回刚才说星期几算法。基姆拉尔森公式把一月二月当前一年的十三月十四月处理。公式长得像这样：W等于(d加2乘m加3乘(m加1)除5加y加y除4减y除100加y除400)模7。字母含义不展开。网上到处有现成计算器。输入日期自动出星期。想自己手算的人不多。有这功夫不如直接看手机。

阳历查询还有个实用场景。办签证填表。日期格式容易搞混。美国写月日年，04/17/2026。英国写日月年，17/04/2026。中国写年月日，2026-04-17。填错可能导致入境麻烦。万年历切换显示格式的功能挺必要。看一眼确认星期几，能辅助判断没填岔。

公历改革提过几次。有人想搞固定星期历。每年同一天对应固定星期几。比如元旦永远星期天。没通过。习惯势力太强。格里高利历凑合用着。商用万年历App继续按现行规则迭代版本号。

查询未来日期有极限值。多数软件支持到公元9999年12月31日。再往后溢出。四位年份字段限制。Y2K问题类似性质。1999年跨2000年时候全球程序员忙活一阵。现在32位系统时间戳到2038年1月19日还会溢出。还有十几年。到时候换64位系统。问题不大。

阳历查询工具核心价值在于减少人工推算错误。人脑记不住闰年规则。记不全各月天数。搞不清某年某日是星期几。工具代劳。省心。准确率百分百。输入正确前提下。剩下的事，比如查完日期之后做什么，那是另一码事。