PHPで祝日を求める

0252:  * 振替休日かどうか調べる
0253:  * @param int $year  西暦年
0254:  * @param int $month 月
0255:  * @param int $day   日
0256:  * @return bool TRUE/FALSE
0257: */
0258: function isTransferHoliday($year, $month, $day) {
0259:     $jd = Gregorian2JD($year, $month, $day);
0260:     $j0 = Gregorian2JD(1973, 4, 12);
0261:     if ($jd < $j0)  return FALSE;        //有効なのは1973年4月12日以降
0262: 
0263:     //当日が祝日なら FALSE
0264:     if (isFixedMovableHoliday($year, $month, $day))     return FALSE;
0265: 
0266:     $n = ($year <= 2006) ? 1 : 7; //改正法なら最大7日間遡る
0267:     $jd--;                         //1日前
0268:     for ($i = 0; $i < $n; $i++) {        //無限ループに陥らないように
0269:         list($yy, $mm, $dd) = JD2Gregorian($jd);
0270:         //祝日かつ日曜日なら振替休日
0271:         if (isFixedMovableHoliday($yy, $mm, $dd)
0272:             && (getWeekNumber($yy, $mm, $dd) == 0))     return TRUE;
0273:         //祝日でなければ打ち切り
0274:         if (! isFixedMovableHoliday($yy, $mm, $dd))      break;
0275:         $jd--; //1日前
0276:     }
0277:     return FALSE;
0278: }

祝日が日曜にあたるときは、その日後において、その日に最も近い「国民の祝日」でない日を休日

0280: /**
0281:  * 国民の休日かどうか調べる
0282:  * @param int $year  西暦年
0283:  * @param int $month 月
0284:  * @param int $day   日
0285:  * @return bool TRUE/FALSE
0286: */
0287: function isNationalHoliday($year, $month, $day) {
0288:     if ($year < 2003)   return FALSE;    //有効なのは2003年以降
0289:     $j0 = Gregorian2JD($year, $month, $day) - 1;  //前日
0290:     list($yy0, $mm0, $dd0) = JD2Gregorian($j0);
0291:     $j1 = Gregorian2JD($year, $month, $day) + 1;  //翌日
0292:     list($yy1, $mm1, $dd1) = JD2Gregorian($j1);
0293: 
0294:     //前日と翌日が固定祝日または移動祝日なら国民の休日
0295:     if (isFixedMovableHoliday($yy0, $mm0, $dd0)
0296:         && isFixedMovableHoliday($yy1, $mm1, $dd1))     return TRUE;
0297:     return FALSE;
0298: }

0300: /**
0301:  * 祝日であれば、その名称を取得する
0302:  * @param int $year  西暦年
0303:  * @param int $month 月
0304:  * @param int $day   日
0305:  * @param string lang jp=日本語名称／en=英語名称
0306:  * @return string 祝日の名称／FALSE=祝日ではない
0307: */
0308: function getHoliday($year, $month, $day, $lang) {
0309:     //固定祝日
0310:     $name = getFixedHoliday($year, $month, $day, 'jp');
0311:     if ($name != FALSE)      return $name;
0312:     //移動祝日（春分／秋分の日）
0313:     $name = getMovableHoliday1($year, $month, $day, 'jp');
0314:     if ($name != FALSE)      return $name;
0315:     //移動祝日（ハッピーマンデー）
0316:     $name = getMovableHoliday2($year, $month, $day, 'jp');
0317:     if ($name != FALSE)      return $name;
0318:     //振替休日
0319:     if (isTransferHoliday($year, $month, $day)) {
0320:         return preg_match("/JP/i", $lang) == 1 ? '振替休日' : 'holiday in lieu';
0321:     }
0322:     //国民の祝日
0323:     if (isNationalHoliday($year, $month, $day)) {
0324:         return preg_match("/JP/i", $lang) == 1 ? '国民の休日' : "Citizen's Holiday";
0325:     }
0326:     //祝日ではない
0327:     return FALSE;
0328: }
0329: 
0330: /**
0331:  * 祝日かどうかを調べる
0332:  * @param int $year  西暦年
0333:  * @param int $month 月
0334:  * @param int $day   日
0335:  * @return bool TRUE/FALSE
0336: */
0337: function isHoliday($year, $month, $day) {
0338:     return getHoliday($year, $month, $day, 'jp') == FALSE ? FALSE : TRUE;
0339: }

1. 祭日に基づく祝日
2. 国家にちなむ祝日
3. 人生に伴う祝日

• 「理科年表Q＆A」（理科年表Q＆A編集委員会／丸善／2003 年 11 月）
• 「暦の雑学事典」（吉岡安之／日本実業出版社／1999 年 12 月）
• 「PHP でつくる WEB アプリケーション制作講座」（米田聡／エムディエヌコーポレーション／インプレスコミュニケ／2009 年 04 月）
• 「プログラミングのセオリー」（矢沢久雄／技術評論社／2008 年 11 月／2,499 円）
• 「PHP辞典第2版」（西沢直木／翔泳社／2008 年 02 月／2,520 円）
• 「「国民の祝日」の由来がわかる小事典」（所功／PHP研究所／2003 年 08 月）

• 祝日について
• 暦要項（国立天文台）
• 現在の祝日の一覧（こよみのページ）
• 日本の祝日の変遷（こよみのページ）
• PHP で閏年かどうか判定する（ぱふぅ家のホームページ）
• 秋分の日と敬老の日の微妙な関係（ぱふぅ家のホームページ）