{"id":1019,"date":"2014-10-25T13:16:59","date_gmt":"2014-10-25T04:16:59","guid":{"rendered":"http:\/\/www.nil.co.jp\/Japanese\/blog\/?p=1019"},"modified":"2014-10-25T13:16:59","modified_gmt":"2014-10-25T04:16:59","slug":"kaos-79-%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%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86-4-4-1-3","status":"publish","type":"post","link":"https:\/\/www.nil.co.jp\/Japanese\/blog\/?p=1019","title":{"rendered":"KAOS (79) \u6587\u3092\u5f62\u5f0f\u5316\u3059\u308b\u57fa\u790e\u3068\u3057\u3066\u306e\u8ad6\u7406\uff1a\u547d\u984c\u8ad6\u7406 (4.4.1-3)"},"content":{"rendered":"<p style=\"text-align: justify;\">\u66f4\u306b\uff0c\u81ea\u7136\u6f14\u7e79\u306b\u304a\u3051\u308b\u63a8\u8ad6\u898f\u5247[ref]\u3053\u3053\u3067\u306f\uff0c\u63a8\u8ad6\u3068\u3057\u3066\u3044\u308b\u304c\uff0c\u524d\u63d0\u304b\u3089\u7d50\u8ad6\u3092\u5c0e\u304d\u51fa\u3059\u884c\u70ba\u306f\u300c\u8a3c\u660e(proof)\u300d\u3068\u3082\u547c\u3070\u308c\uff0c\u8a3c\u660e\u898f\u5247\u3068\u3059\u308b\u5834\u5408\u3082\u3042\u308b[\/ref]\u3092\u898b\u3066\u3044\u304f\uff0e\u6700\u521d\u306f\uff0c\u9023\u8a00\u3067\u3042\u308b\uff0e<\/p>\n<div id=\"attachment_1024\" style=\"width: 260px\" class=\"wp-caption aligncenter\"><a href=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/conj_1.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-1024\" class=\"wp-image-1024\" src=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/conj_1.png\" alt=\"conj_1\" width=\"250\" height=\"139\" \/><\/a><p id=\"caption-attachment-1024\" class=\"wp-caption-text\">\u5165-\u2227<\/p><\/div>\n<p style=\"text-align: justify;\">\u53f3\u5074\u306b\u3042\u308b\u2227i\u306f\uff0c\u3053\u306e\u63a8\u8ad6\u898f\u5247\u306e\u540d\u524d\u3067\u3042\u308b\uff0e\u56f3\u306e\u30bf\u30a4\u30c8\u30eb\u306f\u7b67\u5148\u751f\u306b\u656c\u610f\u3092\u8868\u3057\u3066\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u79d1\u5b66\u306b\u3042\u308b\u540d\u524d\u3092\u3064\u3051\u3066\u3044\u308b\uff0e\u610f\u5473\u306f\u660e\u3089\u304b\u3067\uff0c\u03a6\u304c\u771f\u3068\u5206\u304b\u308a\uff0c\u03c8\u3082\u771f\u3068\u5206\u304b\u3063\u305f\uff0e\u3053\u306e\u3068\u304d\uff0c\u03a6\u2227\u03a8\u3082\u771f\u3067\u3042\u308b\uff0e\u898f\u5247\u3068\u3057\u3066\u540d\u524d\u4ed8\u3051\u3092\u3057\u3066\u304a\u304f\uff0e\u9023\u8a00\u8a18\u53f7\u3092\u633f\u5165\u3057\u3066\u3044\u308b\u306e\u3067\uff0c\u5165-\u2227\u3068\u3044\u3046\u540d\u524d\u306b\u306a\u3063\u3066\u3044\u308b\uff08\u82f1\u8a9e\u306f\uff0cintroduction\u306e\u5148\u982d\u6587\u5b57\u3067\u3042\u308b\uff09\uff0e<\/p>\n<p style=\"text-align: justify;\">\u6b21\u306f\uff0c\u9006\u306e\u30d1\u30bf\u30fc\u30f3\u3067\u3042\u308b\uff0e<\/p>\n<div id=\"attachment_1025\" style=\"width: 260px\" class=\"wp-caption aligncenter\"><a href=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/conj_2.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-1025\" class=\"wp-image-1025\" src=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/conj_2.png\" alt=\"conj_2\" width=\"250\" height=\"139\" \/><\/a><p id=\"caption-attachment-1025\" class=\"wp-caption-text\">\u53bb-\u2227<\/p><\/div>\n<p>\u3053\u3061\u3089\u306f\uff0c\u9023\u8a00\u8a18\u53f7\u3092\u3068\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3068\u3044\u3046\u898f\u5247\u3067\u3042\u308b\uff0e\u03a6\u2227\u03c8\u304c\u771f\u3068\u3044\u3046\u524d\u63d0\u306a\u3089\u3070\uff0c\u03a6\u306f\u5f53\u7136\u771f\u3067\u306a\u304f\u3066\u306f\u306a\u3089\u306a\u3044\uff0e\u7d50\u8ad6\u306f\uff0c\u03c8\u3067\u3082\u540c\u3058\u3067\u3042\u308b\uff0e\u82f1\u8a9e\u306e\u540d\u79f0\u306f\uff0celimination\u304b\u3089\u6765\u3066\u3044\u308b\uff0e<\/p>\n<p>\u3044\u307e\uff0c\u6b21\u3092\u8003\u3048\u308b\uff0e<\/p>\n<p style=\"text-align: center;\">p\u2227q, r \u22a2 q\u2227r<\/p>\n<p>p\u2227q\u306b\u5bfe\u3057\u3066\uff0c\u2227e\u898f\u5247\u3092\u9069\u7528\u3059\u308b\u3068\uff0cq\u304c\u51fa\u3066\u304f\u308b\uff0e\u524d\u63d0\u306f\uff0cq, r \u3068\u5909\u5f62\u3067\u304d\u308b\u306e\u3067\uff0c\u2227i\u898f\u5247\u3092\u9069\u7528\u3057\u3066\uff0cq\u2227r\u3068\u7d50\u8ad6\u3065\u3051\u308b\u3053\u3068\u304c\u3067\u304d\u308b\uff0e\u3068\u3044\u3046\u3053\u3068\u3067\u4e0a\u8a18\u306f\u6b63\u3057\u3044\u3053\u3068\u304c\u5206\u304b\u308b\uff0e<\/p>\n<p>\u524d\u56de\u3068\u540c\u69d8\u306b\u5358\u7d14\u306a\u898f\u5247\u3092\u9806\u6b21\u9069\u7528\u3059\u308b\u3053\u3068\u3067\uff0c\u7d50\u8ad6\u304c\u6b63\u3057\u3044\u3053\u3068\u3092\u793a\u3059\u3053\u3068\u304c\u3067\u304d\u308b\uff0e<\/p>\n<p style=\"text-align: right;\"><em>(nil)<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u66f4\u306b\uff0c\u81ea\u7136\u6f14\u7e79\u306b\u304a\u3051\u308b\u63a8\u8ad6\u898f\u5247[ref]\u3053\u3053\u3067\u306f\uff0c\u63a8\u8ad6\u3068\u3057\u3066\u3044\u308b\u304c\uff0c\u524d\u63d0\u304b\u3089\u7d50\u8ad6\u3092\u5c0e\u304d\u51fa\u3059\u884c\u70ba\u306f\u300c\u8a3c\u660e(proof)\u300d\u3068\u3082\u547c\u3070\u308c\uff0c\u8a3c\u660e\u898f\u5247\u3068\u3059\u308b\u5834\u5408\u3082\u3042\u308b[\/ref]\u3092\u898b\u3066\u3044\u304f\uff0e\u6700\u521d\u306f\uff0c\u9023\u8a00\u3067\u3042\u308b\uff0e \u53f3\u5074\u306b\u3042\u308b\u2227i\u306f\uff0c\u3053 [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[21,40,17,31,10],"tags":[78],"class_list":["post-1019","post","type-post","status-publish","format-standard","hentry","category-kaos","category-40","category-argument","category-requirements","category-re","tag-78"],"_links":{"self":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1019","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=1019"}],"version-history":[{"count":8,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1019\/revisions"}],"predecessor-version":[{"id":1106,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1019\/revisions\/1106"}],"wp:attachment":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1019"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1019"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1019"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}