第一種・第二種の過誤

概要

第一種・第二種の過誤は、仮説検定が構造的に犯しうる二種類の間違いを指す言葉です。第一種の過誤（Type I error）は「本当は差がないのに、差があると判定してしまう」誤り、いわゆる偽陽性です。第二種の過誤（Type II error）は「本当は差があるのに、差がないと見逃してしまう」誤り、いわゆる偽陰性です。健康診断でたとえるなら、健康な人に「病気の疑いあり」と告げるのが第一種、病気の人を「異常なし」と通してしまうのが第二種にあたります。

検定は限られた標本から母集団について判断を下す手続きなので、この二つの誤りを完全にゼロにすることは原理的にできません。重要なのは「誤りをなくす」ことではなく、「それぞれの誤りが起きる確率をあらかじめ設計し、コントロールする」ことです。第一種の過誤の確率は α（有意水準）、第二種の過誤の確率は β という記号で表され、この二つは片方を減らせばもう片方が増えるトレードオフの関係にあります。

このトレードオフの理解は、p値や有意水準を正しく使うための土台であり、さらに検出力やサンプルサイズ設計といった実験計画の話へつながっていく、推測統計の要の概念です。

なぜ生まれたか

初期の仮説検定は、フィッシャーが体系化した「帰無仮説とp値」の枠組みが中心で、そこには「差がないのに差があると言ってしまう」誤りしか登場しませんでした。しかし1920〜30年代、ネイマンとピアソンは「検定とは仮説を受け入れるか棄却するかの意思決定である」と捉え直したとき、誤りには対称な二種類があることに気づきます。棄却すべきでない仮説を棄却する誤りと、棄却すべき仮説を棄却しない誤り — 前者だけを気にしていては、検定の性能を語れないのです。

彼らがこの区別を導入した動機は実用的でした。工場の抜き取り検査を考えると、「良品ロットを不良と誤判定して廃棄する損失」と「不良ロットを見逃して出荷する損失」は別物で、どちらをどこまで許容するかは状況によって変わります。二種類の誤り確率 α と β を明示的に定義したことで、「α を一定以下に抑えたうえで β を最小にする検定が最良である」という検定の設計理論（ネイマン・ピアソンの補題）が可能になり、検定は「結果を眺める道具」から「誤り率を事前に設計できる意思決定手続き」へと進化しました。

詳細

真実 × 判定の4マス

検定の結末は「真実（帰無仮説が正しいか否か）」と「判定（棄却するか否か）」の組み合わせで4通りに整理できます。このうち対角の2マスが正解、残り2マスが二種類の過誤です。

第一種の過誤の確率 α は、検定を行う人が自分で決めます。有意水準を5%に設定するとは、「帰無仮説が正しいときに、それでも偶然のばらつきで棄却してしまう確率を5%まで許容する」という宣言です。p値が α を下回ったら棄却する、というルールがこの許容度を実現します。一方 β は直接には設定できず、標本サイズ・効果の大きさ・α の設定から結果的に決まります。

なぜトレードオフになるのか

α を小さくするとは、棄却のハードルを上げることです。「めったなことでは差ありと言わない」慎重な検定は、偽陽性は減らせますが、本物の差もハードルを越えにくくなるため見逃し（β）が増えます。逆に α を緩めれば見逃しは減りますが、偶然を差と誤認する確率が上がります。同じ標本サイズのもとでは、α と β は綱引きの関係にあり、両方を同時に下げる唯一の方法は標本を増やす（あるいはより効率の良い検定を使う）ことです。この設計の話は検出力とサンプルサイズで扱います。

どちらの過誤を重く見るべきかは文脈次第です。新薬の有効性を主張する場面では、効かない薬を「効く」と世に出す第一種の過誤が重大なので α を厳しくします。逆に感染症のスクリーニング検査では、感染者を見逃す第二種の過誤のほうが被害が大きいため、偽陽性の増加を受け入れてでも見逃しを減らす設計にします（陽性者には後で精密検査をすればよい、という二段構えです）。α=5% は慣習にすぎず、誤りのコスト構造から水準を選ぶのが本来の姿です。

「有意でない」は「差がない」ではない

第二種の過誤の存在は、検定結果の読み方に重要な注意を与えます。棄却されなかったとき言えるのは「差があるとは言えなかった」だけで、「差がないことが示された」ではありません。標本が小さければ β は容易に50%を超え、本物の差の半分以上を見逃します。つまり「有意差なし」の多くは、差の不在の証拠ではなく検定の力不足の可能性があるのです。この非対称性を忘れると、「効果なしと証明された」という誤った結論に飛びついてしまいます。

条件付き確率としての整理

α と β は条件付き確率として読むと正確に理解できます。α は「帰無仮説が正しいという条件のもとで棄却する確率」、β は「対立仮説が正しいという条件のもとで棄却しない確率」です。よくある誤解は、これを逆向きの条件付き確率 —「棄却されたとき帰無仮説が正しい確率」— と混同することです。後者は本物の効果がどれくらいの割合で存在するか（事前の見込み）に依存し、α とは別物です。本物の効果が稀な分野で大量に検定を行えば、有意になった結果の中の偽陽性の割合は5%よりずっと高くなりえます。この視点は、検定を繰り返すときの多重比較の問題や再現性の議論へ直結します。