{"id":1675,"date":"2021-07-23T14:57:08","date_gmt":"2021-07-23T05:57:08","guid":{"rendered":"https:\/\/online-library.site\/?p=1675"},"modified":"2021-07-23T14:57:08","modified_gmt":"2021-07-23T05:57:08","slug":"%e8%bf%b0%e8%aa%9e%e8%ab%96%e7%90%86%e3%81%ab%e3%81%a4%e3%81%84%e3%81%a6%e3%82%8f%e3%81%8b%e3%82%8a%e3%82%84%e3%81%99%e3%81%8f%ef%bc%81%e3%80%9c%e8%a8%98%e5%8f%b7%e3%83%bb%e6%a7%8b%e6%96%87%e8%ab%96","status":"publish","type":"post","link":"https:\/\/online-library.site\/?p=1675","title":{"rendered":"\u8ff0\u8a9e\u8ad6\u7406\u306b\u3064\u3044\u3066\u308f\u304b\u308a\u3084\u3059\u304f\uff01\u301c\u8a18\u53f7\u30fb\u69cb\u6587\u8ad6\u30fb\u610f\u5473\u8ad6\u301c"},"content":{"rendered":"<div id=\"ez-toc-container\" class=\"ez-toc-v2_0_82_2 counter-hierarchy ez-toc-counter ez-toc-grey ez-toc-container-direction\">\n<p class=\"ez-toc-title\" style=\"cursor:inherit\">\u76ee\u6b21<\/p>\n<label for=\"ez-toc-cssicon-toggle-item-69eb80f6e8666\" class=\"ez-toc-cssicon-toggle-label\"><span class=\"\"><span class=\"eztoc-hide\" style=\"display:none;\">Toggle<\/span><span class=\"ez-toc-icon-toggle-span\"><svg style=\"fill: #999;color:#999\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" class=\"list-377408\" width=\"20px\" height=\"20px\" viewBox=\"0 0 24 24\" fill=\"none\"><path d=\"M6 6H4v2h2V6zm14 0H8v2h12V6zM4 11h2v2H4v-2zm16 0H8v2h12v-2zM4 16h2v2H4v-2zm16 0H8v2h12v-2z\" fill=\"currentColor\"><\/path><\/svg><svg style=\"fill: #999;color:#999\" class=\"arrow-unsorted-368013\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" width=\"10px\" height=\"10px\" viewBox=\"0 0 24 24\" version=\"1.2\" baseProfile=\"tiny\"><path d=\"M18.2 9.3l-6.2-6.3-6.2 6.3c-.2.2-.3.4-.3.7s.1.5.3.7c.2.2.4.3.7.3h11c.3 0 .5-.1.7-.3.2-.2.3-.5.3-.7s-.1-.5-.3-.7zM5.8 14.7l6.2 6.3 6.2-6.3c.2-.2.3-.5.3-.7s-.1-.5-.3-.7c-.2-.2-.4-.3-.7-.3h-11c-.3 0-.5.1-.7.3-.2.2-.3.5-.3.7s.1.5.3.7z\"\/><\/svg><\/span><\/span><\/label><input type=\"checkbox\"  id=\"ez-toc-cssicon-toggle-item-69eb80f6e8666\"  aria-label=\"Toggle\" \/><nav><ul class='ez-toc-list ez-toc-list-level-1 ' ><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-1\" href=\"https:\/\/online-library.site\/?p=1675\/#%E3%81%AF%E3%81%98%E3%82%81%E3%81%AB%EF%BC%9A%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6\" >\u306f\u3058\u3081\u306b\uff1a\u8ff0\u8a9e\u8ad6\u7406\u306b\u3064\u3044\u3066<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-2\" href=\"https:\/\/online-library.site\/?p=1675\/#%E8%AB%96%E7%90%86%E5%AD%A6%E3%81%A8%E3%81%AF\" >\u8ad6\u7406\u5b66\u3068\u306f<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-3\" href=\"https:\/\/online-library.site\/?p=1675\/#%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%A7%E7%94%A8%E3%81%84%E3%82%8B%E8%A8%98%E5%8F%B7\" >\u8ff0\u8a9e\u8ad6\u7406\u3067\u7528\u3044\u308b\u8a18\u53f7<\/a><ul class='ez-toc-list-level-3' ><li class='ez-toc-heading-level-3'><a class=\"ez-toc-link ez-toc-heading-4\" href=\"https:\/\/online-library.site\/?p=1675\/#%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%A7%E7%94%A8%E3%81%84%E3%82%8B%E8%A8%98%E5%8F%B7%E2%91%A0%EF%BC%9A%E8%AA%9E%E5%BD%99%E3%81%AE%E5%AE%9A%E7%BE%A9\" >\u8ff0\u8a9e\u8ad6\u7406\u3067\u7528\u3044\u308b\u8a18\u53f7\u2460\uff1a\u8a9e\u5f59\u306e\u5b9a\u7fa9<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-3'><a class=\"ez-toc-link ez-toc-heading-5\" href=\"https:\/\/online-library.site\/?p=1675\/#%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%A7%E7%94%A8%E3%81%84%E3%82%8B%E8%A8%98%E5%8F%B7%E2%91%A1%EF%BC%9A%E6%96%87%E3%81%A8%E8%AB%96%E7%90%86%E5%BC%8F%E3%81%AE%E5%AE%9A%E7%BE%A9\" >\u8ff0\u8a9e\u8ad6\u7406\u3067\u7528\u3044\u308b\u8a18\u53f7\u2461\uff1a\u6587\u3068\u8ad6\u7406\u5f0f\u306e\u5b9a\u7fa9<\/a><\/li><\/ul><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-6\" href=\"https:\/\/online-library.site\/?p=1675\/#%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AE%E6%A7%8B%E6%96%87%E8%AB%96\" >\u8ff0\u8a9e\u8ad6\u7406\u306e\u69cb\u6587\u8ad6<\/a><ul class='ez-toc-list-level-3' ><li class='ez-toc-heading-level-3'><a class=\"ez-toc-link ez-toc-heading-7\" href=\"https:\/\/online-library.site\/?p=1675\/#%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AE%E6%A7%8B%E6%96%87%E8%AB%96%E2%91%A0%EF%BC%9A%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%A7%E7%94%A8%E3%81%84%E3%82%8B%E5%85%AC%E7%90%86\" >\u8ff0\u8a9e\u8ad6\u7406\u306e\u69cb\u6587\u8ad6\u2460\uff1a\u8ff0\u8a9e\u8ad6\u7406\u3067\u7528\u3044\u308b\u516c\u7406<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-3'><a class=\"ez-toc-link ez-toc-heading-8\" href=\"https:\/\/online-library.site\/?p=1675\/#%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AE%E6%A7%8B%E6%96%87%E8%AB%96%E2%91%A1%EF%BC%9A%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AE%E5%85%AC%E7%90%86%E3%82%92%E4%BD%BF%E3%81%A3%E3%81%9F%E8%A8%BC%E6%98%8E\" >\u8ff0\u8a9e\u8ad6\u7406\u306e\u69cb\u6587\u8ad6\u2461\uff1a\u8ff0\u8a9e\u8ad6\u7406\u306e\u516c\u7406\u3092\u4f7f\u3063\u305f\u8a3c\u660e<\/a><\/li><\/ul><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-9\" href=\"https:\/\/online-library.site\/?p=1675\/#%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AE%E6%84%8F%E5%91%B3%E8%AB%96\" >\u8ff0\u8a9e\u8ad6\u7406\u306e\u610f\u5473\u8ad6<\/a><ul class='ez-toc-list-level-3' ><li class='ez-toc-heading-level-3'><a class=\"ez-toc-link ez-toc-heading-10\" href=\"https:\/\/online-library.site\/?p=1675\/#%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AE%E6%84%8F%E5%91%B3%E8%AB%96%E2%91%A0%EF%BC%9A%E3%83%A2%E3%83%87%E3%83%AB%E3%81%A8%E4%BB%98%E5%80%A4%E9%96%A2%E6%95%B0%E3%81%AB%E3%82%88%E3%82%8B%E8%AB%96%E7%90%86%E5%BC%8F%E3%81%AE%E5%85%85%E8%B6%B3\" >\u8ff0\u8a9e\u8ad6\u7406\u306e\u610f\u5473\u8ad6\u2460\uff1a\u30e2\u30c7\u30eb\u3068\u4ed8\u5024\u95a2\u6570\u306b\u3088\u308b\u8ad6\u7406\u5f0f\u306e\u5145\u8db3<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-3'><a class=\"ez-toc-link ez-toc-heading-11\" href=\"https:\/\/online-library.site\/?p=1675\/#%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AE%E6%84%8F%E5%91%B3%E8%AB%96%E2%91%A1%EF%BC%9A%E5%85%85%E8%B6%B3%E6%9D%A1%E4%BB%B6\" >\u8ff0\u8a9e\u8ad6\u7406\u306e\u610f\u5473\u8ad6\u2461\uff1a\u5145\u8db3\u6761\u4ef6<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-3'><a class=\"ez-toc-link ez-toc-heading-12\" href=\"https:\/\/online-library.site\/?p=1675\/#%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AE%E6%84%8F%E5%91%B3%E8%AB%96%E2%91%A2%EF%BC%9A%E3%83%A2%E3%83%87%E3%83%AB%E8%AB%96%E7%9A%84%E6%84%8F%E5%91%B3%E8%AB%96%E3%81%AB%E3%82%88%E3%82%8B%E8%A8%BC%E6%98%8E\" >\u8ff0\u8a9e\u8ad6\u7406\u306e\u610f\u5473\u8ad6\u2462\uff1a\u30e2\u30c7\u30eb\u8ad6\u7684\u610f\u5473\u8ad6\u306b\u3088\u308b\u8a3c\u660e<\/a><\/li><\/ul><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-13\" href=\"https:\/\/online-library.site\/?p=1675\/#%E3%81%8A%E3%82%8F%E3%82%8A%E3%81%AB%EF%BC%9A%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AE%E3%81%BE%E3%81%A8%E3%82%81\" >\u304a\u308f\u308a\u306b\uff1a\u8ff0\u8a9e\u8ad6\u7406\u306e\u307e\u3068\u3081<\/a><\/li><\/ul><\/nav><\/div>\n<h2 id=\"h2\"><span class=\"ez-toc-section\" id=\"%E3%81%AF%E3%81%98%E3%82%81%E3%81%AB%EF%BC%9A%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6\"><\/span>\u306f\u3058\u3081\u306b\uff1a\u8ff0\u8a9e\u8ad6\u7406\u306b\u3064\u3044\u3066<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<p>\u307f\u306a\u3055\u3093\u3001<span style=\"color: #ff0000;\"><strong>\u8ff0\u8a9e\u8ad6\u7406<\/strong><\/span>\u3068\u3044\u3046\u8a00\u8449\u3092\u805e\u3044\u305f\u3053\u3068\u306f\u3042\u308b\u3067\u3057\u3087\u3046\u304b\u3002<\/p>\n<p>\u8ff0\u8a9e\u8ad6\u7406\u3068\u306f\u3001\u6587\u306e<strong>\u8ff0\u8a9e<\/strong>\u306b\u6ce8\u76ee\u3059\u308b\u30bf\u30a4\u30d7\u306e\u8ad6\u7406\u5b66\u3067\u3059\u3002<\/p>\n<p>\u6700\u8fd1\u306fPython\u3092\u306f\u3058\u3081\u3068\u3057\u305f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3067\u3082\u7528\u3044\u3089\u308c\u3066\u3044\u308b\u306e\u3067\u3001\u3053\u306e\u6a5f\u4f1a\u306b\u57fa\u790e\u3092\u62bc\u3055\u3048\u3066\u304a\u304d\u307e\u3057\u3087\u3046\uff01<\/p>\n<h2 id=\"h2\"><span class=\"ez-toc-section\" id=\"%E8%AB%96%E7%90%86%E5%AD%A6%E3%81%A8%E3%81%AF\"><\/span>\u8ad6\u7406\u5b66\u3068\u306f<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<p>\u8ff0\u8a9e\u8ad6\u7406\u306b\u3064\u3044\u3066\u8a73\u3057\u304f\u89e3\u8aac\u3059\u308b\u524d\u306b\u3001<strong>\u300c\u305d\u3082\u305d\u3082\u8ad6\u7406\u5b66\u3068\u306f\u4f55\u304b\uff1f\u300d<\/strong>\u3068\u3044\u3046\u554f\u984c\u306b\u89e6\u308c\u3066\u304a\u304d\u307e\u3059\u3002<\/p>\n<p>\u4ee5\u4e0b\u306e\u8a18\u4e8b\u306b\u3082\u540c\u3058\u5185\u5bb9\u304c\u66f8\u304b\u308c\u3066\u3042\u308b\u306e\u3067\u3001\u8208\u5473\u306e\u3042\u308b\u65b9\u306f\u3054\u53c2\u7167\u304f\u3060\u3055\u3044\u3002<\/p>\n<p><a href=\"https:\/\/online-library.site\/?p=1664\" target=\"_blank\" rel=\"noopener\">\u3053\u3061\u3089\u306e\u30ea\u30f3\u30af\u3092\u30af\u30ea\u30c3\u30af\u3057\u3066\u304f\u3060\u3055\u3044<\/a><\/p>\n<p>\u8ad6\u7406\u5b66\u306f\u3001\u57fa\u672c\u7684\u306b<span style=\"color: #ff0000;\"><strong>\u300c\u547d\u984c\u8ad6\u7406\u300d\u3068\u300c\u8ff0\u8a9e\u8ad6\u7406\u300d<\/strong><\/span>\u306b\u5206\u3051\u3089\u308c\u307e\u3059\u3002\u547d\u984c\u8ad6\u7406\u304c<strong>\u300c\u539f\u5b50\u6587\u300d<\/strong>\u3092\u5358\u4f4d\u3068\u3059\u308b\u8ad6\u7406\u5b66\u306a\u306e\u306b\u5bfe\u3057\u3066\u3001\u8ff0\u8a9e\u8ad6\u7406\u306f\u300c\u539f\u5b50\u6587\u300d\u306e\u4e2d\u8eab\u3067\u3042\u308b<strong>\u300c\u500b\u4f53\u5b9a\u9805\u300d\u3068\u300c\u8ff0\u8a9e\u300d<\/strong>\u3092\u5358\u4f4d\u3068\u3059\u308b\u8ad6\u7406\u5b66\u3067\u3059\u3002<\/p>\n<p>\u2026\u2026\u300c\u3044\u304d\u306a\u308a\u4f55\u3084\u3089\u96e3\u3057\u6c17\u306a\u5358\u8a9e\u304c\u7206\u8a95\u3057\u305f\u305e\u300d\u3068\u601d\u308f\u308c\u305f\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u304c\u3001\u5fc3\u914d\u306f\u3054\u7121\u7528\u3067\u3059\u3002\u5358\u8a9e\u306f\u5805\u3063\u82e6\u3057\u3044\u3067\u3059\u304c\u3001\u305d\u308c\u307b\u3069\u96e3\u3057\u3044\u5185\u5bb9\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002<\/p>\n<p>\u539f\u5b50\u6587\u3068\u306f\u3001\u6587\u3068\u3057\u3066\u305d\u308c\u4ee5\u4e0a\u5207\u308a\u5206\u3051\u3089\u308c\u306a\u3044\u6587\uff08\u547d\u984c\uff09\u306e\u3053\u3068\u3067\u3059\u3002\u3061\u306a\u307f\u306b\u3001\u5207\u308a\u5206\u3051\u308b\u4f59\u5730\u306e\u3042\u308b\u6587\u306f<strong>\u300c\u8907\u5408\u6587\u300d<\/strong>\u3068\u8a00\u3044\u307e\u3059\u3002<\/p>\n<p>\u4f8b\u3048\u3070\u3001\u4ee5\u4e0b\u306e2\u3064\u306e\u6587\u3092\u8aad\u3093\u3067\u307f\u3066\u304f\u3060\u3055\u3044\u3002\u3069\u3061\u3089\u304c\u539f\u5b50\u6587\u304b\u308f\u304b\u308a\u307e\u3059\u304b\uff1f<\/p>\n<ul>\n<li>\u660e\u65e5\u306f\u65b0\u5bbf\u3067\u96e8\u304c\u964d\u308b\u3060\u308d\u3046\u3002<\/li>\n<li>\u660e\u65e5\u65b0\u5bbf\u3067\u96e8\u304c\u964d\u3063\u305f\u3089\u3001\u79c1\u305f\u3061\u306f\u6c60\u888b\u3078\u30b7\u30e7\u30c3\u30d4\u30f3\u30b0\u306b\u884c\u304f\u4e88\u5b9a\u3060\u3002<\/li>\n<\/ul>\n<p>1\u3064\u76ee\u304c \u201cTomorrow it will rain in Shinjuku.\u201d \u3068\u3044\u3046SV\u578b\u306e1\u3064\u306e\u6587\u306e\u307f\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u308b\u306b\u5bfe\u3057\u3066\u30012\u3064\u76ee\u306f \u201cIf tomorrow it rains in Shinjuku, I\u2019m going to go shopping in Ikebukuro.\u201d \u306a\u306e\u3067\u3001\u6587\u3068\u3057\u3066\u306fif\u304b\u3089\u59cb\u307e\u308b\u5f93\u5c5e\u7bc0\u3068\u30ab\u30f3\u30de\u3088\u308a\u5f8c\u306e\u4e3b\u7bc0\u306b\u5206\u3051\u3089\u308c\u307e\u3059\u306d\u3002<\/p>\n<p><span style=\"text-decoration: underline;\">\u5f93\u3063\u3066\u30011\u3064\u76ee\u306e\u6587\u304c\u539f\u5b50\u6587\u30012\u3064\u76ee\u306e\u6587\u304c\u8907\u5408\u6587\u306b\u306a\u308a\u307e\u3059\u3002<\/span><\/p>\n<p>\u300c\u660e\u65e5\u306f\u65b0\u5bbf\u3067\u96e8\u304c\u964d\u308b\u3060\u308d\u3046\u300d\u306a\u3069\u306e\u539f\u5b50\u6587\u3092p, q\u306a\u3069\u3068\u8868\u3057\u3066\u3001\u539f\u5b50\u6587p,q\u540c\u58eb\u306e\u95a2\u4fc2\u3092\u300c\u304b\u3064\u300d\u300c\u307e\u305f\u306f\u300d\u300c\u306a\u3089\u3070\u300d\u306a\u3069\u306e\u63a5\u7d9a\u8a5e\u3067\u8868\u73fe\u3057\u3066\u8ad6\u7406\u3092\u4f5c\u308b\u306e\u304c\u547d\u984c\u8ad6\u7406\u3067\u3059\u3002<\/p>\n<p>\u3053\u308c\u306b\u5bfe\u3057\u3066\u3001\u539f\u5b50\u6587p,q\u3092\u66f4\u306b\u7d30\u304b\u304f\u5206\u5272\u3057\u3066\u8ad6\u7406\u3092\u4f5c\u308b\u306e\u304c\u8ff0\u8a9e\u8ad6\u7406\u3067\u3059\u3002<\/p>\n<p>\u300c\u79c1\u306f\u30b7\u30e7\u30c3\u30d4\u30f3\u30b0\u306b\u884c\u304f\u300d\u3068\u3044\u3046\u539f\u5b50\u6587\u306b\u3064\u3044\u3066\u8003\u3048\u3066\u307f\u307e\u3057\u3087\u3046\u3002<\/p>\n<p>\u8ff0\u8a9e\u8ad6\u7406\u306b\u304a\u3044\u3066\u6700\u521d\u306b\u6ce8\u76ee\u3055\u308c\u308b\u306e\u306f<strong>\u8ff0\u8a9e<\/strong>\u3067\u3059\u3002\u3053\u306e\u5834\u5408\u306f\u300c\u30b7\u30e7\u30c3\u30d4\u30f3\u30b0\u306b\u884c\u304f\u300d\u3067\u3059\u306d\u3002\u3053\u306e\u8ff0\u8a9e\u3092\u300cF\u300d\u3068\u304a\u304d\u307e\u3059\u3002<\/p>\n<p>\u6b21\u306b\u6ce8\u76ee\u3059\u308b\u306e\u306f\u4e3b\u8a9e\uff08\u8ff0\u8a9e\u8ad6\u7406\u3067\u306f\u300c\u500b\u4f53\u5b9a\u9805\u300d\u3068\u547c\u3070\u308c\u307e\u3059\uff09\u3002\u3053\u306e\u539f\u5b50\u6587\u3067\u306f\u300c\u79c1\u300d\u3067\u3059\u306d\u3002\u3053\u306e<strong>\u500b\u4f53\u5b9a\u9805<\/strong>\uff08\u4e3b\u8a9e\uff09\u3092\u300cc\u300d\u3068\u304a\u304d\u307e\u3059\u3002<\/p>\n<p>\u3086\u3048\u306b\u3001\u300c\u79c1\u306f\u30b7\u30e7\u30c3\u30d4\u30f3\u30b0\u306b\u884c\u304f\u300d\u3068\u3044\u3046\u539f\u5b50\u6587\u306f\u3001\u8ff0\u8a9e\u8ad6\u7406\u3067\u306fFc\u3068\u8868\u8a18\u3055\u308c\u308b\u3053\u3068\u306b\u306a\u308a\u307e\u3059\u3002\u8ff0\u8a9eF\u3068\u500b\u4f53\u5b9a\u9805c\u3092\u57fa\u672c\u8981\u7d20\u3068\u3057\u3066\u6587\u3092\u4f5c\u308a\u3001\u300c\u304b\u3064\u300d\u300c\u307e\u305f\u306f\u300d\u300c\u306a\u3089\u3070\u300d\u306a\u3069\u306e\u63a5\u7d9a\u8a5e\u3067\u6587\u540c\u58eb\u3092\u7e4b\u3044\u3067\u8ad6\u7406\u3092\u4f5c\u308b\u306e\u304c\u8ff0\u8a9e\u8ad6\u7406\u3067\u3059\u3002<\/p>\n<p>\u547d\u984c\u8ad6\u7406\u3088\u308a\u3082\u7d30\u304b\u3044\u5358\u4f4d\u3067\u8ad6\u7406\u3092\u69cb\u7bc9\u3059\u308b\u306e\u3067\u3001\u8ff0\u8a9e\u8ad6\u7406\u306f\u547d\u984c\u8ad6\u7406\u306e\u767a\u5c55\u7248\u3068\u8003\u3048\u3089\u308c\u307e\u3059\u306d\u3002<\/p>\n<p>\u4ee5\u4e0b\u306e\u8a18\u4e8b\u3067\u547d\u984c\u8ad6\u7406\u306b\u3064\u3044\u3066\u8aac\u660e\u3057\u305f\u306e\u3067\u3001\u3053\u306e\u8a18\u4e8b\u3067\u306f\u8ff0\u8a9e\u8ad6\u7406\u306b\u3064\u3044\u3066\u6271\u3044\u307e\u3059\u3002\u547d\u984c\u8ad6\u7406\u3068\u4f75\u305b\u3066\u3001\u8ad6\u7406\u5b66\u306e\u57fa\u790e\u3092\u30de\u30b9\u30bf\u30fc\u3057\u307e\u3057\u3087\u3046\uff01<\/p>\n<p><a href=\"https:\/\/online-library.site\/?p=1664\" target=\"_blank\" rel=\"noopener\">\u547d\u984c\u8ad6\u7406\u306b\u3064\u3044\u3066\u306f\u3053\u3061\u3089\u304b\u3089<\/a><\/p>\n<h2 id=\"h2\"><span class=\"ez-toc-section\" id=\"%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%A7%E7%94%A8%E3%81%84%E3%82%8B%E8%A8%98%E5%8F%B7\"><\/span>\u8ff0\u8a9e\u8ad6\u7406\u3067\u7528\u3044\u308b\u8a18\u53f7<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<p>\u306f\u3058\u3081\u306b\u3001\u8ff0\u8a9e\u8ad6\u7406\u3067\u7528\u3044\u308b<strong>\u8a18\u53f7<\/strong>\u306b\u3064\u3044\u3066\u7d39\u4ecb\u3057\u307e\u3059\u3002\u8ff0\u8a9e\u8ad6\u7406\u306f\u3001\u3053\u3053\u306b\u767b\u5834\u3059\u308b\u8a18\u53f7\u3060\u3051\u3092\u4f7f\u3063\u3066\u8868\u73fe\u3055\u308c\u307e\u3059\u3002\u305d\u308c\u307b\u3069\u91cf\u306f\u591a\u304f\u306a\u3044\u306e\u3067\u3001\u6700\u5f8c\u307e\u3067\u76ee\u3092\u901a\u3057\u3066\u307f\u3066\u304f\u3060\u3055\u3044\u3002<\/p>\n<h3 id=\"h3\"><span class=\"ez-toc-section\" id=\"%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%A7%E7%94%A8%E3%81%84%E3%82%8B%E8%A8%98%E5%8F%B7%E2%91%A0%EF%BC%9A%E8%AA%9E%E5%BD%99%E3%81%AE%E5%AE%9A%E7%BE%A9\"><\/span>\u8ff0\u8a9e\u8ad6\u7406\u3067\u7528\u3044\u308b\u8a18\u53f7\u2460\uff1a\u8a9e\u5f59\u306e\u5b9a\u7fa9<span class=\"ez-toc-section-end\"><\/span><\/h3>\n<p>\u8ff0\u8a9e\u8ad6\u7406\u3067\u7528\u3044\u308b<strong>\u8a9e\u5f59<\/strong>\uff08\u2252\u5358\u8a9e\uff09\u306f\u4ee5\u4e0b\u306e\u901a\u308a\u3067\u3059\u3002<\/p>\n<ul>\n<li><strong>\u00ac<\/strong>\uff1a\u3067\u306a\u3044\uff08\u5426\u5b9a\uff09<\/li>\n<li><strong>\u2227<\/strong>\uff1a\u304b\u3064\uff08\u9023\u8a00\uff09<\/li>\n<li><strong>\u2228<\/strong>\uff1a\u307e\u305f\u306f\uff08\u9078\u8a00\uff09<\/li>\n<li><strong>\u2192<\/strong>\uff1a\u306a\u3089\u3070\uff08\u6761\u4ef6\u6cd5\uff09<\/li>\n<li><strong>\u21d4<\/strong>\uff1a\u540c\u5024\uff08\u53cc\u6761\u4ef6\u6cd5\uff09<\/li>\n<li><strong>( )<\/strong>\uff1a\u8a18\u53f7\u306e\u4f5c\u7528\u57df\n<ul>\n<li>\u4f8b\uff1a\uff08p\u2192q\uff09\u22a6 \u00acp \u2228 q<\/li>\n<\/ul>\n<\/li>\n<li><strong>[ ]<\/strong>\uff1a\u4eee\u5b9a<\/li>\n<li><strong>{ }<\/strong>\uff1a\u96c6\u5408<\/li>\n<li><strong>\u2208<\/strong>\uff1a\u8981\u7d20\n<ul>\n<li>\u4f8b\uff1aA \u2208 {A, B}\uff1a\u610f\u5473\u300cA\u306f\u96c6\u5408{A,B}\u306e\u8981\u7d20\u3067\u3042\u308b\u300d<\/li>\n<\/ul>\n<\/li>\n<li><strong>&lt; &gt;<\/strong>\uff1a\u9806\u5e8f\u5bfe\uff08\u9806\u756a\u306b\u610f\u5473\u306e\u3042\u308b\u96c6\u5408\uff09<\/li>\n<li><strong>\u22a6<\/strong> \uff1a\u63a8\u8ad6\n<ul>\n<li>\u4f8b\uff1a{p} \u22a6 p\u2228q<\/li>\n<li>\u610f\u5473\uff1ap\u3092\u524d\u63d0\u306b\u3057\u3066\u3001p\u2228q\u3092\u63a8\u8ad6\u3059\u308b\u3002<\/li>\n<li>\u69cb\u6587\u8ad6\u306e\u8a3c\u660e\u3067\u7528\u3044\u308b\u3002\u22a6 \u306e\u524d\u304c\u524d\u63d0\u3001\u5f8c\u304c\u7d50\u8ad6\u306b\u306a\u308b\u3002\u524d\u63d0\u306b\u306f{ }\u3092\u3064\u3051\u308b\u3002\u524d\u63d0\u304c\u8907\u6570\u500b\u3042\u308b\u5834\u5408\u306f{p,q}\u306e\u3088\u3046\u306b , \u3067\u7e4b\u3050\u3002\uff09<\/li>\n<\/ul>\n<\/li>\n<li><strong>\u22a7<\/strong>\uff1a\u8ad6\u7406\u5f0f\u306e\u5145\u8db3\n<ul>\n<li>\u8a73\u3057\u304f\u306f\u300c\u8ff0\u8a9e\u8ad6\u7406\u306e\u610f\u5473\u8ad6\u300d\u3092\u53c2\u7167<\/li>\n<\/ul>\n<\/li>\n<li><strong>\u22a8<\/strong>\uff1a\u8ad6\u7406\u7684\u5e30\u7d50\n<ul>\n<li>\u4f8b\uff1a\u03c6 \u22a8 \u03c8<\/li>\n<li>\u610f\u5473\uff1a\u03c6\u3092\u524d\u63d0\u306b\u3057\u3066\u3001\u03c8\u3092\u5e30\u7d50\u3059\u308b\u3002<\/li>\n<li>\u610f\u5473\u8ad6\u306e\u8a3c\u660e\u3067\u7528\u3044\u308b\u3002\u22a6 \uff08\u63a8\u8ad6\uff09\u3068\u9055\u3063\u3066\u3001\u524d\u63d0\u306b{ }\u3092\u5fc5\u8981\u3068\u3057\u306a\u3044\u3002\u306a\u304a\u3001\u22a7\uff08\u8ad6\u7406\u5f0f\u306e\u5145\u8db3\uff09\u3068\u306f\u7121\u95a2\u4fc2\u3067\u3042\u308b\u3002\u3053\u306e\u8a18\u4e8b\u3067\u306f\u6a2a\u68d2\u306e\u9577\u3055\u3067\u4e21\u8005\u3092\u533a\u5225\u3059\u308b\u306e\u3067\u3001\u6ce8\u610f\u3057\u3066\u898b\u3066\u307b\u3057\u3044\u3002\u6a2a\u68d2\u304c\u9577\u3051\u308c\u3070\u8ad6\u7406\u7684\u5e30\u7d50\u3001\u77ed\u3051\u308c\u3070\u8ad6\u7406\u5f0f\u306e\u5145\u8db3\u3092\u610f\u5473\u3059\u308b\u3002<\/li>\n<\/ul>\n<\/li>\n<li><strong>p, q<\/strong> \uff1a\u547d\u984c\n<ul>\n<li>\u8ff0\u8a9e\u8ad6\u7406\u3067\u306f\u4f7f\u308f\u306a\u3044\u304c\u3001\u516c\u7406\u306e\u8aac\u660e\u3067\u5229\u7528\u3059\u308b\u3002<\/li>\n<\/ul>\n<\/li>\n<li><strong>F, G<\/strong>\uff1a\u4e00\u9805\u8ff0\u8a9e\n<ul>\n<li>\u4f8b\uff1a\u300c\u30bd\u30af\u30e9\u30c6\u30b9\u306f\u4eba\u9593\u3067\u3042\u308b\u300d\u3068\u3044\u3046\u6587\u306f\u30011\u3064\u306e\u9805\uff08\u30bd\u30af\u30e9\u30c6\u30b9\uff09\u30681\u3064\u306e\u8ff0\u8a9e\uff08\u4eba\u9593\u3067\u3042\u308b\uff09\u3067\u6210\u7acb\u3057\u3066\u3044\u308b\u3002\u3053\u306e\u3088\u3046\u306a\u6587\u306b\u767b\u5834\u3059\u308b\u8ff0\u8a9e\u3092\u300c\u4e00\u9805\u8ff0\u8a9e\u300d\u3068\u547c\u3076\u3002<\/li>\n<\/ul>\n<\/li>\n<li><strong>R<\/strong>\uff1a\u4e8c\u9805\u8ff0\u8a9e\n<ul>\n<li>\u4f8b\uff1a\u300c\u592a\u90ce\u306f\u82b1\u5b50\u3092\u611b\u3057\u3066\u3044\u308b\u300d\u3068\u3044\u3046\u6587\u306f\u30012\u3064\u306e\u9805\uff08\u592a\u90ce\u30fb\u82b1\u5b50\uff09\u30681\u3064\u306e\u8ff0\u8a9e\uff08\u611b\u3057\u3066\u3044\u308b\uff09\u3067\u6210\u7acb\u3057\u3066\u3044\u308b\u3002\u3053\u306e\u3088\u3046\u306a\u6587\u306b\u767b\u5834\u3059\u308b\u8ff0\u8a9e\u3092\u300c\u4e8c\u9805\u8ff0\u8a9e\u300d\u3068\u547c\u3076\u3002<\/li>\n<\/ul>\n<\/li>\n<li><strong>c<\/strong>\uff1a\u500b\u4f53\u5b9a\u9805\n<ul>\n<li>\u4f8b\uff1a\u300c\u30bd\u30af\u30e9\u30c6\u30b9\u306f\u4eba\u9593\u3067\u3042\u308b\u300d\u3068\u3044\u3046\u6587\u3092Fc\u3068\u8868\u3059\u3068\u3001c\uff08\uff1d\u30bd\u30af\u30e9\u30c6\u30b9\uff09\u304c\u500b\u4f53\u5b9a\u9805\u306b\u5f53\u305f\u308b\u3002<\/li>\n<\/ul>\n<\/li>\n<li><strong>a, b<\/strong> \uff1a\u81ea\u7531\u5909\u9805\n<ul>\n<li>\u4f8b\uff1a\u300c\u30bd\u30af\u30e9\u30c6\u30b9\u306f\u4eba\u9593\u3067\u3042\u308b\u300d\u3068\u3044\u3046\u6587\u306e\u300c\u30bd\u30af\u30e9\u30c6\u30b9\u300d\u3068\u3044\u3046\u500b\u4f53\u5b9a\u9805\u304c\u4e0d\u660e\u3067\u3042\u308b\u5834\u5408\u3001\u300ca\u306f\u4eba\u9593\u3067\u3042\u308b\u300d\u3068\u8868\u8a18\u3055\u308c\u308b\u3002\u300ca\u306f\u4eba\u9593\u3067\u3042\u308b\u300d\u306f\u6587\u3067\u306f\u306a\u304f\uff08\u610f\u5473\u304c\u6c7a\u307e\u3063\u3066\u3044\u306a\u3044\u304b\u3089\u6587\u306b\u306a\u3089\u306a\u3044\uff09\u3001\u300c\u8ad6\u7406\u5f0f\u300d\u3068\u547c\u3070\u308c\u3001a\u306f\u300c\u81ea\u7531\u5909\u9805\u300d\u3068\u547c\u3070\u308c\u308b\u3002c\u304c\u5b9a\u6570\u3001a\u30fbb\u304c\u5909\u6570\u3068\u8003\u3048\u308c\u3070\u826f\u3044\u3002<\/li>\n<\/ul>\n<\/li>\n<li><strong>\u2200<\/strong>\uff1a\u3059\u3079\u3066\u306e\uff08\u5168\u79f0\uff09\n<ul>\n<li>\u4f8b\uff1a\u300c\u5168\u3066\u306ex\u306b\u5bfe\u3057\u3066\u300ex\u306f\u4eba\u9593\u3067\u3042\u308b\u300f\u304c\u6210\u7acb\u3059\u308b\u300d\uff1d\u2200xFx<\/li>\n<\/ul>\n<\/li>\n<li><strong>\u2203<\/strong>\uff1a\u3042\u308b\uff08\u5b58\u5728\uff09\n<ul>\n<li>\u4f8b\uff1a\u300c\u300ex\u306f\u4eba\u9593\u3067\u3042\u308b\u300f\u3092\u6e80\u305f\u3059x\u304c\u5b58\u5728\u3059\u308b\u300d\uff1d\u2203xFx<\/li>\n<\/ul>\n<\/li>\n<li><strong>x, y<\/strong>\uff1a\u675f\u7e1b\u5909\u9805\n<ul>\n<li>\u300ca\u306f\u4eba\u9593\u3067\u3042\u308b\u300d\u3068\u3044\u3046\u8ad6\u7406\u5f0f\u3092Fa\u3068\u8868\u3059\u3002\u3053\u306e\u8ad6\u7406\u5f0f\u3092\u5b58\u5728\u91cf\u5316\u3059\u308b\u3068\u300c\u300ex\u306f\u4eba\u9593\u3067\u3042\u308b\u300f\u3092\u6e80\u305f\u3059x\u304c\u5b58\u5728\u3059\u308b\u300d\u3068\u306a\u308a\u3001\u3053\u306e\u8ad6\u7406\u5f0f\u306f\u300c\u2203xFx\u300d\u3068\u8868\u3055\u308c\u308b\u3002\u2200\u30fb\u2203\u3092\u4f7f\u3046\u5834\u5408\u3001\u8ad6\u7406\u5f0f\u306e\u9805\u3067\u3042\u308b\u81ea\u7531\u5909\u9805a\u304c\u675f\u7e1b\u5909\u9805x\u306b\u306a\u308b\u3053\u3068\u306b\u6ce8\u610f\u3002<\/li>\n<\/ul>\n<\/li>\n<li><strong>\u03c6, \u03c8<\/strong>\uff1a\u6587\u3068\u8ad6\u7406\u5f0f\u3092\u8868\u3059\u30e1\u30bf\u5909\u9805\n<ul>\n<li>\u30e1\u30bf\u5909\u9805\u3068\u306f\u3001\u6587\u6cd5\u306b\u3064\u3044\u3066\u8aac\u660e\u3059\u308b\u969b\u306b\u306e\u307f\u7528\u3044\u3089\u308c\u308b\u30e1\u30bf\u8a00\u8a9e\uff08\u8a00\u8a9e\u3092\u8aac\u660e\u3059\u308b\u306e\u306b\u4f7f\u3046\u8a00\u8a9e\uff09\u3067\u3042\u308b\u3002\u5927\u6587\u5b57\u306e\u03a6\u3001\u03a8\u3082\u540c\u7fa9\u3002\u6587\u6cd5\u8aac\u660e\u4ee5\u5916\u3067\u306f\u7528\u3044\u306a\u3044\u306e\u3067\u6ce8\u610f\u3002<\/li>\n<\/ul>\n<\/li>\n<li><strong>\u03b1<\/strong>\uff1a\u500b\u4f53\u5b9a\u9805\u3092\u8868\u3059\u30e1\u30bf\u5909\u9805<\/li>\n<\/ul>\n<h3 id=\"h3\"><span class=\"ez-toc-section\" id=\"%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%A7%E7%94%A8%E3%81%84%E3%82%8B%E8%A8%98%E5%8F%B7%E2%91%A1%EF%BC%9A%E6%96%87%E3%81%A8%E8%AB%96%E7%90%86%E5%BC%8F%E3%81%AE%E5%AE%9A%E7%BE%A9\"><\/span>\u8ff0\u8a9e\u8ad6\u7406\u3067\u7528\u3044\u308b\u8a18\u53f7\u2461\uff1a\u6587\u3068\u8ad6\u7406\u5f0f\u306e\u5b9a\u7fa9<span class=\"ez-toc-section-end\"><\/span><\/h3>\n<p>\u8ff0\u8a9e\u8ad6\u7406\u306e\u8a9e\u5f59\u306b\u3064\u3044\u3066\u8aac\u660e\u3059\u308b\u969b\u3001\u7279\u306b\u6ce8\u91c8\u306a\u304f\u300c\u6587\u300d\u3068\u300c\u8ad6\u7406\u5f0f\u300d\u3068\u3044\u3046\u8a00\u8449\u3092\u4f7f\u3063\u3066\u3044\u307e\u3057\u305f\u304c\u3001\u3053\u3053\u3067\u6539\u3081\u3066<span style=\"color: #ff0000;\"><strong>\u6587\u30fb\u8ad6\u7406\u5f0f<\/strong><\/span>\u3092\u5b9a\u7fa9\u3057\u3066\u304a\u304d\u307e\u3059\u3002\u5148\u307b\u3069\u5b9a\u7fa9\u3057\u305f\u8a9e\u5f59\u3092\u4f7f\u3063\u3066\u3044\u304f\u306e\u3067\u3001\u8a9e\u5f59\u306e\u90e8\u5206\u3092\u53c2\u7167\u3057\u3064\u3064\u8aad\u3093\u3067\u307f\u3066\u304f\u3060\u3055\u3044\u3002<\/p>\n<ul>\n<li><strong>Fc<\/strong>\u306f\u539f\u59cb\u6587\u3067\u3042\u308b<\/li>\n<li><strong>Rc1c2<\/strong>\u306f\u539f\u59cb\u6587\u3067\u3042\u308b\uff08\u203bc1, c2\u306fc\u3068\u540c\u3058\u304f\u500b\u4f53\u5b9a\u9805\u3002\u4e8c\u9805\u8ff0\u8a9e\u306f\u500b\u4f53\u5b9a\u9805\u30922\u3064\u5fc5\u8981\u3068\u3059\u308b\u306e\u3067\u3001\u6dfb\u5b57\u3092\u4f7f\u3063\u30662\u3064\u306e\u500b\u4f53\u5b9a\u9805\u3092\u533a\u5225\u3057\u3066\u3044\u308b\u3002\uff09<\/li>\n<li>\u539f\u59cb\u6587\u306f\u6587\u3067\u3042\u308b<\/li>\n<li><strong>Fa<\/strong>\u306f\u539f\u59cb\u8ad6\u7406\u5f0f\u3067\u3042\u308b<\/li>\n<li><strong>Rab<\/strong>\u306f\u539f\u59cb\u8ad6\u7406\u5f0f\u3067\u3042\u308b<\/li>\n<li>\u539f\u59cb\u8ad6\u7406\u5f0f\u306f\u8ad6\u7406\u5f0f\u3067\u3042\u308b<\/li>\n<li><strong>\u03c6<\/strong>\u304c\u6587\u306a\u3089\u3070\u3001<strong>\u00ac\u03c6<\/strong>\u3082\u6587\u3067\u3042\u308b<\/li>\n<li><strong>\u03c6<\/strong>\u304c\u8ad6\u7406\u5f0f\u306a\u3089\u3070\u3001\u00ac\u03c6\u3082\u8ad6\u7406\u5f0f\u3067\u3042\u308b<\/li>\n<li>\u03c6\u3068\u03c8\u304c\u3068\u3082\u306b<strong>\u6587<\/strong>\u306a\u3089\u3070\u3001<strong>\u03c6\u2227\u03c8\u3001\u03c6\u2228\u03c8\u3001\u03c6\u2192\u03c8<\/strong>\u3082\u6587\u3067\u3042\u308b<\/li>\n<li>\u03c6\u3068\u03c8\u306e\u3069\u3061\u3089\u304b\u4e00\u65b9\u3067\u3082\u8ad6\u7406\u5f0f\u306a\u3089\u3070\u3001<strong>\u03c6\u2227\u03c8\u03c6\u2228\u03c8\u3001\u03c6\u2192\u03c8<\/strong>\u3082\u8ad6\u7406\u5f0f\u3067\u3042\u308b<\/li>\n<\/ul>\n<p>\u8981\u3059\u308b\u306b\u3001<span style=\"text-decoration: underline;\">\u4e00\u3064\u3067\u3082\u81ea\u7531\u5909\u9805\u304c\u542b\u307e\u308c\u3066\u3044\u308c\u3070<strong>\u8ad6\u7406\u5f0f<\/strong>\u306b\u306a\u308a\u3001\u5168\u3066\u306e\u9805\u304c\u500b\u4f53\u5b9a\u9805\u306a\u3089\u3070<strong>\u6587<\/strong>\u306b\u306a\u308b<\/span>\u3001\u3068\u3044\u3046\u3053\u3068\u3067\u3059\u3002<\/p>\n<h2 id=\"h2\"><span class=\"ez-toc-section\" id=\"%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AE%E6%A7%8B%E6%96%87%E8%AB%96\"><\/span>\u8ff0\u8a9e\u8ad6\u7406\u306e\u69cb\u6587\u8ad6<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<h3 id=\"h3\"><span class=\"ez-toc-section\" id=\"%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AE%E6%A7%8B%E6%96%87%E8%AB%96%E2%91%A0%EF%BC%9A%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%A7%E7%94%A8%E3%81%84%E3%82%8B%E5%85%AC%E7%90%86\"><\/span>\u8ff0\u8a9e\u8ad6\u7406\u306e\u69cb\u6587\u8ad6\u2460\uff1a\u8ff0\u8a9e\u8ad6\u7406\u3067\u7528\u3044\u308b\u516c\u7406<span class=\"ez-toc-section-end\"><\/span><\/h3>\n<p>\u3053\u3053\u307e\u3067\u3001\u8ff0\u8a9e\u8ad6\u7406\u3067\u7528\u3044\u308b\u8a18\u53f7\u3092\u89e3\u8aac\u3057\u3066\u304d\u307e\u3057\u305f\u3002\u3053\u3053\u304b\u3089\u306f\u3001\u3044\u3088\u3044\u3088\u672c\u683c\u7684\u306b<strong>\u8ad6\u7406\u306e\u6587\u6cd5<\/strong>\u306e\u8aac\u660e\u306b\u5165\u308a\u307e\u3059\u3002<\/p>\n<p>\u8a18\u53f7\u8ad6\u7406\u3067\u306f\u3001\u3044\u304f\u3064\u304b\u306e<span style=\"color: #ff0000;\"><strong>\u516c\u7406<\/strong><\/span>\uff08\u8a3c\u660e\u4e0d\u8981\u306a\u63a8\u8ad6\uff09\u304b\u3089\u3001\u6d3e\u751f\u7684\u306b\u3069\u3093\u3069\u3093\u63a8\u8ad6\u3092\u4f5c\u3063\u3066\u3044\u304d\u307e\u3059\u3002\u63a8\u8ad6\u306e\u8d77\u70b9\u306b\u306a\u308b\u516c\u7406\u306f\u4ee5\u4e0b\u306e12\u500b\u3067\u3059\uff08\u3046\u3061\u3001\u547d\u984c\u8ad6\u7406\u3067\u3082\u4f7f\u3046\u516c\u7406\u304c8\u3064\u3042\u308a\u307e\u3059\uff09\u3002<\/p>\n<p>\u547d\u984c\u8ad6\u7406\u306e\u516c\u7406<\/p>\n<ul>\n<li><strong>\u9023\u8a00\u5c0e\u5165\u5247<\/strong>\uff1a{p, q} \u22a6 p\u2227q<\/li>\n<li><strong>\u9023\u8a00\u9664\u53bb\u5247<\/strong>\uff1a{p\u2227q} \u22a6 p, {p\u2227q} \u22a6 q<\/li>\n<li><strong>\u9078\u8a00\u5c0e\u5165\u5247<\/strong>\uff1a{p} \u22a6 p\u2228q, {q} \u22a6 p\u2228q<\/li>\n<li><strong>\u9078\u8a00\u9664\u53bb\u5247<\/strong>\uff1a{p\u2228q, [p]&#8230;r, [q]&#8230;r} \u22a6 r\n<ul>\n<li>[p]&#8230;r\u306f\u3001\u300cp\u3092\u4eee\u5b9a\u3059\u308b\u3053\u3068\u3067r\u304c\u5c0e\u51fa\u3055\u308c\u308b\u300d\u3068\u3044\u3046\u610f\u5473\u3002\u300c&#8230;\u300d\u306f\u3001\u9014\u4e2d\u306e\u63a8\u8ad6\u904e\u7a0b\u3092\u7701\u7565\u3059\u308b\u8a18\u53f7\u3002\u4ee5\u4e0b\u540c\u69d8\u3002<\/li>\n<\/ul>\n<\/li>\n<li><strong>\u6761\u4ef6\u6cd5\u5c0e\u5165\u5247<\/strong>\uff1a{[p]&#8230;q} \u22a6 p\u2192q<\/li>\n<li><strong>\u6761\u4ef6\u6cd5\u9664\u53bb\u5247<\/strong>\uff1a{p, p\u2192q} \u22a6 q<\/li>\n<li><strong>\u5426\u5b9a\u5c0e\u5165\u5247<\/strong>\uff1a{[p]&#8230;q\u2227\u00acq} \u22a6 \u00acp<\/li>\n<li><strong>\u5426\u5b9a\u9664\u53bb\u5247<\/strong>\uff1a{\u00ac\u00acp} \u22a6 p<\/li>\n<\/ul>\n<p>\u8ff0\u8a9e\u8ad6\u7406\u306e\u516c\u7406<\/p>\n<ul>\n<li><strong>\u5168\u79f0\u6c4e\u5316<\/strong>\uff1a{\u03a6\u03b1} \u22a6 \u2200x\u03a6x\n<ul>\n<li>\u4ee5\u4e0b\u306e\u6761\u4ef6\u3092\u6e80\u305f\u3059\u5834\u5408\u306b\u6210\u7acb\u3059\u308b<\/li>\n<li>\u2200x\u03a6x\u306b\u03b1\u304c\u542b\u307e\u308c\u306a\u3044<\/li>\n<li>\u03a6\u03b1\u304c\u4f9d\u5b58\u3059\u308b\u524d\u63d0\u3068\u4eee\u5b9a\u306b\u03b1\u304c\u542b\u307e\u308c\u306a\u3044<\/li>\n<li>\uff08\u203b\u5168\u79f0\u6c4e\u5316\u306e\u4f8b\u306f\u4ee5\u4e0b\u306e\u3010\u88dc\u8db3\u3011\u3092\u53c2\u7167\uff09<\/li>\n<\/ul>\n<\/li>\n<li><strong>\u5168\u79f0\u4f8b\u5316<\/strong>\uff1a{\u2200x\u03a6x} \u22a6 \u03a6\u03b1\n<ul>\n<li>\u4f8b\uff1a\u300c\u5168\u3066\u306ex\u306b\u3064\u3044\u3066\u300ex\u306f\u4eba\u9593\u3067\u3042\u308b\u300f\u304c\u6210\u7acb\u3059\u308b\u300d\u3068\u3044\u3046\u524d\u63d0\u304b\u3089\u3001\u300c\u30bd\u30af\u30e9\u30c6\u30b9\u306f\u4eba\u9593\u3067\u3042\u308b\u300d\u3092\u7d50\u8ad6\u3065\u3051\u308b\u3002<\/li>\n<\/ul>\n<\/li>\n<li><strong>\u5b58\u5728\u6c4e\u5316<\/strong>\uff1a{\u03a6\u03b1} \u22a6 \u2203x\u03a6x\n<ul>\n<li>\u4f8b\uff1a\u300c\u30bd\u30af\u30e9\u30c6\u30b9\u306f\u4eba\u9593\u3067\u3042\u308b\u300d\u3068\u3044\u3046\u524d\u63d0\u304b\u3089\u3001\u300c\u3042\u308bx\u306b\u3064\u3044\u3066\u300ex\u306f\u4eba\u9593\u3067\u3042\u308b\u300f\u300d\u3092\u7d50\u8ad6\u3065\u3051\u308b<\/li>\n<\/ul>\n<\/li>\n<li><strong>\u5b58\u5728\u4f8b\u5316<\/strong>\uff1a{\u2203x\u03a6x, [\u03a6\u03b1]&#8230;\u03c8} \u22a6 \u03c8\n<ul>\n<li>\u4ee5\u4e0b\u306e\u6761\u4ef6\u3092\u6e80\u305f\u3059\u5834\u5408\u306b\u6210\u7acb\u3059\u308b<\/li>\n<li>\u03c8\u3068\u2203x\u03a6x\u306b\u03b1\u304c\u73fe\u308c\u306a\u3044<\/li>\n<li>\u03c8\u304c\u4f9d\u5b58\u3059\u308b\u524d\u63d0\u306b\u03b1\u304c\u73fe\u308c\u306a\u3044<\/li>\n<li>\u03c8\u304c\u4f9d\u5b58\u3059\u308b\u4eee\u5b9a\u306b\u03b1\u304c\u73fe\u308c\u306a\u3044\uff08\u305f\u3060\u3057\u03a6\u03b1\u306f\u9664\u304f\uff09<\/li>\n<li>\u4f8b\uff1a\u300c\u3042\u308bx\u306b\u3064\u3044\u3066\u300ex\u306f\u4eba\u9593\u3067\u3042\u308b\u300f\u300d\u3068\u3044\u3046\u524d\u63d0\u3068\u3001\u300c\u300e\u30bd\u30af\u30e9\u30c6\u30b9\u306f\u4eba\u9593\u3067\u3042\u308b\u300f\u3092\u4eee\u5b9a\u3057\u305f\u3068\u304d\u3001\u300e\u5168\u3066\u306e\u4eba\u9593\u306f\u6b7b\u306c\u300f\u3092\u5c0e\u51fa\u3067\u304d\u308b\u300d\u3068\u3044\u3046\u524d\u63d0\u304b\u3089\u3001\u300c\u5168\u3066\u306e\u4eba\u9593\u306f\u6b7b\u306c\u300d\u3092\u5c0e\u51fa\u3059\u308b<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>\u3010\u5168\u79f0\u6c4e\u5316\u306b\u3064\u3044\u3066\u306e\u88dc\u8db3\u3011<\/p>\n<p>\u5168\u79f0\u6c4e\u5316\u306f\u3001\u4f8b\u3048\u3070\u300c\u30bd\u30af\u30e9\u30c6\u30b9\u306f\u4eba\u9593\u3067\u3042\u308b\u300d\u3068\u3044\u3046\u524d\u63d0\u304b\u3089\u300c\u5168\u3066\u306ex\u306b\u3064\u3044\u3066\u300ex\u306f\u4eba\u9593\u3067\u3042\u308b\u300f\u304c\u6210\u7acb\u3059\u308b\u300d\u3068\u3044\u3046\u7d50\u8ad6\u3092\u5c0e\u304f\u63a8\u8ad6\u3067\u3042\u308b\u3002<\/p>\n<p>\u3053\u306e\u516c\u7406\u306e\u30dd\u30a4\u30f3\u30c8\u306f\u3001<strong>\u03a6\u03b1\u3060\u3051\u3067\u306f\u2200x\u03a6x\u3092\u5c0e\u3051\u306a\u3044\u70b9<\/strong>\u306b\u3042\u308b\u3002\u4f8b\u3048\u3070\u4ee5\u4e0b\u306e\u63a8\u8ad6\u306f\u4e0d\u6210\u7acb\u3067\u3042\u308b\u3002<\/p>\n<blockquote><p>{Fa} \u22a6 \u2200xFx<\/p><\/blockquote>\n<p>\u300c\u4f9d\u5b58\u3059\u308b\u524d\u63d0\u30fb\u4eee\u5b9a\u300d\u3068\u306f\u3001<span style=\"text-decoration: underline;\">\u63a8\u8ad6\u306e\u8d77\u70b9\u3068\u306a\u308b\u8ad6\u7406\u5f0f\u30fb\u6587<\/span>\u3092\u6307\u3059\u306e\u3060\u304c\uff08\u4f8b\u3048\u3070{Ga \u22a6 Fa} \u22a6 \u00acGa \u2228 Fa \u306a\u3089\u3070\u3001<strong>Ga\u306fFa\u304c\u4f9d\u5b58\u3059\u308b\u4eee\u5b9a<\/strong>\u306b\u306a\u308b\uff09\u3001<strong>Fa\u304c\u4f9d\u5b58\u3059\u308b\u524d\u63d0\u306f\u3053\u306e\u5834\u5408<span style=\"color: #ff0000;\">Fa\u81ea\u8eab<\/span><\/strong>\u306b\u306a\u308b\u3002Fa\u306ba\u304c\u542b\u307e\u308c\u3066\u3044\u308b\u306e\u3067\u3001\u5168\u79f0\u6c4e\u5316\u306f\u6210\u7acb\u3057\u306a\u3044\u3002<\/p>\n<p>\u4e00\u65b9\u3067\u3001\u4ee5\u4e0b\u306e\u63a8\u8ad6\u306f\uff3f\uff3f\u4f55\u306e\u610f\u5473\u3082\u306a\u3044\u63a8\u8ad6\u3060\u304c\uff3f\uff3f\u6210\u7acb\u3059\u308b\u3002<\/p>\n<blockquote><p>{\u2200xFx \u22a6 Fa} \u22a6 \u2200xFx<\/p><\/blockquote>\n<p>\u300c\u5168\u3066\u306ex\u306b\u5bfe\u3057\u3066\u300ex\u306f\u4eba\u9593\u3067\u3042\u308b\u300f\u300d\u3068\u3044\u3046\u524d\u63d0\u304b\u3089\u300c\u30bd\u30af\u30e9\u30c6\u30b9\u306f\u4eba\u9593\u3067\u3042\u308b\u300d\u3092\u5c0e\u304d\u3001\u300c\u30bd\u30af\u30e9\u30c6\u30b9\u306f\u4eba\u9593\u3067\u3042\u308b\u300d\u3068\u3044\u3046\u524d\u63d0\u304b\u3089\u300c\u5168\u3066\u306ex\u306b\u5bfe\u3057\u3066\u300ex\u306f\u4eba\u9593\u3067\u3042\u308b\u300d\u3068\u3044\u3046\u7d50\u8ad6\u3092\u5c0e\u304d\u76f4\u3057\u3066\u3044\u308b\u3002\u5168\u304f\u610f\u5473\u306e\u306a\u3044\u63a8\u8ad6\uff08\u524d\u63d0\u3068\u7d50\u8ad6\u304c\u4e00\u81f4\u3059\u308b\uff09\u3060\u304c\u3001\u5168\u79f0\u6c4e\u5316\u306b\u3064\u3044\u3066\u6709\u76ca\u306a\u793a\u5506\u3092\u4e0e\u3048\u308b\u63a8\u8ad6\u3067\u3042\u308b\u3002<\/p>\n<p>\u2200xFx \u22a6 Fa\u3068\u3044\u3046\u63a8\u8ad6\u306f\u300c<strong>\u5168\u79f0\u4f8b\u5316<\/strong>\u300d\u3068\u547c\u3070\u308c\u308b\u516c\u7406\uff08\u5f8c\u8ff0\uff09\u306b\u57fa\u3065\u3044\u3066\u3044\u308b\u3002\u3053\u306e\u5834\u5408\u3001Fa\u304c\u4f9d\u5b58\u3059\u308b\u524d\u63d0\u306f\u2200xFx\u3067\u3042\u308b\u3002<span style=\"text-decoration: underline;\">Fa\u306e\u524d\u63d0\u3068\u306a\u308b\u2200xFx\u306ba\u304c\u542b\u307e\u308c\u3066\u304a\u3089\u305a\u3001\u7d50\u8ad6\u3068\u306a\u308b\u2200xFx\u306b\u3082a\u304c\u542b\u307e\u308c\u3066\u3044\u306a\u3044\u306e\u3067\u3001\u5168\u79f0\u6c4e\u5316\u304c\u6210\u7acb\u3059\u308b<\/span>\u3002<\/p>\n<p>\u4ee5\u4e0a\u304b\u3089\u308f\u304b\u308b\u901a\u308a\u3001<strong>\u5168\u79f0\u6c4e\u5316\u3092\u7528\u3044\u308b\u5834\u5408\u306b\u306f\u3001\u03a6\u03b1\uff08\u4f8b\u3048\u3070Fa\uff09\u306e\u524d\u63d0\u30fb\u4eee\u5b9a\u3068\u3057\u3066\u4f55\u304b\u5225\u306e\u6587\u30fb\u8ad6\u7406\u5f0f\u304c\u5fc5\u8981\u306b\u306a\u308b<\/strong>\u3002\u305c\u3072\u6ce8\u610f\u3057\u3066\u4f7f\u3063\u3066\u3082\u3089\u3044\u305f\u3044\u3002<\/p>\n<p>\u3010\u88dc\u8db3\u304a\u308f\u308a\u3011<\/p>\n<p>&nbsp;<\/p>\n<h3 id=\"h3\"><span class=\"ez-toc-section\" id=\"%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AE%E6%A7%8B%E6%96%87%E8%AB%96%E2%91%A1%EF%BC%9A%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AE%E5%85%AC%E7%90%86%E3%82%92%E4%BD%BF%E3%81%A3%E3%81%9F%E8%A8%BC%E6%98%8E\"><\/span>\u8ff0\u8a9e\u8ad6\u7406\u306e\u69cb\u6587\u8ad6\u2461\uff1a\u8ff0\u8a9e\u8ad6\u7406\u306e\u516c\u7406\u3092\u4f7f\u3063\u305f\u8a3c\u660e<span class=\"ez-toc-section-end\"><\/span><\/h3>\n<p>12\u500b\u516c\u7406\u3092\u7d39\u4ecb\u3057\u307e\u3057\u305f\u304c\u3001\u300c\u6697\u8a18\u3057\u308d\uff01\u300d\u3068\u3044\u3046\u3064\u3082\u308a\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u516c\u7406\u306f\u8a3c\u660e\u3067\u4f7f\u3063\u3066\u3044\u304f\u3046\u3061\u306b\u899a\u3048\u308b\u3082\u306e\u3067\u3059\u304b\u3089\u3002<\/p>\n<p>\u3068\u3044\u3046\u308f\u3051\u3067\u3001\u65e9\u901f\u4ee5\u4e0b\u306e\u63a8\u8ad6\u3092\u8a3c\u660e\u306b\u6311\u6226\u3057\u3066\u307f\u307e\u3057\u3087\u3046\u3002<\/p>\n<blockquote><p>{\u2203x(Fx\u2228Gx)} \u22a6 \u2203xFx \u2228 \u2203xGx<\/p><\/blockquote>\n<p>Fx\u3092\u300cx\u306f\u4eba\u9593\u3067\u3042\u308b\u300d\u3001Gx\u3092\u300cx\u306f\u9ad8\u6821\u751f\u3067\u3042\u308b\u300d\u3068\u3059\u308b\u3068\u3001\u300c\u300e\u4eba\u9593\u3067\u3042\u308b\u304b\u3001\u307e\u305f\u306f\u9ad8\u6821\u751f\u3067\u3042\u308b\u300f\u3088\u3046\u306a\u4eba\u304c\u5b58\u5728\u3059\u308b\u300d\u3068\u3044\u3046\u524d\u63d0\u304b\u3089\u300c\u4eba\u9593\u3067\u3042\u308b\u4eba\u304c\u5b58\u5728\u3059\u308b\u304b\u3001\u307e\u305f\u306f\u9ad8\u6821\u751f\u3067\u3042\u308b\u4eba\u304c\u5b58\u5728\u3059\u308b\u300d\u3068\u3044\u3046\u7d50\u8ad6\u3092\u5c0e\u304f\u63a8\u8ad6\u306b\u306a\u308a\u307e\u3059\u3002\u65e9\u901f\u8a3c\u660e\u3057\u307e\u3057\u3087\u3046\u3002<\/p>\n<ol>\n<li>Fa\u3092\u4eee\u5b9a\u3059\u308b<\/li>\n<li>Ga\u3092\u4eee\u5b9a\u3059\u308b<\/li>\n<li>\u2460\u306e\u4eee\u5b9aFa\u306b\u5b58\u5728\u6c4e\u5316\u3092\u9069\u7528\u3059\u308b\u3068\u3001\u2203xFx\u304c\u5c0e\u51fa\u3067\u304d\u308b<\/li>\n<li>\u2462\u3067\u5c0e\u51fa\u3057\u305f\u2203xFx\u306b\u9078\u8a00\u5c0e\u5165\u5247\u3092\u9069\u7528\u3059\u308b\u3068\u3001\u2203xFx \u2228 \u2203xGx \u304c\u5c0e\u51fa\u3067\u304d\u308b<\/li>\n<li>\u2461\u306e\u4eee\u5b9aGa\u306b\u5b58\u5728\u6c4e\u5316\u3092\u9069\u7528\u3059\u308b\u3068\u3001\u2203xGx\u304c\u5c0e\u51fa\u3067\u304d\u308b<\/li>\n<li>\u2464\u3067\u5c0e\u51fa\u3057\u305f\u2203xGx\u306b\u9078\u8a00\u5c0e\u5165\u5247\u3092\u9069\u7528\u3059\u308b\u3068\u3001\u2203xFx \u2228 \u2203xGx \u304c\u5c0e\u51fa\u3067\u304d\u308b<\/li>\n<li>Fa\u2228Ga\u3092\u4eee\u5b9a\u3059\u308b<\/li>\n<li>\u2466\u306e\u4eee\u5b9aFa\u2228Ga\u3001\u53ca\u3073\u2460\u306e\u4eee\u5b9aFa\u304b\u3089\u306e\u5c0e\u51fa\u7d50\u679c\u2203xFx \u2228 \u2203xGx\u3001\u2461\u306e\u4eee\u5b9aGa\u304b\u3089\u306e\u5c0e\u51fa\u7d50\u679c\u2203xFx \u2228 \u2203xGx\u3002\u4ee5\u4e0a3\u3064\u3092\u524d\u63d0\u3068\u3057\u3066\u9078\u8a00\u9664\u53bb\u5247\u3092\u9069\u7528\u3059\u308b\u3068\u3001\u2203xFx \u2228 \u2203xGx\u3092\u5c0e\u51fa\u3067\u304d\u308b<\/li>\n<li>\u524d\u63d0\u2203x(Fx\u2228Gx)\u3068\u3001\u2466\u306e\u4eee\u5b9aFa\u2228Ga\u304b\u3089\u306e\u5c0e\u51fa\u7d50\u679c\u2203xFx \u2228 \u2203xGx\u3002\u4ee5\u4e0a2\u3064\u3092\u524d\u63d0\u3068\u3057\u3066\u5b58\u5728\u4f8b\u5316\u3092\u9069\u7528\u3059\u308b\u3068\u3001\u2203xFx \u2228 \u2203xGx\u304c\u5c0e\u51fa\u3067\u304d\u308b<\/li>\n<\/ol>\n<p>\u3053\u306e\u8a3c\u660e\u3060\u3051\u3092\u898b\u3066\u3082\u7406\u89e3\u306f\u3067\u304d\u306a\u3044\u3068\u601d\u3046\u306e\u3067\u3001\u81ea\u5206\u3067\u624b\u3092\u52d5\u304b\u3057\u306a\u304c\u3089\u8a3c\u660e\u3057\u3066\u307f\u3066\u304f\u3060\u3055\u3044\u3002<\/p>\n<h2 id=\"h2\"><span class=\"ez-toc-section\" id=\"%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AE%E6%84%8F%E5%91%B3%E8%AB%96\"><\/span>\u8ff0\u8a9e\u8ad6\u7406\u306e\u610f\u5473\u8ad6<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<p>\u69cb\u6587\u8ad6\u3067\u306f\u3001\u4e00\u3064\u306e\u6587\u304c\u6b63\u3057\u3044\u304b\u3069\u3046\u304b\uff08\u4f8b\uff1aFc = \u300c\u30bd\u30af\u30e9\u30c6\u30b9\u306f\u4eba\u9593\u3067\u3042\u308b\u300d\u306e\u771f\u507d\uff09\u306f\u8003\u3048\u3066\u304d\u307e\u305b\u3093\u3067\u3057\u305f\u3002\u69cb\u6587\u8ad6\u3067\u306e\u63a8\u8ad6\u306f\u3001\u6587\u306e\u771f\u507d\u306b\u95a2\u4fc2\u306a\u304f\u5b9f\u884c\u53ef\u80fd\u3060\u304b\u3089\u3067\u3059\u3002<\/p>\n<p>\u3057\u304b\u3057\u73fe\u5b9f\u306b\u306f\u3001\u6587\u306e\u771f\u507d\u306b\u3088\u3063\u3066\u63a8\u8ad6\u7d50\u679c\u304c\u5909\u308f\u308b\u3053\u3068\u306e\u65b9\u304c\u591a\u3044\u306f\u305a\u3067\u3059\u3002\u305d\u3093\u306a\u5834\u5408\u306b\u306f\u3001\u3069\u306e\u3088\u3046\u306b\u63a8\u8ad6\u3059\u308c\u3070\u826f\u3044\u306e\u3067\u3057\u3087\u3046\u304b\u3002<\/p>\n<p>\u305d\u3053\u3067\u4f7f\u3046\u306e\u304c<span style=\"color: #ff0000;\"><strong>\u610f\u5473\u8ad6<\/strong><\/span>\u3067\u3059\u3002\u8ff0\u8a9e\u8ad6\u7406\u306b\u304a\u3051\u308b\u610f\u5473\u8ad6\u306f<strong>\u300c\u30e2\u30c7\u30eb\u8ad6\u7684\u610f\u5473\u8ad6\u300d<\/strong>\u3068\u3082\u547c\u3070\u308c\u307e\u3059\u3002\u305c\u3072\u6700\u5f8c\u307e\u3067\u8aad\u3093\u3067\u307f\u3066\u304f\u3060\u3055\u3044\u306d\u3002<\/p>\n<h3 id=\"h3\"><span class=\"ez-toc-section\" id=\"%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AE%E6%84%8F%E5%91%B3%E8%AB%96%E2%91%A0%EF%BC%9A%E3%83%A2%E3%83%87%E3%83%AB%E3%81%A8%E4%BB%98%E5%80%A4%E9%96%A2%E6%95%B0%E3%81%AB%E3%82%88%E3%82%8B%E8%AB%96%E7%90%86%E5%BC%8F%E3%81%AE%E5%85%85%E8%B6%B3\"><\/span>\u8ff0\u8a9e\u8ad6\u7406\u306e\u610f\u5473\u8ad6\u2460\uff1a\u30e2\u30c7\u30eb\u3068\u4ed8\u5024\u95a2\u6570\u306b\u3088\u308b\u8ad6\u7406\u5f0f\u306e\u5145\u8db3<span class=\"ez-toc-section-end\"><\/span><\/h3>\n<p>\u5148\u307b\u3069\u300c\u6587\u306e\u771f\u507d\u300d\u3068\u3044\u3046\u8868\u73fe\u3092\u4f7f\u3044\u307e\u3057\u305f\u304c\u3001\u8ff0\u8a9e\u8ad6\u7406\u306e\u610f\u5473\u8ad6\u306e\u30b9\u30bf\u30fc\u30c8\u5730\u70b9\u306f\u3001\u6587\u3067\u306f\u306a\u304f\u8ad6\u7406\u5f0f\u306b\u306a\u308a\u307e\u3059\u3002<strong>\u8ad6\u7406\u5f0f\u306e\u6761\u4ef6\u306b\u3088\u3063\u3066\u3001\u6587\u306e\u771f\u507d\u304c\u6c7a\u307e\u308b<\/strong>\u304b\u3089\u3067\u3059\u3002<\/p>\n<p>\u4f8b\u3048\u3070\u3001\u300c\u592a\u90ce\u306f\u6bba\u4eba\u72af\u3067\u3042\u308b\u300d\u3068\u3044\u3046\u6587\u306e\u771f\u507d\u3092\u8003\u3048\u305f\u3044\u3068\u3057\u307e\u3057\u3087\u3046\u3002\u3053\u306e\u6587\u306e\u771f\u507d\u306f\u3001\u300c\u592a\u90ce\u306f\u6bba\u4eba\u72af\u3067\u3042\u308a\u5f97\u308b\u304b\u3069\u3046\u304b\u300d\u3068\u3044\u3046\u3053\u3068\u3092\u8ef8\u306b\u5224\u65ad\u3055\u308c\u308b\u306f\u305a\u3067\u3059\u3002<\/p>\n<p>\u3053\u308c\u3092\u8ff0\u8a9e\u8ad6\u7406\u98a8\u306b\u8a00\u3044\u76f4\u3059\u3068\u3001<\/p>\n<blockquote><p>\u8ad6\u7406\u5f0fFa\uff08 = \u300ca\u306f\u6bba\u4eba\u72af\u3067\u3042\u308b\u300d\uff09\u306e\u81ea\u7531\u5909\u9805a\u306b\u3001\u500b\u4f53\u5b9a\u9805\u300c\u592a\u90ce\u300d\u304c\u5165\u308a\u3046\u308b\u304b\uff1f<\/p><\/blockquote>\n<p>\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n<p>\u81ea\u7531\u5909\u9805a\u306b\u500b\u4f53\u5b9a\u9805c (=\u592a\u90ce\uff09\u304c\u5165\u308b\u3053\u3068\u306b\u3088\u3063\u3066\u3001Fa\u304cFc (= \u300c\u592a\u90ce\u306f\u6bba\u4eba\u72af\u3067\u3042\u308b\u300d\uff09\u306b\u306a\u308a\u3001\u610f\u5473\uff08\uff1d\u771f\u507d\uff09\u304c\u6c7a\u307e\u308a\u307e\u3059\u3002\u3053\u306e\u610f\u5473\u306e\u6c7a\u5b9a\u3092<span style=\"color: #ff0000;\"><strong>\u300c\u5145\u8db3\u300d<\/strong><\/span>\u3068\u547c\u3073\u3001\u53b3\u5bc6\u306b\u306f<\/p>\n<blockquote><p>\u8ad6\u7406\u5f0fFa\u304c\u3001\u5bfe\u8c61\u300c\u592a\u90ce\u300d\u306b\u3088\u3063\u3066\u5145\u8db3\u3055\u308c\u308b<\/p><\/blockquote>\n<p>\u3068\u8868\u73fe\u3055\u308c\u307e\u3059\u3002<span style=\"text-decoration: underline;\">\u8ff0\u8a9e\u8ad6\u7406\u306e\u610f\u5473\u8ad6\u3067\u306f\u3001\u6587\u306e\u610f\u5473\u3092\u8ad6\u7406\u5f0f\u306e\u5145\u8db3\u306b\u3088\u3063\u3066\u691c\u8a0e\u3057\u3066\u3044\u304d\u307e\u3059\u3002<\/span><\/p>\n<p>\u203b\u3053\u3053\u3067\u3044\u3046\u300c\u5bfe\u8c61\u300d\u3068\u306f\u3001\u8a00\u8a9ea\uff08\u81ea\u7531\u5909\u9805\uff09\u3092\u8868\u73fe\u3059\u308b\u30e1\u30bf\u8a00\u8a9e\uff08\u300c\u592a\u90ce\u300d\uff09\u3092\u6307\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>\u3053\u306e\u5145\u8db3\u306e\u7406\u8ad6\u3092\u3001\u3082\u3046\u5c11\u3057\u6c4e\u7528\u6027\u306e\u3042\u308b\u5f62\u306b\u6574\u5f62\u3057\u305f\u306e\u304c<span style=\"color: #ff0000;\"><strong>\u300c\u30e2\u30c7\u30eb\u8ad6\u300d<\/strong><\/span>\u3067\u3059\u3002<\/p>\n<p>\u30e2\u30c7\u30eb\u8ad6\u306b\u304a\u3044\u3066\u3001\u8ad6\u7406\u5f0f\u306e\u5145\u8db3\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u8868\u73fe\u3055\u308c\u307e\u3059\u3002<\/p>\n<blockquote><p>Mi \u22a7 \u03b7j Fa<br \/>\n\u610f\u5473\uff1a\u30e2\u30c7\u30ebMi\uff08=&lt;Di, Ii&gt;\uff09\u306e\u4e0b\u3067\u3001\u8ad6\u7406\u5f0fFa\u306f\u3001\u4ed8\u5024\u95a2\u6570\u03b7j\uff08\u8aad\u307f\uff1a\u30a8\u30fc\u30bf\u30fb\u30b8\u30a7\u30a4\uff09\u306e\u5024\u3068\u306a\u308b\u5bfe\u8c61\u03b3 \uff08=\u03b7j(a)\uff09\u306b\u3088\u3063\u3066\u5145\u8db3\u3055\u308c\u308b\uff08\u203bi, j\u306f\u6dfb\u5b57\u3067\u30011\u4ee5\u4e0a\u306e\u81ea\u7136\u6570\u306b\u306a\u308b\uff09<\/p><\/blockquote>\n<p><span style=\"text-decoration: underline;\">\u30e2\u30c7\u30ebMi\u306f\u3001\u5bfe\u8c61\u9818\u57dfDi\u3068\u89e3\u91c8\u95a2\u6570Ii\u306b\u3088\u3063\u3066\u898f\u5b9a\u3055\u308c\u305f\u9806\u5e8f\u5bfe<\/span>\u3067\u3059\u2026\u2026\u3068\u8a00\u3063\u3066\u3082\u610f\u5473\u4e0d\u660e\u3060\u3068\u601d\u3046\u306e\u3067\u3001Di\u304b\u3089\u9806\u756a\u306b\u8aac\u660e\u3057\u307e\u3059\u3002<\/p>\n<p><strong>\u5bfe\u8c61\u9818\u57dfDi\u3068\u306f\u3001\u7c21\u5358\u306b\u8a00\u3046\u3068\u300c\u767b\u5834\u4eba\u7269\u300d\u3067\u3059<\/strong>\u3002\u4eca\u304b\u3089\u6271\u3046\u8ad6\u7406\u5f0f\u30fb\u6587\u306b\u767b\u5834\u3059\u308b\u5bfe\u8c61\u306f\u3007\u3007\u3068\u25b3\u25b3\u3067\u3059\u3088\u30fc\u30fc\u3068\u5ba3\u8a00\u3059\u308b\u306e\u304cDi\u306e\u5f79\u5272\u3067\u3059\u3002<\/p>\n<p>\u4f8b\u3048\u3070\u3053\u3093\u306a\u611f\u3058\u3067\u3059\u306d\u3002<\/p>\n<blockquote><p>D1 = {\u592a\u90ce\u3001\u82b1\u5b50}<\/p><\/blockquote>\n<p>\u5bfe\u8c61\u3092\u5217\u6319\u3059\u308b\u306e\u3067\u3001\u96c6\u5408\u3068\u3057\u3066\u8868\u73fe\u3067\u304d\u307e\u3059\u3002<\/p>\n<p>\u7d9a\u3044\u3066\u89e3\u91c8\u95a2\u6570Ii\u3092\u89e3\u8aac\u3057\u307e\u3059\u3002\u5b9f\u4f8b\u3092\u307f\u3066\u3082\u3089\u3063\u305f\u307b\u3046\u304c\u65e9\u3044\u306e\u3067\u3001D1= {\u592a\u90ce\u3001\u82b1\u5b50}\u3092\u4f7f\u3044\u3064\u3064\u4f8b\u3092\u793a\u3057\u307e\u3059\u3002<\/p>\n<blockquote><p>I1(F) = {\u592a\u90ce\u3001\u82b1\u5b50} = {X | X\u306f\u4eba\u9593\u3067\u3042\u308b}<br \/>\nI1(R) = {&lt;\u592a\u90ce\u3001\u82b1\u5b50&gt;} = {&lt;X,Y&gt; | X\u306fY\u3092\u611b\u3057\u3066\u3044\u308b}<br \/>\nI1(c1) = \u592a\u90ce\u3001I1(c2) = \u82b1\u5b50<\/p><\/blockquote>\n<p>\u89e3\u91c8\u95a2\u6570\u306f\u3001\u4e00\u9805\u8ff0\u8a9e\u3068\u4e8c\u9805\u8ff0\u8a9e\u3068\u500b\u4f53\u5b9a\u9805\u3092\u89e3\u91c8\u3057\u307e\u3059\u3002<\/p>\n<p>I1(F)\u306e\u5834\u5408\u3001<strong>\u300cX\u306f\u4eba\u9593\u3067\u3042\u308b\u300d\u306eX\u306b\u5165\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u9805\u306f\u300c\u592a\u90ce\u300d\u3068\u300c\u82b1\u5b50\u300d\u3067\u3042\u308b<\/strong>\u3001\u3068\u89e3\u91c8\u3057\u3066\u3044\u307e\u3059\u3002I1(R)\u306e\u5834\u5408\uff08\u4e8c\u9805\u8ff0\u8a9e\uff09\u306e\u5834\u5408\u3082\u540c\u69d8\u3067\u3059\u3002<\/p>\n<p>I1(c1), I1(c2)\u306f\u3001<strong>\u500b\u4f53\u5b9a\u9805c1, c2\u306e\u5024\u306b\u306a\u308b\u306e\u304c\u3001\u305d\u308c\u305e\u308c\u300c\u592a\u90ce\u300d\u3068\u300c\u82b1\u5b50\u300d\u3067\u3042\u308b<\/strong>\u3001\u3068\u89e3\u91c8\u3057\u3066\u3044\u307e\u3059\u3002\u4eca\u56de\u306f\u5bfe\u8c61\u304c2\u3064\u306a\u306e\u3067\u500b\u4f53\u5b9a\u9805\u30822\u3064\u3067\u3059\u304c\u3001\u5bfe\u8c61\u9818\u57dfDi\u306b\u3088\u3063\u3066\u898f\u5b9a\u3055\u308c\u308b\u5bfe\u8c61\u306e\u6570\u306b\u5fdc\u3058\u3066\u3001Ii\u304c\u89e3\u91c8\u3059\u3079\u304d\u500b\u4f53\u5b9a\u9805\u306e\u6570\u3082\u5909\u308f\u3063\u3066\u304d\u307e\u3059\u3002<\/p>\n<p>\u4ee5\u4e0a\u3092\u6574\u7406\u3059\u308b\u3068\u3001M1 =&lt;D1, I1&gt;\u306f<\/p>\n<blockquote><p>D1 = {\u592a\u90ce\u3001\u82b1\u5b50}<br \/>\nI1(F) = {\u592a\u90ce\u3001\u82b1\u5b50} = {X | X\u306f\u4eba\u9593\u3067\u3042\u308b}<br \/>\nI1(R) = {&lt;\u592a\u90ce\u3001\u82b1\u5b50&gt;} = {&lt;X,Y&gt; | X\u306fY\u3092\u611b\u3057\u3066\u3044\u308b}<br \/>\nI1(c1) = \u592a\u90ce\u3001I1(c2) = \u82b1\u5b50<\/p><\/blockquote>\n<p>\u3068\u6574\u7406\u3067\u304d\u307e\u3059\u3002\u30e2\u30c7\u30ebMi\u306f\u3001\u5e38\u306b<\/p>\n<ol>\n<li>\u5bfe\u8c61\u9818\u57dfDi<\/li>\n<li>\u4e00\u9805\u8ff0\u8a9e\u306e\u89e3\u91c8Ii(F)<\/li>\n<li>\u4e8c\u9805\u8ff0\u8a9e\u306e\u89e3\u91c8Ii(R)<\/li>\n<li>\u500b\u4f53\u5b9a\u9805\u306e\u89e3\u91c8Ii(c)<\/li>\n<\/ol>\n<p>\u306e4\u8981\u7d20\u306b\u3088\u3063\u3066\u6210\u7acb\u3057\u3066\u3044\u308b\u3053\u3068\u3092\u899a\u3048\u3066\u304a\u3044\u3066\u304f\u3060\u3055\u3044\u3002<\/p>\n<p>\u3055\u3066\u3001M1\u306b\u57fa\u3065\u304f\u3068\u3001<\/p>\n<p>\u300c\u592a\u90ce\u306f\u4eba\u9593\u3067\u3042\u308b\u300d\u3068\u3044\u3046\u6587\u306f\u771f\u306b\u306a\u308a\u307e\u3059\u3002\u8ad6\u7406\u5f0fFa\u300ca\u306f\u4eba\u9593\u3067\u3042\u308b\u300d\u304c\u3001c1=\u592a\u90ce\u306b\u3088\u3063\u3066\u5145\u8db3\u3055\u308c\u308b\u304b\u3089\u3067\u3059\u3002<\/p>\n<p>M1\u306e\u4e0b\u3067\u306f\u3001Fa\u300ca\u306f\u4eba\u9593\u3067\u3042\u308b\u300d\u3092\u5145\u8db3\u3055\u305b\u3089\u308c\u308b\u5bfe\u8c61\u306f\u300c\u592a\u90ce\u300d\u3068\u300c\u82b1\u5b50\u300d\u306e2\u3064\u3067\u3059\u3002<\/p>\n<p>Fa\u306e\u81ea\u7531\u5909\u9805a\u306b\u3001\u300c\u592a\u90ce\u300d\u3068\u300c\u82b1\u5b50\u300d\u304c\u5165\u308a\u3046\u308b\u3002\u3053\u306e\u3053\u3068\u3092\u3001\u8ff0\u8a9e\u8ad6\u7406\u3067\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u793a\u3057\u307e\u3059\u3002<\/p>\n<blockquote><p>\u03b71(a) = \u592a\u90ce\u3001\u03b72(a) = \u82b1\u5b50<\/p><\/blockquote>\n<p>\u03b7\u306f\u4ed8\u5024\u95a2\u6570\u3068\u547c\u3070\u308c\u307e\u3059\u3002\u81ea\u7531\u5909\u9805a\u306b\u5b9a\u307e\u3063\u305f\u5024\u3092\u4ed8\u4e0e\u3059\u308b\u95a2\u6570\u3001\u3068\u3044\u3046\u610f\u5473\u3067\u3059\u3002<\/p>\n<p>\u8ad6\u7406\u5f0f\u306e\u81ea\u7531\u5909\u9805\u304c\u3068\u308b\u5024\u306fDi\u306b\u3088\u3063\u3066\u6c7a\u307e\u308b\u306e\u3067\u3001\u30e2\u30c7\u30ebMi\u304c\u6c7a\u307e\u3063\u305f\u5f8c\u3067\u521d\u3081\u3066\u4ed8\u5024\u95a2\u6570\u306e\u3068\u308b\u5024\u3082\u6c7a\u307e\u308a\u307e\u3059\u3002<\/p>\n<p><strong>\u300c\u8ad6\u7406\u5f0f\u306e\u81ea\u7531\u5909\u9805\u306b\u4f55\u306e\u5024\u3092\u4e0e\u3048\u308b\u3068\u5145\u8db3\u3059\u308b\u306e\u304b\u300d<\/strong>\u3092\u4ed8\u5024\u95a2\u6570\u3067\u660e\u78ba\u306b\u3059\u308b\u3053\u3068\u3067\u3001<\/p>\n<p>Mi \u22a7 \u03b7j Fa<br \/>\n\uff1a\u30e2\u30c7\u30ebMi\u306e\u4e0b\u3067\u3001\u8ad6\u7406\u5f0fFa\u306f\u3001\u4ed8\u5024\u95a2\u6570\u03b7j\u306e\u5024\u3068\u306a\u308b\u5bfe\u8c61\u03b3\u306b\u3088\u3063\u3066\u5145\u8db3\u3055\u308c\u308b<\/p>\n<p>\u3068\u3044\u3046\u5145\u8db3\u306e\u7406\u8ad6\u304c\u4f7f\u3044\u3084\u3059\u304f\u306a\u308a\u307e\u3059\u3002\u30e2\u30c7\u30ebMi\u306e\u4e2d\u306e\u89e3\u91c8\u306b\u4f3c\u305f\u4f5c\u696d\u3092\u3082\u3046\u4e00\u5ea6\u3084\u308b\u3053\u3068\u306b\u306a\u308b\u306e\u3067\u3001\u6700\u521d\u306f\u9762\u5012\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u304c\u3001\u4ee5\u4e0b\u3067\u7d39\u4ecb\u3059\u308b\u5145\u8db3\u6761\u4ef6\u3092\u8e0f\u307e\u3048\u308b\u3068\u305d\u306e\u826f\u3055\u304c\u5b9f\u611f\u3067\u304d\u308b\u306f\u305a\u3067\u3059\u3002<\/p>\n<h3 id=\"h3\"><span class=\"ez-toc-section\" id=\"%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AE%E6%84%8F%E5%91%B3%E8%AB%96%E2%91%A1%EF%BC%9A%E5%85%85%E8%B6%B3%E6%9D%A1%E4%BB%B6\"><\/span>\u8ff0\u8a9e\u8ad6\u7406\u306e\u610f\u5473\u8ad6\u2461\uff1a\u5145\u8db3\u6761\u4ef6<span class=\"ez-toc-section-end\"><\/span><\/h3>\n<p>\u5145\u8db3\u6761\u4ef6\u306b\u306f\u3001\u305d\u306e\u540d\u306e\u901a\u308a\u300c\u8ad6\u7406\u5f0f\u304c\u3069\u3093\u306a\u6761\u4ef6\u3067\u5145\u8db3\u3059\u308b\u306e\u304b\u300d\u304c\u793a\u3055\u308c\u3066\u3044\u307e\u3059\u30029\u7a2e\u985e\u3042\u308b\u306e\u3067\u30011\u3064\u305a\u3064\u3054\u7d39\u4ecb\u3057\u307e\u3059\u3002<\/p>\n<ol>\n<li>Mi \u22a7 \u03b7j Fa \u21d4 \u03b7j(a) \u2208 Ii(F)<\/li>\n<li>Mi \u22a7 \u03b7j Fc \u21d4 Mi \u22a7 Fc \u21d4 Ii(c) \u2208 Ii(F)<\/li>\n<li>Mi \u22a7 \u03b7j Rc1c2 \u21d4 Mi \u22a7 Rc1c2 \u21d4 &lt;Ii(c1), li(c2)&gt; \u2208 Ii(R)<\/li>\n<li>Mi \u22a7 \u03b7j \u00ac\u03c6 \u21d4 Mi \u22ad \u03b7j \u03c6<\/li>\n<li>Mi \u22a7 \u03b7j \u03c6\u2227\u03c8 \u21d4 Mi \u22a7 \u03b7j \u03c6 \u304b\u3064 Mi \u22a7 \u03b7j \u03c8<\/li>\n<li>Mi \u22a7 \u03b7j \u03c6\u2228\u03c8 \u21d4 Mi \u22a7 \u03b7j \u03c6 \u307e\u305f\u306f Mi \u22a7 \u03b7j \u03c8<\/li>\n<li>Mi \u22a7 \u03b7j \u03c6\u2192\u03c8 \u21d4 Mi \u22ad \u03b7j \u03c6 \u307e\u305f\u306f Mi \u22a7 \u03b7j \u03c8<\/li>\n<li>Mi \u22a7 \u03b7j \u2200x\u03a6x \u21d4 \u4efb\u610f\u306e\u03b7k\u306b\u3088\u308a\u3001Mi \u22a7 \u03b7k \u03a6\u03b1<\/li>\n<li>Mi \u22a7 \u03b7j \u2203x\u03a6x \u21d4 \u3042\u308b\u03b7k\u306b\u3088\u308a\u3001Mi \u22a7 \u03b7k \u03a6\u03b1<\/li>\n<\/ol>\n<p>\u6539\u3081\u3066\u898b\u3066\u307f\u308b\u3068\u3001\u8ad6\u7406\u5b66\u306e\u6587\u6cd5\u3063\u3066\u672c\u5f53\u306b\u546a\u6587\u3067\u3059\u306d\u3002\u5927\u4e08\u592b\u3067\u3059\u3002\u3053\u3093\u306a\u3082\u306e\u3001\u899a\u3048\u308b\u5fc5\u8981\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u8a3c\u660e\u3067\u5fc5\u8981\u306b\u306a\u308b\u3068\u304d\u306b\u3001\u9069\u5b9c\u4f7f\u3048\u308b\u3088\u3046\u306b\u306a\u3063\u3066\u3044\u308c\u3070\u826f\u3044\u306e\u3067\u3059\u3002<\/p>\n<h3 id=\"h3\"><span class=\"ez-toc-section\" id=\"%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AE%E6%84%8F%E5%91%B3%E8%AB%96%E2%91%A2%EF%BC%9A%E3%83%A2%E3%83%87%E3%83%AB%E8%AB%96%E7%9A%84%E6%84%8F%E5%91%B3%E8%AB%96%E3%81%AB%E3%82%88%E3%82%8B%E8%A8%BC%E6%98%8E\"><\/span>\u8ff0\u8a9e\u8ad6\u7406\u306e\u610f\u5473\u8ad6\u2462\uff1a\u30e2\u30c7\u30eb\u8ad6\u7684\u610f\u5473\u8ad6\u306b\u3088\u308b\u8a3c\u660e<span class=\"ez-toc-section-end\"><\/span><\/h3>\n<p>\u546a\u6587\u306e\u3088\u3046\u306a\u5145\u8db3\u6761\u4ef6\u306b\u5c11\u3057\u3067\u3082\u6163\u308c\u308b\u305f\u3081\u306b\u3001\u4e00\u3064\u8a3c\u660e\u306b\u6311\u6226\u3057\u3066\u307f\u307e\u3057\u3087\u3046\u3002\u304a\u984c\u306f\u3053\u3061\u3089\u3067\u3059\u3002<\/p>\n<p>M1 =&lt;D1, I1&gt;\u304c<\/p>\n<blockquote><p>D1 = {\u592a\u90ce\u3001\u82b1\u5b50}<br \/>\nI1(F) = {\u592a\u90ce\u3001\u82b1\u5b50} = {X | X\u306f\u4eba\u9593\u3067\u3042\u308b}<br \/>\nI1(R) = {&lt;\u592a\u90ce\u3001\u82b1\u5b50&gt;} = {&lt;X,Y&gt; | X\u306fY\u3092\u611b\u3057\u3066\u3044\u308b}<br \/>\nI1(c1) = \u592a\u90ce\u3001I1(c2) = \u82b1\u5b50<\/p><\/blockquote>\n<p>\u3067\u3042\u308b\u3068\u304d\u3001<\/p>\n<blockquote><p>M1 \u22a8 \u03b7j Fc1 \u2227 \u00acFc2<\/p><\/blockquote>\n<p>\u304c\u6210\u7acb\u3057\u306a\u3044\u3053\u3068\u3092\u793a\u305b\u3002<\/p>\n<p>\uff08\u8a3c\u660e\uff09<\/p>\n<blockquote><p>M1 \u22a8 \u03b7j Fc1 \u2227 \u00acFc2<\/p>\n<p>\u21d4 M1 \u22a8 \u03b7j Fc1 \u304b\u3064 M1 \u22a8 \u03b7j \u00acFc2\uff08\u6761\u4ef6\u2464\uff09<\/p>\n<p>\u21d4 M1 \u22a8 \u03b7j Fc1 \u304b\u3064 M1 \u22ad \u03b7j Fc2\uff08\u6761\u4ef6\u2463\uff09<\/p>\n<p>\u21d4 M1 \u22a8 Fc1 \u304b\u3064 M1 \u22ad Fc2\uff08\u6761\u4ef6\u2461\uff09<\/p>\n<p>\u21d4 I1(c1) \u2208 I1(F) \u304b\u3064 I1(c2) \u2209 I1(F)\uff08\u6761\u4ef6\u2461\uff09<\/p>\n<p>\u21d4 \u592a\u90ce \u2208 {\u592a\u90ce\u3001\u82b1\u5b50} \u304b\u3064 \u82b1\u5b50 \u2209 {\u592a\u90ce\u3001\u82b1\u5b50}\uff08\u30e2\u30c7\u30ebM1\uff09<\/p>\n<p>\u300c\u82b1\u5b50 \u2209 {\u592a\u90ce\u3001\u82b1\u5b50}\u300d\u304c\u507d\u306a\u306e\u3067\u3001\u4e0d\u6210\u7acb\u3002<\/p><\/blockquote>\n<p>\u8a3c\u660e\u306e\u30b3\u30c4\u306f\u3001\u5143\u306e\u5f0f\u3092\u6761\u4ef6\u2463\u301c\u2468\u3092\u4f7f\u3063\u3066\u30b7\u30f3\u30d7\u30eb\u306b\u3057\u3066\u3001\u6700\u7d42\u7684\u306b\u6761\u4ef6\u2460\u301c\u2462\u3092\u4f7f\u3063\u3066\u6210\u7acb\/\u4e0d\u6210\u7acb\u3092\u793a\u3059\u3053\u3068\u3067\u3059\u3002\u6163\u308c\u308c\u3070\u7c21\u5358\u306a\u306e\u3067\u3001\u305c\u3072\u30c1\u30e3\u30ec\u30f3\u30b8\u3057\u3066\u307f\u3066\u304f\u3060\u3055\u3044\u306d\u3002<\/p>\n<h2 id=\"h2\"><span class=\"ez-toc-section\" id=\"%E3%81%8A%E3%82%8F%E3%82%8A%E3%81%AB%EF%BC%9A%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86%E3%81%AE%E3%81%BE%E3%81%A8%E3%82%81\"><\/span>\u304a\u308f\u308a\u306b\uff1a\u8ff0\u8a9e\u8ad6\u7406\u306e\u307e\u3068\u3081<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<p>\u3044\u304b\u304c\u3067\u3057\u305f\u304b\uff1f<\/p>\n<p>\u3053\u306e\u8a18\u4e8b\u3067\u306f\u3001<strong>\u8ff0\u8a9e\u8ad6\u7406\u3067\u7528\u3044\u308b\u8a18\u53f7\u304b\u3089\u3001\u69cb\u6587\u8ad6\u306e\u8a3c\u660e\u30fb\u610f\u5473\u8ad6\u306e\u8a3c\u660e<\/strong>\u307e\u3067\u8aac\u660e\u3057\u3066\u304d\u307e\u3057\u305f\u3002<\/p>\n<p>\u8aad\u3093\u3067\u3044\u308b\u3060\u3051\u3067\u306f\u7406\u89e3\u3067\u304d\u306a\u304b\u3063\u305f\u7b87\u6240\u304c\u305f\u304f\u3055\u3093\u3042\u3063\u305f\u3068\u601d\u3044\u307e\u3059\u3002\u8ad6\u7406\u5b66\u306f\u3001\u6570\u5b66\u3068\u540c\u3058\u3067\u554f\u984c\u3092\u89e3\u304f\u3053\u3068\u3067\u5f90\u3005\u306b\u672c\u8cea\u3092\u7406\u89e3\u3067\u304d\u308b\u985e\u306e\u5b66\u554f\u3067\u3059\u3002<\/p>\n<p>\u4ee5\u4e0b\u306b\u3001\u7df4\u7fd2\u554f\u984c\u304c\u305f\u304f\u3055\u3093\u4ed8\u3044\u3066\u3044\u308b\u8ad6\u7406\u5b66\u306e\u53c2\u8003\u66f8\u3092\u7d39\u4ecb\u3057\u307e\u3059\u306e\u3067\u3001\u8ff0\u8a9e\u8ad6\u7406\u306e\u7406\u89e3\u3092\u6df1\u3081\u305f\u3044\u65b9\u306f\u305c\u3072\u8aad\u3093\u3067\u307f\u3066\u304f\u3060\u3055\u3044\u306d\u3002<\/p>\n<ul>\n<li>\u91d1\u5b50\u7950\u4ecb\u300e\u8ad6\u7406\u3068\u5206\u6790\u2014\u2014\u6587\u7cfb\u306e\u305f\u3081\u306e\u8a18\u53f7\u8ad6\u7406\u5165\u9580\u300f\u30012019\u5e74\u3001\u6643\u6d0b\u66f8\u623f\uff08<a href=\"https:\/\/www.amazon.co.jp\/%E8%AB%96%E7%90%86%E3%81%A8%E5%88%86%E6%9E%90%E2%80%95%E6%96%87%E7%B3%BB%E3%81%AE%E3%81%9F%E3%82%81%E3%81%AE%E8%A8%98%E5%8F%B7%E8%AB%96%E7%90%86%E5%85%A5%E9%96%80%E2%80%95-%E9%87%91%E5%AD%90-%E8%A3%95%E4%BB%8B\/dp\/4771032076\/ref=sr_1_1?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&amp;dchild=1&amp;keywords=%E8%AB%96%E7%90%86%E3%81%A8%E5%88%86%E6%9E%90%E2%80%94%E2%80%94%E6%96%87%E7%B3%BB%E3%81%AE%E3%81%9F%E3%82%81%E3%81%AE%E8%A8%98%E5%8F%B7%E8%AB%96%E7%90%86%E5%85%A5%E9%96%80&amp;qid=1625968412&amp;sr=8-1\" target=\"_blank\" rel=\"noopener\">Amazon\u30ea\u30f3\u30af\u306f\u3053\u3061\u3089<\/a>\uff09<\/li>\n<li>\u91d1\u5b50\u7950\u4ecb\u300e\u6587\u7cfb\u306e\u305f\u3081\u306e\u8a18\u53f7\u8ad6\u7406\u5165\u9580\u2014\u2014\u547d\u984c\u8ad6\u7406\u304b\u3089\u4e0d\u5b8c\u5168\u6027\u5b9a\u7406\u307e\u3067\u300f\u30012021\u5e74\u3001\u671d\u5009\u66f8\u5e97\uff08<a href=\"https:\/\/www.amazon.co.jp\/%E6%96%87%E7%B3%BB%E3%81%AE%E3%81%9F%E3%82%81%E3%81%AE%E8%A8%98%E5%8F%B7%E8%AB%96%E7%90%86%E5%85%A5%E9%96%80-%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86%E3%81%8B%E3%82%89%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86%E3%81%BE%E3%81%A7-%E9%87%91%E5%AD%90-%E8%A3%95%E4%BB%8B\/dp\/4254500343\/ref=sr_1_2?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&amp;dchild=1&amp;keywords=%E8%AB%96%E7%90%86%E3%81%A8%E5%88%86%E6%9E%90%E2%80%94%E2%80%94%E6%96%87%E7%B3%BB%E3%81%AE%E3%81%9F%E3%82%81%E3%81%AE%E8%A8%98%E5%8F%B7%E8%AB%96%E7%90%86%E5%85%A5%E9%96%80&amp;qid=1625968412&amp;sr=8-2\" target=\"_blank\" rel=\"noopener\">Amazon\u30ea\u30f3\u30af\u306f\u3053\u3061\u3089<\/a>\uff09<\/li>\n<li>\u85e4\u6751\u9f8d\u96c4\u300e\u3088\u304f\u308f\u304b\u308b\u8a18\u53f7\u8ad6\u7406\u300f\u30012005\u5e74\u3001\u52c1\u8349\u66f8\u623f\uff08<a href=\"https:\/\/www.amazon.co.jp\/%E3%82%88%E3%81%8F%E3%82%8F%E3%81%8B%E3%82%8B%E8%A8%98%E5%8F%B7%E8%AB%96%E7%90%86-%E8%97%A4%E6%9D%91-%E9%BE%8D%E9%9B%84\/dp\/432610158X\/ref=sr_1_1?__mk_ja_JP=%E3%82%AB%E3%82%BF%E3%82%AB%E3%83%8A&amp;dchild=1&amp;keywords=%E3%82%88%E3%81%8F%E3%82%8F%E3%81%8B%E3%82%8B%E8%A8%98%E5%8F%B7%E8%AB%96%E7%90%86&amp;qid=1625968478&amp;sr=8-1\" target=\"_blank\" rel=\"noopener\">Amazon\u30ea\u30f3\u30af\u306f\u3053\u3061\u3089<\/a>\uff09<\/li>\n<\/ul>\n<p>\u305d\u308c\u3067\u306f\uff01\uff01\uff01<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u306f\u3058\u3081\u306b\uff1a\u8ff0\u8a9e\u8ad6\u7406\u306b\u3064\u3044\u3066 \u307f\u306a\u3055\u3093\u3001\u8ff0\u8a9e\u8ad6\u7406\u3068\u3044\u3046\u8a00\u8449\u3092\u805e\u3044\u305f\u3053\u3068\u306f\u3042\u308b\u3067\u3057\u3087\u3046\u304b\u3002 \u8ff0\u8a9e\u8ad6\u7406\u3068\u306f &hellip;<\/p>\n","protected":false},"author":2,"featured_media":1678,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_exactmetrics_skip_tracking":false,"_exactmetrics_sitenote_active":false,"_exactmetrics_sitenote_note":"","_exactmetrics_sitenote_category":0,"_s2mail":"","footnotes":""},"categories":[33,6],"tags":[],"class_list":["post-1675","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-33","category-6"],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/online-library.site\/index.php?rest_route=\/wp\/v2\/posts\/1675","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/online-library.site\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/online-library.site\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/online-library.site\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/online-library.site\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1675"}],"version-history":[{"count":5,"href":"https:\/\/online-library.site\/index.php?rest_route=\/wp\/v2\/posts\/1675\/revisions"}],"predecessor-version":[{"id":1681,"href":"https:\/\/online-library.site\/index.php?rest_route=\/wp\/v2\/posts\/1675\/revisions\/1681"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/online-library.site\/index.php?rest_route=\/wp\/v2\/media\/1678"}],"wp:attachment":[{"href":"https:\/\/online-library.site\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1675"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/online-library.site\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1675"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/online-library.site\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1675"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}