已知1年1月1日是星期一，输入之后任意一天的日期，请输出是星期几？

这个问题通常涉及到编程中的日期计算，特别是闰年的处理以及日期与星期之间的转换。如果你有一个日期范围和已知的起始日期是星期一，你可以采用一些算法来解决，比如蔡勒公式（Zeller's congruence），这是一个计算日期对应星期的古老方法，或者直接利用编程库提供的日期计算功能。

例如，在Python中，可以使用内置的datetime模块来做这样的计算：

import datetime

def day_of_week(year, month, day):
    # 创建一个日期对象，然后减去1900年1月1日
    date = datetime.date(year, month, day)
    # 计算相对于1900年1月1日的天数差，并除以7得到星期（0表示星期日）
    return date.weekday()

# 输入具体的日期，如2023年4月5日
year = 2023
month = 4
day = 5
weekday = day_of_week(year, month, day)

days_mapping = {0: '星期日', 1: '星期一', 2: '星期二', 3: '星期三', 4: '星期四', 5: '星期五', 6: '星期六'}
print(days_mapping[weekday])