2026-10-13 — IQ-A（論理的思考・推論）

1. まず何を確認すべきか：文の中の否定が「すべて」の外側にかかるのか内側にかかるのか。日本語は語順で決まらないので、両方を書く
2. 核心にある概念：¬∀x P(x) ≡ ∃x ¬P(x)、∀x ¬P(x) ≡ ¬∃x P(x)、空集合上の ∀ は真、ド・モルガン ¬(A ∨ B) ≡ ¬A ∧ ¬B
3. よくある誤り/罠：①どちらかの読み方を「普通は」で決める ②空集合を「該当なし＝偽」と感じる ③「4時間以内」の境界と、時間を発生／検知のどちらから数えるか
4. 判断の軸：月ごとの真理値表で読み方ごとの金額差を出す。曖昧さは「どちらが正しいか」でなく書き直して解く

1. 2通りの論理式と返金額

I＝その月の（ただし書きで除かれない）障害の集合、R(x)＝「x が4時間以内に復旧した」。

• 読み方A（全部否定・ベンダー案）：∀x∈I ¬R(x)
• 読み方B（部分否定・部下案）：¬∀x∈I R(x) ≡ ∃x∈I ¬R(x)

• 8月の 4.0h は「以内」に入るので R は真。ただし発生時刻から数えるか検知時刻から数えるかで 4.2h にも 3.8h にもなる。条文はこれも決めていない
• A と B は6か月合計では 80万円差だが、対象の月がまったく違う（A は5・6・9月、B は4・5・7・9月）。来月以降、差はいくらでも開く

2. 空虚な真——ベンダーは自分の読み方と矛盾している

• 6月は I が空集合。反例（4時間以内に復旧した障害）が1つもないので ∀x∈I ¬R(x) は真。all([]) が True、SQL の NOT EXISTS が障害ゼロの月に真になるのと同じ
• ベンダーの「6月は当然なし」は A ではなく A′：∃x∈I ∧ ∀x∈I ¬R(x)（障害が1件以上あり、どれも4時間以内に復旧しなかった）を前提にしている。ベンダーは自分の読み方を式に書いたことがない
• 交渉で「6月も A なら返金対象です」と示せば、A を撤回するか A′ を明文化するかを迫れる。揚げ足取りではなく、書かれていない前提を表に出させるための指摘。6月分を本気で請求するのは筋が悪い

3. ただし書き（ド・モルガン）と書き直し

• 数える障害の条件：¬(天災 ∨ 帰責なし) ≡ ¬天災 ∧ 帰責あり。9月の 9.5h は外れて I＝{7.0h}、どの読み方でも返金対象のまま
• もし5月の 6.5h が天災なら、5月の I は空になり、読み方Aでは再び空虚な真で返金。ただし書きは空集合を作る道具でもある
• 「乙の責めに帰さない事由」の判定者も書かれていない（二重化を約束していたなら停電でも乙の責任とも言える）

AWS の EC2 リージョン単位の SLA は、障害の件数ではなく月間稼働率で返金率を決める：99.99% 未満 10%、99.0% 未満 30%、95.0% 未満 100%文献（2022-05-25 更新、2026-10-13 取得）。「すべて」「ない」を使わないので量化子の曖昧さがなく、障害ゼロの月は稼働率100%で自然に返金ゼロ。閾値を 99.5 / 99.0 / 95.0% に置くと導出：

合計 110% × 800万 ＝ 880万円。天災の 9.5h を除くと9月は 99.028% で10%、合計 720万円導出。どちらも今の条文のどの読み方より大きい。閾値は交渉で下げてよい。大事なのは1通りに読めること。

部長としての交渉方針

• 今の条文が A・A′・B の3通りに読め、6か月で 160〜320万円の幅があることを表で示す。どれが正しいかは議論しない
• 日本の民法には「曖昧な条項は作った側に不利に読む」（作成者不利の原則）の明文がない。2017年の債権法改正で検討されたが条文化されなかった文献：記憶。EU 不公正契約条項指令 93/13/EEC 第5条は消費者契約に限る。B2B では曖昧さはどちらにもリスクで、書き直しはベンダーの利益でもある
• 過去6か月分は B（320万）と A′（160万）の間で合意を探り、将来分は稼働率方式へ。6月分（空虚な真）は請求しない

採らなかった案

前提が変わったら：倉庫の損が「止まった回数」（1回止まるたびに出荷便を逃す）で決まるなら、稼働率方式は実態に合わない。「4時間超の停止1回につき5%、上限30%、30分以内の再発は同じ1回」のように回数で数え、数え方を定義する。

実践への応用

• コード：not all(ok for x in xs) と all(not ok for x in xs) は別物で、xs が空なら前者は偽・後者は真。「全ノード無応答で通知」は、ノード一覧の取得失敗で空になったときに鳴る（鳴らない）。空のケースをテストに1行
• テストの合格条件：「すべてのテストが失敗しなかったら合格」は0件でも合格。pytest は収集0件で終了コード5を返し、この罠を塞いでいる
• KPI の報告：「全拠点が目標を達成しなかった」ではなく「12拠点中9拠点が未達」と数で書く
• 英文契約："none of" / "not all of" / "any" を使い分け、"all" と "not" が同じ文にある条項を最初に探す

1. まず何を確認すべきか：「顧客1人・データ1種類」に当て、各規程が要求する行為（消す／消さない／通知する／しない）を命題にする
2. 核心にある概念：爆発原理（P ∧ ¬P から任意の Q）、MUS と MCS、法の優先順位（上位法・特別法・後法）
3. よくある誤り/罠：①「法令が上なので R1 は無視」——R4 との矛盾で不実の通知が残る ②R3 を外す——ランサムウェア対策まで失う ③暗号消去を「技術で解決」と言い切る——鍵のバックアップが WORM にあれば矛盾が戻る
4. 判断の軸：各規程の目的を書き出し、目的を損なわずに文言を弱められる規程から直す

1. 矛盾の証明と爆発原理

顧客 X（関係終了から2年、消去請求あり）。D_id＝確認記録を30日以内に消す、D_bk＝バックアップから30日以内に消す、N＝30日以内に「消去完了」と通知する。

R1 ⇒ D_id ∧ D_bk     R2 ⇒ ¬D_id     R3 ⇒ ¬D_bk
R4 ⇒ N → D_bk         R5 ⇒ N

R1 と R2 から D_id ∧ ¬D_id。矛盾からは任意の Q が出る（D_id ∨ Q を作り、¬D_id で D_id を消す）。法務・CS・SRE・監査はそれぞれ規程の一部から正しく推論している。間違っているのは規程の集合の側。

2. 極小矛盾集合と最小修正集合

• 2つ以上の組 26 個を確かめると MUS は3つ、MCS は4つでどれも2要素。1つ直すだけの案は存在しない導出
• 「上位法優先」で解けるのは {R1, R2} だけ。優先順位で片付くのは矛盾の一部
• 個人情報保護法は不要データの消去を努力義務とし（第22条）、一定の場合の消去請求（第35条）を定めるが、法定保存記録まで消すことは求めない。GDPR も第17条3項(b)で法的義務のための保存を例外にしている文献：記憶。R1 は法律より強いことを約束していた

3. 「消す」でなく「弱める」

英国 ICO は、バックアップからすぐ消せない場合はデータを「利用できない状態」（beyond use）に置くことが要点で、他の目的に使わず、決まった周期で置き換わるまで保持してよく、その扱いを本人に明確に伝えること、としている文献（2026-10-13 取得）。

暗号消去（crypto-shredding）の落とし穴

• 鍵のバックアップが WORM に入れば、鍵が400日消せない。「鍵を消した」は嘘になり、{R3, R4, R5} の矛盾が鍵の層で戻る。鍵保管庫は R3 の対象外にし、多人数承認・削除遅延で守る＝結局 R3 を弱めることになる
• 確認記録は7年残す（R2）。顧客ごとに「法定保存用の鍵」と「それ以外の鍵」の2本を持ち、後者だけ消す設計変更が要る
• AWS KMS で顧客管理鍵を顧客ごとに作ると鍵1本 月1ドル文献：記憶。240万本で月240万ドル（150円換算で約3.6億円）導出。現実にはエンベロープ暗号で、初期 1.2億・年 1,800万仮定

経営会議での説明（2分）

1. 「4部署の主張はどれも規程から正しく出ている。規程の組み合わせが矛盾しているので、誰かが間違っているわけではない」
2. 「矛盾の組は3つ。直すのは R1 と、R3・R4・R5 のどれか1つ。R1 は法律より強いことを約束していたので直す。R3 は守り、R4 の『消去』の定義を直す」
3. 「2,100件には30日以内に『本番からは消去。確認記録は法律で7年保存。バックアップには最長400日残るが利用しない』と事実どおり通知する」
4. 「暗号消去は、1年分の請求数と『バックアップにも残さないで』という声の量を見て来年度予算で判断する」

採らなかった案

前提が変わったら：EU の顧客がいるなら通知文を具体化し γ の優先度を上げる。バックアップ保持が30日なら {R3, R4, R5} の矛盾はほぼ消え γ は不要。保持期間を短くすること自体が矛盾を小さくする選択肢。

実践への応用

• IAM ポリシー・ファイアウォールは規則集合そのもの。許可と拒否が両方当たるときの勝敗規則（AWS IAM は明示的拒否が優先）がなければ、矛盾から何でも出る
• 要件定義：1つずつのレビューでは矛盾は見つからない。1人の利用者・1つの操作に全要件を当てる。数が多ければ SAT ソルバや Alloy で MUS を自動で求める
• 規程づくり：新規程の作成者に「矛盾しうる既存規程」を書かせる。「業界最高水準」の上乗せ規程は矛盾しやすい
• グローバル展開：国ごとの保存義務と消去義務を同じ表に並べてからデータの置き場所を決める

1. まず何を確認すべきか：各クラスの件数と、当社とどの点で似ていて、どの点で違うか
2. 核心にある概念：参照クラス問題、Reichenbach の最も狭い信頼できるクラス、少数件数の区間、損益分岐確率、決定の頑健さ
3. よくある誤り/罠：①取締役の立場とクラスの選び方がそろっている ②4つを平均する ③2戦2勝を100%と読む ④決定が変わらない範囲の違いまで争う
4. 判断の軸：確率を1つに決めるのでなく、案が変わる境目を出し、クラスの幅がそれをまたぐかを見る

1. 4つのクラスと成功の仕組み

ドイツ事業所組織法（BetrVG）第87条1項6号は、従業員の行動や成果を監視するのに適した技術的設備の導入に事業所委員会の共同決定権を与えている文献：記憶。作業員の位置を記録する製品は安全目的でもこれに当たると考えるのが自然で、販売の速さは製品の良さよりこの合意の取りやすさで決まりうる。この仕組みを共有するのは C だけ。Reichenbach の「最も狭いクラス」を、狭さを件数でなく仕組みの共有で測ると読み替えると C が第一候補。

• CFO の2戦2勝：ラプラスの継起の規則で (2+1)/(2+2)＝75%、90% 区間の下限は 42.5%導出。2件ではほとんど分からず、台湾・タイは日系ゼネコンについて行く形でドイツと仕組みが違う
• それでも D は「当社の組織は海外で実行できる」という方向の証拠にはなる（A の 7% の一部は本社が実行できない失敗）

2. 期待値と損益分岐

見送り：0
全面　：80p + 2(1−p) − 18                                   = 78p − 16      → p > 20.5%
段階　：−3 + p[0.75(70−15) + 0.25·0.5] + (1−p)[0.20(2−15) + 0.80·0.5] = 43.575p − 5.2 → p > 11.9%
全面 > 段階：78p − 16 > 43.575p − 5.2                                         → p > 31.4%

• 最善が見送り・段階・全面の3通りに割れる。クラス選びが決定を変える
• 段階進出の期待値が p に鈍い（傾き 43.6 対 78）のは、合図が出なければ 3 の損で止まり、出たときだけ大きく張るから
• D を除くと最大後悔は 見送り 11.30、全面 10.56、段階 2.16。D を入れると全面 10.56、段階 15.02 で入れ替わる。D を区間下限 42.5% で入れると段階の後悔は 3.83 で、再び段階が最小導出

3. 取締役会での組み立て（5分）

基準は最大後悔の最小化。期待値最大化は「誰の確率を使うか」を先に決めないと計算できないが、最大後悔は各クラスを「ありうる世界」として並べ、どれが本当でも大きく外さない案を選ぶので、確率の合意なしに使える。弱点は候補に入れるクラスで結論が変わること——だから議論はそこに絞る。

1. 「4つの成功率はどれもそのグループでは正しい数字。どれが正しいかの議論はしません」
2. 「全面は 20.5%、段階は 11.9% を超えれば得、31.4% を超えると全面が得。皆さんの数字は 7〜100% で境目を全部またいでいます」
3. 「どの数字が正しくても大きく外さないのは段階進出。最悪でも約2億円の取り逃し。例外は台湾・タイの2勝をそのまま当てはめた場合だけ」
4. 「今日議論したいのは1点：台湾・タイの2勝はドイツの参考になるか。進出の仕方と共同決定の有無が違うので、私は参考にならないと考えます」
5. 「合図には従業員代表との合意3社以上を入れました。ドイツの成功を決めるのはここ。18か月後、数字の争いには実地で決着がつきます」

採らなかった案

前提が変わったら：合図の精度が低い（50% と 40%）なら試行は情報を生まず、段階の優位は消える。米国勢が18か月以内に大手ゼネコンを押さえる動きがあれば遅れの損が増え、全面の境目が下がる。作業員を個人として特定しない記録方式を作れるなら共同決定の壁が下がり、C より B に近い世界になる——製品の作り替えを先に検討する。

実践への応用

• 見積もり：チーム平均・同じ技術スタック・同じ担当者で答えが違う。スケジュール判断がどの数字で変わるかを見る
• 採用：定着率を出身企業・職種・年齢のどれで区切るか。成功の仕組み（自走できる環境にいたか）で選ぶ
• セキュリティ投資：同業・同規模・同じクラウド構成で事故率が変わる。決定が変わる範囲だけを議論する
• 投資家対話：VC は自分のポートフォリオという参照クラスで見ている。そのクラスと当社が仕組みで違う点を具体的に説明できると、数字の議論から事業の議論に移れる