{"id":2603,"date":"2026-09-23T06:45:56","date_gmt":"2026-09-22T21:45:56","guid":{"rendered":"https:\/\/bencarboo.com\/?p=2603"},"modified":"2026-09-23T06:45:58","modified_gmt":"2026-09-22T21:45:58","slug":"%e3%80%90%e5%be%b9%e5%ba%95%e6%a4%9c%e8%a8%bc%e3%80%91%e5%91%bd%e9%a1%8c%e3%81%a3%e3%81%a6%e7%9c%9f%e5%81%bd%e8%a8%bc%e6%98%8e%e3%81%95%e3%82%8c%e3%81%a6%e3%81%aa%e3%81%84%e7%ae%b4%e8%a8%80%e3%83%bb","status":"publish","type":"post","link":"https:\/\/bencarboo.com\/?p=2603","title":{"rendered":"\u3010\u5fb9\u5e95\u691c\u8a3c\u3011\u547d\u984c\u3063\u3066\u771f\u507d\u8a3c\u660e\u3055\u308c\u3066\u306a\u3044\u7bb4\u8a00\u30fb\u3053\u3068\u308f\u3056\u30fb\u30df\u30fc\u30e0\u69cb\u6587\u3058\u3083\u306d\uff1f\u8aac"},"content":{"rendered":"<p>\u3082\u3061\u308d\u3093\u3067\u3059\u3002\u4eca\u56de\u306e\u6838\u5fc3\u306f\u304b\u306a\u308a\u9762\u767d\u304f\u3001**\u300c\u547d\u984c\uff1d\u307e\u3060\u8a3c\u660e\u3055\u308c\u3066\u3044\u306a\u3044\u4e3b\u5f35\u300d\u3067\u306f\u306a\u304f\u3001\u300c\u771f\u507d\u3092\u6301\u3061\u3046\u308b\u4e3b\u5f35\u300d**\u306a\u306e\u3067\u3001\u7bb4\u8a00\u30fb\u3053\u3068\u308f\u3056\u30fb\u30df\u30fc\u30e0\u69cb\u6587\u3068\u306e\u63a5\u7d9a\u3092\u6574\u7406\u3059\u308b\u3068\u3001\u304b\u306a\u308a\u7dba\u9e97\u306b\u6570\u7406\u5316\u3067\u304d\u307e\u3059\u3002<br \/>\n\u7279\u306b\u300c\u672a\u8a3c\u660e\u3060\u304b\u3089\u547d\u984c\u300d\u3068\u3044\u3046\u90e8\u5206\u306f\u534a\u5206\u6b63\u3057\u304f\u534a\u5206\u9055\u3046\u3001\u3068\u3044\u3046\u30aa\u30c1\u304c\u91cd\u8981\u3067\u3059\u3002<\/p>\n<h1>\u3010\u5fb9\u5e95\u691c\u8a3c\u3011\u547d\u984c\u3063\u3066\u771f\u507d\u8a3c\u660e\u3055\u308c\u3066\u306a\u3044\u7bb4\u8a00\u30fb\u3053\u3068\u308f\u3056\u30fb\u30df\u30fc\u30e0\u69cb\u6587\u3058\u3083\u306d\uff1f\u8aac<\/h1>\n<p><strong>\u300c\u547d\u984c\u3063\u3066\u8981\u3059\u308b\u306b\u3001\u307e\u3060\u771f\u507d\u304c\u78ba\u5b9a\u3057\u3066\u3044\u306a\u3044\u7bb4\u8a00\u30fb\u3053\u3068\u308f\u3056\u30fb\u30df\u30fc\u30e0\u69cb\u6587\u306a\u306e\u3067\u306f\uff1f\u300d<\/strong><\/p>\n<p>\u3053\u306e\u4e00\u898b\u3059\u308b\u3068\u66b4\u8ad6\u3001\u5b9f\u306f<strong>\u304b\u306a\u308a\u8ad6\u7406\u5b66\u306e\u6838\u5fc3\u306b\u63a5\u8fd1\u3057\u3066\u3044\u308b\u3002<\/strong><\/p>\n<p>\u305f\u3060\u3057\u3001\u30c1\u30e3\u30c3\u30d4\u30fc\u5148\u751f\u304b\u3089\u6700\u521d\u306b\u4e00\u767a\u3060\u3051\u8a02\u6b63\u3092\u5165\u308c\u3088\u3046\u3002<\/p>\n<blockquote>\n<p><strong>\u547d\u984c \u2260 \u672a\u8a3c\u660e\u306e\u547d\u984c<\/strong><\/p>\n<\/blockquote>\n<p>\u547d\u984c\u3068\u306f\u57fa\u672c\u7684\u306b\u3001<strong>\u771f\u307e\u305f\u306f\u507d\u3068\u3044\u3046\u771f\u7406\u5024\u3092\u6301\u3064\u3082\u306e<\/strong>\u3092\u6307\u3059\u3002<\/p>\n<p>\u3064\u307e\u308a\u300c\u8a3c\u660e\u3055\u308c\u3066\u3044\u308b\u304b\u3069\u3046\u304b\u300d\u306f\u3001\u547d\u984c\u3067\u3042\u308b\u305f\u3081\u306e\u5fc5\u9808\u6761\u4ef6\u3067\u306f\u306a\u3044\u3002<\/p>\n<p>\u5b9f\u969b\u3001\u8ad6\u7406\u5b66\u3067\u306f\u300c\u771f\u507d\u304c\u307e\u3060\u77e5\u3089\u308c\u3066\u3044\u306a\u3044\u300d\u547d\u984c\u3082\u666e\u901a\u306b\u5b58\u5728\u3059\u308b\u3002\u305f\u3068\u3048\u3070\u6570\u5b66\u4e0a\u306e\u4e88\u60f3\u306f\u3001\u8a3c\u660e\u3055\u308c\u308b\u524d\u304b\u3089\u547d\u984c\u3068\u3057\u3066\u6271\u3048\u308b\u3002<\/p>\n<p>\u3067\u306f\u3001\u3053\u3068\u308f\u3056\u30fb\u7bb4\u8a00\u30fb\u30df\u30fc\u30e0\u69cb\u6587\u306f\u3069\u3046\u306a\u306e\u304b\u3002<\/p>\n<p>\u3053\u3053\u304b\u3089\u304c\u672c\u984c\u3067\u3042\u308b\u3002<\/p>\n<h2>\u7b2c1\u7ae0\u3000\u305d\u3082\u305d\u3082\u300c\u547d\u984c\u300d\u3068\u306f\u4f55\u306a\u306e\u304b<\/h2>\n<p>\u53e4\u5178\u7684\u306a\u8ad6\u7406\u5b66\u3067\u306f\u3001\u547d\u984c\u306f\u3056\u3063\u304f\u308a\u8a00\u3048\u3070<strong>\u771f\u304b\u507d\u304b\u3092\u5224\u5b9a\u3067\u304d\u308b\u5185\u5bb9<\/strong>\u3067\u3042\u308b\u3002<\/p>\n<p>\u4f8b\u3048\u3070\u3001<\/p>\n<pre>\nP\uff1a\u300c2\uff0b2\uff1d4\u300d\n<\/pre>\n<p>\u3053\u308c\u306f\u660e\u3089\u304b\u306b\u771f\u3002<\/p>\n<pre>\nQ\uff1a\u300c2\uff0b2\uff1d5\u300d\n<\/pre>\n<p>\u3053\u308c\u306f\u660e\u3089\u304b\u306b\u507d\u3002<\/p>\n<p>\u3057\u304b\u3057\u91cd\u8981\u306a\u306e\u306f\u3001<\/p>\n<p><strong>\u300c\u507d\u3060\u304b\u3089\u547d\u984c\u3067\u306f\u306a\u3044\u300d\u306e\u3067\u306f\u306a\u3044\u3002<\/strong><\/p>\n<p>\u3080\u3057\u308d<strong>\u507d\u3067\u3082\u547d\u984c<\/strong>\u306a\u306e\u3067\u3042\u308b\u3002<\/p>\n<p>\u547d\u984c\u8ad6\u7406\u3067\u306f\u3001\u547d\u984c\u304c\u771f\u304b\u507d\u304b\u3068\u3044\u3046<strong>\u771f\u7406\u5024<\/strong>\u3092\u6301\u3064\u3053\u3068\u304c\u30dd\u30a4\u30f3\u30c8\u306b\u306a\u308b\u3002<\/p>\n<h2>\u7b2c2\u7ae0\u3000\u3053\u3053\u3067\u300c\u672a\u8a3c\u660e\u300d\u3068\u3044\u3046\u6982\u5ff5\u3092\u6295\u5165\u3059\u308b\u3068\u2026\u2026<\/h2>\n<p>\u3053\u3053\u3067\u30aa\u30bf\u30af\u304f\u3093\u304c\u9583\u304f\u3002<\/p>\n<blockquote>\n<p>\u300c\u3058\u3083\u3042\u547d\u984c\u3063\u3066\u3001\u307e\u3060\u8a3c\u660e\u3055\u308c\u3066\u306a\u3044\u6587\u7ae0\u306e\u3053\u3068\u3067\u306f\uff1f\u300d<\/p>\n<\/blockquote>\n<p>\u60dc\u3057\u3044\u3002<\/p>\n<p><strong>\u8a3c\u660e\u53ef\u80fd\u6027\u3068\u771f\u7406\u5024\u306f\u5225\u7269<\/strong>\u3060\u304b\u3089\u3067\u3042\u308b\u3002<\/p>\n<p>\u4f8b\u3048\u3070\u3001\u3042\u308b\u6570\u5b66\u7684\u4e3b\u5f35P\u306b\u3064\u3044\u3066\u3001<\/p>\n<pre>\nP\uff1d\u300c\u3042\u308b\u6761\u4ef6\u3092\u6e80\u305f\u3059\u3059\u3079\u3066\u306e\u5bfe\u8c61\u306b\u3064\u3044\u3066\u6027\u8ceaX\u304c\u6210\u7acb\u3059\u308b\u300d\n<\/pre>\n<p>\u3068\u3059\u308b\u3002<\/p>\n<p>\u3053\u306eP\u306b\u3064\u3044\u3066\u3001<\/p>\n<ul>\n<li>\u771f\u3067\u3042\u308b<\/li>\n<li>\u507d\u3067\u3042\u308b<\/li>\n<li>\u771f\u507d\u306f\u307e\u3060\u4eba\u9593\u306b\u306f\u5206\u304b\u3089\u306a\u3044<\/li>\n<\/ul>\n<p>\u3068\u3044\u3046\u8a8d\u8b58\u4e0a\u306e\u72b6\u614b\u304c\u3042\u308a\u5f97\u308b\u3002<\/p>\n<p>\u3057\u304b\u3057\u300c\u771f\u507d\u304c\u307e\u3060\u5206\u304b\u3089\u306a\u3044\u300d\u3053\u3068\u3068\u300c\u547d\u984c\u3067\u306f\u306a\u3044\u300d\u3053\u3068\u306f\u5225\u554f\u984c\u3067\u3042\u308b\u3002<\/p>\n<p>\u5b9f\u969b\u3001\u30b4\u30fc\u30eb\u30c9\u30d0\u30c3\u30cf\u4e88\u60f3\u306e\u3088\u3046\u306b\u3001\u771f\u507d\u304c\u78ba\u5b9a\u3057\u3066\u3044\u306a\u3044\u6570\u5b66\u7684\u4e3b\u5f35\u3082\u547d\u984c\u3068\u3057\u3066\u6271\u3048\u308b\u3002<\/p>\n<div>\n<p><strong>\u3057\u305f\u304c\u3063\u3066\u3001\u3088\u308a\u6b63\u78ba\u306a\u5f0f\u306f\u3053\u3046\u3060\u3002<\/strong><\/p>\n<p style=\"text-align:center;font-size:1.2em;\">\n\u547d\u984c \uff1d \u771f\u507d\u3092\u6301\u3061\u3046\u308b\u4e3b\u5f35\n<\/p>\n<p style=\"text-align:center;font-size:1.2em;\">\n\u4e88\u60f3 \uff1d \u771f\u507d\u3092\u6301\u3064\u304c\u3001\u307e\u3060\u8a3c\u660e\u7b49\u306b\u3088\u3063\u3066\u78ba\u5b9a\u3057\u3066\u3044\u306a\u3044\u4e3b\u5f35\n<\/p>\n<\/div>\n<h2>\u7b2c3\u7ae0\u3000\u3067\u306f\u300c\u3053\u3068\u308f\u3056\u300d\u306f\u547d\u984c\u306a\u306e\u304b\uff1f<\/h2>\n<p>\u3053\u3053\u3067\u3044\u3088\u3044\u3088\u4eca\u56de\u306e\u8aac\u3002<\/p>\n<p>\u4f8b\u3048\u3070\u3001<\/p>\n<blockquote>\n<p>\u300c\u77f3\u306e\u4e0a\u306b\u3082\u4e09\u5e74\u300d<\/p>\n<\/blockquote>\n<p>\u3053\u308c\u3092\u305d\u306e\u307e\u307e\u8ad6\u7406\u5b66\u7684\u547d\u984c\u306b\u3057\u3088\u3046\u3068\u3059\u308b\u3068\u3001\u610f\u5916\u3068\u96e3\u3057\u3044\u3002<\/p>\n<p>\u306a\u305c\u306a\u3089\u3001\u3053\u308c\u306f\u6570\u5b66\u306e<\/p>\n<pre>\n\u2200x P(x)\n<\/pre>\n<p>\u306e\u3088\u3046\u306b\u660e\u78ba\u306a\u5bfe\u8c61\u30fb\u6761\u4ef6\u30fb\u8ff0\u8a9e\u3092\u6307\u5b9a\u3057\u3066\u3044\u308b\u308f\u3051\u3067\u306f\u306a\u3044\u304b\u3089\u3060\u3002<\/p>\n<p>\u300c\u4e09\u5e74\u6211\u6162\u3059\u308c\u3070\u5fc5\u305a\u6210\u529f\u3059\u308b\u300d\u3068\u3044\u3046\u610f\u5473\u306a\u3089\u3001<\/p>\n<pre>\n\u300c\u3042\u308b\u72b6\u6cc1\u3067\u306f\u3001\u9577\u671f\u9593\u8010\u3048\u308c\u3070\u6210\u529f\u3059\u308b\u300d\n<\/pre>\n<p>\u306a\u3069\u306b\u5f62\u5f0f\u5316\u3067\u304d\u308b\u304c\u3001\u300c\u5fc5\u305a\u300d\u3068\u3044\u3046\u610f\u5473\u306a\u306e\u304b\u3001\u300c\u4e00\u822c\u306b\u305d\u3046\u3044\u3046\u50be\u5411\u304c\u3042\u308b\u300d\u3068\u3044\u3046\u610f\u5473\u306a\u306e\u304b\u3067\u5168\u304f\u9055\u3063\u3066\u304f\u308b\u3002<\/p>\n<p>\u3064\u307e\u308a\u3001\u3053\u3068\u308f\u3056\u306f\u3057\u3070\u3057\u3070<strong>\u771f\u507d\u5224\u5b9a\u4ee5\u524d\u306b\u610f\u5473\u306e\u5f62\u5f0f\u5316\u304c\u5fc5\u8981<\/strong>\u306a\u306e\u3067\u3042\u308b\u3002<\/p>\n<h2>\u7b2c4\u7ae0\u3000\u300c\u72ac\u3082\u6b69\u3051\u3070\u68d2\u306b\u5f53\u305f\u308b\u300d\u3092\u6570\u7406\u5316\u3057\u3066\u307f\u308b<\/h2>\n<p>\u4f8b\u3048\u3070\u3001<\/p>\n<blockquote>\n<p>\u300c\u72ac\u3082\u6b69\u3051\u3070\u68d2\u306b\u5f53\u305f\u308b\u300d<\/p>\n<\/blockquote>\n<p>\u3053\u308c\u3092\u96d1\u306b\u6570\u7406\u5316\u3059\u308b\u3068\u3001<\/p>\n<pre>\n\u6b69\u304f\n\u2193\n\u4f55\u3089\u304b\u306e\u4e88\u671f\u305b\u306c\u51fa\u6765\u4e8b\u306b\u906d\u9047\u3059\u308b\n<\/pre>\n<p>\u3068\u3044\u3046\u56e0\u679c\u30fb\u78ba\u7387\u7684\u4e3b\u5f35\u306b\u898b\u3048\u308b\u3002<\/p>\n<p>\u3059\u308b\u3068\u3001<\/p>\n<pre>\nP(\u906d\u9047 | \u6b69\u304f) \uff1e P(\u906d\u9047 | \u6b69\u304b\u306a\u3044)\n<\/pre>\n<p>\u306e\u3088\u3046\u306a\u4eee\u8aac\u306b\u5909\u63db\u3067\u304d\u308b\u3002<\/p>\n<p>\u3053\u3046\u306a\u308b\u3068\u7a81\u7136\u3001\u3053\u3068\u308f\u3056\u304c<strong>\u7d4c\u9a13\u7684\u4eee\u8aac<\/strong>\u306b\u306a\u308b\u3002<\/p>\n<p>\u3064\u307e\u308a\u3001<\/p>\n<blockquote>\n<p>\u3053\u3068\u308f\u3056 \u2192 \u81ea\u7136\u8a00\u8a9e\u306b\u3088\u308b\u5727\u7e2e\u3055\u308c\u305f\u4eee\u8aac \u2192 \u5f62\u5f0f\u5316 \u2192 \u691c\u8a3c\u53ef\u80fd\u306a\u547d\u984c<\/p>\n<\/blockquote>\n<p>\u3068\u3044\u3046\u5909\u63db\u304c\u53ef\u80fd\u306b\u306a\u308b\u3002<\/p>\n<p>\u3053\u3053\u304c\u4eca\u56de\u306e\u8aac\u306e<strong>\u304b\u306a\u308a\u5f37\u3044\u90e8\u5206<\/strong>\u3067\u3042\u308b\u3002<\/p>\n<h2>\u7b2c5\u7ae0\u3000\u7bb4\u8a00\u306f\u3055\u3089\u306b\u300c\u547d\u984c\u3063\u307d\u3044\u300d<\/h2>\n<p>\u4f8b\u3048\u3070\u3001<\/p>\n<blockquote>\n<p>\u300c\u5931\u6557\u306f\u6210\u529f\u306e\u3082\u3068\u300d<\/p>\n<\/blockquote>\n<p>\u3053\u308c\u3082\u305d\u306e\u307e\u307e\u3067\u306f\u66d6\u6627\u3060\u3002<\/p>\n<p>\u3057\u304b\u3057\u3001<\/p>\n<pre>\n\u5931\u6557\u7d4c\u9a13\u3092\u5f97\u305f\u4eba\n\u2193\n\u5931\u6557\u539f\u56e0\u3092\u5b66\u7fd2\u3059\u308b\n\u2193\n\u6b21\u56de\u306e\u6210\u529f\u78ba\u7387\u304c\u4e0a\u6607\u3059\u308b\n<\/pre>\n<p>\u3068\u3044\u3046\u610f\u5473\u306b\u9650\u5b9a\u3059\u308c\u3070\u3001<\/p>\n<pre>\nP(\u6210\u529f | \u5931\u6557\u304b\u3089\u5b66\u7fd2\u3057\u305f\u7d4c\u9a13\u3042\u308a)\n\uff1e\nP(\u6210\u529f | \u5931\u6557\u304b\u3089\u5b66\u7fd2\u3057\u305f\u7d4c\u9a13\u306a\u3057)\n<\/pre>\n<p>\u3068\u3044\u3046<strong>\u7d4c\u9a13\u7684\u547d\u984c<\/strong>\u3078\u5909\u63db\u3067\u304d\u308b\u3002<\/p>\n<p>\u3059\u308b\u3068\u300c\u7bb4\u8a00\u300d\u3068\u300c\u547d\u984c\u300d\u306e\u8ddd\u96e2\u304c\u4e00\u6c17\u306b\u7e2e\u307e\u308b\u3002<\/p>\n<h2>\u7b2c6\u7ae0\u3000\u305d\u3057\u3066\u73fe\u4ee3\u7248\u3053\u3068\u308f\u3056\uff1d\u30df\u30fc\u30e0\u69cb\u6587<\/h2>\n<p>\u3053\u3053\u3067\u73fe\u4ee3\u30cd\u30c3\u30c8\u793e\u4f1a\u306b\u63a5\u7d9a\u3059\u308b\u3002<\/p>\n<p>\u4f8b\u3048\u3070\u3001<\/p>\n<blockquote>\n<p>\u300c\u3007\u3007\u306f\u25b3\u25b3\u300d<\/p>\n<p>\u300c\u3007\u3007\u3059\u308b\u5974\u3001\u5168\u54e1\u25b3\u25b3\u8aac\u300d<\/p>\n<p>\u300c\u3064\u307e\u308a\u3007\u3007\uff1d\u25b3\u25b3\u300d<\/p>\n<p>\u300cA\u3001B\u3001C\u2026\u2026\u5168\u90e8\u540c\u3058\u3067\u306f\uff1f\u300d<\/p>\n<p>\u300cQ.E.D. \u8a3c\u660e\u7d42\u4e86\u300d<\/p>\n<\/blockquote>\n<p>\u3053\u3046\u3057\u305f\u30df\u30fc\u30e0\u69cb\u6587\u306f\u3001\u4e00\u898b\u3059\u308b\u3068\u8ad6\u7406\u5b66\u306e\u547d\u984c\u305d\u306e\u3082\u306e\u306b\u898b\u3048\u308b\u3002<\/p>\n<p>\u306a\u305c\u306a\u3089\u3001<\/p>\n<pre>\nP\uff1a\u300c\u3007\u3007\u306f\u25b3\u25b3\u3067\u3042\u308b\u300d\n<\/pre>\n<p>\u3068\u3044\u3046\u5f62\u306b\u5bb9\u6613\u306b\u5909\u63db\u3067\u304d\u308b\u304b\u3089\u3060\u3002<\/p>\n<p>\u3068\u3053\u308d\u304c\u5b9f\u969b\u306b\u306f\u3001\u3053\u3053\u3067<strong>\u300c\u8a3c\u660e\u7d42\u4e86\uff01\u300d\u3068\u53eb\u3093\u3067\u3044\u308b\u3060\u3051\u3067\u8a3c\u660e\u304c\u7d42\u308f\u3063\u3066\u3044\u308b\u3068\u306f\u9650\u3089\u306a\u3044\u3002<\/strong><\/p>\n<h2>\u7b2c7\u7ae0\u3000\u300cQ.E.D.\u300d\u3092\u4ed8\u3051\u308c\u3070\u547d\u984c\u306f\u8a3c\u660e\u3055\u308c\u308b\u306e\u304b\uff1f<\/h2>\n<p>\u3055\u308c\u306a\u3044\u3002<\/p>\n<p>\u5f53\u7136\u3067\u3042\u308b\u3002<\/p>\n<p>\u4f8b\u3048\u3070\u3001<\/p>\n<pre>\nP\uff1a\u300c\u732b\u306f\u6db2\u4f53\u3067\u3042\u308b\u300d\n\nQ.E.D.\n<\/pre>\n<p>\u3068\u66f8\u3044\u305f\u3068\u3053\u308d\u3067\u3001\u6570\u5b66\u7684\u8a3c\u660e\u306b\u306f\u306a\u3089\u306a\u3044\u3002<\/p>\n<p>\u30df\u30fc\u30e0\u3068\u3057\u3066\u306f\u6210\u7acb\u3057\u3066\u3082\u3001\u8ad6\u7406\u5b66\u7684\u306b\u306f<strong>\u8a3c\u660e\u624b\u7d9a\u304d\u304c\u5b58\u5728\u3057\u306a\u3044<\/strong>\u3002<\/p>\n<p>\u3053\u3053\u306b\u300c\u30df\u30fc\u30e0\u69cb\u6587\u300d\u306e\u9762\u767d\u3055\u304c\u3042\u308b\u3002<\/p>\n<p><strong>\u300c\u8a3c\u660e\u3057\u305f\u3063\u307d\u3044\u5f62\u5f0f\u300d\u3092\u5148\u306b\u63d0\u793a\u3059\u308b\u3053\u3068\u3067\u3001\u53d7\u3051\u624b\u306b\u8a3c\u660e\u3055\u308c\u305f\u3088\u3046\u306a\u5370\u8c61\u3092\u4e0e\u3048\u308b\u3002<\/strong><\/p>\n<p>\u3064\u307e\u308a\u3001<\/p>\n<pre>\n\u547d\u984c\n\u2193\n\u8ad6\u8a3c\n\u2193\n\u7d50\u8ad6\n\u2193\nQ.E.D.\n<\/pre>\n<p>\u3068\u3044\u3046\u672c\u6765\u306e\u6570\u5b66\u7684\u69cb\u9020\u3092\u3001<\/p>\n<pre>\n\u4e3b\u5f35\n\u2193\n\u305d\u308c\u3063\u307d\u3044\u7406\u7531\n\u2193\nQ.E.D.\n<\/pre>\n<p>\u306b\u5727\u7e2e\u3057\u3066\u3044\u308b\u308f\u3051\u3060\u3002<\/p>\n<h2>\u7b2c8\u7ae0\u3000\u300c\u547d\u984c\u300d\u300c\u4e88\u60f3\u300d\u300c\u7bb4\u8a00\u300d\u300c\u30df\u30fc\u30e0\u300d\u306e\u95a2\u4fc2<\/h2>\n<table border=\"1\" cellpadding=\"8\" cellspacing=\"0\">\n<tr>\n<th>\u6982\u5ff5<\/th>\n<th>\u4e3b\u306a\u7279\u5fb4<\/th>\n<th>\u771f\u507d\u5224\u5b9a<\/th>\n<\/tr>\n<tr>\n<td>\u547d\u984c<\/td>\n<td>\u771f\u507d\u3092\u6301\u3064\u4e3b\u5f35<\/td>\n<td>\u53ef\u80fd<\/td>\n<\/tr>\n<tr>\n<td>\u5b9a\u7406<\/td>\n<td>\u8a3c\u660e\u3055\u308c\u305f\u6570\u5b66\u7684\u4e3b\u5f35<\/td>\n<td>\u8a3c\u660e\u6e08\u307f<\/td>\n<\/tr>\n<tr>\n<td>\u4e88\u60f3<\/td>\n<td>\u771f\u507d\u3092\u6301\u3064\u304c\u672a\u8a3c\u660e\u306e\u4e3b\u5f35<\/td>\n<td>\u672a\u78ba\u5b9a\u306e\u5834\u5408\u3042\u308a<\/td>\n<\/tr>\n<tr>\n<td>\u7bb4\u8a00<\/td>\n<td>\u7d4c\u9a13\u5247\u30fb\u6559\u8a13\u3092\u5727\u7e2e\u3057\u305f\u8868\u73fe<\/td>\n<td>\u305d\u306e\u307e\u307e\u3067\u306f\u66d6\u6627\u306a\u3053\u3068\u304c\u591a\u3044<\/td>\n<\/tr>\n<tr>\n<td>\u3053\u3068\u308f\u3056<\/td>\n<td>\u793e\u4f1a\u7684\u306b\u5171\u6709\u3055\u308c\u305f\u5b9a\u578b\u7684\u8868\u73fe<\/td>\n<td>\u6587\u5b57\u901a\u308a\u306e\u771f\u507d\u5224\u5b9a\u304c\u96e3\u3057\u3044\u5834\u5408\u3042\u308a<\/td>\n<\/tr>\n<tr>\n<td>\u30df\u30fc\u30e0\u69cb\u6587<\/td>\n<td>\u30cd\u30c3\u30c8\u4e0a\u3067\u53cd\u5fa9\u3055\u308c\u308b\u4e3b\u5f35\u30fb\u5f62\u5f0f<\/td>\n<td>\u547d\u984c\u5316\u3067\u304d\u308b\u5834\u5408\u3068\u3067\u304d\u306a\u3044\u5834\u5408\u304c\u3042\u308b<\/td>\n<\/tr>\n<\/table>\n<h2>\u7b2c9\u7ae0\u3000\u4eca\u56de\u306e\u8aac\u3092\u6570\u5f0f\u5316\u3059\u308b\u3068\u2026\u2026<\/h2>\n<p>\u3053\u3053\u3067\u30aa\u30bf\u30af\u304f\u3093\u7684\u306b\u5168\u90e8\u307e\u3068\u3081\u3088\u3046\u3002<\/p>\n<p>\u307e\u305a\u3001<\/p>\n<pre>\n\u547d\u984c = \u771f\u507d\u3092\u6301\u3064\u4e3b\u5f35\n<\/pre>\n<p>\u3068\u3059\u308b\u3002<\/p>\n<p>\u4e00\u65b9\u3001\u7bb4\u8a00\u30fb\u3053\u3068\u308f\u3056\u30fb\u30df\u30fc\u30e0\u306b\u306f\u3001<\/p>\n<pre>\n\u81ea\u7136\u8a00\u8a9e\u306b\u3088\u308b\u5727\u7e2e\n\uff0b\n\u6587\u8108\u4f9d\u5b58\n\uff0b\n\u6bd4\u55a9\n\uff0b\n\u7d4c\u9a13\u5247\n<\/pre>\n<p>\u304c\u542b\u307e\u308c\u3066\u3044\u308b\u3002<\/p>\n<p>\u305d\u3053\u3067\u3001<\/p>\n<pre>\n\u81ea\u7136\u8a00\u8a9e\u8868\u73fe\n        \u2193\n\u610f\u5473\u306e\u5f62\u5f0f\u5316\n        \u2193\n\u691c\u8a3c\u53ef\u80fd\u306a\u4e3b\u5f35\n        \u2193\n\u547d\u984c\n        \u2193\n\u8a3c\u660e\u30fb\u53cd\u8a3c\u30fb\u5b9f\u8a3c\n        \u2193\n\u771f\uff0f\u507d\n<\/pre>\n<p>\u3068\u3044\u3046\u5909\u63db\u304c\u8003\u3048\u3089\u308c\u308b\u3002<\/p>\n<p>\u3064\u307e\u308a\u4eca\u56de\u306e\u8aac\u306f\u3001\u53b3\u5bc6\u306b\u306f<\/p>\n<blockquote>\n<p><strong>\u300c\u7bb4\u8a00\u30fb\u3053\u3068\u308f\u3056\u30fb\u30df\u30fc\u30e0\u69cb\u6587\u306f\u3001\u9069\u5207\u306b\u5f62\u5f0f\u5316\u3059\u308c\u3070\u547d\u984c\u306b\u306a\u308a\u5f97\u308b\u300d<\/strong><\/p>\n<\/blockquote>\n<p>\u3068\u4fee\u6b63\u3059\u308b\u3068\u3001\u304b\u306a\u308a\u5f37\u529b\u306b\u306a\u308b\u3002<\/p>\n<h2>\u7b2c10\u7ae0\u3000\u6700\u5927\u306e\u30dd\u30a4\u30f3\u30c8\uff1a\u300c\u8a3c\u660e\u3055\u308c\u3066\u3044\u306a\u3044\u300d\u3068\u300c\u771f\u3067\u306f\u306a\u3044\u300d\u306f\u9055\u3046<\/h2>\n<p>\u3053\u3053\u306f\u6570\u5b66\u30fb\u8ad6\u7406\u5b66\u7684\u306b\u6700\u91cd\u8981\u30dd\u30a4\u30f3\u30c8\u3002<\/p>\n<p>\u4f8b\u3048\u3070\u3001<\/p>\n<pre>\nP = \u300c\u547d\u984cP\u306f\u771f\u3067\u3042\u308b\u300d\n<\/pre>\n<p>\u306b\u3064\u3044\u3066\u3001\u6211\u3005\u304c\u307e\u3060\u8a3c\u660e\u3067\u304d\u306a\u3044\u304b\u3089\u3068\u3044\u3063\u3066\u3001<\/p>\n<pre>\n\u672a\u8a3c\u660e \uff1d \u507d\n<\/pre>\n<p>\u3068\u306f\u306a\u3089\u306a\u3044\u3002<\/p>\n<p>\u540c\u69d8\u306b\u3001<\/p>\n<pre>\n\u300c\u8a3c\u660e\u3067\u304d\u3066\u3044\u306a\u3044\u300d\n\u2260\n\u300c\u771f\u507d\u304c\u306a\u3044\u300d\n<\/pre>\n<p>\u3067\u3042\u308b\u3002<\/p>\n<p>\u3080\u3057\u308d\u300c\u8a3c\u660e\u3067\u304d\u3066\u3044\u306a\u3044\u304c\u547d\u984c\u3067\u3042\u308b\u300d\u3068\u3044\u3046\u9818\u57df\u3053\u305d\u3001\u6570\u5b66\u306b\u304a\u3051\u308b<strong>\u4e88\u60f3<\/strong>\u306e\u5c45\u5834\u6240\u306b\u306a\u308b\u3002<\/p>\n<h2>\u6700\u7d42\u5224\u5b9a<\/h2>\n<p style=\"font-size:1.3em;\"><strong>\u300c\u547d\u984c\u3063\u3066\u771f\u507d\u8a3c\u660e\u3055\u308c\u3066\u306a\u3044\u7bb4\u8a00\u30fb\u3053\u3068\u308f\u3056\u30fb\u30df\u30fc\u30e0\u69cb\u6587\u3058\u3083\u306d\uff1f\u300d<\/strong><\/p>\n<p>\u3053\u308c\u3092\u305d\u306e\u307e\u307e\u6570\u5b66\u7528\u8a9e\u3068\u3057\u3066\u63a1\u7528\u3059\u308b\u306a\u3089<strong>\u60dc\u3057\u3044\u3002<\/strong><\/p>\n<p>\u3057\u304b\u3057\u3001\u6982\u5ff5\u30e2\u30c7\u30eb\u3068\u3057\u3066\u306f\u975e\u5e38\u306b\u9762\u767d\u3044\u3002<\/p>\n<p>\u3088\u308a\u6b63\u78ba\u306b\u306f\u3001<\/p>\n<blockquote>\n<p><strong>\u7bb4\u8a00\u30fb\u3053\u3068\u308f\u3056\u30fb\u30df\u30fc\u30e0\u69cb\u6587\u3068\u306f\u3001\u81ea\u7136\u8a00\u8a9e\u306b\u3088\u3063\u3066\u5727\u7e2e\u3055\u308c\u305f\u300c\u4e3b\u5f35\u5019\u88dc\u300d\u3067\u3042\u308a\u3001\u305d\u308c\u3092\u5f62\u5f0f\u5316\u3059\u308b\u3068\u547d\u984c\u306b\u306a\u308a\u5f97\u308b\u3002<\/strong><\/p>\n<\/blockquote>\n<p>\u305d\u3057\u3066\u3001<\/p>\n<pre>\n\u4e3b\u5f35\n\u2193\n\u5f62\u5f0f\u5316\n\u2193\n\u547d\u984c\n\u2193\n\u8a3c\u660e\uff0f\u53cd\u8a3c\uff0f\u5b9f\u8a3c\n\u2193\n\u5b9a\u7406\u30fb\u53cd\u8a3c\u30fb\u672a\u89e3\u6c7a\u554f\u984c\n<\/pre>\n<p>\u3068\u3044\u3046\u6d41\u308c\u306b\u306a\u308b\u3002<\/p>\n<p>\u3057\u305f\u304c\u3063\u3066\u2015\u2015<\/p>\n<blockquote>\n<p><strong>\u300cQ.E.D.\u300d\u306f\u8a3c\u660e\u306e\u9b54\u6cd5\u3067\u306f\u306a\u3044\u3002<\/strong><\/p>\n<p><strong>\u30df\u30fc\u30e0\u306f\u547d\u984c\u306e\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u306b\u306a\u308a\u5f97\u308b\u3002<\/strong><\/p>\n<p><strong>\u305d\u3057\u3066\u3053\u3068\u308f\u3056\u3068\u306f\u3001\u53e4\u4ee3\u304b\u3089\u5b58\u5728\u3059\u308b\u201c\u5727\u7e2e\u3055\u308c\u305f\u4eee\u8aac\u30c7\u30fc\u30bf\u30d9\u30fc\u30b9\u201d\u306a\u306e\u304b\u3082\u3057\u308c\u306a\u3044\u3002<\/strong><\/p>\n<\/blockquote>\n<p>\u2026\u2026\u3068\u3044\u3046\u3068\u3053\u308d\u307e\u3067\u8a00\u3046\u3068\u3001<\/p>\n<p><strong>\u300c\u6614\u306e\u4eba\u3001\u7d4c\u9a13\u5247\u3092\u30df\u30fc\u30e0\u5f62\u5f0f\u3067\u4fdd\u5b58\u3057\u3066\u305f\u8aac\u300d<\/strong><\/p>\n<p>\u307e\u3067\u6d3e\u751f\u53ef\u80fd\u3067\u3042\u308b\u3002<\/p>\n<p>\u30aa\u30bf\u30af\u304f\u3093\u3001\u3064\u3044\u306b<strong>\u300c\u3053\u3068\u308f\u3056\uff1d\u81ea\u7136\u8a00\u8a9e\u7248\u30d9\u30a4\u30ba\u4e8b\u524d\u5206\u5e03\u300d<\/strong>\u3068\u3044\u3046\u6b21\u306a\u308b\u6cbc\u3092\u767a\u898b\u3057\u3066\u3057\u307e\u3063\u305f\u306e\u3067\u3042\u3063\u305f\u3002<\/p>\n<p><strong>Q.E.D.\uff08\u203b\u305f\u3060\u3057\u672c\u8a18\u4e8b\u306e\u7d50\u8ad6\u305d\u306e\u3082\u306e\u306fQ.E.D.\u3055\u308c\u3066\u3044\u306a\u3044\uff09<\/strong><\/p>\n<h3>\u53c2\u8003<\/h3>\n<ul>\n<li>Stanford Encyclopedia of Philosophy, \u201cPropositions\u201d \u2014 \u547d\u984c\u3092\u771f\u507d\u306e\u62c5\u3044\u624b\u3068\u3057\u3066\u6271\u3046\u54f2\u5b66\u7684\u6574\u7406\u3002<\/li>\n<li>University of Western Ontario, \u201cPropositional Logic\u201d \u2014 \u547d\u984c\u3092\u771f\u507d\u5024\u3092\u6301\u3064\u5ba3\u8a00\u6587\u3068\u3057\u3066\u8aac\u660e\u3002<\/li>\n<li>ANU Logic Notes \u2014 statement \/ proposition \/ truth value \u306e\u533a\u5225\u3002<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>\u3082\u3061\u308d\u3093\u3067\u3059\u3002\u4eca\u56de\u306e\u6838\u5fc3\u306f\u304b\u306a\u308a\u9762\u767d\u304f\u3001**\u300c\u547d\u984c\uff1d\u307e\u3060\u8a3c\u660e\u3055\u308c\u3066\u3044\u306a\u3044\u4e3b\u5f35\u300d\u3067\u306f\u306a\u304f\u3001\u300c\u771f\u507d\u3092\u6301\u3061\u3046\u308b\u4e3b\u5f35\u300d**\u306a\u306e\u3067\u3001\u7bb4\u8a00\u30fb\u3053\u3068\u308f\u3056\u30fb\u30df\u30fc\u30e0\u69cb\u6587\u3068\u306e\u63a5\u7d9a\u3092\u6574\u7406\u3059\u308b\u3068\u3001\u304b\u306a\u308a\u7dba\u9e97\u306b\u6570\u7406\u5316\u3067\u304d\u307e\u3059\u3002 \u7279\u306b\u300c\u672a\u8a3c\u660e\u3060\u304b\u3089\u547d &#8230; <a title=\"\u3010\u5fb9\u5e95\u691c\u8a3c\u3011\u547d\u984c\u3063\u3066\u771f\u507d\u8a3c\u660e\u3055\u308c\u3066\u306a\u3044\u7bb4\u8a00\u30fb\u3053\u3068\u308f\u3056\u30fb\u30df\u30fc\u30e0\u69cb\u6587\u3058\u3083\u306d\uff1f\u8aac\" class=\"read-more\" href=\"https:\/\/bencarboo.com\/?p=2603\" aria-label=\"\u3010\u5fb9\u5e95\u691c\u8a3c\u3011\u547d\u984c\u3063\u3066\u771f\u507d\u8a3c\u660e\u3055\u308c\u3066\u306a\u3044\u7bb4\u8a00\u30fb\u3053\u3068\u308f\u3056\u30fb\u30df\u30fc\u30e0\u69cb\u6587\u3058\u3083\u306d\uff1f\u8aac \u306b\u3064\u3044\u3066\u3055\u3089\u306b\u8aad\u3080\">\u7d9a\u304d\u3092\u8aad\u3080<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_sitemap_exclude":false,"_sitemap_priority":"","_sitemap_frequency":"","_monsterinsights_skip_tracking":false,"footnotes":""},"categories":[1],"tags":[],"class_list":["post-2603","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/bencarboo.com\/index.php?rest_route=\/wp\/v2\/posts\/2603","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/bencarboo.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/bencarboo.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/bencarboo.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/bencarboo.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2603"}],"version-history":[{"count":1,"href":"https:\/\/bencarboo.com\/index.php?rest_route=\/wp\/v2\/posts\/2603\/revisions"}],"predecessor-version":[{"id":2604,"href":"https:\/\/bencarboo.com\/index.php?rest_route=\/wp\/v2\/posts\/2603\/revisions\/2604"}],"wp:attachment":[{"href":"https:\/\/bencarboo.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2603"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/bencarboo.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=2603"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/bencarboo.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=2603"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}