制度の計算をコードにする — 根拠つきの純粋関数と、行政の計算例による検証

退職を考えている人が知りたいのは、制度の仕組みより「いつ・いくら入るか」です。基本手当の計算式は公開されていますが、待期の7日間と給付制限を挟んで、何月の何日ごろにいくら振り込まれるかは、自分で組み立てるしかありません。

技術的には、法令に従う計算を、根拠を追える形でコードにする題材として選びました。給与・保険料・補助金・税の計算は受託でもよく出てきますが、どれも「正しさを誰がどう確認するか」が曖昧なまま作られがちです。

3つあります。

1. 数字が毎年変わる。 賃金日額と基本手当日額の上限・下限は、毎年8月1日に改定されます。コードに直書きした瞬間から、1年後に静かに間違い始めます。
2. 例外が日付で効く。 給付制限は2025年4月1日の改正で「原則2か月」から「原則1か月」に短くなりました。有期契約の更新がなかった人への給付日数の優遇は、離職日が2027年3月31日以前の場合に限る時限措置です。どちらも「今日」ではなく離職日で判定しなければいけません。
3. 間違いに気づく手段がない。 計算が1円ずれても、画面はそれらしい数字を出し続けます。

制度の数字をロジックから切り離し、日付つきのデータにしました。テーブルは適用開始日・次回改定予定日・出典URL・一次資料にアクセスした日を持ちます。改定のときに触るのはこのファイルとテストの期待値だけで、計算のコードには手を入れません。

計算は副作用のない純粋関数に閉じ、関数ごとに根拠の条文や公的資料を注記しています。日付で効く改正は、離職日を引数に取って分岐します。

正しさの確認には、行政が公表している計算例をそのままテストの期待値にしました。しかも公開している検証ページとテストが同じ配列を読むので、テストを通っていない検証結果をページに書くことが構造的にできません。

捨てたものは、個別事情の網羅です。受給資格や金額を最終的に決めるのはハローワークで、画面でもそう案内しています。

計算はすべてブラウザの中で行います。サーバーに送信するのは問い合わせフォームだけで、入力した給与や年齢の生の値は URL から取り除き、分析ツールには年齢帯や10万円刻みの賃金帯といった区分だけを渡します（プライバシーポリシーで開示しています）。

サイトは問い合わせ API を除いて全ページが静的生成です。CSP で eval を禁じているため、入力検証の Zod は eval を使わないモードで動かしています。

収益は転職・退職関連サービスの広告（アフィリエイト）です。広告枠の配分は、枠ごとの実績を経験ベイズ（ベータ二項分布の縮小推定）でならし、乱数の種を固定したトンプソン抽出で決めています。出力が決定的な表になるので、同じデータからは同じ配分が出ます。

2026-08-17 から 09-21 までの84コミット。行政が公表した計算例との突合が30件、テストが93ファイル、Playwright の E2E が8本。

早見表は「離職理由 × 年齢 × 勤続年数」の組み合わせから33ページを生成しています。サイトマップ上のページは89で、うち解説記事が44本です。

制度テーブルの適用開始日は2026年8月1日、次回の改定予定は2027年8月1日としてデータに持っています。

料金の計算、保険料や給付の判定、補助金の要件チェック、給与計算。制度や規程をコードにする案件では、「正しいことを誰がどう確かめるか」を設計に組み込めるかで、運用が始まってからの手戻りが決まります。

たいしょくんは、改定される数字をデータに分離し、公的な計算例をテストの期待値にし、その検証結果を公開ページと同じデータから出す、という形でそれを実装した実例です。個人の入力を生のまま外に出さない作りも、そのまま持ち込めます。

計算を純粋関数に閉じ、公的な計算例をテストにする具体的なコードは、法令の計算を TypeScript で実装する解説記事にまとめました。

同じ設計は、業務システム・計算ツールの開発としてお請けしています。