CDF
詳細
- CDF[dist,x]は観測値が x 以下の値を取る確率を返す.
- CDF[dist,x]はProbability[ξ≤x,ξdist]に等しい.
- CDF[dist,{x1,…,xn}]はProbability[ξ1≤x1∧⋯∧ξn≤xn,{ξ1,…,ξn}dist]に等しい.
- CDF[dist,x]は1-SurvivalFunction[dist,x]に等しい.
例題
すべて開く すべて閉じる例 (4)
CDF[StudentTDistribution[ν], x]Plot[CDF[StudentTDistribution[4], x], {x, -6, 6}, Filling -> Axis]CDF[PoissonDistribution[μ], k]DiscretePlot[CDF[PoissonDistribution[3], k], {k, 0, 10}, ExtentSize -> Right, ExtentMarkers -> {"Filled", "Empty"}]Plot3D[CDF[BinormalDistribution[1 / 2], {x, y}], {x, -3, 3}, {y, -3, 3}]DiscretePlot3D[CDF[MultivariatePoissonDistribution[5, {2, 3}], {x, y}], {x, 0, 12}, {y, 0, 12}, ExtentSize -> Right]スコープ (24)
パラメトリック分布 (7)
CDF[WeibullDistribution[2, 5], 4]CDF[NegativeBinomialDistribution[20, 1 / 3], 5]CDF[WeibullDistribution[2, 5], 4.]CDF[WeibullDistribution[2, 5], N[4, 25]]厳密ではない母数を持つ離散分布について任意精度の結果を求める:
CDF[NegativeBinomialDistribution[20, N[1 / 3, 30]], 5]CDFの記号式を入手する:
CDF[ChiSquareDistribution[ν], x]CDF[UniformDistribution[{{a, b}, {c, d}}], {x, y}]CDF[GammaDistribution[1, 2]]%[3]CDFは要素単位でリストに縫い込まれる:
CDF[NormalDistribution[], {0.0, 0.2, 0.3}]CDF[BinormalDistribution[1 / 2], {{0.0, 0.0}, {0.2, 0.2}, {0.3, 0.3}}]ノンパラメトリック分布 (4)
ノンパラメトリック分布のCDF:
r = RandomVariate[NormalDistribution[], 10 ^ 4];CDF[HistogramDistribution[r], 0.2]CDF[SmoothKernelDistribution[r], 0.2]CDF[KernelMixtureDistribution[r], 0.2]CDF[SurvivalDistribution[r], 0.2]CDF[EmpiricalDistribution[r], 0.2]CDF[NormalDistribution[], 0.2]Plot[CDF[HistogramDistribution[RandomVariate[NormalDistribution[], 10 ^ 3]], x]//Evaluate, {x, -3, 3}, Filling -> Axis, Exclusions -> None]CDF[KernelMixtureDistribution[RandomVariate[GammaDistribution[1, 2], 10
]], x]Plot3D[CDF[SmoothKernelDistribution[RandomVariate[BinormalDistribution[1 / 3], 30]], {x, y}]//Evaluate, {x, -4, 4}, {y, -4, 4}, PlotRange -> {0, 1.2}]派生分布 (10)
CDF[ProductDistribution[TriangularDistribution[{2, 4}], TriangularDistribution[{1, 7}]], {x, y}]Plot3D[%, {x, 1, 5}, {y, 0, 8}, PlotRange -> All, Exclusions -> None]CDF[MixtureDistribution[{1, 4}, {NormalDistribution[a, b], NormalDistribution[c, d]}], x]Plot[% /. {a -> 0, b -> 1, c -> 6, d -> 3 / 2}, {x, -2, 10}, Filling -> Axis]CDF[TransformedDistribution[x ^ 2, xPoissonDistribution[2]], y]DiscretePlot[%, {y, 0, 50}]CDF[CensoredDistribution[{-2, 4}, CauchyDistribution[0, 1]], x]Plot[{CDF[CauchyDistribution[0, 1], x], %}, {x, -4, 6}, PlotStyle -> Thick, Filling -> Axis]CDF[TruncatedDistribution[{2, 3}, TriangularDistribution[{1, 4}]], x]Plot[{CDF[TriangularDistribution[{1, 4}], x], %}, {x, 1, 5}, Filling -> Axis, Exclusions -> None]CDF[ParameterMixtureDistribution[GeometricDistribution[r], rUniformDistribution[{1 / 2, 2 / 3}]], x]DiscretePlot[%, {x, 0, 5}, ExtentSize -> {0, 1}]CDF[CopulaDistribution[{"Frank", 3}, {ExponentialDistribution[2], ExponentialDistribution[5]}], {x, y}]Plot3D[%, {x, 0, 3}, {y, 0, 3}]CDF[ProbabilityDistribution[(Sqrt[2] / Pi)(1 / (1 + x ^ 4)), {x, -Infinity, Infinity}], x]CDF[ProbabilityDistribution[{"CDF", Piecewise[{{-2 + x, 2 ≤ x ≤ 3}, {1, x > 3}}, 0]}, {x, -Infinity, Infinity}], x]それ自体のSurvivalFunctionで定義されるもの:
CDF[ProbabilityDistribution[{"SF", Piecewise[{{1 - 2(-2 + x) ^ 2, 2 ≤ x ≤ 5 / 2}, {2(3 - x) ^ 2, 5 / 2 < x ≤ 3}, {1, x < 2}}, 0]}, {x, -Infinity, Infinity}], x]CDF[MarginalDistribution[ProbabilityDistribution[E^-(y^2/2) π^-3 / 2 (1 + x^4)^-1, {x, -∞, ∞}, {y, -∞, ∞}], 2], y]QuantityDistributionの累積分布関数は,引数が互換単位を持つQuantityであると仮定する:
𝒟 = ExponentialDistribution[Quantity[2.2, 1 / "Days"]]CDF[𝒟, t]% /. t -> Quantity[MixedMagnitude[{3, 20}], MixedUnit[{"Hours", "Minutes"}]]CDF[𝒟, Quantity[MixedMagnitude[{3, 20}], MixedUnit[{"Hours", "Minutes"}]]]ランダム過程 (3)
離散状態ランダム過程のSliceDistributionについて累積分布関数を求める:
CDF[PoissonProcess[μ][2], x]DiscretePlot[Evaluate[% /. μ -> 2], {x, 0, 15}, ExtentSize -> 0.5]CDF[WienerProcess[][2], x]Plot[%, {x, -1, 3}, Filling -> Axis]離散状態過程について,複数の時間スライスの累積分布関数を求める:
CDF[PoissonProcess[μ][{2, 3}], {x, y}]DiscretePlot3D[Evaluate[% /. μ -> 2], {x, 0, 10}, {y, 0, 10}, ExtentSize -> 0.5]Plot3D[CDF[WienerProcess[][{2, 3}], {x, y}], {x, -3, 3}, {y, -3, 3}]離散状態ランダム過程のStationaryDistributionについての累積分布関数を求める:
CDF[StationaryDistribution[QueueingProcess[λ, μ, 2]], x]//FullSimplifyDiscretePlot[Evaluate[% /. {μ -> 3, λ -> 2.9}], {x, 0, 10}, ExtentSize -> 0.5]一般化と拡張 (1)
CDFは要素単位でリストに縫い込まれる:
CDF[NormalDistribution[], {0.2, 0.3}]{CDF[NormalDistribution[], 0.2], CDF[NormalDistribution[], 0.3]}CDF[BinormalDistribution[1 / 2], {{0.0, 0.0}, {0.2, 0.2}, {0.3, 0.3}}]アプリケーション (5)
Plot[CDF[NormalDistribution[0, 1], x], {x, -3, 3}]Plot[CDF[BinomialDistribution[20, .5], k], {k, 0, 20}]CDF[StudentTDistribution[20], 3.5]NProbability[t ≤ 3.5, tStudentTDistribution[20]]1 - CDF[StudentTDistribution[20], 3.5]NProbability[t > 3.5, tStudentTDistribution[20]]2CDF[StudentTDistribution[20], -3.5]NProbability[Abs[t] > 3.5, tStudentTDistribution[20]]CDFをデータ上にマッピングすることで,データの確率積分変換を実行する:
data = RandomVariate[NormalDistribution[], 10 ^ 4];tdata = CDF[NormalDistribution[], data];もとのデータが与えられた分布に従っているなら,変換されたデータは一様分布に従う:
Histogram[tdata, Automatic, "PDF"]変換データを一様分布と,もとのデータをもとの分布と比較すると,適用可能なすべての検定について同一の結果が与えられる:
Row[{DistributionFitTest[data, NormalDistribution[], {"TestStatisticTable", All}], DistributionFitTest[tdata, UniformDistribution[], {"TestStatisticTable", All}]}, Spacer[20]]保険数理で使われるような,一般的な生存分布関数(SDF)を定義する:
SDF[dist_, x_] := 1 - CDF[dist, x]SDF[ExponentialDistribution[.05], x]Plot[%, {x, 0, 100}, PlotRange -> All]SurvivalFunctionで与えられる式と比較する:
SurvivalFunction[ExponentialDistribution[.05], x]% - SDF[ExponentialDistribution[.05], x]//SimplifyFM[dist_, x_] := -D[SDF[dist, x], x] / SDF[dist, x]FM[ExponentialDistribution[λ], x]PiecewiseExpand[%]HazardFunctionで与えられる式と比較する:
HazardFunction[ExponentialDistribution[λ], x]Simplify[% - FM[ExponentialDistribution[λ], x], x > 0]特性と関係 (12)
一変量分布で
となる確率は,それ自身の累積分布関数で与えられる:
{Probability[x ≤ a, xNormalDistribution[]], CDF[NormalDistribution[], a]}{Probability[x ≤ 5, xGeometricDistribution[1 / 3]], CDF[GeometricDistribution[1 / 3], 5]}多変量分布で
となる確率はそれ自身の累積分布関数で与えられる:
Probability[x ≤ 1 / 2∧y ≤ 1 / 3, {x, y}DirichletDistribution[{1, 2, 3}]]CDF[DirichletDistribution[{1, 2, 3}], {1 / 2, 1 / 3}]CDF[NormalDistribution[], -∞]CDF[NormalDistribution[], ∞]CDF[BinormalDistribution[1 / 2], {-∞, -∞}]CDF[BinormalDistribution[1 / 2], {∞, ∞}]Integrate[PDF[ExponentialDistribution[λ], x], {x, 0, y}, Assumptions -> λ > 0 && y∈Reals]//SimplifyCDF[ExponentialDistribution[λ], y]Sum[PDF[GeometricDistribution[p], m], {m, -∞, Floor[n]}]//FullSimplifyCDF[GeometricDistribution[p], n]Simplify[% - %%, Im[n] == 0]CDFとInverseCDFは連続分布の逆分布である:
dist = ExponentialDistribution[λ];
assum = DistributionParameterAssumptions[dist];Simplify[InverseCDF[dist, CDF[dist, x]] == x, assum && x > 0]Simplify[CDF[dist, InverseCDF[dist, q]] == q, assum && 0 < q < 1]CDFとInverseCDFを合成すると離散分布のステップ関数ができる:
dist = PoissonDistribution[2];Plot[CDF[dist, InverseCDF[dist, q]], {q, 0, 1}]Plot[InverseCDF[dist, CDF[dist, y]], {y, 0, 20}]dist = ExponentialDistribution[λ];Assuming[x > 0 && λ > 0, Simplify[Quantile[dist, CDF[dist, x]] == x]]Assuming[1 > q > 0 && λ > 0, Simplify[CDF[dist, Quantile[dist, q]] == q]]CDF[UniformDistribution[], x]SurvivalFunction[UniformDistribution[], x]% + %%//SimplifyProbabilityPlotは,経験的CDFと推定的CDFのパラメトリックプロットを生成する:
data = RandomVariate[ExponentialDistribution[1], 100];ProbabilityPlot[data, ExponentialDistribution[λ]]CDFは,左に極限がある右連続関数である:
DiscretePlot[CDF[BenfordDistribution[7], x], {x, 1, 8}, ExtentSize -> Right, ExtentMarkers -> {"Filled", "Empty"}]CDF[BenfordDistribution[7], x]//PiecewiseExpand考えられる問題 (2)
CDF[StableDistribution[0, 1.8, -0.5, 1, 2], x]CDF[StableDistribution[0, 1.8, -0.5, 1, 2], 0.3]記号式に無効な値を代入すると意味のない結果になることがある:
CDF[CauchyDistribution[2, 3], y] /. {y -> 1.I}CDFに引数として明示的な値を与えると,完全な検証が行われるので,無効な結果は返されない:
CDF[CauchyDistribution[2, 3], 1.I]おもしろい例題 (1)
二変量打切り分布についてのCDF:
𝒟 = CensoredDistribution[{{1 / 3, 1 / 3}, {1 / 3, 1 / 4}}, DirichletDistribution[{3, 2, 4}]];Plot3D[{CDF[DirichletDistribution[{3, 2, 4}], {x, y}], CDF[𝒟, {x, y}]}//Evaluate, {x, -1 / 10, 3 / 4}, {y, -1 / 10, 4 / 5}, ExclusionsStyle -> Red, ImageSize -> Small, PlotPoints -> 35, ViewPoint -> #]& /@ {{2, 0, 1}, {-2, -2, 1}}テキスト
Wolfram Research (2007), CDF, Wolfram言語関数, https://reference.wolfram.com/language/ref/CDF.html (2010年に更新).
CMS
Wolfram Language. 2007. "CDF." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2010. https://reference.wolfram.com/language/ref/CDF.html.
APA
Wolfram Language. (2007). CDF. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/CDF.html
BibTeX
@misc{reference.wolfram_2026_cdf, author="Wolfram Research", title="{CDF}", year="2010", howpublished="\url{https://reference.wolfram.com/language/ref/CDF.html}", note=[Accessed: 13-August-2026]}
BibLaTeX
@online{reference.wolfram_2026_cdf, organization={Wolfram Research}, title={CDF}, year={2010}, url={https://reference.wolfram.com/language/ref/CDF.html}, note=[Accessed: 13-August-2026]}