Kairos 祝日テーブルの 2 行は、実は法律の計算結果である——振替休日と国民の休日を式で導出する
2026 年の祝日は 18 日ある。官報に載るのは 16 日ぶんだ祝日テーブルを自前で持っている人は、毎年こういう作業をしている。内閣府の一覧から祝日を転記して——5 月 6 日と 9 月 22 日を、手で足す。この 2 日は法定祝日ではな...
Kairos 
Kairos 祝日テーブルは黙って腐る——「データの鮮度」を出力に運ぶ
発端年明け、締め処理の通知が元日に飛んだ。調べると、営業日判定に使っていた祝日テーブルに 2027 年分が入っていなかった。去年それを入れた人は、もう隣の部署にいる。このバグの嫌なところは、コードが一行も間違っていないことだ。祝日を配列で持...
Kairos Kairos にどんな未来を希望するか
今回はちょっとお休みして、Kairos 開発中の対話からの一節「Kairos にどんな未来を希望するか」への返答をご紹介します。一番の希望は、スケジュールが「コードに埋まった if 文」から「レビューできるテキスト」になることです。diff...
Kairos cron で「13 日の金曜日」を書くと何が起きるか
素直に書いてみる「13 日の金曜日に何かを実行したい」。crontab を開く。フィールドは分・時・日・月・曜日。0 0 13 * 5毎月 13 日、0 時、金曜日の。読める。書けた。デプロイ。2026 年、このジョブは61 回発火する。意...
Kairos Kairos チュートリアル——給料日ルールをゼロから書く
今回やること前回は「作った」という話だけだった。今回は手を動かす。題材は給与計算の定番、毎月 25 日。ただしその日が土日または祝日なら、直前の営業日に繰り上げる。これをゼロから組み立てる。所要時間はコピペ込みで 10 分程度。準備リファレ...
Kairos cron でもタスクスケジューラでも「月末 3 営業日前」が書けないので、スケジュール定義言語を作っている
発端「月末の 3 営業日前に締め処理の通知を出したい」。よくある要件。cron で書こうとして、手が止まる。0 9 26 * * # 26 日……ではない。月末から数えて 3 営業日前書けない。cron が持っているのは「毎月 26 日」で...
日記 2025年12月22日(月曜日)
M(K)と縮小したサーバーのディスク容量リサイズ、仮想基盤の移行、RHELライセンスの要否について話す。仮想基盤の移行でたまたま見積もりを取り寄せていたものだが、価格高騰の予測が出ているため決定を急いでいる様子。
PowerShell Range 演算子のあれこれ
Range 演算子はシーケンシャルな整数列を得ることができる。上限と下限を指定して、ひとつずつ加算もしくは減算した整数の配列を取得できる。基本編インクリメント1 から 5 までひとつずつ加算される配列ならこう書ける。PS C:\> 1..5...
メモ PSModulePath には UNC パスを含めてはいけない
PSModulePath に UNC パスが含まれその UNC パスに到達できなくなった時には、 PSModulePath に含まれる他のパスに存在するモジュールも PowerShell に読み込めなくなる。他のパスがローカルなどの確実に到...
PowerShell 配列の特殊なインデックス技法
『配列の要素へのアクセスに配列を使う』『何を言ってるのかわからねーと思うが』と、かの有名セリフが飛び出してきそうな内容だがこれは事実。そしてこれにはとても大きな可能性が秘められている。配列の要素へのアクセスに配列を使うというのは、配列のアク...