カプラン＝マイヤー推定量

カプラン=マイヤー推定量（カプラン マイヤー すいていりょう、英: Kaplan-Meier estimator）は^[1][2]、積極限推定量（せききょくげんすいていりょう、英: product limit estimator）とも呼ばれ、生存データから生存関数を推定するために用いられるノンパラメトリック統計量である。医学研究では、治療後に一定期間生存している患者の割合を測定するためによく使われる。他の分野では、カプラン=マイヤー推定量を用いて、失業後に人々が失業している期間の長さや^[3]、機械部品の故障までの時間や、果実食動物（英語版）に食べられてしまうまでの肉果の残存期間を測定することができる。この推定量は、Edward L. KaplanとPaul Meierが米国統計学会誌（Journal of the American Statistical Association）に別々に原稿を提出したことにちなんで命名された^[4]。ジャーナル編集者のジョン・テューキーは、彼らの研究を1つの論文にまとめるよう説得した。この論文は1958年に発表されて以来、約61,000回も引用されている^[5][6]。

その生存関数 ${\displaystyle S(t)}$ （寿命が ${\displaystyle t}$ より長くなる確率）の推定量は次の式で与えられる。

${\displaystyle {\widehat {S}}(t)=\prod \limits _{i:\ t_{i}\leq t}\left(1-{\frac {d_{i}}{n_{i}}}\right),}$

ここに、 ${\displaystyle t_{i}}$ は少なくとも1つのイベントが発生した時刻、${\displaystyle d_{i}}$ は時刻 ${\displaystyle t_{i}}$ で発生したイベントの数（たとえば、死亡）、そして ${\displaystyle n_{i}}$ は時刻 ${\displaystyle t_{i}}$ まで生存していることが分かっている（まだイベントが発生していないか、打ち切られていない）個体の数である。

カプラン=マイヤー推定量のプロットは、一連の減少する水平ステップの系列であり、十分に大きな標本サイズの時に、その母集団の真の生存関数に近づく。連続する別個のサンプリングされた観測値（カチッと音がする）間の生存関数の値は一定であると仮定される。

カプラン=マイヤー曲線の重要な利点は、この手法がいくつかのタイプの打ち切りデータ、特に患者が研究から離脱した場合、またはフォローアップに失敗した場合、またはイベントなしで生存している場合に発生する「右側打ち切り」（right-censoring）を考慮に入れることができることである。プロット上では、小さな縦の目盛りが、生存時間が右側打ち切りされた個々の患者を示している。切り捨てや打ち切りが行われない場合、カプラン=マイヤー曲線は、経験分布関数（英語版）の補集合である。

医学統計学（英語版）では、一般的な応用例として、たとえば遺伝子Aプロファイルを持つ患者と遺伝子Bプロファイルを持つ患者のように、患者をカテゴリーに分類することがある。このグラフでは、遺伝子Bを持つ患者は、遺伝子Aを持つ患者よりも早く死亡する。2年後の生存率は、遺伝子Aの患者では約80%だが、遺伝子Bの患者では半分未満である。

カプラン=マイヤー推定量を作成するには、各患者（または各被験者）について、少なくとも2個のデータが必要である。それらは、最後の観察時の状態（イベント発生または右側打ち切り）と、イベント発生までの時間（または打ち切りまでの時間）の対からなる。2つ以上のグループ間の生存関数を比較する場合、3番目のデータが必要で、それは各被験者のグループ割り当てである^[7]。

確率変数 ${\displaystyle \tau }$（タウ）を、関心のあるイベントが起こるまでの時間と考えよう（ただし、${\displaystyle \tau \geq 0}$ である）。上に示したように、目的は、${\displaystyle \tau }$ の潜在的な生存関数 ${\displaystyle S}$ を推定することである。この関数は、

${\displaystyle S(t)=\operatorname {Prob} (\tau >t)}$

として定義され、${\displaystyle t=0,1,\dots }$ は時間であることを思い出そう。

${\displaystyle \tau _{1},\dots ,\tau _{n}\geq 0}$ を独立した同一分布の確率変数とし、その一般分布は ${\displaystyle \tau }$ で、${\displaystyle \tau _{j}}$ は、あるイベント ${\displaystyle j}$ が発生した確率的な時間としよう。${\displaystyle S}$ を推定するために利用できるデータは、${\displaystyle (\tau _{j})_{j=1,\dots ,n}}$ ではなく、ペアのリスト ${\displaystyle (\,({\tilde {\tau }}_{j},c_{j})\,)_{j=1,\dots ,n}}$ である。ここで、${\displaystyle j\in [n]:=\{1,2,\dots ,n\}}$ について、${\displaystyle c_{j}\geq 0}$ は固定の決定論的整数で、イベント ${\displaystyle j}$ の打ち切り時間（censoring time）であり、${\displaystyle {\tilde {\tau }}_{j}=\min(\tau _{j},c_{j})}$ である。特に、イベント ${\displaystyle j}$ のタイミングについて利用可能な情報は、イベントが固定時間 ${\displaystyle c_{j}}$ の前に起こったかどうかであり、もし起こった場合は、イベントの実際の時間も利用可能となる。課題は、このデータをもとに ${\displaystyle S(t)}$ を推定することである。

ここでは、カプラン=マイヤー推定量の2つの導出方法を示す。どちらも生存関数を、ハザード（hazard）または死亡率（mortality rates）と呼ばれる観点で書き換えることに基づいている。ただし、これを行う前に、ナイーブ推定量を考える価値がある。

カプラン=マイヤー推定量の能力を理解するために、まず、生存関数のナイーブ推定量（naive estimator）を説明する価値がある。

${\displaystyle k\in [n]:=\{1,\dots ,n\}}$ とし、${\displaystyle t>0}$ とする。基本的な議論により、以下の命題が成立することがわかる。

命題1：イベント ${\displaystyle k}$ の打ち切り時間 ${\displaystyle c_{k}}$ が ${\displaystyle t}$ (${\displaystyle c_{k}\geq t}$) を超える場合、${\displaystyle \tau _{k}=t}$ である場合に限り、${\displaystyle {\tilde {\tau }}_{k}=t}$ になる。

${\displaystyle c_{k}\geq t}$ となるような ${\displaystyle k}$ があるとしよう。上記の命題から、

${\displaystyle \operatorname {Prob} (\tau _{k}\geq t)=\operatorname {Prob} ({\tilde {\tau }}_{k}\geq t).}$

が成り立つ。

${\displaystyle X_{k}=\mathbb {I} ({\tilde {\tau }}_{k}\geq t)}$ とし、${\displaystyle k\in C(t):=\{1\leq k\leq n\,:\,c_{k}\geq t\}}$ のものだけ、つまり時刻 ${\displaystyle t}$ 以前に結果が打ち切られなかった事象を考えよう。${\displaystyle m(t)=|C(t)|}$ を ${\displaystyle C(t)}$ の要素の数としよう。なお、集合 ${\displaystyle C(t)}$ は確率的ではないので、${\displaystyle m(t)}$ も確率的ではないことに注意を要する。さらに、${\displaystyle (X_{k})_{k\in C(t)}}$ は、共通パラメータ ${\displaystyle S(t-1)=\operatorname {Prob} (\tau \geq t)}$ を持つ独立同分布のベルヌーイ確率変数の列である。${\displaystyle m(t)>0}$ と仮定すると、

${\displaystyle {\hat {S}}_{\text{naive}}(t-1)={\frac {1}{m(t)}}\sum _{k:c_{k}\geq t}X_{k}={\frac {|\{1\leq k\leq n\,:\,{\tilde {\tau }}_{k}\geq t\}|}{|\{1\leq k\leq n\,:\,c_{k}\geq t\}|}}={\frac {|\{1\leq k\leq n\,:\,{\tilde {\tau }}_{k}\geq t\}|}{m(t)}},}$

を用いて ${\displaystyle S(t-1)}$ を推定することになる。ここで、${\displaystyle {\tilde {\tau }}_{k}\geq t}$ は ${\displaystyle c_{k}\geq t}$ を意味するため、2番目の等式が続く。最後の等式は単に表記法の変更である。

この推定量の質は、${\displaystyle m(t)}$ の大きさによって決まる。これは、${\displaystyle m(t)}$ が小さい場合に問題となる、これは定義上、多くのイベントが打ち切られた場合に起こる。この推定量の特に不快な特性は、おそらくそれが「最良」の推定量ではないことを示唆しており、それは打ち切り時間が ${\displaystyle t}$ より前のすべての観測を無視することである。直感的には、これらの観測はまだ ${\displaystyle S(t)}$ に関する情報を含んでいる。たとえば、${\displaystyle c_{k}<t}$ の多くのイベントで、${\displaystyle {\tilde {\tau }}_{k}<c_{k}}$ も成り立つ場合、イベントが早期に起こることが多いと推測できる。これは、${\displaystyle \operatorname {Prob} (\tau \leq t)}$ が大きいことを意味し、${\displaystyle S(t)=1-\operatorname {Prob} (\tau \leq t)}$ を介して、${\displaystyle S(t)}$ は小さくなければならないことを意味する。ただし、このナイーブ推定法では、この情報は無視される。そこで問題となるのは、すべてのデータをより有効に利用できる推定量が存在するかどうかである。これを実現したのが、カプラン=マイヤー推定量である。なお、打ち切りが行われていない場合には、ナイーブ推定量を改善することはできないので注意を要する。したがって、改善できるかどうかは打ち切りが行われているかどうかに決定的に依存する。

基本的な計算によって、

${\displaystyle {\begin{aligned}S(t)&=\operatorname {Prob} (\tau >t\mid \tau >t-1)\operatorname {Prob} (\tau >t-1)\\[4pt]&=(1-\operatorname {Prob} (\tau \leq t\mid \tau >t-1))\operatorname {Prob} (\tau >t-1)\\[4pt]&=(1-\operatorname {Prob} (\tau =t\mid \tau \geq t))\operatorname {Prob} (\tau >t-1)\\[4pt]&=q(t)S(t-1)\,,\end{aligned}}}$

となり、ここで最後の等式は ${\displaystyle \tau }$ が整数値であることを利用し、最終行で

${\displaystyle q(t)=1-\operatorname {Prob} (\tau =t\mid \tau \geq t).}$

を導いた。

等式 ${\displaystyle S(t)=q(t)S(t-1)}$ を再帰的に展開すると、

${\displaystyle S(t)=q(t)q(t-1)\cdots q(0).}$

となる。

ここで、${\displaystyle q(0)=1-\operatorname {Prob} (\tau =0\mid \tau >-1)=1-\operatorname {Prob} (\tau =0)}$ となることに注意すること。

カプラン=マイヤー推定量は、各 ${\displaystyle q(s)}$ がデータに基づいて推定され、${\displaystyle S(t)}$ の推定量はこれらの推定量の積として得られる「プラグイン推定量」（plug-in estimator）と見なすことができる。

あとは、${\displaystyle q(s)=1-\operatorname {Prob} (\tau =s\mid \tau \geq s)}$ をどのように推定するかを指定するだけである。命題1により、${\displaystyle c_{k}\geq s}$ となるような任意の ${\displaystyle k\in [n]}$ に対して、${\displaystyle \operatorname {Prob} (\tau =s)=\operatorname {Prob} ({\tilde {\tau }}_{k}=s)}$ と ${\displaystyle \operatorname {Prob} (\tau \geq s)=\operatorname {Prob} ({\tilde {\tau }}_{k}\geq s)}$ がともに成立する。したがって、${\displaystyle c_{k}\geq s}$ となるような任意の ${\displaystyle k\in [n]}$ に対して、

${\displaystyle \operatorname {Prob} (\tau =s|\tau \geq s)=\operatorname {Prob} ({\tilde {\tau }}_{k}=s)/\operatorname {Prob} ({\tilde {\tau }}_{k}\geq s).}$

となる。

上記のナイーブ推定量の構築と同様の推論により、

${\displaystyle {\hat {q}}(s)=1-{\frac {|\{1\leq k\leq n\,:\,c_{k}\geq s,{\tilde {\tau }}_{k}=s\}|}{|\{1\leq k\leq n\,:\,c_{k}\geq s,{\tilde {\tau }}_{k}\geq s\}|}}=1-{\frac {|\{1\leq k\leq n\,:\,{\tilde {\tau }}_{k}=s\}|}{|\{1\leq k\leq n\,:\,{\tilde {\tau }}_{k}\geq s\}|}}}$

という推定量が得られる（「ハザード率」${\displaystyle \operatorname {Prob} (\tau =s|\tau \geq s)}$ の定義において、分子と分母を別々に推定することを考えてみよ）。そして、カプラン=マイヤー推定量は、

${\displaystyle {\hat {S}}(t)=\prod _{s=0}^{t}{\hat {q}}(s).}$

で与えられる。

記事の冒頭で述べた推定量の形式は、さらにいくつかの代数を用いて得られる。そのためには、${\displaystyle {\hat {q}}(s)=1-d(s)/n(s)}$ と記述する。ここで、保険数理の用語を用いて、${\displaystyle d(s)=|\{1\leq k\leq n\,:\,{\tilde {\tau }}_{k}=s\}|}$ は時刻 ${\displaystyle s}$ における既知の死亡者数であり、${\displaystyle n(s)=|\{1\leq k\leq n\,:\,{\tilde {\tau }}_{k}\geq s\}|}$ は時刻 ${\displaystyle s-1}$ において生存している人の数とする。

なお、${\displaystyle d(s)=0}$ であれば、${\displaystyle {\hat {q}}(s)=1}$ であることに注意を要する。このことは、${\displaystyle {\hat {S}}(t)}$ を定義する積から、${\displaystyle d(s)=0}$ の項をすべて除外できることを意味する。そして、${\displaystyle d(s)>0}$、${\displaystyle d_{i}=d(t_{i})}$、${\displaystyle n_{i}=n(t_{i})}$ の時、${\displaystyle 0\leq t_{1}<t_{2}<\dots <t_{m}}$ を時間 ${\displaystyle s}$ とすると、冒頭に述べたカプラン=マイヤー推定量の形、

${\displaystyle {\hat {S}}(t)=\prod _{i:t_{i}\leq t}\left(1-{\frac {d_{i}}{n_{i}}}\right).}$

になる。

この推定量は、ナイーブ推定量とは対照的に、利用可能な情報をより効果的に利用していることがわかる。前述の特殊なケースでは、多くの初期イベントが記録されている場合、推定量は1未満の値を持つ多くの項を乗算するため、その結果、生存確率が大きくならないことを考慮に入れよ。

カプラン=マイヤー推定量は、ハザード関数の最尤推定から導出できる^[8]。より具体的には、イベントの数を ${\displaystyle d_{i}}$、時刻 ${\displaystyle t_{i}}$ でのリスクのある個人の総数を ${\displaystyle n_{i}}$ とすると、離散ハザード率 ${\displaystyle h_{i}}$ は、時刻 ${\displaystyle t_{i}}$ でイベントが発生した個人の確率として定義できる。この場合、生存率は次のように定義でき、

${\displaystyle S(t)=\prod \limits _{i:\ t_{i}\leq t}(1-h_{i})}$

時刻 ${\displaystyle t_{i}}$ までのハザード関数に対する尤度関数は、

${\displaystyle {\mathcal {L}}(h_{j:j\leq i}\mid d_{j:j\leq i},n_{j:j\leq i})=\prod _{j=1}^{i}h_{j}^{d_{j}}(1-h_{j})^{n_{j}-d_{j}}}$

となり、したがって対数尤度は次のようになる。

${\displaystyle \log({\mathcal {L}})=\sum _{j=1}^{i}\left(d_{j}\log(h_{j})+(n_{j}-d_{j})\log(1-h_{j})\right)}$

${\displaystyle h_{i}}$ に対する対数尤度の最大値は、

${\displaystyle {\frac {\partial \log({\mathcal {L}})}{\partial h_{i}}}={\frac {d_{i}}{{\widehat {h}}_{i}}}-{\frac {n_{i}-d_{i}}{1-{\widehat {h}}_{i}}}=0\Rightarrow {\widehat {h}}_{i}={\frac {d_{i}}{n_{i}}}}$

と求められる。ここでハット記号（${\displaystyle {\hat {}}}$）は最尤推定を表すのに用いられている。この結果から、次のように書くことができる。

${\displaystyle {\widehat {S}}(t)=\prod \limits _{i:\ t_{i}\leq t}\left(1-{\widehat {h}}_{i}\right)=\prod \limits _{i:\ t_{i}\leq t}\left(1-{\frac {d_{i}}{n_{i}}}\right)}$

カプラン=マイヤー推定量は、生存分析で最も頻繁に使用される手法の1つである。この推定量は、回復率、死亡の確率、および治療の有効性を検討するのに有用である。その共変量（英語版）で調整された生存率を推定する能力には限界がある。共変量で調整された生存率を推定するには、パラメトリック生存モデルおよびCox比例ハザード検定が有用であろう。

カプラン=マイヤー推定量は統計量であり、その分散を近似するためにいくつかの推定量が使用される。最も一般的な推定量の1つはGreenwoodの式である^[9]。

${\displaystyle {\widehat {\operatorname {Var} }}\left({\widehat {S}}(t)\right)={\widehat {S}}(t)^{2}\sum _{i:\ t_{i}\leq t}{\frac {d_{i}}{n_{i}(n_{i}-d_{i})}},}$

ここで、${\displaystyle d_{i}}$ は症例数、${\displaystyle n_{i}}$ は観測の総数で、${\displaystyle t_{i}<t}$ である。

場合によっては、異なるカプラン=マイヤー曲線を比較したいことがある。これは、ログランク検定、およびCox比例ハザード検定によって行うことができる。

この推定量で使用できる他の統計量は、Hall-Wellnerバンド（Hall-Wellner band）^[11]および等精度バンド（equal-precision band）である^[12]。

• Mathematica: 組み込み関数 SurvivalModelFit で生存モデルを作成^[13]。
• SAS（英語版） - カプラン=マイヤー推定量は proc lifetest プロシージャで実装されている^[14]。
• R - カプラン=マイヤー推定量は、 survival パッケージの一部として利用可能である^[15][16][17]。
• Stata - コマンド sts は、カプラン=マイヤー推定量を返す^[18][19]。
• Python - lifelines パッケージにはカプラン=マイヤー推定量が含まれている^[20]。
• MATLAB - ecdf 関数に 'function','survivor' 引数を指定すると、カプラン=マイヤー推定量を計算したり、プロットしたりすることができる^[21]。
• StatsDirect - カプラン=マイヤー推定量は Survival Analysis メニューに実装されている^[22]。
• SPSS - カプラン=マイヤー推定量は、 Analyze > Survival > Kaplan-Meier... メニューに実装されている^[23]。
• Julia - Survival.jl パッケージには、カプラン=マイヤー推定量が含まれている^[24]。

• 生存分析
• 超過頻度（英語版）
• 半数致死量
• ネルソン=アーラン推定量（英語版）

• Aalen, Odd; Borgan, Ornulf; Gjessing, Hakon (2008). Survival and Event History Analysis: A Process Point of View. Springer. pp. 90–104. ISBN 978-0-387-68560-1 
• Greene, William H. (2012). “Nonparametric and Semiparametric Approaches”. Econometric Analysis (Seventh ed.). Prentice-Hall. pp. 909–912. ISBN 978-0-273-75356-8. https://books.google.com/books?id=-WFPYgEACAAJ&pg=PA909 
• Jones, Andrew M.; Rice, Nigel; D'Uva, Teresa Bago; Balia, Silvia (2013). “Duration Data”. Applied Health Economics. London: Routledge. pp. 139–181. ISBN 978-0-415-67682-3. https://books.google.com/books?id=7tdcCol9mNEC&pg=PA141 
• Singer, Judith B.; Willett, John B. (2003). Applied Longitudinal Data Analysis: Modeling Change and Event Occurrence. New York: Oxford University Press. pp. 483–487. ISBN 0-19-515296-4. https://books.google.com/books?id=PpnA1M8VwR8C&pg=PA483 

• Dunn, Steve (2002年). “Survival Curves: Accrual and The Kaplan–Meier Estimate”. Cancer Guide. 2002年6月14日時点のオリジナルよりアーカイブ。2021年10月10日閲覧。
• Staub, Linda; Gekenidis, Alexandros (Mar 7, 2011). “Kaplan–Meier Survival Curves and the Log-Rank Test”. Survival Analysis. Seminar for Statistics (SfS). Eidgenössische Technische Hochschule Zürich (ETH) [Swiss Federal Institute of Technology Zurich]. http://stat.ethz.ch/education/semesters/ss2011/seminar/contents/handout_2.pdf 
• Three evolving Kaplan–Meier curves - YouTube

表 話 編 歴 統計学
標本調査	標本 母集団 無作為抽出 層化抽出法
記述統計学	連続データ 位置 平均 算術 幾何 調和 中央値 分位数 順序統計量 最頻値 階級値 分散 範囲 偏差 偏差値 標準偏差 標準誤差 変動係数 決定係数 相関係数 自己相関 共分散 自己共分散 分散共分散行列 百分率 統計的ばらつき モーメント 分散 歪度 尖度 カテゴリデータ 頻度 分割表
推計統計学	仮説検定 パラメトリック t検定 ウェルチのt検定 F検定 Z検定 二項検定 ジャック–ベラ検定 シャピロ–ウィルク検定 分散分析 共分散分析 ノンパラメトリック ウィルコクソンの符号順位検定 マン・ホイットニーのU検定 カイ二乗検定 イェイツのカイ二乗検定 累積カイ二乗検定 フィッシャーの正確確率検定 尤度比検定 G検定 アンダーソン–ダーリング検定 コルモゴロフ–スミルノフ検定 カイパー検定 マンテル検定 コクラン・マンテル・ヘンツェルの統計量 その他 帰無仮説 対立仮説 有意 棄却 区間推定 信頼区間 予測区間 モデル選択基準 AIC BIC WAIC MDL その他 偏り 偏りと分散 過剰適合 推定量 点推定 最尤推定 尤度関数 尤度方程式 最小距離推定 メタアナリシス ブートストラップ法
ベイズ統計学	確率 主観確率 ベイズ確率 事前確率 事後確率 最大事後確率 その他 ベイズ推定 ベイズ因子
相関	相関係数 ピアソンの積率相関係数 スピアマンの順位相関係数 ケンドールの順位相関係数 偏相関係数 その他 自己相関 空間的自己相関 相互相関 交絡変数 相関関係と因果関係 擬似相関 錯誤相関
モデル	一般線形モデル 一般化線形モデル 混合モデル 一般化線形混合モデル
回帰	線形 リッジ回帰 ラッソ回帰 エラスティックネット 非線形 k近傍法 回帰木 ランダムフォレスト ニューラルネットワーク サポートベクター回帰 射影追跡回帰 時系列 自己回帰モデル 自己回帰移動平均モデル ARCHモデル 対移動平均比率法 トレンド定常 傾向推定 共和分 構造変化
分類	線形 線形判別分析 ロジスティック回帰 単純ベイズ分類器 単純パーセプトロン 線形サポートベクターマシン 二次 二次判別分析 非線形 k近傍法 決定木 ランダムフォレスト ニューラルネットワーク サポートベクターマシン ベイジアンネットワーク 隠れマルコフモデル その他 二項分類 多クラス分類 第一種過誤と第二種過誤
教師なし学習	クラスタリング k平均法（k-means++法） DBSCAN 密度推定（英語版） カーネル密度推定（カーネル） その他 主成分分析 独立成分分析 自己組織化写像
統計図表	棒グラフ バイプロット（英語版） 箱ひげ図 管理図 フォレストプロット ヒストグラム 円グラフ Q-Qプロット ランチャート 散布図 幹葉図 バイオリン図 ドットプロット ヒートマップ 階級区分図
生存時間分析	生存時間関数 カプラン＝マイヤー推定量 ログランク検定 故障率 比例ハザードモデル
歴史	統計学の創始者 確率論と統計学の歩み
応用	社会統計学 疫学 生物統計学 系統学 統計力学 計量経済学 機械学習 実験計画法
出版物	統計学に関する学術誌一覧 重要な出版物
全般	統計 頻度主義統計学 統計学および機械学習の評価指標
その他	方向統計学 S言語 R言語 統計検定 社会調査士 JDLA Deep Learning For GENERAL JDLA Deep Learning for ENGINEER 実用数学技能検定 品質管理検定
カテゴリ