{"id":1116,"date":"2014-11-04T07:45:02","date_gmt":"2014-11-03T22:45:02","guid":{"rendered":"http:\/\/www.nil.co.jp\/Japanese\/blog\/?p=1116"},"modified":"2014-11-04T07:45:02","modified_gmt":"2014-11-03T22:45:02","slug":"kaos-88-%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-12","status":"publish","type":"post","link":"https:\/\/www.nil.co.jp\/Japanese\/blog\/?p=1116","title":{"rendered":"KAOS (88) \u6587\u3092\u5f62\u5f0f\u5316\u3059\u308b\u57fa\u790e\u3068\u3057\u3066\u306e\u8ad6\u7406\uff1a\u8ff0\u8a9e\u8ad6\u7406 (4.4.1-12)"},"content":{"rendered":"<p style=\"text-align: justify;\">\u3055\u3066\uff0c\u4eca\u56de\u306f\u8ff0\u8a9e\u8ad6\u7406\u306b\u304a\u3051\u308b\u63a8\u8ad6\uff08\u8a3c\u660e\uff09\u898f\u5247\u3067\u3042\u308b\uff0e<\/p>\n<p style=\"text-align: justify;\">\u6700\u521d\u306e\u898f\u5247\u3067\u3042\u308b\uff0e<\/p>\n<div id=\"attachment_1118\" style=\"width: 260px\" class=\"wp-caption aligncenter\"><a href=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/equal_insert.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-1118\" class=\"wp-image-1118\" src=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/equal_insert.png\" alt=\"equal_insert\" width=\"250\" height=\"138\" \/><\/a><p id=\"caption-attachment-1118\" class=\"wp-caption-text\">\u5165-=<\/p><\/div>\n<p style=\"text-align: justify;\">\u3053\u308c\u306f\uff0c\u5f53\u305f\u308a\u524d\u3067\uff0c\u304b\u3064\u4f59\u308a\u5f79\u306b\u7acb\u305f\u306a\u3044\uff0e\u6b21\u306f\uff0c\u7b49\u53f7\u306b\u95a2\u3059\u308b\u524a\u9664\u306e\u898f\u5247\u3067\u3042\u308b\uff0e<\/p>\n<div id=\"attachment_1119\" style=\"width: 260px\" class=\"wp-caption aligncenter\"><a href=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/equal_eliminate.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-1119\" class=\"wp-image-1119\" src=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/equal_eliminate.png\" alt=\"equal_eliminate\" width=\"250\" height=\"139\" \/><\/a><p id=\"caption-attachment-1119\" class=\"wp-caption-text\">\u53bb-=<\/p><\/div>\n<p>\u3044\u307e\uff0cx\u304c\u03a6\u306e\u675f\u7e1b\u5909\u6570\u3068\u3059\u308b\uff0e\u660e\u3089\u304b\u306bt1, t2 \u306f\u81ea\u7531\u5909\u6570\u3068\u306a\u308b\uff0et1 \u3068 t2 \u306f\u7b49\u3057\u3044\u306e\u3067\uff0c\u03a6[t2\/x]\u3068\u7d50\u8ad6\u3065\u3051\u308b\u3053\u3068\u304c\u3067\u304d\u308b\uff0e\u5c11\u3057\u5177\u4f53\u7684\u306a\u4f8b\u3092\u898b\u3066\u307f\u308b\uff0e\u305d\u308c\u305e\u308c\u8ad6\u7406\u5f0f\u306f\u4ee5\u4e0b\u3060\u3068\u3059\u308b\uff0e<\/p>\n<p style=\"text-align: center;\">t1: (x+1)<\/p>\n<p style=\"text-align: center;\">t2: (1+x)<\/p>\n<p style=\"text-align: center;\">\u03a6x:((x&gt;1)\u2192(x&gt;0))<\/p>\n<p>\u8ad6\u7406\u5f0f\u03a6[t1\/x] \u306f\uff0c\uff08(x+1)&gt;1)\u2192((x+1)&gt;0)\u3067\u3042\u308b\uff08t1\/x\u306f\u7f6e\u304d\u63db\u3048\u3092\u8868\u3059\uff09\uff0e\u3044\u307e\uff0ct2\u306b\u5909\u3048\u305f\u8ad6\u7406\u5f0f ((1+x)&gt;1)\u2192((1+x)&gt;0)\u3082\u6b63\u3057\u3044\u3053\u3068\u304c\u308f\u304b\u308b\uff0e<\/p>\n<p>\u3055\u3066\uff0c\u3053\u306e\u3069\u3053\u304c\u8ff0\u8a9e\u8ad6\u7406\u5f0f\u306e\u63a8\u8ad6\u898f\u5247\u304b\u3068\u601d\u3063\u3066\u3057\u307e\u3046\u304c\uff0c\u6b21\u306b\u3064\u306a\u304c\u308b\uff0e<\/p>\n<div id=\"attachment_1120\" style=\"width: 260px\" class=\"wp-caption aligncenter\"><a href=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/instantiation.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-1120\" class=\"wp-image-1120\" src=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/instantiation.png\" alt=\"instantiation\" width=\"250\" height=\"138\" \/><\/a><p id=\"caption-attachment-1120\" class=\"wp-caption-text\">instantiation<\/p><\/div>\n<p>\u30a4\u30f3\u30b9\u30bf\u30f3\u30b9\u5316\uff08instantiation\uff09\u3068\u547c\u3070\u308c\u308b\u8ff0\u8a9e\u8ad6\u7406\u306e\u63a8\u8ad6\u898f\u5247\u3092\u5f97\u308b\u3053\u3068\u304c\u3067\u304d\u308b\uff0e<\/p>\n<p>\u524d\u63d0\u304c\u793a\u3059\u3068\u3053\u308d\u306f\uff0c\u5168\u3066\u306e\u675f\u7e1b\u5909\u6570x\u306b\u95a2\u3057\u3066\u03a6\u306f\u6210\u7acb\u3057\u3066\u3044\u308b\uff0e\u3060\u3068\u3059\u308b\u3068\uff0c\u4f8b\u3048\u3070\u5b9a\u9805\u3068\u3057\u3066t\uff08\u5909\u9805x\u306e\u4e00\u3064\u306e\u5024\uff09\u3092\u3044\u308c\u305f\u5834\u5408\u3067\u3082\u6210\u7acb\u3057\u306a\u304f\u3066\u306f\u306a\u3089\u306a\u3044\uff0e<\/p>\n<p>\u305a\u3044\u3076\u3093\u3068\u5f8c\u9000\u3057\u3066\u3044\u308b\u3088\u3046\u3067\u3042\u308b\u304c\uff0c\u5168\u79f0\u9650\u91cf\u5b50\u3092\u5916\u305b\u308b\u52b9\u679c\u306f\u5927\u304d\u3044\uff0e<\/p>\n<p style=\"text-align: right;\"><em>(nil)<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u3055\u3066\uff0c\u4eca\u56de\u306f\u8ff0\u8a9e\u8ad6\u7406\u306b\u304a\u3051\u308b\u63a8\u8ad6\uff08\u8a3c\u660e\uff09\u898f\u5247\u3067\u3042\u308b\uff0e \u6700\u521d\u306e\u898f\u5247\u3067\u3042\u308b\uff0e \u3053\u308c\u306f\uff0c\u5f53\u305f\u308a\u524d\u3067\uff0c\u304b\u3064\u4f59\u308a\u5f79\u306b\u7acb\u305f\u306a\u3044\uff0e\u6b21\u306f\uff0c\u7b49\u53f7\u306b\u95a2\u3059\u308b\u524a\u9664\u306e\u898f\u5247\u3067\u3042\u308b\uff0e \u3044\u307e\uff0cx\u304c\u03a6\u306e\u675f\u7e1b\u5909\u6570\u3068\u3059\u308b\uff0e\u660e\u3089\u304b\u306bt1, t2 \u306f\u81ea\u7531\u5909\u6570\u3068\u306a [&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,31,10],"tags":[],"class_list":["post-1116","post","type-post","status-publish","format-standard","hentry","category-kaos","category-40","category-requirements","category-re"],"_links":{"self":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1116","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=1116"}],"version-history":[{"count":3,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1116\/revisions"}],"predecessor-version":[{"id":1156,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1116\/revisions\/1156"}],"wp:attachment":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1116"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1116"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1116"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}