情報科学 › Claude Code の中身 › 安全性
多層防御の見逃しの確率
ある危険な行為が、 個の層を順に通るとする。層 がこの行為を見逃す事象を 、その確率を とする。
- が独立ならば、すべての層を通り抜ける確率は である。
- 独立でない場合、積にはならないことがある。確率 で「すべての層が同時に見逃す」原因が起こり、それが起こらない条件のもとで各層が独立に確率 で見逃すとすると、通り抜ける確率は で、層をいくつ重ねても を下回らない。
- ある層がこの行為について決定的(必ず止める)ならば、他の層の確率や独立性に関係なく、通り抜ける確率は である。
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています(前提の定理類 0 件、定義なども含めて 1 件)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義(直接 1 件)
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
- 事象の独立定義 5.6・確率
これを使っている定理
証明で明示的に参照している定理は、まだありません。