{"type":"rich","description":"\u5c11\u3057\u4e8b\u60c5\u304c\u3042\u3063\u3066?Lean4\u3067\u306e\u78ba\u7387\u306e\u53d6\u308a\u6271\u3044\u306b\u3064\u3044\u3066\u52c9\u5f37\u3092\u3057\u3066\u3044\u307e\u3059\u3002\u3068\u306f\u8a00\u3063\u3066\u3082\u6c7a\u3057\u3066\u672c\u683c\u7684\u306a\u78ba\u7387\u8ad6(\u6e2c\u5ea6\u8ad6\u3092\u30d9\u30fc\u30b9\u306b\u3057\u305f\u78ba\u7387\u5bc6\u5ea6\u95a2\u6570\u3084\u78ba\u7387\u5206\u5e03\u306a\u3069)\u3067\u306f\u306a\u304f\u3001\u7b97\u6570\u3084\u4e2d\u5b66\u6821\u3067\u7fd2\u3046\u30ec\u30d9\u30eb\u306e\u78ba\u7387\u306e\u8a71\u3067\u3059\u3002\u3044\u308f\u3086\u308b\u30b3\u30a4\u30f3\u30c8\u30b9\u306e\u78ba\u7387\u3084\u30b5\u30a4\u30b3\u30ed\u306e\u78ba\u7387\u306a\u3069\u3067\u3059\u3002 \u3053\u308c\u3089\u306f\u96e2\u6563\u7684\u306a\u4e8b\u8c61\u306e\u78ba\u7387\u3068\u3057\u3066\u78ba\u7387\u8cea\u91cf\u95a2\u6570\u3068\u3044\u3046\u5f62\u3067\u307e\u3068\u3081\u3089\u308c\u3066\u304a\u308a\u3001Lean4\u3067\u306fPMF (Probability Mass Function)\u3068\u3044\u3046\u5f62\u3067\u5f62\u5f0f\u5316\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u78ba\u7387\u8cea\u91cf\u95a2\u6570\u306a\u3069\u3068\u8a00\u308f\u308c\u308b\u3068\u3084\u306f\u308a\u5c02\u9580\u7528\u8a9e\u306b\u3057\u304b\u898b\u3048\u307e\u305b\u3093\u304c\u3001\u3088\u3046\u306f\u96e2\u6563\u7684\u306a\u78ba\u7387\u4e8b\u8c61\u306b\u78ba\u7387\u3092\u5272\u308a\u5f53\u3066\u308b\u4ed5\u7d44\u307f\u3067\u3059\u3002\u4f8b\u3048\u3070\u30b3\u30a4\u30f3\u30c8\u30b9\u3067\u306f\u78ba\u7387\u4e8b\u8c61\u306f\u300c\u8868\u304c\u51fa\u308b\u300d\u300c\u88cf\u304c\u51fa\u308b\u2026","image_url":"https://cdn-ak.f.st-hatena.com/images/fotolife/j/jurupapa/20250504/20250504083020.jpg","blog_title":"Maxima \u3067\u7db4\u308b\u6570\u5b66\u306e\u65c5","author_name":"jurupapa","version":"1.0","height":"190","provider_url":"https://hatena.blog","categories":["\u6570\u5b66"],"title":"-\u6570\u5b66- \u78ba\u7387\u3068Lean4","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmaxima.hatenablog.jp%2Fentry%2F2025%2F05%2F08%2F190000\" title=\"-\u6570\u5b66- \u78ba\u7387\u3068Lean4 - Maxima \u3067\u7db4\u308b\u6570\u5b66\u306e\u65c5\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","url":"https://maxima.hatenablog.jp/entry/2025/05/08/190000","author_url":"https://blog.hatena.ne.jp/jurupapa/","published":"2025-05-08 19:00:00","provider_name":"Hatena Blog","width":"100%","blog_url":"https://maxima.hatenablog.jp/"}