毎月 15 日に最も近い平日——Quartz 15W を合成で書く
「毎月 15 日、ただし土日なら最も近い平日」は Quartz の 15W 表記で知られる要求。
RRULE には存在せず、Quartz 方言でも祝日は扱えない。Kairos は Nearest という専用
ロール規約を持たないが、有限場合分けの合成でそのまま書ける——そして合成なので、
祝日対応にもそのまま伸びる。
既存側で何が起きるか
- iCalendar RRULE に「最も近い平日」の語彙は無い（BYSETPOS では書けない型）。
- Quartz
15Wは W が土日回避のみ——祝日カレンダーとは組み合わせられない。 - 「15 日が土曜なら前金曜・日曜なら翌月曜」という方向の違う丸めが 1 語に畳まれており、 変種（祝日も避けたい・月末側は跨がない等）が要る途端に書けなくなる。
Kairos で書く
15 日の列を「平日ならそのまま・土曜なら前へ・日曜なら後ろへ」の 3 系列に分けて合成する:
# eval: 2026-01-01..2026-12-31
@JP
weekdays = everyDay |> filter(d => weekday(d) != Sat and weekday(d) != Sun)
d15 = everyDay |> within(month) |> nth(15)
(d15 |> filter(d => weekday(d) != Sat and weekday(d) != Sun))
| (d15 |> filter(d => weekday(d) == Sat) |> roll(Preceding, on: weekdays))
| (d15 |> filter(d => weekday(d) == Sun) |> roll(Following, on: weekdays))
#=> 2026-01-15 2026-02-16 2026-03-16 2026-04-15 2026-05-15 2026-06-15
#=> 2026-07-15 2026-08-14 2026-09-15 2026-10-15 2026-11-16 2026-12-15
2 月・3 月・11 月（15 日が日曜）は翌月曜へ、8 月（15 日が土曜）は前金曜 8/14 へ。 「最も近い」という 1 語の中の場合分けが、そのまま 3 行の式として見える形になる。
15W にできない祝日対応は、weekdays を営業日列に差し替えるだけ:
(d15 |> filter(…)) | (… |> roll(Preceding, on: bizDay)) | (… |> roll(Following, on: bizDay))
丸め先が営業日になり、15 日自身が祝日の場合の扱いも d15 |> filter の条件に書き足せる——
専用表記は畳まれた仕様が開けないが、合成は開いて直せる。
祝日対応を実データで——米国連邦祝日の場合
その差し替えを実データで実演する。丸め先を米国連邦祝日（2026 年・observed）由来の営業日列に:
# eval: 2026-01-01..2026-12-31 tz: America/New_York
premise US {
calendar-system: Gregorian
tz: "America/New_York"
wkst: Sun
}
@US
federal2026 = [2026-01-01, 2026-01-19, 2026-02-16, 2026-05-25, 2026-06-19,
2026-07-03, 2026-09-07, 2026-10-12, 2026-11-11, 2026-11-26,
2026-12-25] covering: 2026..2026
satSun = everyDay |> filter(d => weekday(d) == Sat or weekday(d) == Sun)
bizDay = everyDay \ (satSun | federal2026)
d15 = everyDay |> within(month) |> nth(15)
(d15 |> filter(d => weekday(d) != Sat and weekday(d) != Sun))
| (d15 |> filter(d => weekday(d) == Sat) |> roll(Preceding, on: bizDay))
| (d15 |> filter(d => weekday(d) == Sun) |> roll(Following, on: bizDay))
#=> 2026-01-15 2026-02-17 2026-03-16 2026-04-15 2026-05-15 2026-06-15
#=> 2026-07-15 2026-08-14 2026-09-15 2026-10-15 2026-11-16 2026-12-15
#~> 範囲外 2026-01-01..2026-01-02（federal2026 covering 2026-01-01..2026-12-31）
見どころは 2 月である。2/15（日）の翌平日は 2/16 だが、2/16 はワシントン誕生日（連邦祝日）
——丸め先が営業日列なので、そのさらに翌営業日の 2/17 へ抜ける。Quartz の W が構造的に
書けない「祝日も避ける最寄り平日」が、軸を差し替えるだけで出る。末尾の注記は「窓の頭では
丸め先が覆域より前に出うる」というデータの端の明示——黙って計算しない設計の現れである
（統治の器は 仕様 §4.10）。
米国版を Playground で実行。
ブラウザで試す
Playground で実行
——nth(15) を変えれば任意の日付版になる。