Kairos スマホのカレンダーに、繰り返しの予定が入らなかった——.ics 取り込みの切り分けと、UID から学んだこと
発端——公開した日の夜目覚ましの例（平日は 6 時半、土曜と祝日は 8 時）は、Playground の「カレンダーに入れる」ボタンで .ics ファイルになり、そのままカレンダーに取り込める。この機能を 1.0.7 として公開したのが 1...
Kairos 
Kairos 「今日は Windows Update の日です」——毎月手で送っていたメールを、定義 1 つにする
1. 毎月、手で送っていたメール前職で、毎月 1 通、B2B の顧客のシステム管理者宛に、同じ件名のメールを手で送っていた。件名は「今日は Windows Update の日です」。送るのは水曜の朝である。段取りはこうだった。Google ...
Kairos 「第 1・第 3 水曜」と「15 日と月末」——「月 2 回」を、1 本の式で書く
1. 「第 1・第 3 水曜」を cron に書くと、毎週水曜に動く資源ごみは第 1・第 3 水曜、町内会の回覧は第 2・第 4 木曜、給料の締めは 15 日と月末。「月 2 回」は暮らしにも仕事にもいくらでもあるのに、道具の側がこれを苦手...
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 日、この言語を本番で使っている外部の実装者から、...