今日のフォーカス
「規則」と「規則が守りたかったもの」の間にある3つの断絶——日本語の条件文が1つの論理式に定まらず、実装がもう1つの読み方を選んでしまう曖昧さと、その否定（ド・モルガン／量化子の否定）、「0件だった」という帰納の結論がどこまで言えるか（Hanley & Lippman-Hand 1983 の「3の法則」）、「全ての A は B」という規則を検証するときにどのデータを引くべきか（Wason 1968 の選択課題）と、規則の字面を満たしたまま目的を外す行動（しきい値の直下への分割）を、実務の数字で計算し直す
Lv1 担当者Lv2 リーダーQ1: Lv3 管理職Q2: Lv4 経営（current_level）Q3: Lv5 創業者・取締役会
バックフィル（9/29 の分）：この回は 2026-10-02 に、日付を 2026-09-29（火曜） に固定して作った補充分である。曜日のカテゴリは火曜＝IQ-A で判定した。連番・累計は 10/2 分（出題済み）の次から振る。state.md は 9/29 < next_change_on（2026-10-25）のため進級判定を変えず、最終更新日も過去に戻していない。
今日の難易度（主人公の立場）：state.md の current_level は Lv4 経営（2026-09-25〜2026-10-24、今日は進級日ではない）。Q1 は1段下の Lv3 管理職（部門長）、Q2 は Lv4 経営（CTO）、Q3 は1段上の Lv5 創業者・取締役会（創業CEO）。
数値の出所ラベル：本ファイルの数値には仮定導出文献を付ける。シナリオの会社・人物・社内データはすべて架空（仮定）である。導出は Python 標準ライブラリ（itertools・math.comb・math.log）で本ファイル作成時に実行した。乱数は使っていない（Q3 の確率は超幾何分布の厳密計算）。
前日からのつながり：前日（月曜 EQ-A）は自分の感情を前の段階で扱った。今日は同じ「前の段階」を、言葉と規則の段階に移す。9/08 の IQ-A（定言三段論法・逆と対偶）や 9/01 の IQ-A（必要条件と十分条件）は「条件文の形式の誤り」を扱った。今日は形式の誤りがない文でも、読み方が複数ある・否定が難しい・検証データの選び方で結論が変わるところに絞る。
Q1★★★☆☆ 基本「A または緊急、かつ凍結でない」——日本語の条件文が2つの論理式になる
主人公の立場 — Lv3 部門長
プラットフォーム部門長の中島さん（Lv3）の部門で、決算期の変更凍結期間中に、2名のレビュー承認が付いた変更が本番に反映された。凍結期間は「経理の締め処理中は本番を動かさない」という約束で、経営から問題視された。
運用規則の文章はこうだった仮定。
「本番に反映できるのは、レビュー承認が2名以上、または緊急対応であって、かつ変更凍結期間でないときに限る。」
CI のデプロイ判定コードは次の1行だった仮定。
allow = approvals >= 2 or emergency and not freeze3つの条件を A＝承認が2名以上、E＝緊急対応、F＝凍結期間中 とする。
問い
- 上の規則の文章には、論理式として少なくとも3通りの読み方がある。R1: (A または E) かつ 凍結でない、R2: A または (E かつ 凍結でない)（コードの実際の動作）、R3: (A かつ 凍結でない) または E（緊急は凍結中でも通す）。A・E・F の8通りの組み合わせで3つの表を作り、読み方によって結論が分かれる行を特定せよ。今回の事故はどの行か
- 利用者向けのエラー文を「反映が拒否される条件」として書き直したい。R1 の否定をド・モルガンの法則で書け。「承認が2名未満、かつ緊急でない、かつ凍結期間中」という書き方は、8通りのうち何行で誤りか。あわせて、監査が使う「全てのデプロイに2名承認がある」の否定を正しく書け
- 同じ種類の事故を防ぐために、やることを選べ。「コードに括弧を足す」だけで足りない理由と、採らなかった案も残せ
条件文の誤りは「形式を間違える」より「文が1つの式に決まらないのに、決まったつもりで実装する」ほうが実務では多い。9/08 までの IQ-A は条件文の形式（逆・対偶）を扱ったので、今日は一段手前の「どの式なのか」を決める作業と、その否定（ド・モルガン・量化子）を扱う。Q2 の帰納、Q3 の「規則を検証するデータ選び」はどちらも、ここで式を確定させておくことが前提になる。
- 確認すること：文を論理式に直したとき、括弧の位置が一意に決まるか。決まらないなら、全ての読み方を書き出す
- 核心の概念：真理値表による全数検査（変数 n 個なら 2 の n 乗行）と、ド・モルガンの法則（¬(P∨Q)＝¬P∧¬Q、¬(P∧Q)＝¬P∨¬Q）、量化子の否定（¬∀x P(x)＝∃x ¬P(x)）
- よくある罠：①括弧の位置を直感で決める ②否定で「かつ／または」を入れ替え忘れる ③「全て〜」の否定を「全て〜でない」にする
- 判断の軸：読み方が分かれる行は、論理の問題ではなく事業の判断（凍結中に緊急を通すか）。その行だけを人が決める
模範解答の核心
8通りのうち読み方が分かれるのは3行で、全て凍結期間中（F＝真）の行。凍結が無いときは3つの読み方は一致する。つまり曖昧だったのは文の構造ではなく「凍結中に何を許すか」という事業の判断である。事故の行は「承認2名・緊急でない・凍結中」で、R1 と R3 は拒否、R2（コード）だけが許可した。1. 8行の真理値表導出（1＝反映できる）
| A 承認2名以上 | E 緊急 | F 凍結中 | R1 (A∨E)∧¬F | R2 A∨(E∧¬F)（コード） | R3 (A∧¬F)∨E | 一致 |
|---|---|---|---|---|---|---|
| 1 | 1 | 1 | 0 | 1 | 1 | 分かれる |
| 1 | 1 | 0 | 1 | 1 | 1 | 一致 |
| 1 | 0 | 1 | 0 | 1 | 0 | 分かれる（今回の事故） |
| 1 | 0 | 0 | 1 | 1 | 1 | 一致 |
| 0 | 1 | 1 | 0 | 0 | 1 | 分かれる |
| 0 | 1 | 0 | 1 | 1 | 1 | 一致 |
| 0 | 0 | 1 | 0 | 0 | 0 | 一致 |
| 0 | 0 | 0 | 0 | 0 | 0 | 一致 |
- R1 と R2 が違うのは2行（A,E,F＝1,1,1 と 1,0,1）、R1 と R3 が違うのも2行（1,1,1 と 0,1,1）、R2 と R3 が違うのも2行（1,0,1 と 0,1,1）。3つの読み方のどれかが他と違う行は重なりを除いて3行
- 凍結でない4行（F＝0）は3式とも同じ。「規則の文章が曖昧」と言われるが、実は曖昧なのは凍結中の扱いだけ
判断: 中島さんは「コードを R1 に直す」と決める前に、凍結中の2行（A のみ・E のみ）を事業側に1行ずつ聞く。(1,0,1) は経営の意図（凍結中は動かさない）から拒否。(0,1,1)＝凍結中の緊急は、本番障害の復旧を止めるリスクと比べて決める。ここは論理でなく判断なので、答えが R1 か R3 かは会社による。
2. 否定と量化子導出
- R1 の否定（拒否される条件）: ¬((A∨E)∧¬F) ＝ (¬A∧¬E) ∨ F。「承認が2名未満で緊急でない、または凍結期間中」
- 間違いの例「承認2名未満 かつ 緊急でない かつ 凍結中」は ¬A∧¬E∧F。本当の拒否条件と8行中4行で食い違う（本来拒否なのに許可と案内する行が (1,1,1)・(1,0,1)・(0,1,1)・(0,0,0) の4行）。利用者には「凍結中でも承認2名あれば通る」と誤って伝わる
- 「全てのデプロイに2名以上の承認がある」の否定は「2名以上の承認がないデプロイが少なくとも1件ある」。「全てのデプロイに承認がない」ではない。監査で1件でも見つかれば前者は偽になり、後者が真である必要はない
3. 再発防止
| 案 | 長所 | 採らない／足りない理由 |
|---|---|---|
| コードに括弧を足して R1 にする | 1分で済む | どの読み方が正しいかを決めていない。R3 が正解なら、また事故になる |
| 仕様を真理値表で書き、全行をテストにする | 3変数で8行、12変数でも 4,096 行で全数検査が現実的導出。曖昧な行は「決める」しかなくなる | 変数が 20 個なら 1,048,576 行で全数は重い。その場合は条件の分割か、ペアワイズ等で絞る |
| ポリシーを宣言型の言語（Cedar・OPA/Rego 等）で書く | 否定・優先順位が処理系の規則で決まり、実装者の頭に依存しない | 導入と運用の費用がある。部門の1規則のために入れる規模ではなく、規則が10本を超えたら検討（仮定。要測定） |
前提が変わったら: 変数が2つなら（A と F のみ）曖昧さは出ないので、表を書く費用のほうが高い。逆に規則が監査の対象（金融・医療）なら、表と承認者の記録を残す価値が上がる。
実践への応用
- 権限・料金・割引・リリース判定の「または」「かつ」は、全て同じ形で曖昧になる。仕様の文を式にした人と、実装した人が別のときに事故が出る
- 起業・事業: 契約書の「甲または乙、かつ丙」も同じ。争いになる前に、真理値表を1枚付ける
- グローバル: 英語の "A or B and not C" も同じ曖昧さを持つ。契約や規約では、括弧か箇条書き（all of / any of）で書く
自己評価（解答後に記入）
- 3つの読み方を8行の表にして、分かれる行を特定したか
- 否定で「かつ／または」を入れ替え、「全て」の否定を正しく書けたか
- 曖昧な行を論理でなく事業の判断として分けたか
自分の考え・解答メモ：
気づき・メモ：
Q2★★★★☆ 標準「リハーサル30回、失敗0回」——0件から言えること（3の法則）
主人公の立場 — Lv4 CTO
BtoB SaaS 企業の CTO・川村さん（Lv4）は、メイン DB の移行（約4時間のメンテナンスなしの切替）を、来月の本番で行うかどうかを経営会議にかけている。報告資料の核心はこうだった仮定。
「ステージングでのリハーサルを 30回実施し、失敗は0回。本番での失敗確率は十分に低い。予定どおり全顧客を一度に切り替えたい。」
補足仮定：
- 本番の切替が失敗した場合の損失は 2.4億円（停止と補償・解約の見込み）
- リハーサル1回の費用は 60万円（人件費・環境）
- 30回は、6種類の条件（データ量の大・中・小 × 負荷あり・なし）を各5回ずつ回した。5回は同じデータの複製・同じ手順
- 経営が許容する失敗確率の上限は 1%
問い
- 「0/30」から、本番の失敗確率について何が言えて、何が言えないか。95% の信頼で言える上限を、少なくとも2つの方法で計算し、点推定の「0%」が使えない理由を述べよ
- 上限を 1% まで下げるには、失敗0のままリハーサルが何回必要か。60万円/回で追加リハーサルを続ける案と、段階切替（1% → 10% → 50% → 100%）の案を、期待損失で比べよ
- 30回の中身（6条件×5回、同じ複製データ）を踏まえて、「30」という数字は帰納として実質何回分と読むべきか。経営会議での言い方を示せ
「問題が起きなかった」は、実務で最も使われ、最も過大に読まれる証拠である。0件でも確率は0ではなく、上限は件数 n で決まる（3の法則）ことを暗算できるようにする。さらに、帰納の強さは回数でなく条件の多様さ（同じ条件で何度回しても、新しい情報は増えない）で決まることを、ビジネスの意思決定（追加の検証にいくら払うか／段階切替にするか）につなげる。Q1 の「文を式にする」に対し、Q2 は「データを確率にする」。
- 確認すること：試行は互いに独立で、本番と同じ分布から取れているか（同じ条件の繰り返しは独立でない）
- 核心の概念：3の法則。n 回中0回なら、95% の上限はおよそ 3/n（Hanley & Lippman-Hand, 1983）。厳密には 1−0.05 の (1/n) 乗（Clopper–Pearson の片側）
- よくある罠：①「0回＝0%」と読む ②同じ条件の繰り返しを別々の試行と数える ③上限だけ見て期待損失を計算せず、追加検証の費用対効果を見ない
- 判断の軸：上限（最悪側の確率）に損失額を掛けて、追加で払う費用や段階切替の費用と並べる
模範解答の核心
0/30 から言えるのは「失敗確率は 95%の確からしさで約9.5%以下」まで。点推定の0%は使えない。経営が許す1%に下げるには失敗0のまま約298回が必要で、追加リハーサルは費用で割に合わない（約4,140万円の追加に対し、期待損失の上限の削減は約1,560万円）。段階切替で最初の露出を1%に抑えるほうが安い。さらに30回は条件が6種類しかないので、帰納としての実質は6回分に近く、上限は約39%まで広がる。1. 0/30 から言えること導出
| 方法 | 上限（95%） | 式 |
|---|---|---|
| 3の法則（目安） | 10.0% | 3 / 30 |
| 厳密（Clopper–Pearson 片側） | 9.50% | 1 − 0.05^(1/30) |
| ベイズ（一様事前分布、0/30 後） | 9.21%（平均 3.1%） | 1 − 0.05^(1/31)、平均 1/32 |
- 3つはほぼ同じ約9〜10%。「0%」は点推定として不正：30回で見えていないだけで、真の確率が5%でも 0.95^30＝21.5%導出の確率で30回とも成功する
- 言えないこと：「3%以下」。0.97^30＝40.1%導出の確率で、真の確率が3%でも0/30になる。30回では3%と0.1%を区別できない
2. 必要な回数と期待損失導出・仮定
- 上限を p にするのに必要な連続成功の回数 n ＝ ln 0.05 / ln(1−p)。p＝5%→58.4（59回）、3%→98.4（99回）、1%→298.1（299回）
- 追加リハーサルで3%に下げる案：追加 69回（99−30）× 60万円＝4,140万円。損失の上限期待値は 2.4億×9.5%＝約2,282万円 → 2.4億×3%＝720万円で、削減は約1,562万円。費用 4,140万円 > 削減 1,562万円で割に合わない。1%まで（299回）は追加269回＝1.6億円で、損失の上限（約2,282万円）を超える
- 段階切替（1% → 10% → 50% → 100%）：最初の段階で失敗が見えれば、露出は顧客の1%。損失が露出に比例し、各段階で検知できると仮定すると 2.4億×1%＝約240万円仮定。リハーサルとは違い、本番と同じ分布の試行を得るので、帰納の質が上がる
3. 30回の実質導出・仮定
- 6条件のうち、条件内の5回は同じデータの複製・同じ手順なので、新しい情報は増えない（失敗の原因が条件に依存するなら、5回は1回分）。実質 n＝6 とみなすと、上限は 1−0.05^(1/6)＝39.3%（3の法則では 50%）
- 実際は5回のうち手順の揺れ（タイミング）で情報が増えるので、実質はn＝6〜30の間。「9.5%」は楽観側、「39%」は悲観側の端と伝える
経営会議での言い方の例
「リハーサルは30回成功しましたが、条件は6種類です。ここから言えるのは、失敗確率が『ほぼ0』ということではなく、多く見積もっても1割前後〜4割弱のどこかまでです。本番の損失は2.4億円なので、リハーサルを追加で300回回すより、顧客の1%から切り替えて、本番の条件で試行を増やす案を提案します。」
採らなかった案（トレードオフ）
| 案 | 採らない理由 |
|---|---|
| 「30回成功なので安全」と報告する | 点推定0%は誤り。3%と0.1%を区別できない |
| リハーサルを299回まで続ける | 約1.6億円。本番と分布が違う限り、回数を増やしても本番の失敗は見えない |
| 実質 n＝6 の39%だけを前面に出す | 悲観側の端。手順の揺れで得られる情報を無視している。幅で示す |
| 切替を中止する | 損失が不確実なだけで、中止の根拠にはならない。段階切替で露出を絞れる |
前提が変わったら: 段階切替で各段階の検知に時間がかかる（損失が露出に比例しない）なら、1%段階の損失は240万円より大きくなる。本番と同じ分布の環境（影の本番）が安く作れるなら、追加リハーサルの価値は上がる。
実践への応用
- 障害ゼロ・事故ゼロ・脆弱性ゼロの報告、A/B テストの「悪化なし」、薬や安全基準の「有害事象なし」は同じ形。件数が小さいほど、上限は大きい
- 起業・事業: 「顧客20社に聞いて誰も不満がなかった」の上限は 3/20＝15%。20社が友人なら、実質は少ない
- グローバル: 市場ごとに条件が違うので、「国内5社で成功」を海外に当てはめると、n は5ではなく条件の種類の数に近い
自己評価（解答後に記入）
- 「0%」でなく上限（約9.5%）で答えたか
- 上限1%に必要な回数（約299回）と、追加検証 vs 段階切替を期待損失で比べたか
- 同じ条件の繰り返しを実質1回と数える視点を持てたか
自分の考え・解答メモ：
気づき・メモ：
Q3★★★★★ 応用「10万ドル超は取締役2名の署名」——規則を検証するデータ選び（Wason 選択課題）と、字面を満たす目的外し
主人公の立場 — Lv5 創業CEO
創業CEOの石川さん（Lv5）は、取締役会の監査委員から次の依頼を受けた仮定。
「当社の規則『10万ドルを超える全ての海外送金には、取締役2名の署名が付いていなければならない』が守られていることを、今期中に確認してほしい。」
過去1年の海外送金は 5,380 件。2つの別々の台帳があり、1件ごとに照会（1回の費用は同じ）しないと次の属性が分からない仮定。
| 一覧（無料で見える側） | 件数 | 照会で分かること |
|---|---|---|
| 金額一覧：10万ドル超（P） | 180 | 署名の有無 |
| 金額一覧：10万ドル以下（¬P） | 5,200 | 署名の有無（規則とは無関係に見える） |
| 署名台帳：署名あり（Q） | 2,950 | 金額 |
| 署名台帳：署名なし（¬Q） | 2,430 | 金額 |
照会できる件数は監査チームの工数から 100 件まで。違反（10万ドル超で署名なし）は、あるとすれば P の中にも ¬Q の中にも同じ件が入っている。10万ドル以下の 5,200 件のうち、9万〜10万ドル未満の送金が 410 件ある仮定。そこには、規則を避けるために1件を分割した送金（同じ宛先・同じ週の複数送金）が混じっている可能性が、財務責任者から口頭で指摘されている。
問い
- 規則「P ならば Q」を反証できるのは、4つの一覧のうちどれから照会したときか。他の2つが役に立たない理由を論理で述べよ。違反が 6 件／2 件あるとき、100 件を P から引いた場合と ¬Q から引いた場合で、1件でも見つかる確率を計算し、比べよ
- 「分割送金」は規則の字面（10万ドル超）に入らないので、論理的には規則と無関係である。それでも照会の一部を 9〜10万ドル帯に振るべきか。100 件を P と 9〜10万ドル帯に配分する案を、違反あり／分割あり／両方なしの想定で比べ、採る配分とその理由を決めよ（正解は1つではない）
- 照会の結果、100 件の抽出で違反が0件だった。取締役会に何と報告するか。「規則は守られている」と言ってよい根拠と、言えない部分を、数字つきで示せ
「全ての A は B である」という規則の検証で、人は B を確認する（署名のある件を見る）か、A の中から B のある件を探す（確証）ほうに偏る。論理的に反証できるのは A（金額が超）と ¬B（署名なし）の2つだけで、Wason（1968）の選択課題が示したとおり、これを正しく選べる人は少数である。今日はそこから先、照会に費用があるとき、同じ「正しい2つ」でも件数の少ない側から引くほうが圧倒的に有利という定量の差と、規則を全て満たしても目的は外れうる（実質的含意：¬P のとき規則は真になる）という、論理と目的のずれを扱う。Q1 の「式を確定する」、Q2 の「0件の上限」が、ここで1つの監査設計になる。
- 確認すること：規則を「P ならば Q」と書き直し、この規則を偽にできる事例（P かつ ¬Q）を言葉にする
- 核心の概念：条件文の反証は P∧¬Q の1件で足りる。P の一覧と ¬Q の一覧は、どちらも同じ違反を含む。違反を見つける確率は「違反の数 ÷ 引く一覧の大きさ」で決まる（超幾何分布）。さらに、規則の字面の外（¬P）に目的外しの行動があるときは、規則の検証と目的の検証が別の仕事になる
- よくある罠：①署名ありの一覧（Q）で金額を照会する（Q の事例は規則を反証できない）②10万ドル以下（¬P）を照会する（規則は何も言っていない）③¬Q を選ぶが、2,430件もあるので違反に当たらない ④0件を「規則は守られている」と報告する
- 判断の軸：照会1件あたりの違反発見の確率と、規則の字面の外に残る目的外しの確率を、同じ100件の中で配分する
模範解答の核心
反証できるのは P（10万ドル超）と ¬Q（署名なし）の2つ。ただし ¬Q は2,430件で、違反6件を100件の抽出で見つける確率は約22%、P（180件）から引けば約99%。同じ論理的に正しい選択でも、小さい母集団から引く。そのうえで、分割送金（目的外し）を見るために、100件を P 60件＋9〜10万ドル帯 40件に配分する案を採る（最悪の想定でも約56%で何かを見つける）。報告は「規則は守られている」ではなく、「抽出60件で違反0件。95%の確からしさで、違反は7件以下」と数字つきで言う。1. 反証できる一覧と確率導出
| 一覧 | 照会で分かること | 規則を反証できるか |
|---|---|---|
| P（10万ドル超） | 署名の有無 | できる（署名なしが見つかれば P∧¬Q） |
| ¬P（10万ドル以下） | 署名の有無 | できない。規則は「10万ドル以下」について何も言っていない |
| Q（署名あり） | 金額 | できない。署名があるなら、金額が超でも以下でも規則は破られない |
| ¬Q（署名なし） | 金額 | できる（金額が超なら P∧¬Q） |
100件を引いて、違反が1件でも見つかる確率（超幾何分布）：
| 違反の数 | P（180件）から100件 | ¬Q（2,430件）から100件 |
|---|---|---|
| 6件 | 99.3% | 22.3% |
| 2件 | 80.4% | 8.1% |
- 論理的に「正しい2つ」でも、確率は4倍以上違う。Wason の課題は「どれを選ぶか」で終わるが、実務は「選んだ集合の大きさ」まで見る
- P は180件で、100件で全体の56%をカバーできる。もし180件全てを照会できれば確率は100%で、違反の有無が確定する（工数が足りない分は Q3 の報告で扱う）
2. 配分の決め方（正解は1つではない）導出・仮定
9〜10万ドル帯（410件）に分割送金が s 件あるとき、P から a 件、帯から 100−a 件を引いたときの「何かを見つける確率」：
| a（P）／ b（帯） | 違反6件のみ | 違反2件のみ | 分割8件のみ | 最小 |
|---|---|---|---|---|
| 100／0 | 99.3% | 80.4% | 0.0% | 0.0% |
| 70／30 | 95.1% | 62.8% | 45.8% | 45.8% |
| 60／40 | 91.6% | 55.7% | 56.3% | 55.7% |
| 50／50 | 86.3% | 48.0% | 65.0% | 48.0% |
| 30／70 | 67.1% | 30.6% | 78.0% | 30.6% |
| 0／100 | 0.0% | 0.0% | 89.6% | 0.0% |
- 「想定の中で最悪になる場合を最大化する」（最小の列）を基準にすると、60／40 が最大（約56%）。100／0 は規則の検証としては最良だが、分割があっても気づけない
- ただし「違反6件／2件／分割8件」は私が置いた想定で、実際の件数は誰も知らない。財務責任者の指摘（口頭）の重みで、分割の件数や帯の幅（9〜10万ドル）の置き方が変わる
判断: 60／40 を採る。理由は、規則を満たすことと、規則が守ろうとしたこと（高額送金への複数人の関与）は別で、監査委員の依頼文は前者を聞いているが、取締役会が本当に聞きたいのは後者だと読むため。ただし、依頼文は規則の確認なので、40件を目的の検証に使うことは、監査委員に事前に伝えて承認を取る。
| 採らなかった案 | 理由 |
|---|---|
| 100件全て P に使う | 規則の検証は最良（違反6件で99%）。しかし分割があっても気づけず、「規則は守られている」が目的外しを覆い隠す報告になる |
| 100件全て帯に使う | 規則の違反を見つけられない（0%）。依頼の本文に答えていない |
| ¬Q から引く | 同じ論理でも違反の発見が約4分の1（6件で22%）。母集団が大きい側から引く理由が無い |
| 工数を増やして P の180件を全て照会する | 確率は100%になるが、追加80件の費用を追加する判断は、監査委員が決める。提案には入れる |
前提が変わったら: 署名の有無が台帳の1項目として検索できるなら、P∧¬Q は全件を無料で出せる（照会は不要）。その場合100件は全て目的の検証（帯や宛先の突き合わせ）に使う。分割の可能性が財務責任者の口頭の話でなく、通報として記録されているなら、帯への配分を増やす。
3. 0件のときの報告導出
- P から60件を引いて違反0件：P の中の違反が8件以上なら、60件で0件になる確率は5%未満になる。したがって言えるのは「95%の確からしさで、P の中の違反は7件（約3.9%）以下」まで。7件以下の可能性は消せない
- 帯から40件を引いて分割0件：同じ計算で、95%の確からしさで分割は28件（約6.8%）以下。28件以下の可能性は消せない
- 100件全てを P から引いていれば、残る可能性は違反3件（約1.7%）以下だった。配分を目的の検証に振った代償は、規則の検証の精度の低下（3件までの確認 → 7件までの確認）
「規則の検証として、10万ドル超の180件のうち60件を無作為に照会し、署名が欠けた事例は0件でした。180件全体では、95%の確からしさで違反は7件以下と言えます。0件とは言えません。『規則は守られている』とは言っていません。また、9〜10万ドルの送金410件のうち40件を抽出して分割の兆候を調べ、0件でした。この規模では、95%の確からしさで分割は28件以下までしか絞れません。次の四半期は、署名の有無を台帳で検索できるようにして、規則の検証を全件にします。」
実践への応用
- ガバナンス・コンプライアンスの規則（承認・利益相反・個人情報の持ち出し）は全て「P ならば Q」で、検証は P と ¬Q から。「承認の記録が付いている件」を見て安心しない
- 起業・事業: 投資家向けのデューデリジェンスで「規則は守られている」と言うとき、照会した件数と、否定できない違反数を一緒に示すと信頼される
- グローバル: 規則のしきい値は国ごとに違う（送金の報告義務など）。しきい値の直下に件が溜まるのは、世界のどこでも見られる目的外しの兆候
自己評価（解答後に記入）
- 反証できるのは P と ¬Q だけと言えたか
- 同じ正しい選択でも母集団の大きさで発見確率が変わることを数字で言えたか
- 「規則は守られている」と言わず、否定できない件数つきで報告できたか
自分の考え・解答メモ：
気づき・メモ：
扱わなかった範囲・参照文献
| 問 | 扱わなかった範囲 |
|---|---|
| Q1 | 3値論理・時相論理（「凍結期間の直前の変更」など時間を含む規則）、SAT ソルバによる大規模な規則の検証。変数が3つの手計算に絞った |
| Q2 | 事前分布の選び方の本格的な比較（Jeffreys など）、独立でない試行の階層モデル。実質 n の幅（6〜30）は仮定で置いた概算であり、推定ではない |
| Q3 | 層化抽出・連続監査・統計的検定の検出力の設計、署名の真正性（偽造）の検証。分割送金の検知は、宛先・日付の突き合わせを1回の照会に含めると仮定した |
参照文献（DOI は Crossref で 2026-10-02 に確認）
- Hanley & Lippman-Hand (1983), "If Nothing Goes Wrong, Is Everything All Right? Interpreting Zero Numerators", *JAMA*, 249(13), 1743–1745 — doi:10.1001/jama.1983.03330370053031（Crossref はタイトルと巻・頁・年・著者を確認。副題は未確認）
- Clopper & Pearson (1934), "The use of confidence or fiducial limits illustrated in the case of the binomial", *Biometrika*, 26(4), 404–413 — doi:10.1093/biomet/26.4.404
- Wason (1968), "Reasoning about a Rule", *Quarterly Journal of Experimental Psychology*, 20(3), 273–281 — doi:10.1080/14640746808400161
- Griggs & Cox (1982), "The elusive thematic-materials effect in Wason's selection task", *British Journal of Psychology*, 73, 407–420 — doi:10.1111/j.2044-8295.1982.tb01823.x
- Cosmides (1989), "The logic of social exchange: Has natural selection shaped how humans reason? Studies with the Wason selection task", *Cognition*, 31(3), 187–276 — doi:10.1016/0010-0277(89)90023-1
- ド・モルガンの法則（De Morgan, *Formal Logic*, 1847）は書誌のみで未確認。Cedar・OPA/Rego の言及は公式文書を未確認（一般論として記載）
今日のまとめ・次回へ
次回への接続
次（9/30 水曜）は Thinking-A（問題解決・意思決定）。今日の「どの式か・何件で何が言えるか・どこを引くか」を、選択肢を作り、決める枠組みにつなげる。Q1 の「凍結中の行だけを事業側が決める」と Q3 の「配分の判断」は、意思決定の設計の入口になる。