Java で日本の祝日一覧を扱いやすい日付リストに変換する方法

import java.time.DayOfWeek;
import java.time.LocalDate;
import java.time.Month;
import java.util.ArrayList;
import java.util.List;

public class JapanHolidays {

    // 固定日の祝日
    public static List<LocalDate> getFixedHolidays(int year) {
        return List.of(
            LocalDate.of(year, Month.JANUARY, 1),   // 元日
            LocalDate.of(year, Month.FEBRUARY, 11),  // 建国記念の日
            LocalDate.of(year, Month.FEBRUARY, 23),  // 天皇誕生日
            LocalDate.of(year, Month.APRIL, 29),     // 昭和の日
            LocalDate.of(year, Month.MAY, 3),        // 憲法記念日
            LocalDate.of(year, Month.MAY, 4),        // みどりの日
            LocalDate.of(year, Month.MAY, 5),        // こどもの日
            LocalDate.of(year, Month.AUGUST, 11),    // 山の日
            LocalDate.of(year, Month.NOVEMBER, 3),   // 文化の日
            LocalDate.of(year, Month.NOVEMBER, 23)   // 勤労感謝の日
        );
    }

    // 第 n 月曜日を返す（Happy Monday 制度）
    public static LocalDate nthMonday(int year, Month month, int n) {
        var first = LocalDate.of(year, month, 1);
        var offset = (DayOfWeek.MONDAY.getValue()
            - first.getDayOfWeek().getValue() + 7) % 7;
        return first.plusDays(offset + 7L * (n - 1));
    }

    // 固定日 + ハッピーマンデー + 振替休日を結合
    public static List<LocalDate> getHolidays(int year) {
        var holidays = new ArrayList<>(getFixedHolidays(year));
        holidays.add(nthMonday(year, Month.JANUARY, 2));   // 成人の日
        holidays.add(nthMonday(year, Month.JULY, 3));       // 海の日
        holidays.add(nthMonday(year, Month.SEPTEMBER, 3));  // 敬老の日
        holidays.add(nthMonday(year, Month.OCTOBER, 2));    // スポーツの日

        // 振替休日: 日曜に当たった祝日の直後の平日を追加する
        var substitutes = new ArrayList<LocalDate>();
        for (var holiday : holidays) {
            if (holiday.getDayOfWeek() == DayOfWeek.SUNDAY) {
                var next = holiday.plusDays(1);
                while (holidays.contains(next)) {
                    next = next.plusDays(1);  // 連休中は後ろへずらす
                }
                substitutes.add(next);
            }
        }
        holidays.addAll(substitutes);
        // 春分・秋分は天文計算のため、近似式か外部データで補完する
        holidays.sort(LocalDate::compareTo);
        return holidays;
    }

    public static void main(String[] args) {
        for (var h : getHolidays(2025)) {
            System.out.println(h + " (" + h.getDayOfWeek() + ")");
        }
        // 2025-01-01 (WEDNESDAY), 2025-01-13 (MONDAY), ... と並ぶ

        // 振替休日の確認: 2026年は憲法記念日(5/3)が日曜。
        // 5/4 みどりの日・5/5 こどもの日を飛ばして 5/6(水) が振替休日
        var h2026 = getHolidays(2026);
        System.out.println("2026-05-06 は休日か: "
            + h2026.contains(LocalDate.of(2026, 5, 6)));
        // → true
    }
}