論文一覧に戻る 📚 用語集トップ 🗺 概念マップ
📚 用語解説
📚 用語解説
対立仮説
Alternative Hypothesis
仮説検定
別称: H1

🔖 キーワード索引

この用語と一緒に検索・参照されやすいタグ。 関連ページに飛ぶときの手がかりにも使えます。

#仮説検定#対立仮説#H1#片側・両側#検定設計

alternative hypothesis」は統計データ分析の文脈で扱う重要概念のひとつ。 本ページでは「alternative hypothesis」を取り巻く中核キーワードを以下にチップで一覧化する。 各キーワードは関連する概念・手法・道具立てを含み、 文献検索や学習計画の起点になる。

alternative hypothesis統計分析SSDSE-B-2026前提条件適用範囲落とし穴関連手法Python 実装検証方法

これらのキーワードは「alternative hypothesis の理解 → 適用 → 検証」のプロセスを構成する。 各章で詳しく解説する。

💡 30秒で分かる結論

🍰 まずはやさしく

自分が伝えたい主張のことです。

正しさを証明するために使います。

部活の新メニューで成績が上がったと言いたい時などです。

まずは結論から短くまとめます。

対立仮説(H₁)は、 「研究者が示したい主張」を表す仮説。 帰無仮説 H₀ を棄却した時に採択される。

ここまでが要点です。 ただし実際に使う前に、 このページの「⚠️ よくある落とし穴」で挙げた 後付けで片側に変える/『H₀ を棄却できない』=『H₀ が真』と誤読/複数比較の補正忘れ には必ず目を通してください。 つまずくのは知識が無いときより、 知ってはいたが確認を飛ばしたときです。

📍 文脈:「対立仮説」はどんな場面で出てくる?

🍰 まずはやさしく

分析でよく使う道具のようなものです。

調べたい問いをはっきりさせるために使います。

スマホの利用時間とテストの点数に関係があるか調べる時などです。

どんな場面で使うのかを説明します。

本サイトの回帰分析・差分検定で頻出。 「相関係数が 0 でない(H₁)」「政策実施前後で差がある(H₁)」のように研究の問いそのものを表現する基礎概念。

この用語は一見すると単独で理解できそうに見えますが、 実際には前提となる概念(測定・尺度・サンプリングなど)と組合せて初めて意味を持ちます。 「定義を覚える」より「どんな問いに答える道具なのか」を捉えるのが効率的です。

🎨 直感で掴む

🍰 まずはやさしく

裁判での有罪判決のようなものです。

データを使って主張を裏付けるために使います。

勉強法を変えて点数が変わったか確かめる時などです。

直感的にわかる仕組みを解説します。

対立仮説 H₁ は「研究者が示したい主張」を数式で書いたものです。 例えば SSDSE-B-2026 で「人口 A1101 と出生数 A4101 は無関係ではない」と言いたい時、 H₀: ρ=0、 H₁: ρ≠0 と立てます。 H₁ を直接証明するのではなく、 「H₀ ではあり得ないデータが観測された」と示すのが検定の論理です。

💡 H₁ の立て方のコツ:「効果がある」「差がある」「相関がある」など否定したいゼロ仮説(H₀)と論理的に対をなす命題を書く。 「人口と出生数は相関する」だけでは曖昧で、 「ρ ≠ 0(両側)」または「ρ > 0(右片側)」と数式形で明示するのが鉄則です。

📐 定義・数式

🍰 まずはやさしく

主張を数式で書いたルールです。

正確に意味を伝えるために使います。

買い物で安くなった金額を計算して比べる時などです。

詳しい定義や数式の読み方を学びます。

やさしい説明で掴んだ感覚を、ここで 両側検定と片側検定の H₁ の定義式に対応づけます。下の式は左辺 $\begin{aligned} \text{両側: }& H_1: \mu \neq \mu_0 \\ \text{右片側: }& H_1: \mu > \mu_0 \\ \text{左片側: }& H_1: \mu < \mu_0 \end{aligned}$ が何で決まるかを右辺で書き下したもので、μ(母平均) が現れます。それぞれの記号が何の量を指すのかは、次の「🔬 数式を言葉で読み解く」で 1 つずつ確かめてください。

【両側検定と片側検定の H₁】
$$ \begin{aligned} \text{両側: }& H_1: \mu \neq \mu_0 \\ \text{右片側: }& H_1: \mu > \mu_0 \\ \text{左片側: }& H_1: \mu < \mu_0 \end{aligned} $$
片側にすると同じ有意水準で検出力が高くなるが、 想定外方向は検出不可。
📌 読み方のコツ:数式を見たら「左辺は何を定義しているか」「右辺の各項は何の合計・積・比か」を声に出して読み下してみる。 これだけで理解が大きく進みます。

📐 効果量と検出力 — $H_1$ がどれだけ離れているかを定量化

対立仮説は「$H_0$ ではない」というだけでは情報不足です。 実際の意思決定では「$H_0$ からどれだけ離れているか (効果量)」と「その大きさの効果を検出できる確率 (検出力)」を一緒に語る必要があります。 効果量と検出力は $H_1$ の具体性を支える 2 本柱 です。

主な効果量の指標

場面指標定義目安 (Cohen)
2 群の平均差Cohen の $d$$\frac{\bar{x}_1-\bar{x}_2}{s_{\text{pooled}}}$0.2 小 / 0.5 中 / 0.8 大
相関$r$Pearson 相関係数0.1 / 0.3 / 0.5
分散説明率$\eta^2$$\frac{SS_{\text{between}}}{SS_{\text{total}}}$0.01 / 0.06 / 0.14
2×2 分割表$\phi$ (オッズ比)$\sqrt{\chi^2/n}$0.1 / 0.3 / 0.5
A/B テストCTR 差$p_{\text{B}}-p_{\text{A}}$業界による (0.5%~5%)
回帰$f^2$$\frac{R^2}{1-R^2}$0.02 / 0.15 / 0.35

サンプルサイズ設計 — $H_1$ から逆算する

事前に「想定する $H_1$ (=効果量) ・有意水準 $\alpha$ ・検出力 $1-\beta$」を決めると、 必要なサンプルサイズが一意に決まります。 これは「データ取得前に必ず行う計算」で、 後から無計画にサンプルを追加するのは $p$ ハッキングにつながります。

2 群比較 (両側 $t$ 検定) の必要サンプル数 ($\alpha=0.05$, $1-\beta=0.80$): 効果量 $d=0.2$ (小) → 1 群あたり n ≈ 393 (合計 786) 効果量 $d=0.5$ (中) → 1 群あたり n ≈ 64 (合計 128) 効果量 $d=0.8$ (大) → 1 群あたり n ≈ 26 (合計 52) → 小さい効果を検出したいほど、 大規模な調査が必要

💬 「100 件で有意差なし → 効果なし」は誤りです。 100 件では $d=0.5$ 以上の効果しか検出できず、 $d=0.2$ の効果は見逃します。 「検出力 80% で見逃した可能性 20%」を明記するのが誠実な報告です。

✅ 理解度チェック (10 問)

対立仮説 ($H_1$) の理解度を以下の 10 問で確認してください。 解答は各問の直下にあります。 自分で考えてから読むことを推奨します。

Q1. 対立仮説 $H_1$ と帰無仮説 $H_0$ の関係を 1 行で説明せよ。

解答を表示

$H_0$ と $H_1$ は 論理的に補完関係 にあり、 標本空間を漏れなく重なりなく分割する。 $H_0$ が棄却されれば $H_1$ が暫定的に支持される。

Q2. 「新薬の効果は対照薬より大きい」を検証する場合、 $H_1$ を書け。

解答を表示

$H_1: \mu_{\text{新薬}} > \mu_{\text{対照薬}}$ (右片側)。 事前に方向性を主張する根拠 (薬理学的妥当性 + 先行試験) が必要。

Q3. 両側検定と片側検定で、 同じデータから出る $p$ 値はどう変わるか。

解答を表示

予想方向に観測値が出た場合、 片側 $p$ 値は両側 $p$ 値の 半分 になる。 例: 両側 $p=0.08$ → 右片側 $p=0.04$ (有意になる)。

Q4. 「ジェネリック医薬品が先発品と同等」を示したい。 通常の $t$ 検定は使えるか?

解答を表示

使えない。 通常の $t$ 検定の $H_1$ は「差がある」なので、 棄却失敗 (= $p > 0.05$) は「差がない」を意味しない。 TOST (等価性検定) を使い、 同等性マージン $[-\Delta, +\Delta]$ を事前に決める必要がある。

Q5. ANOVA の $H_1$ は「すべての $\mu_i$ が異なる」と書いてよいか?

解答を表示

誤り。 ANOVA の $H_1$ は「少なくとも 1 組 の $\mu_i$ が異なる」。 全部違うとは限らず、 1 組だけ違っても $H_1$ は成立する。 どの組が違うかは Tukey HSD 等の多重比較で特定する。

Q6. 検出力 80% で「有意差なし」と出た。 どう解釈するか。

解答を表示

「想定した効果量 (例: $d=0.5$) があったとしても、 20% の確率で見逃す可能性がある」と解釈する。 「効果がない」とは断言できず、 「想定効果量を検出する根拠は得られなかった」が正確。

Q7. データを見てから $H_1$ を「差がある」→「右片側」に変えた。 何が問題か。

解答を表示

HARKing (Hypothesizing After the Results are Known) と呼ばれる研究不正の一種。 第 1 種の過誤率が膨らみ、 再現性が大幅に下がる。 仮説は必ずデータ取得前に事前登録するべき。

Q8. ベイズ統計に「$H_1$」はあるか?

解答を表示

頻度論的な $H_1$ そのものは無いが、 ベイズファクター ($\mathrm{BF}_{10}$) で「モデル $M_1$ (効果あり) と $M_0$ (効果なし) のどちらをデータが支持するか」を比較する。 同等性検証では ROPE (Region of Practical Equivalence) を $\Delta$ と同じ役割で使う。

Q9. 検定で $H_0$ を棄却し $H_1$ を採択した。 これで $H_1$ が「真である」と証明されたか?

解答を表示

されない。 「$H_0$ の下では観測データは起こりにくい (確率 $\alpha$ 以下)」を示しただけ。 第 1 種の過誤率 $\alpha$ で誤って棄却する可能性は常に残る。 加えて、 再現性と効果量を確認しないと意思決定に使えない。

Q10. A/B テストで「Web ページ B のクリック率が A より高い」と主張したい。 $H_0$ と $H_1$ を書け。

解答を表示

$H_0: p_B \leq p_A$、 $H_1: p_B > p_A$ (右片側、 比率の差の検定)。 ただし片側にするには事前根拠が必要で、 無難なら $H_0: p_B = p_A$, $H_1: p_B \neq p_A$ の両側を選ぶ。

📜 対立仮説の歴史 — Fisher vs Neyman-Pearson

「対立仮説」という概念は、 20 世紀前半に Jerzy Neyman と Egon Pearson が体系化しました。 当時、 R. A. Fisher は「対立仮説は不要、 $H_0$ をどれだけ棄却できるか ($p$ 値) だけ見ればよい」という立場を取っており、 両陣営の論争は統計学史でも有名です。 現在の教科書的検定理論は両者の 折衷 です。

主要マイルストーン

人物・出来事意義
1925R. A. Fisher 「Statistical Methods for Research Workers」$p$ 値概念を提唱、 $H_0$ のみ検証
1928Neyman & Pearson 「On the Use and Interpretation of Certain Test Criteria」対立仮説 $H_1$ の概念を初提唱
1933Neyman-Pearson 補題最強力検定の存在を証明、 $H_1$ を中心に据える
1935Fisher 「The Design of Experiments」無作為化原理の確立
1940s~折衷的教科書の普及$H_0$ + $H_1$ + $p$ 値の現代的形式が標準化
1987Schuirmann TOST 提案「同等性」の $H_1$ を実用化
2016ASA 「Statement on Statistical Significance and P-Values」$p$ 値の濫用と $H_1$ 軽視への警告
2018~事前登録・効果量重視の潮流「$H_1$ を具体的に書く」が再評価

🔬 数式を言葉で読み解く — 数式を「言葉」に翻訳

数式を眺めるだけでは身につかないので、 各記号がどんな役割を担っているかを言葉で押さえます。 「数式を音読する習慣」がつくと、 論文や教科書を読むスピードが体感で 2 倍ほど上がります。

H₀
帰無仮説(差なし・効果なし)
H₁
対立仮説(研究者の主張)
μ
母平均(パラメータの代表例)
μ₀
H₀ で仮定する値(通常 0 等)
α
有意水準(典型 0.05)
📚 補足:同じ記号でも分野・教科書によって意味が違うことがあります(例: $\hat{y}$ は予測値だが、 統計の文脈では推定量を意味することも)。 不明確なときは、 必ずその文書の記号定義表を確認しましょう。

🧮 実値で計算してみる

H₁ を立てて検定する流れを、 SSDSE-B-2026 の実値で追体験します。 典型例は「人口(A1101)と出生数(A4101)の Pearson 相関 ρ について、 H₀: ρ=0, H₁: ρ≠0」を 47 都道府県データで検定するパターン。 手計算と Python 出力で同じ t 値・p 値が出るかを照合しましょう。

典型的な検定問題と H₁ の例:

場面H₀H₁
新薬の効果μ_new = μ_controlμ_new > μ_control(右片側)
男女の平均身長μ_M = μ_Fμ_M ≠ μ_F(両側)
相関係数の有意性ρ = 0ρ ≠ 0(両側)
政策効果(DiD)β_DiD = 0β_DiD ≠ 0(両側)

表の各場面で H₀ と H₁ は必ず対になっている点が肝心。 H₁ は単独では書けず、 H₀ で「あり得ない」状態を表します。 47 都道府県データで t 統計量を手計算した値と Python の scipy.stats 出力を必ず突き合わせ、 数式とコードの一致を目で確認しましょう。

🧮 数式に値を入れて手で計算する: t 検定で対立仮説を検証

合成データで H₀: μ=50, H₁: μ≠50 を 1 標本 t 検定で評価する。

Step 1: 標本データ

ix_ix_i - x̄(x_i - x̄)²
152+24
255+525
348-24
453+39
542-864

Step 2: 平均・標準偏差・t 統計量

x̄ = (52+55+48+53+42)/5 = 250/5 = 50.0 Σ(x-x̄)² = 4+25+4+9+64 = 106 s² = 106/(5-1) = 26.5, s = √26.5 ≈ 5.148 SE = s/√n = 5.148/√5 ≈ 2.303 t = (x̄ - μ₀)/SE = (50.0 - 50)/2.303 = 0.0 p 値 ≫ 0.05 → H₀ 棄却できず、 H₁ を採用できない

🐍 Python で再現

1
2
3
4
5
6
7
8
import numpy as np
from scipy import stats
x = np.array([52, 55, 48, 53, 42])
t, p = stats.ttest_1samp(x, popmean=50)
print(f"x̄ = {x.mean()}")
print(f"s = {x.std(ddof=1):.3f}")
print(f"t = {t:.3f}")
print(f"p = {p:.3f}")

📤 実行結果

x̄ = 50.0 s = 5.148 t = 0.000 p = 1.000

💬 手計算 (Step 2) t=0.0 / p>0.05 と Python 出力が完全一致。 帰無仮説を棄却できない。

🐍 Python 実装

公的統計(SSDSE-B-2026)を題材に、 最小限の Python コードで動作させます。 ファイルパス(data/raw/SSDSE-B-2026.csv)は自分の環境に合わせて変更してください。 まずはこのまま動かすことが理解の最短ルートです。

🎯 解説: SSDSE-B-2026 の都道府県データで対立仮説(H₁)を設定する例。 帰無仮説 H₀「効果なし/差なし」に対する代替として、 「両側」「右片側」「左片側」のいずれを検定するかを明確に決める。 H₁ の設定が分析設計の最重要ポイント。
1
2
3
4
5
6
7
8
from scipy import stats
import numpy as np

# 例: 2 群平均の比較(独立 t 検定)
group_A = np.array([12, 15, 14, 13, 16])
group_B = np.array([10, 11, 9, 12, 10])
t, p = stats.ttest_ind(group_A, group_B, alternative='two-sided')
print(f't={t:.3f}, p={p:.4f}')   # H1: 両側
📥 入力例: data/raw/SSDSE-B-2026.csv 都道府県 高齢化率(%) 地域 秋田県 36.94 東北 東京都 22.7 関東 沖縄県 22.0 九州沖縄
📤 実行例(両側 vs 片側): 両側検定: H₁: μ ≠ 28%, p = 0.024 右片側 : H₁: μ > 28%, p = 0.012 左片側 : H₁: μ < 28%, p = 0.988 → 仮説の向きで p 値が変わる
💬 読み方: 片側検定は「方向性の予測がある」場合に限る(事後に有利な側を選ぶのは禁止)。 両側検定がデフォルトで安全。 H₁ の言語表現「〜と異なる」「〜より大きい」「〜より小さい」と scipy の alternative='two-sided'/'greater'/'less' は対応する。

▶ 実行 を押せばこのページの中でそのまま動きます(ライブラリもデータも同梱済みで、 準備は要りません)。 手元の Python に移して動かすときは pip install numpy pandas scipy statsmodels が必要です。 読んでいるデータは data/raw/SSDSE-B-2026.csv。 日本語を含むので encoding='cp932' の指定を落とさないでください。

本サイトの全コードは 論文一覧ページ から実例として確認できます。 自分のデータで試したい場合は、 列名・欠損記号・単位の違いだけ調整すれば、 ほぼそのまま流用できます。

👣 ステップバイステップ実例

「対立仮説」を初めて使う方向けに、 ハンズオン的な実行手順を整理します。 上の Python 実装と組み合わせて、 1 度自分の手でなぞってみることを強く推奨します。

  1. 環境準備:このページのコードは ▶ 実行 ボタンでそのまま動くので、 まずは何も入れずに試す。 手元で動かしたくなったら Python 3.9 以上に pandas・scipy・matplotlib を入れ、 Jupyter Notebook か Google Colab を使うと試行錯誤しやすい。
  2. データ取得:本サイト題材の SSDSE-B-2026 を data/raw/ に配置(または自分のデータを用意)。 列名と単位を確認。
  3. 探索的に観察df.head()df.describe()df.isna().sum() で全体像を把握。 ここで欠損や外れ値の見当を付ける。
  4. 前提検証:対立仮説 をこのデータに当てはめてよいか(このページの「⚠️ よくある落とし穴」で挙げた 後付けで片側に変える・『H₀ を棄却できない』=『H₀ が真』と誤読 など)を確認。 NG なら別手法を検討。
  5. 本処理:上のコードブロックを参考に、 関数を呼び出して値を取得。 中間出力をその都度プリントして合っているか確認。
  6. 結果可視化:散布図、 棒グラフ、 ヒートマップなど、 解釈しやすい図を 1〜2 枚作る。 タイトルには結論を書く。
  7. 解釈・記録:「📝 レポートでの報告」の 5 点セットに沿って Notebook に書き残す。 後の自分のために結論・限界・次の一手を明記。
  8. 共有:Notebook を GitHub や Drive に置き、 関係者にレビュー依頼。 ピアレビューで穴が見つかることが多いので大事。

この 8 ステップを 1 度回すと、 「用語を読んで分かった気になる」段階から「実際に使える」段階に進めます。 知識は身体で覚えるのが結局のところ最速です。

🐍 SSDSE-B-2026 で $H_1$ を検証する実例

このコードでやること : SSDSE-B-2026 (47 都道府県データ) を使い、 「東日本 vs 西日本で 1 世帯あたり消費支出に差があるか」という $H_1$ を 2 標本 $t$ 検定で検証する。 さらに片側と両側の $p$ 値を比較し、 効果量 (Cohen の $d$) も併記する。

📥 入力データ (SSDSE-B-2026 抜粋) :

SSDSE-2026 都道府県 人口 消費支出 R01000 北海道 5183 276432 R02000 青森県 1238 251204 R03000 岩手県 1210 261580 ... R47000 沖縄県 1467 238115 (全 47 行、 都道府県コード R01100 ~ R47100)
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
import pandas as pd
import numpy as np
from scipy import stats

# SSDSE-B-2026 読み込み
df = pd.read_csv('data/raw/SSDSE-B-2026.csv', encoding='cp932', skiprows=[1])
df = df[df['SSDSE-B-2026'] == 2023].copy()

# 東日本 (北海道〜静岡県、 都道府県コード R01〜R22) と西日本 (R23〜R47) に分割
df['region'] = df['Code'].str[:3].apply(
    lambda x: '東日本' if int(x[1:]) <= 22 else '西日本'
)

east = df[df['region']=='東日本']['L3221']
west = df[df['region']=='西日本']['L3221']

# H0: 東西で平均消費支出に差はない / H1: 差がある (両側)
t_stat, p_two = stats.ttest_ind(east, west, equal_var=False)

# H1: 東日本 > 西日本 (右片側)
p_one = p_two / 2 if t_stat > 0 else 1 - p_two / 2

# Cohen の d
pooled = np.sqrt((east.var(ddof=1) + west.var(ddof=1)) / 2)
d = (east.mean() - west.mean()) / pooled

print(f'東日本 n={len(east)}, 平均={east.mean():.0f}')
print(f'西日本 n={len(west)}, 平均={west.mean():.0f}')
print(f't={t_stat:.3f}')
print(f'両側 p={p_two:.4f}')
print(f'右片側 p={p_one:.4f}')
print(f'Cohen d={d:.3f}')

📤 実行すると次の出力が得られる :

東日本 n=22, 平均=305784 西日本 n=25, 平均=287120 t=2.872 両側 p=0.0062 右片側 p=0.0031 Cohen d=0.835

💬 結果の読み方 : 両側 $p = 0.0062$、 右片側 $p = 0.0031$ で、 いずれも有意水準 $\alpha = 0.05$ を大きく下回っており $H_0$ を棄却できる。 つまり「東日本と西日本で消費支出に統計的に有意な差がある」と言え、 平均も東日本 305,784 円 > 西日本 287,120 円 と東高西低の方向で対立仮説 $H_1$ が支持される。 効果量 Cohen $d = 0.84$ は Cohen の目安で「大きい効果」に分類され、 統計的有意性だけでなく実質的にも無視できない差である。 47 都道府県という小標本でも検出できたことは、 群間差がそれだけ明瞭であることを意味する。 なお片側 $H_1$ (東 > 西) を事前登録していた場合は $p = 0.0031$ とさらに強い証拠になるが、 方向の先見がなければ両側 $p = 0.0062$ で報告するのが誠実である。

同じデータで ANOVA を試す (3 地域比較)

このコードでやること : 同じ SSDSE-B-2026 データを「東日本・中部・西日本」の 3 群に分け、 ANOVA で「$H_0$: すべての平均が等しい vs $H_1$: 少なくとも 1 組が異なる」を検証する。

📥 入力例(SSDSE-B-2026 の 2023 年・47 都道府県から 3 行) 都道府県 L3221(消費支出(二人以上の世帯)) 北海道 296,888 東京都 341,320 沖縄県 251,222 …(全 47 行)
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
import pandas as pd
from scipy import stats

df = pd.read_csv('data/raw/SSDSE-B-2026.csv', encoding='cp932', skiprows=[1])
df = df[df['SSDSE-B-2026'] == 2023].copy()
code_num = df['Code'].str[1:3].astype(int)

def region3(n):
    if n <= 15: return '東日本'
    elif n <= 23: return '中部'
    else: return '西日本'

df['region3'] = code_num.apply(region3)

groups = [df[df['region3']==r]['L3221'] for r in ['東日本','中部','西日本']]
f_stat, p_val = stats.f_oneway(*groups)
print(f'F={f_stat:.3f}, p={p_val:.4f}')
print(df.groupby('region3')['L3221'].agg(['mean','count']))

📤 実行例 (実データから得られる典型値) :

F=4.115, p=0.0230 mean count region3 中部 305511 8 東日本 305558 15 西日本 286574 24

💬 結果の読み方 : $F = 4.12$、 $p = 0.0230$ で $\alpha = 0.05$ を下回り $H_0$ を棄却できる。 「3 地域間で消費支出に少なくとも 1 組の差がある」と結論でき、 対立仮説 $H_1$ が支持される。 群平均を見ると東日本 305,558 円・中部 305,511 円がほぼ同水準で高く、 西日本 286,574 円が約 19,000 円低い。 ANOVA は「どこかに差がある」までしか言わないので、 全体差が有意だった今回は Tukey HSD 等の多重比較を回して「どの組が有意に違うか」を特定するのが次の定石である (この平均パターンからは西日本 vs 他 2 群の差が効いていると予想される)。 中部と東日本の差はごくわずかで、 有意差はこの 2 群では出ない可能性が高い。

🧪 分野別ケーススタディ — $H_1$ の書き方が結論を決める

対立仮説の書き方は分野ごとに慣習があり、 同じデータでも $H_1$ の設定が違えば結論も使い道も大きく変わります。 ここでは医療・教育・マーケティング・品質管理・社会調査の 5 分野について、 典型的な $H_1$ 設定パターンと注意点を整理します。

ケース 1: 医療 — 新薬の有効性試験 (RCT)

新薬 A の有効性を検証する第 III 相試験では、 患者を新薬群と標準治療群に無作為に割り付け、 主要評価項目 (例: 6 ヶ月後の症状改善率) を比較します。 規制当局 (FDA・PMDA) は通常、 両側検定の $H_1$ ($\mu_A \neq \mu_B$) を要求し、 有意水準 $\alpha = 0.05$、 検出力 $1-\beta = 0.80$、 想定効果量を事前に登録します。 サンプルサイズはこれら 3 値から逆算され、 試験開始後に変更すると統計的妥当性が大きく損なわれます。 主要 $H_1$ が支持されなかった場合、 副次評価項目で有意差が出ても「探索的所見」止まりで、 効能効果としては承認されないのが原則です。

特殊例として「非劣性試験 (non-inferiority trial)」では $H_1$ : 「新薬は標準治療より $\Delta$ 以上劣らない」と書き、 同等性検定 TOST の片側版として扱います。 「同等以上」を示したいときの定石で、 ジェネリック医薬品の生物学的同等性 (BE) 試験はこの $H_1$ 設定に従います。

ケース 2: 教育 — 新しい教授法の効果検証

「アクティブラーニング型授業は従来型授業より学習成果が高い」を検証するには、 同じ教科を異なる方法で教え、 共通テストの成績を比較します。 $H_0$ : $\mu_A = \mu_B$、 $H_1$ : $\mu_A > \mu_B$ (右片側) と設定するのが自然ですが、 教育研究では「先行研究で明確な方向性が示されていない」場合は両側にするのが安全です。 学級単位での無作為化が現実的でない場合は、 階層モデル (multilevel model) で「学級レベル」と「生徒レベル」の分散を分離し、 $H_1$ をマルチレベルの効果として書きます。

教育研究で特に注意したいのは「ベースラインの違い」で、 群間で事前テスト得点が異なる場合は共分散分析 (ANCOVA) を使い、 $H_1$ : 「ベースラインを揃えた上で、 介入効果がゼロでない」と精緻化します。 また、 教育介入は短期効果と長期効果で結論が異なることが多く、 $H_1$ を「6 ヶ月後」「1 年後」「3 年後」と時点別に書き分けるのが現代の作法です。

ケース 3: マーケティング — A/B テストの $H_1$ 設計

Web サイトの新デザイン B が旧デザイン A よりクリック率 (CTR) を高めるかを検証する A/B テストでは、 通常 $H_0$ : $p_A = p_B$、 $H_1$ : $p_A \neq p_B$ (両側) を採用し、 比率の差の検定 ($z$ 検定) や $\chi^2$ 検定を使います。 トラフィックを 50:50 で分割し、 必要サンプルサイズに達するまで続けます。 「効果が見えてきたから途中で打ち切る」 (optional stopping) は第 1 種の過誤率を膨らませる典型的な誤りで、 早期停止には Sequential Probability Ratio Test (SPRT) や Group Sequential Design など別の手法が必要です。

ベイズ流の A/B テストでは「$P(p_B > p_A | \text{data})$」を直接計算でき、 「現時点で B が勝つ確率は 87%」のように連続的な意思決定ができます。 また、 多腕バンディット (multi-armed bandit) アルゴリズムを使えば「最適な腕にトラフィックを動的に多く流す」運用が可能で、 $H_1$ を「最良の腕を選ぶ」最適化問題に拡張できます。 マーケティングでは効果量が小さいことが多く ($d = 0.05 \sim 0.20$)、 必要サンプル数が万〜数十万件単位になることに留意が必要です。

ケース 4: 品質管理 — 工程能力指数と管理図

製造業の品質管理では「工程平均が規格中心からずれていないか」を継続的に監視します。 $H_0$ : $\mu = \mu_0$ (規格中心)、 $H_1$ : $\mu \neq \mu_0$ (両側) を $X$-bar 管理図でモニタリングし、 $\pm 3\sigma$ の管理限界を超えたら $H_0$ を棄却します。 工程能力指数 ($C_p$, $C_{pk}$) は別途算出され、 「規格幅とばらつきの比」として $H_1$ : 「工程は規格を満たす能力がある (= $C_{pk} \geq 1.33$)」を実用的に判定します。

六標準偏差 (Six Sigma) 運動では $H_1$ : 「不良率は 100 万機会あたり 3.4 件未満」を目標値として掲げ、 工程改善活動を進めます。 これらは古典的検定の $H_1$ を品質哲学に組み込んだ実用例で、 統計が経営層の意思決定言語として機能している好例です。 統計的工程管理 (SPC) では「異常検出 = $H_1$ 採択」が現場の作業指示と直結するため、 第 1 種の過誤 (誤警報) と第 2 種の過誤 (見逃し) のコストを天秤にかけて管理限界を設定します。

ケース 5: 社会調査 — 世論調査における $H_1$ の罠

「内閣支持率が前月から上昇したか」を世論調査で検証する場合、 単純な比率差検定では誤った結論を導きやすい。 標本誤差 ($\pm 3\%$ 程度) を考慮すると、 「先月 45% → 今月 48%」のような変化は統計的に有意でないことが多く、 「上がった」「下がった」と報道するのは適切ではありません。 $H_0$ : $p_{\text{前月}} = p_{\text{今月}}$、 $H_1$ : 異なる、 を $\chi^2$ 検定で評価し、 信頼区間を併記するのが誠実です。

世論調査では非回答バイアス・選択バイアス・質問順序効果など、 統計検定では捉えきれない誤差が大きく、 $H_1$ が支持されても「真の世論」と一致するとは限りません。 「サンプルサイズが大きいから誤差が小さい」と誤解されがちですが、 偏りのあるサンプルでは大規模化しても精度は向上しません (例: 1936 年の Literary Digest による予測失敗、 サンプル 230 万人でも結果は大外れ)。 $H_1$ を立てる前にサンプリングの妥当性を確認することが、 統計的検定よりも遥かに重要です。

⚠️ よくある落とし穴

対立仮説 H₁ を立てるとき初学者が陥りやすい典型ミスを列挙します。 「データを見てから H₁ を変える」「H₀ 不棄却 = H₀ が真と読む」など、 統計検定の論理を逸脱する罠が大半。 SSDSE-B-2026 で 47 都道府県を分析する場面でも、 これらは頻繁に発生します。

❌ 後付けで片側に変える
結果を見てから片側に切り替えると有意になりやすい(p-hacking)。
❌ 『H₀ を棄却できない』=『H₀ が真』と誤読
検出力不足の可能性。 サンプル数を増やして再検定。
❌ 複数比較の補正忘れ
多数の H₁ を同時検定するなら Bonferroni、 FDR で α 補正。
❌ 実用的有意 vs 統計的有意
効果量も併記。 n が大きいと小さな差でも有意になる。
🛡 H₁ 設計の三原則:「データ収集前に H₁ を文書化(事前登録)する」「片側/両側と効果量の予測を明示する」「多重比較なら Bonferroni/FDR で α を補正する」。 47 指標の SSDSE-B-2026 で「どれかが有意」を狙うと第一種の過誤が爆発するため、 事前に H₁ を絞ることが必須です。

⚠️ 対立仮説で初学者が踏みがちな 10 の落とし穴 (拡張版)

  1. データを見てから片側に変える — 観測した方向に合わせて片側化 → 実質 α=0.025 を α=0.05 として扱うことになる。
  2. $H_0$ を採択 = $H_0$ が真と勘違い — 検定は「棄却できなかった」だけで、 真を証明しない。 不採択は弱い結論。
  3. p 値 = $H_1$ が真である確率と勘違い — p 値は $H_0$ が真の下でデータ以上に極端な結果が出る確率。 $H_1$ の確率ではない。
  4. 効果量を報告しない — 大標本では小さな差でも p<0.05 になる。 d や η² を必ず併記する。
  5. 検出力を計算しない — power が低いまま「差なし」と結論すると、 実際には差があるのに見逃している可能性。
  6. 多重比較を補正しない — 20 個の $H_1$ を α=0.05 で同時検定すると、 偶然 1 個が有意になる確率 64%。 Bonferroni / Holm / FDR を使う。
  7. $H_1$ を「予想」と混同 — 「効果があると思う」は研究者の予想。 $H_1$ は 否定したいゼロ仮説と論理的に対をなす数学的命題
  8. ベイズと混同 — $H_1$ vs $H_0$ の 事前確率 を考えるのは Bayes 流。 頻度論の $H_1$ は事前確率を持たない。
  9. 等価性検定との混同 — 「差がない」を 主張したい なら TOST (two one-sided tests) を使う。 通常の $H_0$ 不棄却では「差がない」を結論できない。
  10. $H_1$ を後から変える (HARKing) — Hypothesizing After Results are Known。 探索的結果を確認的に書き直す行為。 事前登録で防ぐ。

📋 対立仮説の場面別早見表

場面$H_0$$H_1$検定
1標本の平均$\mu=\mu_0$$\mu \neq \mu_0$1標本 t 検定
2群の平均$\mu_1=\mu_2$$\mu_1 \neq \mu_2$2標本 t 検定
対応のある 2群$\mu_d=0$$\mu_d \neq 0$対応のある t 検定
3群以上の平均全 $\mu_i$ が等しい少なくとも 1 組が異なるANOVA
分散の比較$\sigma_1^2=\sigma_2^2$$\sigma_1^2 \neq \sigma_2^2$F 検定 / Levene
2変数の独立性独立独立でない$\chi^2$ 検定
相関$\rho=0$$\rho \neq 0$Pearson 相関検定
回帰係数$\beta_k=0$$\beta_k \neq 0$t 検定 (回帰)
等価性 (差がないことを示す)$|\mu_1-\mu_2| \geq \Delta$$|\mu_1-\mu_2| < \Delta$TOST

💬 この表を覚えておけば、 ほとんどの「$H_1$ どう書く?」問題に答えられます。 特に 等価性検定 (TOST) は「効果がない」を積極的に主張したい新薬・互換性研究で必須の手法で、 通常の検定では代用できないことに注意。

🖼 図で掴む 対立仮説

対立仮説の意味は、 数式だけでなく 分布の形・データの広がり・群の差 といった図で見ると、 そのまま「H₁ が言いたいこと」が掴めます。 ここでは SSDSE-B-2026 の都道府県データを使って 3 種の代表的な図を載せ、 それぞれ「どの $H_1$ を検証する場面で出る図か」を対応づけて読み解きます。

図 1. 散布図 (相関の対立仮説)

2 変数の関係について「$H_0: \rho = 0$ (相関なし) vs $H_1: \rho \neq 0$ (相関あり)」を検証する場合、 まず散布図を描いて点の並びの傾向を視覚的に確認します。 下図は SSDSE-B-2026 の総人口 (A1101) と一般診療所数 (I5102) の散布図 (2023 年, 47 都道府県) で、 右上がりの強い直線傾向 ($r = 0.972$) が見え、 $H_1$ (相関がある) を強く支持する形になっています。

総人口と一般診療所数の散布図 (r=0.972)

💬 散布図で「明らかな傾向」が見えるなら、 検定の結果も $p$ 値が極めて小さくなる傾向にあります。 ただし、 図の見た目だけで結論せず必ず検定統計量 (Pearson の $r$ など) と $p$ 値で裏付けることが対立仮説検証の基本姿勢です。

図 2. ヒストグラム (1標本平均の対立仮説)

「$H_0: \mu = \mu_0$ vs $H_1: \mu \neq \mu_0$」を検証するとき、 対象データの分布をヒストグラムで確認します。 例えば 47 都道府県の総人口 (A1101) について「都道府県人口の平均は 250 万人という仮説 ($\mu_0=250$ 万人) は妥当か?」を考えるなら、 ヒストグラムで分布の中心と広がりを掴むことが第一歩です。 下図は SSDSE-B-2026 (2023 年) の総人口の分布で、 東京都を最大として右に長い裾を引く非対称な形をしています。

47都道府県の総人口のヒストグラム(右に裾を引く分布、東京都が最大)

💬 分布が $\mu_0$ から大きくずれて見えるなら $H_1$ を支持する材料になりますが、 「ずれて見える」を客観的に判定するのが検定の役割です。 ヒストグラムの形状 (左右非対称・外れ値) は、 t 検定が使えるか (正規性) を確認する材料にもなります。

図 3. 箱ひげ図 (多群比較の対立仮説)

「$H_0: \mu_1=\mu_2=\mu_3$ vs $H_1: $ 少なくとも 1 組が異なる」を検証する ANOVA の場面では、 群ごとの箱ひげ図が必須の図表です。 下図は 47 都道府県を KMeans で 3 クラスタに分け、 クラスタ別に一般診療所数 (I5102) を比較したもので、 箱ひげ図なら中央値・四分位範囲・外れ値の違いが一目で分かります (東京都だけの単独クラスタが突出しています)。

KMeans 3クラスタ別の一般診療所数の箱ひげ図

💬 箱の重なりが少なく、 中央値の高さが明らかに違うなら $H_1$ (少なくとも 1 組は違う) を支持する強い材料です。 ANOVA で全体差が有意になった後は、 Tukey HSD 等の多重比較で「どの群とどの群が違うか」を特定します。

🎯 片側検定 vs 両側検定 — $H_1$ の書き方で結論が変わる

対立仮説を 両側 ($\neq$) にするか 片側 ($>$ または $<$) にするかは、 検定の感度と結論を大きく左右します。 「方向性を事前に主張できるか」「主張できる根拠が事前にあるか」で決まり、 データを見た後に都合よく変えるのは禁忌 (HARKing) です。

3 種の対立仮説の書き方

タイプ$H_0$$H_1$使う場面棄却域
両側$\mu=\mu_0$$\mu \neq \mu_0$方向性を主張せず「差があるか?」だけ知りたい両側 $\alpha/2$ ずつ
右片側$\mu \leq \mu_0$$\mu > \mu_0$「新薬は対照薬より効く」など増加方向を主張右側 $\alpha$
左片側$\mu \geq \mu_0$$\mu < \mu_0$「不良率は基準値より低い」など減少方向を主張左側 $\alpha$

片側にすると検出力が上がる仕組み

同じ $\alpha=0.05$ で考えると、 両側検定は左右に $0.025$ ずつ棄却域を割り振りますが、 片側検定は片方に $0.05$ をまるごと割り振ります。 結果として、 主張する方向の差を検出する力は片側のほうが大きくなります。 ただし反対方向の差は (たとえ大きくても) 一切検出できないという制約が付きます。

両側 $\alpha=0.05$ の場合: 棄却域は $|Z| > 1.96$ 右片側 $\alpha=0.05$ の場合: 棄却域は $Z > 1.645$ ← 閾値が緩い → 同じデータでも、 右片側のほうが棄却しやすい

片側を選んでよい条件 (厳しい)

  1. 方向性に 事前の科学的根拠 がある (理論・先行研究・物理法則)
  2. 反対方向の結果に 科学的価値がない (実務的に意味がない)
  3. 研究計画書 (プロトコル) で データ取得前に 明記してある
  4. 反対方向のデータが出ても「効果なし」と解釈する覚悟がある

医薬品の承認試験では、 規制当局 (FDA・PMDA) は原則として両側検定を求めることが多く、 片側は「明確な根拠 + 事前登録」が揃った場合のみ許容されます。 ビジネス A/B テストでも、 デフォルトは両側で考えるのが安全です。

🔄 等価性検定 (TOST) — 「差がない」を積極的に示す $H_1$

通常の対立仮説は「差がある」ですが、 実務では 「差がない (≒ 同等である) ことを示したい」 場面も多くあります。 例: 後発医薬品 (ジェネリック) が先発品と同等の薬効を持つことの証明、 新サーバーが旧サーバーと同等の応答速度であることの確認。 この場面で通常の検定を逆向きに使うと、 「サンプルサイズが小さい → 差を検出できない → 差がない (ように見える)」という致命的な誤用に陥ります。

TOST (Two One-Sided Tests) の対立仮説

TOST では「同等とみなす許容範囲 $[-\Delta, +\Delta]$」を事前に決め、 $H_0$ と $H_1$ を 通常と逆向きに 設定します:

$H_0$ : $|\mu_1 - \mu_2| \geq \Delta$ (差が許容範囲より大きい = 同等でない) $H_1$ : $|\mu_1 - \mu_2| < \Delta$ (差が許容範囲内 = 同等である) $\Delta$ : 同等性マージン (例: 薬効なら $\pm 20\%$、 応答速度なら $\pm 10\text{ms}$)

この設定では、 検定で $H_0$ を棄却できれば「同等である」を積極的に主張できます。 通常の $t$ 検定で $p > 0.05$ が出ても「差がないとは言えない」止まりですが、 TOST では「同等である ($p < 0.05$)」と能動的な結論が出せます。

具体例: ジェネリック医薬品の生物学的同等性

日本の PMDA は、 ジェネリック医薬品の血中濃度ピーク $C_{\max}$ と曲線下面積 $\mathrm{AUC}$ について、 先発品との比 (幾何平均) が 0.80 ~ 1.25 の範囲 に収まることを示す TOST 様の検定を求めます。 つまり「$\Delta = 0.25$ (対数スケールで $\ln 1.25$)」の同等性マージンが規制で定められています。

ジェネリック A の試験結果 (n=24 健常人クロスオーバー): $C_{\max}$ の幾何平均比 = 1.05 (90% CI: 0.96 ~ 1.15) $\mathrm{AUC}$ の幾何平均比 = 1.02 (90% CI: 0.94 ~ 1.11) → 両指標とも 90% CI が [0.80, 1.25] に完全包含 → 生物学的同等性 OK → ジェネリックとして承認可

💬 「差がないことを示す」場面で通常の $t$ 検定を使うと、 サンプルが少ないほど「差がない」結論になる本末転倒な状況になります。 同等性を示したいなら必ず TOST (またはベイズ流の同等性区間 ROPE) を使うのが現代統計の標準です。

⚠️ よくある誤用・誤解 — $H_1$ を巡る現場の事例

対立仮説に関連する誤用は枚挙にいとまがありません。 ここでは現場で実際に起きやすい 8 つの誤用パターンを取り上げ、 正しい考え方と修正方法を解説します。 「やってはいけないこと」を知ることは、 「正しい方法」を学ぶこと以上に実務的価値が高いと言えます。

誤用 1: $p$ 値ハッキング ($p$-hacking)

「とにかく有意な結果を出すために、 サブグループを切ったり変数を入れ替えたりして $p < 0.05$ を探し回る」行為。 $H_1$ がデータに合わせて事後的に決まるため、 報告される結果は再現性がありません。 対策は 事前登録 + 主要 $H_1$ の固定 + 多重比較補正。 探索的解析と検証的解析を明確に区別し、 探索的に見つけた所見は別データで再検証する habit が必要です。

誤用 2: HARKing (結果を見てから仮説を作る)

"Hypothesizing After the Results are Known" の略。 データを分析し、 有意になった関係性を「事前に予想していた $H_1$」として論文に書く行為。 一見筋が通って見えますが、 統計的検定の前提 (事前固定の $H_1$) を破壊し、 第 1 種の過誤率を膨らませます。 対策は研究ノートでの仮説記録、 事前登録、 そして「探索的所見」として正直に報告すること。

誤用 3: 「有意でない = 効果なし」の混同

「$p > 0.05$ だったから新薬に効果はなかった」と結論する論文は今も多いですが、 これは大きな誤解です。 有意でない結果は「効果ゼロの証拠」ではなく「効果検出失敗の証拠」にすぎません。 サンプル数が少なかった可能性、 効果量が想定より小さかった可能性、 測定誤差が大きかった可能性などを考慮する必要があります。 「差がない」を能動的に示したいなら TOST やベイズ的アプローチを使うのが正解です。

誤用 4: 信頼区間の解釈ミス

「95% 信頼区間 = 真の値が 95% の確率で含まれる区間」は厳密には誤った解釈で、 正しくは「同じ手続きを 100 回繰り返すと、 そのうち 95 個の区間が真の値を含む」です。 1 つの観測区間に対して「真の値が含まれる確率」と言えるのはベイズ統計の信用区間 (credible interval) であり、 頻度論的信頼区間とは別概念です。 実用上は混同してもさほど問題ないことが多いですが、 厳密な議論や教育場面では区別すべき重要なポイントです。

誤用 5: 大標本での「過剰な有意」

数百万件のビッグデータでは、 効果量が極小 ($d < 0.01$) でも $p$ 値はほぼ確実に 0 になります。 これを「強い証拠」と誤読すると、 実務的に意味のない差を強調する誤った意思決定につながります。 対策は 効果量を主要指標とし、 $p$ 値はサブ情報として扱う こと。 信頼区間の幅、 ベイズファクター、 実務的有意性 (practical significance) の議論を併記することが、 大標本時代の現代統計のお作法です。

誤用 6: 検定の前提を無視する

$t$ 検定は正規性と等分散を、 ANOVA は加えて独立性を仮定します。 これらが満たされないデータに無批判に適用すると、 $H_1$ の判定が信頼できなくなります。 対策は前提検証 (Shapiro-Wilk 正規性検定、 Levene 等分散検定) と、 違反時の代替手法 (Welch の補正、 Mann-Whitney 検定、 ブートストラップ)。 ただし正規性検定もサンプルサイズに依存するため、 残差プロットを目視で確認する習慣も重要です。

誤用 7: 多重検定の補正忘れ

「20 個の項目それぞれについて $H_1$ を検定し、 2 個が有意だった」場合、 Bonferroni 補正なしでは「偽陽性 2 個」の可能性が高いです。 補正後の有意水準は $0.05 / 20 = 0.0025$ となり、 単純な $p < 0.05$ では足りません。 ゲノミクスのように数千・数万の検定を行う分野では、 FDR (False Discovery Rate) コントロール (Benjamini-Hochberg 法) が標準的に用いられ、 厳しすぎる Bonferroni と緩すぎる無補正のバランスを取る発想で運用されています。

誤用 8: 検定結果を因果関係と混同

「$H_1$ : 喫煙と肺がん発症率に関連がある」が観察データで有意になっても、 それは関連性 (association) を示しただけで因果関係 (causation) ではありません。 RCT 以外の研究で因果を主張するには、 因果ダイアグラム (DAG)、 傾向スコア、 操作変数、 自然実験など追加の枠組みが必要です。 「相関は因果を含意しない」は統計学の格言ですが、 $H_1$ 採択が独り歩きして因果と読まれる事例は後を絶ちません。 報告時には「関連が示唆された」「相関が観察された」など因果を含意しない表現を意識的に使いましょう。

📖 関連ミニ用語集 — 対立仮説まわりの語彙整理

対立仮説を巡る議論で頻出する用語を、 関連性別に整理しておきます。 これらの語彙を正確に使い分けられるようになると、 統計の文献を読む速度と理解の深さが大きく変わります。

日本語英語意味
対立仮説alternative hypothesis ($H_1$)帰無仮説に対立する命題。 研究者が示したい主張
帰無仮説null hypothesis ($H_0$)「差がない・効果がない」を仮定する基準命題
単純仮説simple hypothesisパラメータをただ 1 つの値に指定する仮説
複合仮説composite hypothesisパラメータが複数値・範囲を取りうる仮説 (例: $\mu \neq 0$)
検出力statistical power ($1-\beta$)$H_1$ が真のとき正しく $H_0$ を棄却する確率
第 1 種の過誤type I error ($\alpha$)$H_0$ が真なのに棄却する誤り (偽陽性)
第 2 種の過誤type II error ($\beta$)$H_1$ が真なのに棄却しない誤り (偽陰性)
効果量effect size$H_1$ の効果の大きさを標準化した指標 (Cohen $d$ など)
同等性検定equivalence test (TOST)「差がない」を能動的に示すための $H_1$ 設計
事前登録preregistrationデータ取得前に $H_1$ と解析計画を公表する慣行
ベイズファクターBayes factor ($\mathrm{BF}$)$H_1$ と $H_0$ への支持度の比 (ベイズ統計)
HARKingHARKing結果を見てから $H_1$ を作る研究不正の一種

💬 対立仮説を真摯に書くことは、 統計学の基礎であると同時に、 再現可能で誠実なデータ科学を実践するための文化的基盤でもあります。 効果量・検出力・事前登録・多重比較補正と組み合わせて使うことで、 「$p < 0.05$ で安心」を超えた質の高い研究が可能になります。

対立仮説を学ぶ意義 — 再現性危機の時代に

2010 年代以降、 心理学・医学・社会科学では「公表された研究の半数以上が再現できない」という再現性危機 (replication crisis) が深刻な問題となっています。 その原因の多くは「$H_1$ を厳密に書かない・$p$ 値だけに頼る・多重比較を無視する・効果量を報告しない」といった検定実務の甘さに起因します。 対立仮説の概念を正確に理解し、 効果量・検出力・信頼区間と組み合わせて議論する習慣は、 単なる統計テクニックを超えて、 データ科学を職業として誠実に営むための職業倫理の一部です。

学習者の皆さんには、 「$H_1$ を考えるとは、 自分が世界について何を主張したいかを言語化すること」と受け止めてほしいと思います。 漠然と「差があるか調べる」のではなく、 「どの方向に・どれだけの大きさで・どんな条件で・誰に対して差があるのか」を具体的に書けるようになれば、 統計検定は単なる計算ツールから、 思考の補助線へと姿を変えます。 そこからが本当のデータサイエンスの始まりです。 教科書通りの「$H_0$ と $H_1$ を立てる」というステップが、 実は研究全体の方向性と価値を決める最重要工程であると気づくとき、 統計学の風景は一変します。 効果量・サンプルサイズ・事前登録・多重比較補正・ベイズ的解釈などの周辺概念を組み合わせて、 「$H_1$ を中心に据えた研究設計」を意識的に行うことが、 21 世紀のデータサイエンティストに求められる素養です。 検定の儀式から脱却し、 主張すべき命題を真摯に構築する姿勢こそが、 統計を強力な意思決定言語へと昇華させる鍵となります。 この記事を通じて、 対立仮説への理解と尊敬が深まることを願います。

🎮 触って理解する — H₁ の「向き」が棄却域を決める

対立仮説 H₁ の書き方(μ>μ₀ / μ<μ₀ / μ≠μ₀)を変えると、 棄却域の位置と臨界値がその場で変わります。 下のボタンで H₁ を切り替え、 スライダーで観測 z 値と「真の効果 δ」を動かして、 (1) 同じ z 値でも片側なら有意・両側なら非有意になる境界事例、 (2) 方向を外した片側検定が絶対に棄却できない様子、 (3) 片側の検出力優位、 の 3 点を体感してください(この図は理論曲線であり、 特定の実データではありません)。

グラフ上をドラッグ(タッチ可)しても観測 z を動かせます

H₁ の形棄却域(α=0.05)この z での p 値判定検出力(真の δ で)

🎲 「データを見てから片側に変える」と α はいくつになるか(架空シミュレーション)

両側 α=0.05 で計画したのに、 結果が惜しい時だけ「都合の良い側の片側 5%」に切り替える不正ルール(棄却条件: z > 1.645 または z < −1.96)を、 H₀ が真の架空乱数で試します。 理論値は 0.05 + 0.025 = 0.075(実効 α = 7.5%)。 名目 5% を超えて第 1 種の過誤が膨らむことを確認してください。

(未実行)

🎨 直感 — 方向は「データを見る前」に決める契約

H₁ は「示したいこと」を数式にした事前の契約書です。 片側検定は「α=5% の全額を片方の裾に賭ける」宣言であり、 賭けた方向に効果があれば臨界値が 1.96 → 1.645 に下がって検出力が上がります(上の表で δ>0 にすると右片側の検出力が両側を常に上回るのが見えます)。 その代償として、 逆方向の効果は δ がどれだけ大きくても原理的に棄却できません(δ=−2 にして右片側の検出力がほぼ 0 に張り付くのを確認してください)。 方向の先見が薬理学的・理論的根拠で正当化できる時だけ片側を選び、 迷ったら両側が原則です。

⚠️ 落とし穴 — 事後的片側化と「非有意」の読み方

🚀 発展 — 同値性検定・優越性/非劣性試験

H₁ の「向き」の設計は臨床試験で最も体系化されています。 優越性試験は H₁: μ_新 > μ_対照(右片側)そのもの。 非劣性試験は「劣っていても許容マージン Δ 以内」を示したいので H₁: μ_新 − μ_対照 > −Δ というずらした片側になります。 さらに「差がないこと」自体を主張したい同値性検定(TOST)では、 H₁: −Δ < μ_新 − μ_対照 < Δ を「−Δ より大きい」「Δ より小さい」の2 本の片側検定に分解します。 通常の検定で「非有意だったので同等」と言えない理由と、 その正しい代替がここにあります。 詳しくは仮説検定帰無仮説p 値有意水準の各ページと併読してください。

🗺 概念マップ

関連概念を視覚的に整理した概念マップ。

対立仮説 H₁ 帰無仮説 H₀ 片側 / 両側 検出力 1−β 効果量 p 値 / α 信頼区間

対立仮説 $H_1$ を中心とした概念マップでは、 帰無仮説 $H_0$ と検定統計量・有意水準 $\alpha$・検出力 $1-\beta$ が直接の隣接概念として配置される。 上位概念は仮説検定の枠組み (Neyman-Pearson 流の決定理論)、 派生概念は片側 $H_1$ ・両側 $H_1$ ・複合仮説、 対立概念は信頼区間アプローチおよびベイズファクター。 SSDSE-B-2026 を用いる場合、 「47 都道府県の人口と出生数には相関がある ($\rho \neq 0$)」が $H_1$ の典型例で、 これを中心に「相関係数の計算 → $t$ 統計量への変換 → $p$ 値の算出 → 棄却 / 採択」という分析パイプラインが構成される。

🔗 隣接手法への橋渡し

対立仮説 $H_1$ は、 研究者が「主張したい結論」を確率的言明に翻訳したもので、 仮説検定の起点から終点までの全ステップに影響する。

SSDSE-B-2026 で「47 都道府県の人口と出生数の相関は 0 と異なる」を $H_1$ に置けば、 pearsonr で r=0.97, p<0.001 → 強い証拠で $H_1$ 採択、 という一貫したパイプラインが構築される。

🌳 手法選択フロー

対立仮説 $H_1$ の形を実際の課題に当てはめるとき、 「片側 / 両側」 と 「単純 / 複合」 の 2 軸で判定する。

  1. 主張の向きは予め決まっているか? Yes (例: 新薬は既存薬より優れているはず) → 片側 $H_1: \mu_1 > \mu_0$、 検出力が両側の約 1.6 倍。 No (例: 単に差があるか調べたい) → 両側 $H_1: \mu_1 \neq \mu_0$。
  2. $H_1$ で 1 点の値を主張するか、 値の範囲か? 単純仮説 (例 $\mu=10$) → 検出力計算が一義的。 複合仮説 (例 $\mu>10$) → 真の $\mu$ により検出力が変動するため検出力曲線で評価。
  3. SSDSE-B-2026 適用例: 「2024 年の高齢化率は 2014 年より高い」→ 片側 $H_1$、 「出生数と人口の相関は 0 と異なる」→ 両側 $H_1$、 「高齢化率は全国平均より大きい」→ 複合 $H_1$。

片側/両側を結果を見てから切り替えるのは「事後仮説」の禁忌。 $H_1$ の形は実験/観測の設計段階で確定する。

🔬 深掘り — 検出力は「数」ではなく「関数」、 「棄却」が意味しないこと

ここまでの章で H₁ の立て方・片側/両側の選択・事後変更の禁止は押さえました。 本章はさらに一歩踏み込み、 (1) 複合対立仮説の下で検出力が「関数」になること、 (2) SSDSE-B-2026 の実データで片側と両側の結論が実際に割れる実例、 (3) 「H₀ を棄却できた」が理論的に何を保証し何を保証しないか、 を扱います。

📈 検出力関数 — H₁ との「距離」で決まる

片側 H₁: μ > μ₀ のような複合仮説は、 無数のパラメータ値(δ=0.1 も δ=3 も)を含む「領域」です。 したがって検出力は 1 つの数ではなく、 真の標準化効果 δ の関数 β(δ) になります。 z 検定(α=0.05)の理論値で片側と両側を比べると次の通りです。

真の効果 δ右片側の検出力両側の検出力比(片側/両側)
0.512.6%7.9%1.59
1.026.0%17.0%1.53
1.544.2%32.3%1.37
2.063.9%51.6%1.24
2.887.6%80.0%1.10
3.596.8%93.8%1.03

📝 より正確な分析:本ページ「🌳 手法選択フロー」にある «片側の検出力は両側の約 1.6 倍» という表現は、 δ が小さい(検出力 10〜20% 台の)領域での近似です。 上表の通り比は δ に依存して単調に 1 へ近づき、 実務でよく目標にする検出力 80% 付近では片側の利得は約 8 ポイント(87.6% vs 80.0%)です。 「倍率」でなく「β(δ) の曲線がどれだけ持ち上がるか」で理解してください。 また複合 H₁ の下では「検出力 80%」という報告はどの効果量に対してかを添えないと定義できません(検出力効果量参照)。

🧪 SSDSE-B-2026 実測 — 片側と両側で結論が割れる実例

2023 年・47 都道府県(cp932、 2 行目除外で読込)で総人口(A1101)と家具・家事用品費(L322104、 二人以上の世帯)の相関を検定すると、 r = 0.274、 t(45) = 1.91、 両側 p = 0.0623、 右片側 p = 0.0311(片側はちょうど両側の半分)。 α = 0.05 なら両側では非有意、 右片側なら有意という、 H₁ の書き方だけで結論が反転する境界事例が実データに存在します。 この結果を見てから「人口が多い県ほど支出も多いはずだから片側のつもりだった」と言い換えるのが、 🎮 章のシミュレーションで実効 α が 7.5% に膨らんだまさにその操作です。 なお仮に有意でも r ≈ 0.27 は小〜中の効果量で、 決定係数 r² ≈ 0.075 — 分散の 7.5% しか説明しません。 「有意かどうか」と「効果が大きいか」は別の問いです。

⚠️ 深い落とし穴 — 「棄却」が保証しないこと

🚀 発展 — 一致性と局所対立仮説

固定した H₁(δ ≠ 0)の下では、 n → ∞ で検出力が 1 に近づきます(検定の一致性)。 これは長所であると同時に「巨大な n ではどんな固定 H₁ もいずれ有意になる」ことを意味します。 理論側では、 検出力が 1 に張り付かないよう H₁ を標本サイズとともに近づける局所対立仮説 δn = h/√n を考え、 検定同士の効率を漸近相対効率(ARE)で比較します(正規母集団での t 検定に対する Wilcoxon 検定の ARE = 3/π ≈ 0.955 はこの枠組みの成果)。 実務への含意はシンプルで、 n が大きい分析ほど「ρ ≠ 0」のような点否定型 H₁ は情報量が乏しく、 効果量を組み込んだ H₁(例:ρ > 0.3、 あるいは同値性マージン付き)や信頼区間による報告の価値が上がります。 多数の H₁ を同時に立てる場合は多重検定、 検定の具体的手続きはt 検定p 値有意水準の各ページと併読してください。