{"id":956,"date":"2014-10-23T07:39:33","date_gmt":"2014-10-22T22:39:33","guid":{"rendered":"http:\/\/www.nil.co.jp\/Japanese\/blog\/?p=956"},"modified":"2014-10-23T07:39:33","modified_gmt":"2014-10-22T22:39:33","slug":"kaos-77-%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-1","status":"publish","type":"post","link":"https:\/\/www.nil.co.jp\/Japanese\/blog\/?p=956","title":{"rendered":"KAOS (77) \u6587\u3092\u5f62\u5f0f\u5316\u3059\u308b\u57fa\u790e\u3068\u3057\u3066\u306e\u8ad6\u7406\uff1a\u547d\u984c\u8ad6\u7406 (4.4.1-1)"},"content":{"rendered":"<blockquote>\n<p style=\"text-align: justify;\"><em>\u8ad6\u7406\u306f\uff0c\u4ed6\u306e\u5f62\u5f0f\u7684\u306a\u30b7\u30b9\u30c6\u30e0\u3068\u540c\u69d8\u306b\uff0c\u6b21\u306e3\u3064\u306e\u30b3\u30f3\u30dd\u30fc\u30cd\u30f3\u30c8\u304b\u3089\u6210\u308a\u7acb\u3063\u3066\u3044\u308b\uff0e\u69cb\u6587\u30fb\u610f\u5473\u30fb\u8a3c\u660e\u8ad6\u3067\u3042\u308b\uff08p.146\uff09<\/em><\/p>\n<\/blockquote>\n<ul>\n<li style=\"text-align: justify;\">\n<blockquote><p><em>\u69cb\u6587\u306f\uff0c\u6587\u6cd5\u306b\u5408\u3063\u305f\u6587\u3092\u5b9a\u7fa9\u3059\u308b\u305f\u3081\u306e\u4e00\u9023\u306e\u898f\u5247\u3067\u3042\u308b<\/em><\/p><\/blockquote>\n<\/li>\n<li style=\"text-align: justify;\">\n<blockquote><p><em>\u610f\u5473\u306f\uff0c\u6587\u306e\u6b63\u78ba\u306a\u610f\u5473\u3092\u5b9a\u7fa9\u3059\u308b\u305f\u3081\u306e\u4e00\u9023\u306e\u898f\u5247\u3067\u3042\u308b<\/em><\/p><\/blockquote>\n<\/li>\n<li style=\"text-align: justify;\">\n<blockquote><p><em>\u8a3c\u660e\u306f\uff0c\u65e2\u5b58\u306e\u6587\u304b\u3089\u65b0\u3057\u3044\u6587\u3092\u5c0e\u51fa\u3059\u308b\u305f\u3081\u306e\uff0c\u4e00\u9023\u306e\u5c0e\u51fa\u898f\u5247[ref]\u6216\u3044\u306f\u63a8\u8ad6\u898f\u5247\uff0c\u4ee5\u964d\u306f\u4e3b\u3068\u3057\u3066\u63a8\u8ad6\u898f\u5247\u3092\u4f7f\u7528\u3059\u308b[\/ref]\u3067\u3042\u308b\uff0e<\/em><\/p><\/blockquote>\n<\/li>\n<\/ul>\n<p style=\"text-align: justify;\"><strong>\u547d\u984c\u8ad6\u7406<\/strong><\/p>\n<p style=\"text-align: justify;\">\u6700\u521d\u306e\u4f8b\u306f\uff0c\u4ee5\u4e0b\u3067\u3042\u308b\uff0e<\/p>\n<p style=\"text-align: center;\">trainMoving \u2192 doorsClosed<\/p>\n<p style=\"text-align: justify;\">\u591a\u304f\u306e\u4eba\u306f\uff0c\u300c\u5217\u8eca\u304c\u52d5\u3044\u3066\u3044\u308b\u306a\u3089\u3070\uff0c\u30c9\u30a2\u306f\u9589\u307e\u3063\u3066\u3044\u308b\u300d\u3068\u8003\u3048\u308b\u306b\u9055\u3044\u306a\u3044\uff0e\u6587\u306e\u9b45\u529b\u306f\u300c\u7701\u7565\u300d\u306b\u3042\u308b\u3068\u601d\u3063\u3066\u3044\u308b\u304c\uff08\u4ff3\u53e5\u304c\u5178\u578b\u7684\u306a\u4f8b\uff09\uff0c\u305d\u308c\u306f\u4eba\u304c\u8aad\u307f\u53d6\u308d\u3046\u3068\u3059\u308b\u529b\u3092\u60f9\u8d77\u3059\u308b\u304b\u3089\u3068\u601d\u3063\u3066\u3044\u308b\uff0e<\/p>\n<p style=\"text-align: justify;\">\u3055\u3066\uff0c4.4\u7bc0\u306f\uff0c\u57fa\u672c\u7684\u306b\u539f\u66f8\u306b\u5f93\u3046\u304c\uff0c\u898f\u5247\u4e2d\u5fc3\u306b\u306f\u3057\u306a\u3044\u3064\u3082\u308a\u3067\u3042\u308b\uff0e\u8ad6\u7406\u5b66\u306e\u65e5\u672c\u8a9e\u306e\u6559\u79d1\u66f8\u3068\u3057\u3066\u306f\uff0c\u300c\u8ad6\u7406\u5b66\u3092\u3064\u304f\u308b\u300d\u3068\u3044\u3046\u3059\u3070\u3089\u3057\u3044\u5165\u9580\u66f8\u304c\u3042\u308b[ref] \u6238\u7530\u5c71\u548c\u4e45\uff0c\u540d\u53e4\u5c4b\u5927\u5b66\u51fa\u7248\u4f1a[\/ref]\uff0e\u300c\u3064\u304f\u308b\u300d\u3068\u3044\u3046\u3053\u3068\u3070\u304c\u3068\u3066\u3082\u826f\u3044\uff0e\u3042\u308b\u3044\u306f\uff0cD.\u30b0\u30ea\u30fc\u30b9\u306e\u300c\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u79d1\u5b66\u300d\u304c\u3042\u308b[ref]\u7b67 \u6377\u5f66\u8a33\uff0c\u57f9\u98a8\u9928\uff0c1991\uff0e\u597d\u304d\u5acc\u3044\u306f\u3042\u308b\u304b\u3068\u601d\u3046\u304c\uff0c\u4e01\u5be7\u306b\u30b0\u30ea\u30fc\u30b9\u306e\u82f1\u6587\u304c\u65e5\u672c\u8a9e\u306b\u7f6e\u304d\u63db\u3048\u3089\u308c\u3066\u3044\u308b\uff0e\u3061\u306a\u307f\u306b\uff0c\u3053\u306e\u672c\u306b\u3042\u308b\u300c\u30b3\u30fc\u30d2\u30fc\u7f36\u306e\u554f\u984c\u300d\u306f\u3059\u3070\u3089\u3057\u3044\uff0e\u30d7\u30ed\u30b0\u30e9\u30e0\u3067\u3082\u3063\u3068\u3082\u672c\u8cea\u7684\u306a\u70b9\u3060\u3068\u601d\u3046[\/ref].<\/p>\n<p style=\"text-align: justify;\">\u3055\u3066\uff0c\u547d\u984c\u8ad6\u7406\u3067\u306f\uff0ctrainMoving \u3092\u4ee5\u4e0b\u306b\u5909\u3048\u3066\u3082\u5168\u304f\u5dee\u3057\u652f\u3048\u304c\u306a\u3044\uff0e\u5373\u3061\uff0c\u547d\u984c\u8ad6\u7406\u306e\u4e16\u754c\u3067\u306f\uff0c\u539f\u5b50\u5f0f\uff08\u5358\u7d14\u547d\u984c\uff09\u306e\u4e2d\u8eab\u3092\u8aad\u307f\u53d6\u3063\u3066\u306f\u3044\u3051\u306a\u3044\uff0e<\/p>\n<ol style=\"list-style-type: lower-alpha;\">\n<li style=\"text-align: justify;\">\u5217\u8eca\u306f\u52d5\u3044\u3066\u3044\u308b\uff0c<\/li>\n<li style=\"text-align: justify;\">P<\/li>\n<li style=\"text-align: justify;\">trainStopped<\/li>\n<\/ol>\n<p style=\"text-align: justify;\">\u8a18\u53f7\u306e\u4e2d\u8eab\u306f\u554f\u308f\u306a\u3044\uff0e\u2227\uff08\u304b\u3064\uff09\u3084\u00a0\u2228\uff08\u307e\u305f\u306f\uff09\u3068\u3044\u3063\u305f\u6f14\u7b97\u5b50\u306b\u3088\u308b\u8a18\u53f7\u306e\u64cd\u4f5c\u3067\u3042\u308b\uff0e\u73fe\u5b9f\u306e\u6211\u3005\u306e\u8003\u3048\u65b9\u306b\u95a2\u4fc2\u306f\u3057\u3066\u3044\u308b\u304c\uff0c\u57fa\u790e\u3065\u3051\u3089\u308c\u3066\u3044\u308b\u308f\u3051\u3067\u306f\u306a\u3044\uff0e\u4f3c\u3066\u3044\u308b\u70b9\u304c\u3042\u3063\u305f\u3068\u3057\u3066\u3082\uff0c\u73fe\u5b9f\u4e16\u754c\u3068\u306f\u5225\u306b\u6210\u7acb\u3057\u3066\u3044\u308b\u306e\u3067\u3042\u308b\uff0e\u5206\u304b\u308a\u3065\u3089\u3055\u304c\u3042\u308b\u3068\u3059\u308c\u3070\uff0c\u3069\u3063\u3061\u3064\u304b\u305a\u306b\u898b\u3048\u308b\u70b9\u304b\u3082\u3057\u308c\u306a\u3044\uff0e<\/p>\n<p style=\"text-align: justify;\">\u5148\u306e\u5f0f\u306f\uff0c\u3088\u304f\u77e5\u3089\u308c\u3066\u3044\u308b\u3088\u3046\u306b\u6b21\u306e\u3088\u3046\u306b\u5909\u5f62\u3067\u304d\u308b\uff0e<\/p>\n<p style=\"text-align: center;\">\u00actrainMoving\u00a0\u2228 doorsClosed<\/p>\n<p style=\"text-align: justify;\">\u2192\uff08\u542b\u610f\uff0c\u6761\u4ef6\u6cd5\uff09\u306f\uff0c\u6271\u3044\u306b\u304f\u3044\u306e\u3067\uff0c\u3053\u306e\u5909\u5f62\u304c\u884c\u308f\u308c\u308b\uff0e\u6700\u521d\u3060\u3051\u771f\u7406\u5024\u8868\u3067\u78ba\u8a8d\u3057\u3066\u304a\u3053\u3046\uff0e<\/p>\n<table style=\"margin: 0px auto;\" border=\"1\">\n<caption>\u771f\u7406\u5024\u8868<\/caption>\n<tbody>\n<tr>\n<td style=\"width: 90px; text-align: center;\">P<\/td>\n<td style=\"width: 90px; text-align: center;\">Q<\/td>\n<td style=\"width: 90px; text-align: center;\">P\u2192Q<\/td>\n<td style=\"width: 90px; text-align: center;\">\u00acP<\/td>\n<td style=\"width: 90px; text-align: center;\">\u00acP\u2228Q<\/td>\n<\/tr>\n<tr>\n<td style=\"width: 90px; text-align: center;\">T<\/td>\n<td style=\"width: 90px; text-align: center;\">T<\/td>\n<td style=\"width: 90px; background-color: #c8c8c8; text-align: center;\">T<\/td>\n<td style=\"width: 90px; text-align: center;\">F<\/td>\n<td style=\"width: 90px; background-color: #c8c8c8; text-align: center;\">T<\/td>\n<\/tr>\n<tr>\n<td style=\"width: 90px; text-align: center;\">T<\/td>\n<td style=\"width: 90px; text-align: center;\">F<\/td>\n<td style=\"width: 90px; background-color: #c8c8c8; text-align: center;\">F<\/td>\n<td style=\"width: 90px; text-align: center;\">F<\/td>\n<td style=\"width: 90px; background-color: #c8c8c8; text-align: center;\">F<\/td>\n<\/tr>\n<tr>\n<td style=\"width: 90px; text-align: center;\">F<\/td>\n<td style=\"width: 90px; text-align: center;\">T<\/td>\n<td style=\"width: 90px; background-color: #c8c8c8; text-align: center;\">T<\/td>\n<td style=\"width: 90px; text-align: center;\">T<\/td>\n<td style=\"width: 90px; background-color: #c8c8c8; text-align: center;\">T<\/td>\n<\/tr>\n<tr>\n<td style=\"width: 90px; text-align: center;\">F<\/td>\n<td style=\"width: 90px; text-align: center;\">F<\/td>\n<td style=\"width: 90px; background-color: #c8c8c8; text-align: center;\">T<\/td>\n<td style=\"width: 90px; text-align: center;\">T<\/td>\n<td style=\"width: 90px; background-color: #c8c8c8; text-align: center;\">T<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\u5178\u578b\u7684\u306a\u30c8\u30fc\u30c8\u30ed\u30b8\u30fc\u3068\u547c\u3070\u308c\u308b\u5909\u5f62\u3067\u3042\u308b\uff0e<\/p>\n<p>\u3088\u304f\u77e5\u3089\u308c\u3066\u3044\u308b\u3088\u3046\u306b\uff0c\u2192\u306f\uff0c\u524d\u4ef6\uff08\u6761\u4ef6\u90e8\uff09\u304cF\uff08\u507d\uff09\u306a\u3089\u3070\uff0c\u5f8c\u4ef6\u306e\u771f\u507d\u306b\u304b\u304b\u308f\u3089\u305aT\uff08\u771f\uff09\u3067\u3042\u308b\uff0e\u524d\u8ff0\u306e\u3088\u3046\u306b\uff0c\u305d\u3046\u3044\u3046\u898f\u5247\u3068\u5272\u308a\u5207\u3063\u3066\u304a\u304b\u306a\u3044\u3068\u3044\u3051\u306a\u3044\uff08\u306a\u304a\uff0c\u3053\u306e\u70b9\u306b\u3064\u3044\u3066\u306f\u518d\u5ea6\u89e6\u308c\u308b\u3053\u3068\u306b\u3059\u308b\uff09\uff0e<\/p>\n<p>\u300cC\u306e\u5834\u5408\u306f\uff0cA\u3092\u5b9f\u884c\u3057\u307e\u3059\u300d\u3068\u4ed5\u69d8\u66f8\u306b\u66f8\u3044\u3066\u3042\u3063\u305f\u3068\u3059\u308b\uff0e\u00acC\u306e\u5834\u5408\u306b\uff0c\u7570\u5e38\u306a\u3075\u308b\u307e\u3044\u3092\u3057\u305f\u3068\u304d\u306b\uff0c\u305d\u308c\u306f\u4ed5\u69d8\u5916\u3067\u3059\u3068\u3044\u3048\u308b\u304b\u3069\u3046\u304b\u306f\uff0c\u30b1\u30fc\u30b9\u30d0\u30a4\u30b1\u30fc\u30b9\u3067\u3042\u308b\uff0e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3067\u3042\u308c\u3070\uff0c\u9632\u885b\u7684\u306b\u3059\u3079\u304d\u3068\u3044\u3046\u6a19\u8a9e\u304c\u76f8\u5f53\u3059\u308b\u304b\uff0e<\/p>\n<p style=\"text-align: right;\"><em>\uff08nil\uff09<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u8ad6\u7406\u306f\uff0c\u4ed6\u306e\u5f62\u5f0f\u7684\u306a\u30b7\u30b9\u30c6\u30e0\u3068\u540c\u69d8\u306b\uff0c\u6b21\u306e3\u3064\u306e\u30b3\u30f3\u30dd\u30fc\u30cd\u30f3\u30c8\u304b\u3089\u6210\u308a\u7acb\u3063\u3066\u3044\u308b\uff0e\u69cb\u6587\u30fb\u610f\u5473\u30fb\u8a3c\u660e\u8ad6\u3067\u3042\u308b\uff08p.146\uff09 \u69cb\u6587\u306f\uff0c\u6587\u6cd5\u306b\u5408\u3063\u305f\u6587\u3092\u5b9a\u7fa9\u3059\u308b\u305f\u3081\u306e\u4e00\u9023\u306e\u898f\u5247\u3067\u3042\u308b \u610f\u5473\u306f\uff0c\u6587\u306e\u6b63\u78ba\u306a\u610f\u5473\u3092\u5b9a\u7fa9\u3059\u308b\u305f\u3081\u306e\u4e00\u9023 [&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-956","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\/956","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=956"}],"version-history":[{"count":14,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/956\/revisions"}],"predecessor-version":[{"id":1070,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/956\/revisions\/1070"}],"wp:attachment":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=956"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=956"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=956"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}