定义一个时期

...

How many working days in year 2080?

Here is the detail of the calculation:

Because 2080 is a leap year, it has 366 days.

Let's remove 52 saturdays and 52 sundays. It remains 262 days.

Now, let's remove 246 public holidays that do not fall during a weekend and we obtain 246 working days in 2080.

Here is the list of these 246 public holidays:

1. Año Nuevo : 2080年1月1日星期一
2. Día de los Reyes Magos : 2080年1月8日星期一
3. Día de San José : 2080年3月25日星期一
4. Jueves Santo : 2080年4月4日星期四
5. Viernes Santo : 2080年4月5日星期五
6. Primero de Mayo : 2080年5月1日星期三
7. La Ascensión del Señor : 2080年5月20日星期一
8. Corpus Christi : 2080年6月10日星期一
9. El Sagrado Corazón de Jesús : 2080年6月17日星期一
10. San Pedro y San Pablo : 2080年7月1日星期一
11. Batalla de Boyaca : 2080年8月7日星期三
12. La Asunción de la Virgen : 2080年8月19日星期一
13. Día de la Raza : 2080年10月14日星期一
14. Día de Todos los Santos : 2080年11月4日星期一
15. Independencia de Cartagena : 2080年11月11日星期一
16. Navidad : 2080年12月25日星期三

And here are the 3 public holidays falling on a weekend:

1. Domingo de Pascua : 2080年4月7日星期日
2. Grito de Independencia : 2080年7月20日星期六
3. Día de la Inmaculada Concepción : 2080年12月8日星期日