ある電子部品の寿命(単位: 年)は、 が与えられたとき、確率密度関数
の指数分布に従うとする。母数 は未知で、その事前分布として確率密度関数
のガンマ分布(形状母数 、レート母数 )を用いる。 が与えられたとき互いに独立な 4 個の部品の寿命を観測したところ、
であった。このデータのもとでの の事後平均(事後分布の期待値)を求めよ。
共役事前分布とベイズ推定
ベータ分布・ガンマ分布などの共役事前分布から事後分布を求め、事後平均を計算できる
前提
- ガンマ関数・ベータ関数とガンマ分布 (大学数学 確率・統計)
- 条件付き分布と全期待値の公式 (大学数学 確率・統計)
- 原因の確率(ベイズの定理) (数学A 場合の数と確率)
この技能までの道筋(67 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 順列・円順列・重複順列 (数学A 場合の数と確率)
- 組合せ (数学A 場合の数と確率)
- 確率の定義と和事象・余事象 (数学A 場合の数と確率)
- 期待値 (数学A 場合の数と確率)
- 確率変数と確率分布 (数学B 統計的な推測)
- 平均と合計 (算数 いろいろな文章題)
- 平均値・中央値・最頻値 (中学数学 データの活用)
- 代表値(平均値・中央値・最頻値) (数学I データの分析)
- 分散と標準偏差 (数学I データの分析)
- 変量の変換と平均・分散 (数学I データの分析)
- 確率変数の期待値・分散と (数学B 統計的な推測)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 多項式の不定積分 (数学II 微分法と積分法)
- 定積分の計算 (数学II 微分法と積分法)
- 連続型確率変数と確率密度関数 (数学B 統計的な推測)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 基本的な関数の不定積分 (数学III 積分法)
- 置換積分 (数学III 積分法)
- 部分積分 (数学III 積分法)
- 定積分の置換・部分積分と偶関数・奇関数 (数学III 積分法)
- 広義積分 (大学数学 微分積分)
- 一様分布・指数分布 (大学数学 確率・統計)
- ガンマ関数・ベータ関数とガンマ分布 (大学数学 確率・統計)
- 確率変数の和と積(独立な場合) (数学B 統計的な推測)
- 重積分と累次積分 (大学数学 微分積分)
- 同時分布・周辺分布と独立性 (大学数学 確率・統計)
- 条件付き確率と乗法定理 (数学A 場合の数と確率)
- 条件付き分布と全期待値の公式 (大学数学 確率・統計)
- 原因の確率(ベイズの定理) (数学A 場合の数と確率)
説明
未知のパラメータ (コインの表が出る確率、単位時間あたりの平均発生回数など)を、データを見る前の考え(事前分布)とデータから更新して推定する方法を学びます。事前分布にベータ分布やガンマ分布のような相性のよい分布(共役事前分布)を選ぶと、データを見た後の分布(事後分布)も同じ種類の分布になります。そのため、積分をほとんどせずにパラメータを書き換えるだけで事後分布が求まり、事後平均をパラメータの推定値として計算できます。成功率の推定や、事故件数・故障件数の平均の推定などに使います。
なぜそうしてよいのか
ベイズの定理を連続なパラメータに広げます。 の事前の密度を 、 が与えられたときのデータ の確率(尤度という)を とすると、全確率の公式の和を積分に置き換えて、事後分布の密度は となります。分母は を含まない定数なので、( は「 によらない正の定数倍を除いて等しい」の意味)です。定数は「全体の積分が 1」という条件で自動的に決まるので、 を含む部分の形だけ見れば分布が特定できます。
例えば 回の独立な試行で成功が 回のとき、尤度は です。事前分布をベータ分布 、すなわち密度 (, )とすると、積は に比例します。これは の密度の形そのものなので、事後分布もベータ分布です。ベータ分布の平均は ( を使用)なので、事後平均は です。これは事前平均 と標本の成功割合 を重み と で平均したものになっており、データが増えるほど標本の割合に近づきます。
同様に、 以上の整数値をとり となる分布(ポアソン分布、平均 )から独立に を得たとき、尤度は に比例します。事前分布をガンマ分布 、密度 (, , 平均 )とすると、事後分布は 、事後平均は となります。
手順
事前分布の密度を、 を含む部分(核)だけ書く。例: なら ()、 なら ()
データの尤度 を の関数として書き、 を含まない定数( や など)を落とす
として掛け合わせ、同じ底の指数をまとめる
まとめた形がどの分布の核かを読み取り、事後分布のパラメータを決める。二項-ベータ型: 、ポアソン-ガンマ型:
事後分布の平均の公式で事後平均を計算する。ベータ分布 の平均 、ガンマ分布 の平均
例題
あるコインの表が出る確率 の事前分布を、密度 ()のベータ分布 とする。このコインを独立に 10 回投げたところ、表が 7 回出た。 の事後平均を求めよ。
例題の解答
手順1: 事前分布の核は ()。
手順2: 尤度は 。 を含まない を落として 。
手順3: 掛け合わせて 。
手順4: はベータ分布 の核なので、事後分布は (公式 とも一致)。
手順5: 事後平均は 。事前平均 と標本割合 の間の値になっている。
答え:
よくある誤り
失敗の回数ではなく試行回数 を第 2 パラメータに足して としてしまう誤り。正しくは失敗回数 を足して (例題なら で、 ではない)。
ガンマ分布の平均を としたり、事後の第 2 パラメータを としてしまう誤り。密度 の形では平均は で、尤度の から事後は 、事後平均は 。
事後平均と事後分布の最頻値を取り違える誤り。 の密度を最大にする値は( のとき) で、例題では だが、事後平均は 。
を含む因子まで定数として落としてしまう誤り。落としてよいのは 、、 など を含まないものだけで、ポアソン分布の尤度の は を含むので残す必要がある。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
ある電子部品の寿命(単位: 年)は、 が与えられたとき、確率密度関数
の指数分布に従うとする。 は未知の母数で、その事前分布として確率密度関数
のガンマ分布(形状母数 、尺度の逆数 )を考える。が与えられたとき互いに独立なこの部品 個の寿命を調べたところ、
であった。このデータのもとでの の事後平均 を求めよ。ある電球の寿命(単位: 千時間)を調べる。 を未知の母数とし、 が与えられたとき、電球の寿命 は確率密度関数
の指数分布に従うとする。 の事前分布として、確率密度関数
のガンマ分布を用いる。 が与えられたとき互いに独立な 3 個の電球の寿命を測ったところ、 であった。このデータのもとでの の事後平均 を求めよ。
この技能を使う問題
ある部品の長さ(単位: mm)を測定する。 を実数の母数とし、 が与えられたとき、測定値 は互いに独立に正規分布 (平均 、分散 )に従うとする。 の事前分布を正規分布 (平均 、分散 )とする。5 回の測定値の合計が
であったとき、 の事後分布の平均を求めよ。ある新しい種子の発芽率を ()とする。 の事前分布として、確率密度関数
のベータ分布 で としたものを用いる。ここで はベータ関数であり、 の平均は である。が与えられたとき、種子 12 粒はそれぞれ互いに独立に確率 で発芽するものとする。実際に 12 粒をまいたところ、8 粒が発芽した。この観測結果のもとでの の事後分布の平均を求めよ。
, を定数とする。母数 の事前分布を、確率密度関数
をもつガンマ分布 とする。 が与えられたとき、( は正の整数)は互いに独立に平均 のポアソン分布に従い、その実現値 (いずれも 以上の整数)が得られたとする。 とおく。このとき、 の事後分布はガンマ分布 であり、事後分布の平均は
と、事前分布の平均 と標本平均 の重み付き平均で表されることを証明せよ。ただし、, に対して であること、および は用いてよい。
ある窓口に 1 日に寄せられる問い合わせの件数は、 が与えられたとき平均 のポアソン分布
に従うとする( は未知の母数)。日ごとの件数は、 が与えられたもとで互いに独立とする。の事前分布として、確率密度関数
のガンマ分布を用いる。ここで は定数で、この事前分布の平均が 、分散が となるように定める。ある 3 日間の件数を観測したところ、 であった。この観測結果のもとで、4 日目の件数が となる事後予測確率
を求めよ。ただし はそれぞれ 1〜4 日目の件数を表す。ある工場で作られる部品が不良品である確率を とする。 は未知で、事前分布として確率密度関数
のベータ分布 を用いる。 が与えられたとき、各部品が不良品であるかどうかは互いに独立で、どの部品も確率 で不良品であるとする。無作為に 個の部品を検査したところ、不良品は 個であった。この観測結果のもとで、次に検査する 個の部品がどちらも不良品でない確率(事後予測確率)
を求めよ。ある窓口に 1 時間あたりに来る客の数は、パラメータ のポアソン分布
に従うとする。 の事前分布として、形状パラメータ 、レートパラメータ のガンマ分布
を用いる(このガンマ分布の平均は である)。異なる 5 つの時間帯に観測した客の数は であった。各時間帯の客の数は、 を与えたもとで互いに独立に上のポアソン分布に従うとする。このデータを得たあとの の事後分布の平均を求めよ。
1 回まわすと A, B, C のいずれか 1 つの目が出るルーレットがあり、A, B, C が出る確率をそれぞれ (, )とする。 の事前分布として、 の同時確率密度関数が
で与えられるディリクレ分布 を用いる。が与えられたとき、ルーレットを互いに独立に 20 回まわしたところ、A が 6 回、B が 9 回、C が 5 回出た。このデータのもとで、さらに独立に 2 回まわしたとき「1 回目に A、2 回目に B が出る」確率(事後予測確率)は、事後分布に関する期待値 に等しい。この値を既約分数で求めよ。
あるバス停でバスを待つ時間(単位: 分)は、 が与えられたとき区間 上の一様分布に従うとする( は未知の母数)。 の事前分布として、確率密度関数
( では )のパレート分布を用いる。が与えられたとき互いに独立な 5 回の待ち時間を観測したところ、
であった。このデータのもとでの の事後分布の平均(事後平均)を求めよ。