{"id":1145,"date":"2014-11-06T08:25:20","date_gmt":"2014-11-05T23:25:20","guid":{"rendered":"http:\/\/www.nil.co.jp\/Japanese\/blog\/?p=1145"},"modified":"2014-11-06T08:25:20","modified_gmt":"2014-11-05T23:25:20","slug":"kaos-89-%e9%81%8e%e7%a8%8b%e3%83%99%e3%83%bc%e3%82%b9%e3%81%ae%e4%bb%95%e6%a7%98-4-4-2-1","status":"publish","type":"post","link":"https:\/\/www.nil.co.jp\/Japanese\/blog\/?p=1145","title":{"rendered":"KAOS (89) \u904e\u7a0b\u30d9\u30fc\u30b9\u306e\u4ed5\u69d8 (4.4.2-1)"},"content":{"rendered":"<p style=\"text-align: justify;\">\u4e45\u3057\u3076\u308a\u306b\u30bf\u30a4\u30c8\u30eb\u304c\u5909\u308f\u3063\u305f\uff0e<\/p>\n<p style=\"text-align: justify;\">\u3055\u3066\uff0c\u547d\u984c\u8ad6\u7406\u306f\u4e2d\u8eab\u306f\u554f\u308f\u305a\u306b\u6587\u306e\u771f\u507d\u3092\u8b70\u8ad6\u3057\u305f\uff0e\u8ff0\u8a9e\u8ad6\u7406\u306f\u6587\u306e\u8ff0\u8a9e\u3092\u8868\u73fe\u3059\u308b\u3053\u3068\u3067\uff0c\u8868\u73fe\u529b\u304c\u5411\u4e0a\u3057\u305f\uff0e\u3057\u304b\u3057\uff0c\u305d\u308c\u3067\u3082\u3044\u3048\u308b\u3053\u3068\u306f\u9650\u3089\u308c\u3066\u3044\u308b\uff0e\u300c\u4eba\u9593\u3067\u3042\u308c\u3070\uff0c\u3044\u3064\u304b\u306f\u6b7b\u306c\u300d\u3068\u3044\u3046\u3053\u3068\u3070\u304b\u308a\u3092\u8003\u3048\u3066\u3044\u308b\u308f\u3051\u3067\u306f\u306a\u3044\uff0e<\/p>\n<p style=\"text-align: justify;\"><a title=\"\u30c8\u30a5\u30fc\u30eb\u30df\u30f3\" href=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/?p=11\">\u30c8\u30a5\u30fc\u30eb\u30df\u30f3<\/a>\u306e\u56f3\u5f0f\u3067\u306f\uff0c\u6700\u7d42\u306e\u7d50\u8ad6\u306b\u81f3\u308b\u524d\u306b\u69d8\u76f8\u9650\u5b9a\u5b50\u3068\u3044\u3046\u306e\u304c\u3067\u3066\u304f\u308b\uff0e\u300c\u5fc5\u7136\u7684\u306b\u300d\u300c\u660e\u767d\u306b\u300d\u300c\u305f\u3076\u3093\u300d\u3068\u3044\u3063\u305f\u3082\u306e\u3067\u3042\u308b\uff0e\u65e5\u5e38\u4f1a\u8a71\u3092\u8003\u3048\u308c\u3070\u5206\u304b\u308b\u304c\uff0c\u7d76\u5bfe\u306e\u771f\u3060\u3051\u3092\u8a71\u3057\u3066\u3044\u308b\u308f\u3051\u3067\u306f\u306a\u3044\uff0e\u306a\u3093\u3089\u304b\u306e\u5f62\u3067\uff0c\u4e0a\u8a18\u306e\u3088\u3046\u306a\u62ec\u5f27\u4ed8\u304d\u3067\u8a71\u3057\u3066\u3044\u308b\uff0e\u63a8\u6e2c\u3068\u305d\u306e\u78ba\u8a8d\u304c\u4f1a\u8a71\u306e\u672c\u8cea\u3067\u3042\u308a\uff0c\u304b\u306a\u3089\u305a\u306a\u3093\u3089\u304b\u306e\u300c\u69d8\u76f8\u300d\u3092\u542b\u3080\uff0e<\/p>\n<p style=\"text-align: justify;\">\u69d8\u76f8\u3068\u3044\u3046\u3068\u3044\u304b\u3081\u3057\u3044\u304c\uff0c\u82f1\u8a9e\u3067\u30e2\u30fc\u30c9\uff08mode, modal logic\uff09\u3068\u547c\u3070\u308c\u308b\uff0e\u65e5\u672c\u8a9e\u306e\u6587\u6cd5\u66f8\u3092\u898b\u308b\u3068\uff0c\u30e0\u30fc\u30c9\u3068\u8a33\u3055\u308c\u308b\u5834\u5408\u3082\u3042\u308b\uff0e\u305d\u306e\u307e\u307e\u306e\u30bf\u30a4\u30c8\u30eb\u306e\u672c\u3092\u898b\u308b\u3068\uff0c\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u3042\u308b\uff0e<\/p>\n<blockquote>\n<p style=\"text-align: justify;\">\u30e0\u30fc\u30c9\u306f\uff0c\u52d5\u8a5e\u306e\u793a\u3059\u904b\u52d5\u3092\uff0c\u8a71\u3057\u624b\u304c\u73fe\u5b9f\u3068\u95a2\u9023\u3065\u3051\u308b\u3053\u3068\u306b\u95a2\u308f\u308b\u6587\u6cd5\u7684\u306a\u30ab\u30c6\u30b4\u30ea\u3067\u3042\u308b[ref]\u9ad8\u6a4b\u592a\u90ce\uff0c\u65e5\u672c\u8a9e\u306e\u6587\u6cd5\uff0cp.65, \u3072\u3064\u3058\u66f8\u623f[\/ref]\uff0e<\/p>\n<\/blockquote>\n<p style=\"text-align: justify;\">\u63a8\u91cf\u5f62\u3068\u3057\u3066\uff0c\u4f8b\u3048\u3070\u300c\u304b\u308c\u3082\uff0c\u3053\u308c\u304b\u3089\u672c\u3092\u3088\u3080\u3060\u308d\u3046\uff0e\u300d\u3068\u3044\u3046\u306e\u304c\u793a\u3055\u308c\u3066\u3044\u308b\uff0e\u3053\u306e\u300c\u3060\u308d\u3046\u300d\u306f\uff0c\u300c\u672c\u3092\u8aad\u3080\u300d\u3068\u3044\u3046\u3053\u3068\u306b\u5bfe\u3059\u308b\u63a8\u91cf\u3068\u306a\u308b\uff0e<\/p>\n<p style=\"text-align: justify;\">\u304b\u304f\u306e\u3054\u3068\u304f\uff0c\u69d8\u76f8\u3092\u4f7f\u308f\u305a\u306b\u8a71\u3059\u3053\u3068\u306f\u4e0d\u53ef\u80fd\u306a\u306e\u3067\uff0c\u305d\u308c\u3092\u8ad6\u7406\u5316\u3057\u305f\u3044\u3068\u3044\u3046\u306e\u306f\uff0c\u81ea\u7136\u306e\u6b32\u6c42\u3067\u3042\u308b\uff0e<\/p>\n<p style=\"text-align: justify;\">\u305d\u306e\u305f\u3081\u306b\uff0c\u6b21\u306e\u3088\u3046\u306a\u69d8\u76f8\u6f14\u7b97\u5b50\u304c\u5b9a\u7fa9\u3055\u308c\u305f\uff0e<\/p>\n<p style=\"text-align: justify; padding-left: 30px;\">\u25a1\uff1a\u5fc5\u7136\u3067\u3042\u308b<\/p>\n<p style=\"text-align: justify; padding-left: 30px;\">\u25c7\uff1a\u53ef\u80fd\u3067\u3042\u308b<\/p>\n<p style=\"text-align: justify;\">\u4f8b\u3048\u3070\uff0c\u81ea\u7136\u6570\u306b\u304a\u3051\u308b\u901a\u5e38\u306e\u6f14\u7b97\u3092\u8a8d\u3081\u308c\u3070\uff0c2&#215;2\u304c\uff14\u306b\u306a\u308b\u3053\u3068\u306f\u5fc5\u7136\u3067\u3042\u308b\u3057\uff0c\u60d1\u661f\u306e\u6570\u304c10\u3092\u8d85\u3048\u308b\u3053\u3068\u306f\u53ef\u80fd\u3067\u3042\u308b\uff08[ref]\u8981\u7d20\u8ad6\u7406\u306e\u6709\u540d\u306a\u4f8b\u306b\uff0c\u60d1\u661f\u306e\u6570\u304c9\u3068\u3044\u3046\u6709\u540d\u306a\u547d\u984c\u304c\u3042\u308b\uff0e\u3057\u304b\u3057\uff0c\u6570\u5e74\u524d\u306b\u8a71\u984c\u306b\u306a\u3063\u305f\u3088\u3046\u306b\u3044\u307e\u30848\u304b12\u304b\u305d\u308c\u4ee5\u4e0a\u304b\u304c\u5b9a\u304b\u3067\u306f\u306a\u3044\uff0e\u73fe\u5b9f\u306b\u78ba\u5b9f\u306a\u3053\u3068\u306a\u3069\u306a\u3044\u3068\u3044\u3046\u826f\u3044\u4f8b\u3067\u3042\u308b[\/ref]\uff09\uff0e<\/p>\n<p style=\"text-align: justify;\">\u69d8\u76f8\u6f14\u7b97\u5b50\u3092\u4f7f\u3063\u305f\u898f\u5247\u3068\u3057\u3066\u306f\uff0c\u3055\u307e\u3056\u307e\u306a\u3082\u306e\u304c\u3042\u308b\uff0e\u4ee5\u4e0b\u306f\uff0c\u305d\u306e\u4f8b\u3067\u3042\u308b\uff0e<\/p>\n<p style=\"text-align: justify; padding-left: 30px;\">\u25a1\u03c6\u2192\u03c6<\/p>\n<p style=\"text-align: justify;\">\u03c6\u3067\u3042\u308b\u3053\u3068\u304c\u5fc5\u7136\u3067\u3042\u308c\u3070\uff0c\uff08\u73fe\u5728\u306f\uff09\u03c6\u304c\u771f\u3067\u3042\u308b\uff0e<\/p>\n<p style=\"text-align: justify; padding-left: 30px;\">\u25a1\u03c6\u2192\u25c7\u03c6<\/p>\n<p style=\"text-align: justify;\">\u03c6\u3067\u3042\u308b\u3053\u3068\u304c\u5fc5\u7136\u3067\u3042\u308c\u3070\uff0c\u03c6\u3067\u3042\u308b\u3053\u3068\u304c\u53ef\u80fd\u3067\u3042\u308b\uff0e<\/p>\n<p style=\"text-align: justify;\">\u3053\u308c\u3092\u9055\u548c\u611f\u306a\u304f\u53d7\u3051\u6b62\u3081\u308b\u304b\uff0c\u898f\u5247\uff08\u6b63\u78ba\u306b\u306f\uff0c\u516c\u7406\uff09\u3068\u3057\u3066\u8a8d\u3081\u306a\u3044\u304b\u3067\uff0c\u69d8\u3005\u306a\u4f53\u7cfb\u304c\u4f5c\u3089\u308c\u3066\u304d\u305f\uff0e\u305f\u3063\u305f2\u3064\u306e\u6f14\u7b97\u5b50\u306e\u8ffd\u52a0\u306b\u3088\u3063\u3066\u3067\u3042\u308b\uff0e\u3088\u304f\u77e5\u3089\u308c\u3066\u3044\u308b\u3088\u3046\u306b\uff0c\u53ef\u80fd\u4e16\u754c\u610f\u5473\u8ad6\u306b\u3088\u3063\u3066\uff0c\u3053\u308c\u3089\u69d8\u3005\u306a\u4f53\u7cfb\u306e\u610f\u5473\u304c\u4e0e\u3048\u3089\u308c\u305f\u304c\uff0c\u672a\u3060\u306b\u8b70\u8ad6\u304c\u53ce\u675f\u3057\u3066\u3044\u308b\u308f\u3051\u3067\u306f\u306a\u3044\uff0e<\/p>\n<p style=\"text-align: justify;\">\u3055\u3066\uff0c\u8981\u6c42\u6587\u66f8\u306e\u591a\u304f\u306f\u898f\u7bc4\u7684\u306a\u8a18\u8ff0\u304c\u591a\u304f\u3092\u5360\u3081\u308b\u305f\u3081\uff0c\u69d8\u76f8\u6f14\u7b97\u5b50\u3092\u5fc5\u8981\u3068\u3059\u308b\u5834\u9762\u306f\u5c11\u306a\u3044\u304b\u3082\u3057\u308c\u306a\u3044\uff0e<\/p>\n<p style=\"text-align: justify;\">\u305f\u3060\uff0c\u5225\u306e\u62e1\u5f35\u304c\u5fc5\u8981\u3068\u306a\u308b\u3053\u3068\u304c\u3042\u308b\uff0e\u6642\u9593\u8ef8\u4e0a\u306e\u30b7\u30b9\u30c6\u30e0\u72b6\u614b\u5909\u5316\u3092\u8a18\u8ff0\u3059\u308b\u305f\u3081\u3067\u3042\u308b\uff0e<\/p>\n<p style=\"text-align: right;\"><em>(nil)<\/em><\/p>\n<p style=\"text-align: justify;\">\n","protected":false},"excerpt":{"rendered":"<p>\u4e45\u3057\u3076\u308a\u306b\u30bf\u30a4\u30c8\u30eb\u304c\u5909\u308f\u3063\u305f\uff0e \u3055\u3066\uff0c\u547d\u984c\u8ad6\u7406\u306f\u4e2d\u8eab\u306f\u554f\u308f\u305a\u306b\u6587\u306e\u771f\u507d\u3092\u8b70\u8ad6\u3057\u305f\uff0e\u8ff0\u8a9e\u8ad6\u7406\u306f\u6587\u306e\u8ff0\u8a9e\u3092\u8868\u73fe\u3059\u308b\u3053\u3068\u3067\uff0c\u8868\u73fe\u529b\u304c\u5411\u4e0a\u3057\u305f\uff0e\u3057\u304b\u3057\uff0c\u305d\u308c\u3067\u3082\u3044\u3048\u308b\u3053\u3068\u306f\u9650\u3089\u308c\u3066\u3044\u308b\uff0e\u300c\u4eba\u9593\u3067\u3042\u308c\u3070\uff0c\u3044\u3064\u304b\u306f\u6b7b\u306c\u300d\u3068\u3044\u3046\u3053\u3068\u3070 [&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-1145","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\/1145","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=1145"}],"version-history":[{"count":10,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1145\/revisions"}],"predecessor-version":[{"id":1171,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1145\/revisions\/1171"}],"wp:attachment":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1145"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1145"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1145"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}