{"id":1123,"date":"2014-11-03T15:24:38","date_gmt":"2014-11-03T06:24:38","guid":{"rendered":"http:\/\/www.nil.co.jp\/Japanese\/blog\/?p=1123"},"modified":"2014-11-03T15:24:38","modified_gmt":"2014-11-03T06:24:38","slug":"kaos-87-%e6%96%87%e3%82%92%e5%bd%a2%e5%bc%8f%e5%8c%96%e3%81%99%e3%82%8b%e5%9f%ba%e7%a4%8e%e3%81%a8%e3%81%97%e3%81%a6%e3%81%ae%e8%ab%96%e7%90%86%ef%bc%9a%e8%bf%b0%e8%aa%9e%e8%ab%96%e7%90%86-4-4-1-11","status":"publish","type":"post","link":"https:\/\/www.nil.co.jp\/Japanese\/blog\/?p=1123","title":{"rendered":"KAOS (87) \u6587\u3092\u5f62\u5f0f\u5316\u3059\u308b\u57fa\u790e\u3068\u3057\u3066\u306e\u8ad6\u7406\uff1a\u8ff0\u8a9e\u8ad6\u7406 (4.4.1-11)"},"content":{"rendered":"

\u4eca\u56de\u306f\uff0c\u7df4\u7fd2\u3092\u517c\u306d\u3066\uff0c\u9650\u91cf\u5b50\u3067\u306e\u540c\u5024\u306e\u95a2\u4fc2\u306b\u3042\u308b\u5909\u5f62\u3092\u898b\u3066\u307f\u308b\uff0e<\/p>\n

\u300c\u3068\u3079\u306a\u3044\u30c8\u30ea\u304c\u3044\u308b\u300d\u306f\uff0c\u8ff0\u8a9e\u300c\u30c8\u30ea\u3067\u3042\u308b\u300d\u3092B\uff0c\u8ff0\u8a9e\u300c\u3068\u3079\u308b\u300d\u3092F\u3068\u3059\u308b\u3068\uff0c\u6b21\u306e\u69d8\u306b\u66f8\u3051\u308b\uff0e<\/p>\n

\n
\n
\n
\n
\n
\n

\u2203x(B(x)\u2227\u00acF(x))<\/p>\n

\u3053\u308c\u306f\uff0c\u300c\u5168\u3066\u306e\u30c8\u30ea\u304c\u3068\u3079\u308b\u308f\u3051\u3067\u306f\u306a\u3044\u300d\u3068\u3044\u3046\u3053\u3068\u3068\u540c\u3058\u3068\u8003\u3048\u308b\u3068\uff0c\u6b21\u306e\u69d8\u306b\u3082\u66f8\u3051\u308b\uff0e<\/p>\n<\/div>\n<\/div>\n<\/div>\n

\u00ac\u2200x (B(x) \u2192 F(x))<\/p>\n

\u3053\u306e\u5f0f\u3092\u5909\u5f62\u3057\u3066\u307f\u308b\uff0eB(x)\u2192F(x)\u306f\uff0c\u4ee5\u524d\u306b\u547d\u984c\u8ad6\u7406\u306e\u3068\u304d\u306b\u64cd\u4f5c\u3057\u305f\u3088\u3046\u306b\uff0c\u00acB(x) \u2228 F(x)\u3068\u66f8\u3051\u308b\uff0e\u00ac\u2200xP(x)\u304c\u2203x(\u00acP(x))\u3068\u66f8\u304f\u3053\u3068\u304c\u3067\u304d\u308c\u3070\uff0c\u00ac(\u00acB(x) \u2228 F(x)\uff09\u306f\uff0cB(x)\u2227\u00acF(x)\u306a\u306e\u3067\uff0c\u6700\u521d\u3068\u540c\u3058\u306b\u306a\u308b\uff0e<\/p>\n

\u00ac\u2200xP(x)\u304c\u2203x(\u00acP(x))\u306f\uff0c\u3053\u3053\u3067\u306f\uff0c\u660e\u3089\u304b\u3067\u3042\u308b\u3068\u3044\u3046\u3053\u3068\u306b\u3057\u3066\u304a\u304f\uff08\u6b21\u56de\u306e\u5168\u79f0\u91cf\u5b50\u5316\u306e\u7f6e\u304d\u63db\u3048\u30fb\u30a4\u30f3\u30b9\u30bf\u30f3\u30b9\u5316\u3092\u4f7f\u7528\u3059\u308b\uff09\uff0e<\/p>\n

\u3055\u3066\uff0c\u5e7e\u3064\u304b\u306e\u5b9a\u7406\u3092\u4e26\u3079\u308b\uff0e<\/p>\n

\u306a\u304a\uff0c\u300c\u22a3\u22a2\u300d\u306e\u610f\u5473\u306f\uff0c\u3000\u03c61 \u22a2 \u03c62 \u3067\u3042\u308a\uff0c\u304b\u3064 \u03c62 \u22a2 \u03c61\u3068\u3044\u3046\u5b9a\u7406\u3092\u793a\u3057\u3066\u3044\u308b\uff0e\u3053\u308c\u3089\u306e\u898f\u5247\u306f\u80cc\u7406\u6cd5\u3092\u7528\u3044\u3066\u793a\u3059\u3053\u3068\u304c\u3067\u304d\u308b\uff0e\u6700\u5f8c\u306b\uff0c\u9650\u91cf\u5b50\u306e\u9664\u53bb\u306b\u95a2\u3057\u3066\uff0c\u7c21\u5358\u306b\u8aac\u660e\u3059\u308b\uff0e\u524d\u534a\u90e8\u5206\u306f\uff0c\u304a\u305d\u3089\u304f\u660e\u3089\u304b\u3067\u3042\u308d\u3046\uff0e\u306a\u304a\uff0c\u300c\u675f\u7e1b\u300d\u3068\u300c\u9650\u91cf\u5b50\u306e\u9664\u53bb\u300d\u306b\u304a\u3044\u3066\uff0c\u03c8\u306f\uff0cx\u3092\u9805\u3068\u3057\u3066\u6301\u3064\uff0e<\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
\u5e7e\u3064\u304b\u306e\u898f\u5247\uff08\u5b9a\u7406\uff09<\/caption>\n
\u5426\u5b9a<\/td>\n\n
\n
\n
\n

\u00ac\u2200x\u03c6\u22a3\u22a2\u2203x\u00ac\u03c6<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/td>\n<\/tr>\n

\n
\n
\n
\n

\u00ac\u2203x \u03c6 \u22a3\u22a2 \u2200x \u00ac\u03c6<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/td>\n<\/tr>\n

\u675f\u7e1b<\/td>\n\n
\n
\n
\n

\u2200x \u03c6 \u2227 \u03c8 \u22a3\u22a2 \u2200x (\u03c6 \u2227 \u03c8)<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/td>\n<\/tr>\n

\n
\n
\n
\n

\u2200x \u03c6 \u2228 \u03c8 \u22a3\u22a2 \u2200x (\u03c6 \u2228 \u03c8)<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/td>\n<\/tr>\n

\n
\n
\n
\n

\u2203x \u03c6 \u2227 \u03c8 \u22a3\u22a2 \u2203x (\u03c6 \u2227 \u03c8)<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/td>\n<\/tr>\n

\n
\n
\n
\n

\u2203x \u03c6 \u2228 \u03c8 \u22a3\u22a2 \u2203x (\u03c6 \u2228 \u03c8)<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/td>\n<\/tr>\n

\u9650\u91cf\u5b50\u306e\u9664\u53bb<\/td>\n\n
\n
\n
\n
\n
\n
\n

\u2200x(\u03c8\u2192\u03c6)\u22a3\u22a2\u03c8\u2192\u2200x\u03c6<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/td>\n<\/tr>\n

\n
\n
\n
\n
\n
\n
\n
\n
\n
\n

\u2203x(\u03c6\u2192\u03c8)\u22a3\u22a2\u2200x\u03c6\u2192\u03c8<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/td>\n<\/tr>\n

\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n

\u2200x(\u03c6\u2192\u03c8)\u22a3\u22a2\u2203x\u03c6\u2192\u03c8<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/td>\n<\/tr>\n

\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n

\u2203x(\u03c8\u2192\u03c6)\u22a3\u22a2\u03c8\u2192\u2203x\u03c6<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/td>\n<\/tr>\n

\u675f\u7e1b\u7bc4\u56f2<\/td>\n\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n

\u2200x\u03c6\u2227\u2200x\u03c8\u22a3\u22a2\u2200x(\u03c6\u2227\u03c8)<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/td>\n<\/tr>\n

\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n

\u2203x \u03c6 \u2228 \u2203x \u03c8 \u22a3\u22a2 \u2203x (\u03c6 \u2228 \u03c8)<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/td>\n<\/tr>\n

\u675f\u7e1b\u9806<\/td>\n\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n

\u2200x\u2200y\u03c6 \u22a3\u22a2 \u2200y\u2200x\u03c6<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/td>\n<\/tr>\n

\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n

\u2203x\u2203y\u03c6 \u22a3\u22a2 \u2203y\u2203x\u03c6<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

\u2200x(\u03c8\u2192\u03c6)\u22a3\u22a2\u03c8\u2192\u2200x\u03c6\u3092\u8aac\u660e\u3059\u308b\uff0e<\/p>\n

\u6700\u521d\u306f\uff0c\u2200x(\u03c8\u2192\u03c6) \u22a2 \u03c8\u2192\u2200x\u03c6 \u304b\u3089\uff0e<\/p>\n

\u7d50\u8ad6\u3092\u5426\u5b9a\u3059\u308b\u3068\uff0c\u00ac(\u03c8\u2192\u2200x\u03c6)\uff0e\u3053\u308c\u306f\uff0c\u03c8 \u2227 \u00ac\u2200x\u03c6\u3068\u540c\u3058\uff0e<\/p>\n

\u03c8\u3082\u00ac\u2200x\u03c6\u3082\u3068\u3082\u306b\u771f\u3067\u306a\u304f\u3066\u306f\u306a\u3089\u306a\u3044\uff0e\u5373\u3061\uff0c\u2203x\u00ac\u03c6\uff08\u8868\u306e\u4e00\u756a\u4e0a\u306e\u898f\u5247\uff09<\/p>\n

\u524d\u63d0\u3067\uff0c\u03c8\u304c\u771f\u306e\u5834\u5408\uff0c\u03c6\u306f\u3064\u306d\u306b\u771f\u3067\u306a\u304f\u3066\u306f\u306a\u3089\u306a\u3044\uff0e\u3053\u308c\u306f\uff0c\u507d\u306e\u5834\u5408\u3082\u3042\u308b\u3068\u3044\u3046\u2203x\u00ac\u03c6\u3068\u77db\u76fe\u3059\u308b\u306e\u3067\uff0c\u80cc\u7406\u6cd5\u304b\u3089\u2200x(\u03c8\u2192\u03c6) \u22a2 \u03c8\u2192\u2200x\u03c6\u304c\u3044\u3048\u308b\uff0e<\/p>\n

\u6b21\u306b\u03c8\u2192\u2200x\u03c6\u22a2\u2200x(\u03c8\u2192\u03c6) \u3092\u793a\u3059\uff0e\u7d50\u8ad6\u3092\u5426\u5b9a\u3057\u3066\u4eee\u5b9a\u3092\u4f5c\u308b\uff0e\u2203x\u00ac\uff08\u03c8\u2192\u03c6\uff09\uff08\u8868\u306e\u4e00\u756a\u4e0a\u306e\u898f\u5247\u304b\u3089\uff09\uff0e\u3053\u308c\u306f\uff0c\u2203x\uff08\u03c8 \u2227\u00ac\u03c6\uff09\u3068\u5909\u5f62\u3067\u304d\u308b\uff0e\u3064\u307e\u308a\uff0c\u03c8\u304c\u771f\uff0c\u03c6\u304c\u507d\u306b\u306a\u308b\u7d44\u304c\u5b58\u5728\u3059\u308b\uff0e\u3068\u3053\u308d\u304c\uff0c\u524d\u63d0\u306f\uff0c\u03c8\u2192\u2200x\u03c6\u3067\u3042\u308b\u304b\u3089\uff0c\u03c8\u304c\u771f\u3067\u3042\u308c\u3070\uff0c\u5e38\u306b\u03c6\u306f\u771f\u3067\u3042\u308b\u5fc5\u8981\u304c\u3042\u308b\uff0e\u5f93\u3063\u3066\u4eee\u5b9a\u3068\u77db\u76fe\u3059\u308b\u306e\u3067\uff0c\u80cc\u7406\u6cd5\u304b\u3089\u03c8\u2192\u2200x\u03c6\u22a2\u2200x(\u03c8\u2192\u03c6) \u304c\u3044\u3048\u308b\uff0e<\/p>\n

(nil)<\/em><\/p>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

\u4eca\u56de\u306f\uff0c\u7df4\u7fd2\u3092\u517c\u306d\u3066\uff0c\u9650\u91cf\u5b50\u3067\u306e\u540c\u5024\u306e\u95a2\u4fc2\u306b\u3042\u308b\u5909\u5f62\u3092\u898b\u3066\u307f\u308b\uff0e \u300c\u3068\u3079\u306a\u3044\u30c8\u30ea\u304c\u3044\u308b\u300d\u306f\uff0c\u8ff0\u8a9e\u300c\u30c8\u30ea\u3067\u3042\u308b\u300d\u3092B\uff0c\u8ff0\u8a9e\u300c\u3068\u3079\u308b\u300d\u3092F\u3068\u3059\u308b\u3068\uff0c\u6b21\u306e\u69d8\u306b\u66f8\u3051\u308b\uff0e \u2203x(B(x)\u2227\u00acF(x)) \u3053\u308c\u306f\uff0c\u300c\u5168\u3066\u306e\u30c8\u30ea\u304c\u3068\u3079\u308b […]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4,40,12,17],"tags":[],"class_list":["post-1123","post","type-post","status-publish","format-standard","hentry","category-safety_case","category-40","category-doc","category-argument"],"_links":{"self":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1123","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1123"}],"version-history":[{"count":11,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1123\/revisions"}],"predecessor-version":[{"id":1140,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1123\/revisions\/1140"}],"wp:attachment":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1123"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1123"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1123"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}