Kairos 「第 1・第 3 水曜」と「15 日と月末」——「月 2 回」を、1 本の式で書く
1. 「第 1・第 3 水曜」を cron に書くと、毎週水曜に動く資源ごみは第 1・第 3 水曜、町内会の回覧は第 2・第 4 木曜、給料の締めは 15 日と月末。「月 2 回」は暮らしにも仕事にもいくらでもあるのに、道具の側がこれを苦手...
Kairos 
Kairos 平日は 6 時半、土曜と祝日は 8 時——曜日で時刻が変わる予定を、1 本の式で書く
1. スマホの目覚ましは「曜日」までしか知らない平日は 6 時半、土曜は 8 時、日曜は鳴らさない。これをスマホの目覚ましで組むと、アラームが 2 つになる。ここまではいい。困るのは祝日の月曜で、たいていの目覚ましは曜日しか見ていないので ...
Kairos 4 勤 4 休——週にも月にも整列しないシフトを、8 個のラベルで書く
1. 8 日周期は、週にも月にも揃わない工場・病院・コールセンターで見る「4 勤 4 休」は、4 日働いて 4 日休む 8 日周期である。1 月 5 日（月）に始まるサイクルを追うと、次のサイクルの初日は 1 月 13 日（火）、その次は2...
Kairos 「毎月 30 日払い」、2 月はどうする——「無い日」の二義を式で書き分ける
1. 0 0 31 * * は年に 7 回しか動かないcrontab に「毎月 31 日」と書く人の多くは、「月末」のつもりで書いている。cron は 31 日が無い月には何も言わずに何もしない。同じ動きを Kairos で書いて、数えてみ...
Kairos 「隔週」と「10 日ごと」——月をまたいでも、年をまたいでも、ずれない書き方
1. cron に「隔週」は書けないcrontab に「2 週間ごと」と書きたくなって、*/14 と書いた人は多いと思う。日の欄に */14 と書くと、cron は「1 日、15 日、29 日」に動く。月が替わると 1 日からやり直す。2 ...
Kairos 土曜日が出勤日になる暦——中国本土の「調休」を、規則ではなくデータとして写す
1. 2026 年 2 月 28 日は、土曜日だが出勤日である中国本土の暦には、日本にない種類の日がある。土曜日や日曜日なのに出勤日、という日である。連休を長くつなぐために、前後の週末を平日に振り替える。これを「調休(ちょうきゅう・振替出勤...
Kairos 月末最終営業日の自動実行まで通す——定義 1 ファイル・crontab 1 行・シェル 6 行
はじめに——「別の回で書く」と言った回引っ越しガイドの最後で、Kairos と実行系をつなぐ型を 2 つ示して、「この 20〜40 行の型は別の回でまとめて書く」と書いた。この記事がその回である。題材は 1 本に絞る。月次の締め処理を、月末...
Kairos 名前を付けたら、答えが変わった——あるバグの事件簿
発端——8 月 26 日の報告1.0 宣言の週の締めくくりに、開発の舞台裏をひとつ書く。第 18 弾の結びで「黙りは実装にも忍び込む」と一段だけ書いた、あのバグの一部始終である。8 月 26 日、この言語を本番で使っている外部の実装者から、...
Kairos 「予定どおりに動いた」を証明できるか——決定性の実運用報告
深夜のバッチが動いた。で、それは「予定どおり」か?監視は「動いたか」を教えてくれる。だが「予定どおりに動いたか」は、実は別の問いである。予定そのものが実行のたびに計算し直され、環境やライブラリの版で揺れるなら、「予定どおり」を証明する土台が...
Kairos crontab からの引っ越しガイド——5 つの定番を Kairos に翻訳する
はじめに——引っ越さなくていい人昨日の 1.0 宣言から来た方、はじめまして。この記事は crontab を持っている人向けの、いちばん実務寄りの入門である。最初に断っておく。固定時刻の単純反復なら、cron で足りる。「毎時 0 分」「毎...