{"id":934,"date":"2014-10-19T12:32:59","date_gmt":"2014-10-19T03:32:59","guid":{"rendered":"http:\/\/www.nil.co.jp\/Japanese\/blog\/?p=934"},"modified":"2014-10-19T12:32:59","modified_gmt":"2014-10-19T03:32:59","slug":"kaos-73-%e5%9b%b3%e5%bc%8f%e3%82%92%e4%bd%bf%e7%94%a8%e3%81%99%e3%82%8b-%e7%8a%b6%e6%85%8b%e6%a9%9f%e6%a2%b0%e5%9b%b3-4-3-7%ef%bd%b04","status":"publish","type":"post","link":"https:\/\/www.nil.co.jp\/Japanese\/blog\/?p=934","title":{"rendered":"KAOS (73) \u56f3\u5f0f\u3092\u4f7f\u7528\u3059\u308b: \u72b6\u614b\u6a5f\u68b0\u56f3 (4.3.7\uff704)"},"content":{"rendered":"<blockquote>\n<p style=\"text-align: justify;\"><em>\u6211\u3005\u306e\u30e2\u30c7\u30ea\u30f3\u30b0\u30a2\u30d7\u30ed\u30fc\u30c1\uff0c\u7279\u306b\u30b9\u30c6\u30fc\u30c8\u30c1\u30e3\u30fc\u30c8\u8a00\u8a9e\u306f\uff0c\u53cd\u5fdc\u578b\u306e\u30b7\u30b9\u30c6\u30e0\u306b\u6709\u52b9\u3067\u3042\u308b\uff0e\u305d\u306e\u3075\u308b\u307e\u3044\u306f\u8907\u96d1\u3067\uff0c\u3088\u304f\u77e5\u3089\u308c\u3066\u3044\u308b\u3088\u3046\u306b\uff0c\u898b\u3064\u3051\u306b\u304f\u3044\u8aa4\u308a\u306b\u6e80\u3061\u305f\u4ed5\u69d8\u4e0a\u306e\u554f\u984c\u3092\u5f15\u304d\u8d77\u3053\u3059\uff0e\u591a\u304f\u306e\u30ea\u30a2\u30eb\u30bf\u30a4\u30e0\u30b7\u30b9\u30c6\u30e0\u306f\uff0c\u76f8\u5f53\u3059\u308b<\/em>[ref]David Harel and Michal Politi.\u00a0 <em>Modeling Reactive Systems with Statecharts: The Statemate Approach<\/em> (1st ed.). McGraw-Hill, Inc, 1998, p.3[\/ref]<\/p>\n<\/blockquote>\n<p style=\"text-align: justify;\">\u30b9\u30c6\u30fc\u30c8\u30c1\u30e3\u30fc\u30c8\u306f\uff0c\u3044\u307e\u3067\u306f\u3088\u304f\u77e5\u3089\u308c\u3066\u3044\u308b\uff0e\u3057\u304b\u3057\uff0cOMT\u624b\u6cd5\u3067\u53d6\u308a\u3042\u3052\u3089\u308c\u308b\u524d\u306f\uff0c\u4f59\u308a\u4e00\u822c\u7684\u3067\u306f\u306a\u304b\u3063\u305f\uff0e\u307e\u305f\uff0c\u30b9\u30c6\u30fc\u30c8\u30c1\u30e3\u30fc\u30c8\u306e\u8a18\u6cd5\u306e\u5168\u3066\u304c\u63a1\u7528\u3055\u308c\u3066\u3044\u308b\u308f\u3051\u3067\u306f\u306a\u3044\uff0e<\/p>\n<p style=\"text-align: justify;\">\u5192\u982d\u306e\u6587\u306f\uff0c\u6570\u5c11\u306a\u3044Harel\u6c0f\u306e\u8457\u4f5c\u304b\u3089\u5f15\u7528\u3057\u3066\u308b[ref]Harel\u6c0f\u306f\uff0cComputers Ltd. what they really can&#8217;t do\u3068\u3044\u3046\u5c0f\u518a\u5b50\u3060\u304c\u898b\u4e8b\u306a\u8aad\u307f\u3082\u306e\u3082\u66f8\u3044\u3066\u3044\u308b[\/ref]\uff0e\u526f\u984c\u306f\uff0cSTATEMATE\u30a2\u30d7\u30ed\u30fc\u30c1\u3067\u3042\u308b\uff0eSTATEMATE\u306f\u30c4\u30fc\u30eb\u306e\u540d\u524d\u3067\u3042\u308b\uff0e\u304b\u3064\u3066\u79c1\u306fSTATEMATE\u306e\u30e6\u30fc\u30b6\u3060\u3063\u305f\uff08\u52d5\u4f5c\u74b0\u5883\u306f\uff0cSUN OS\uff09\uff0e<\/p>\n<p style=\"text-align: justify;\">\u305d\u308c\u3067\u5c11\u3057\u632f\u308a\u8fd4\u308b\uff0eSTATEMATE\u3092\u4f5c\u3063\u3066\u3044\u305f I-Logix\u793e\u306f\uff0cDOORS\u3067\u6709\u540d\u3060\u3063\u305fTelelogic\u793e\u306b\u8cb7\u53ce\u3055\u308c\u305f\uff0eTelelogic\u793e\u306fRational\u793e\u306b\u8cb7\u53ce\u3055\u308c\uff0c\u73fe\u6642\u70b9\u3067\u306fIBM\u793e\u306e1\u90e8\u9580\u3067\u3042\u308b\uff0e\u3053\u306e\u98df\u7269\u9023\u9396\u306e\u3088\u3046\u306a\u79fb\u308a\u5909\u308f\u308a\u3092\u898b\u3066\u3044\u308b\u3068\u30c4\u30fc\u30eb\u30d3\u30b8\u30cd\u30b9\u306e\u96e3\u3057\u3055\u3092\u611f\u3058\u308b\uff0e\u3057\u304b\u3057\uff0c\u305d\u308c\u3067\u3082\u6b8b\u3063\u3066\u3044\u308b\u306e\u306f\uff0c\u30aa\u30ea\u30b8\u30ca\u30eb\u306e\u30a2\u30a4\u30c7\u30a2\u304c\u512a\u308c\u3066\u3044\u305f\u304b\u3089\u306b\u9055\u3044\u306a\u3044\uff0e<\/p>\n<p style=\"text-align: justify;\">\u3055\u3066\uff0c\u30b9\u30c6\u30fc\u30c8\u30c1\u30e3\u30fc\u30c8\u306b\u306f\u5e7e\u3064\u3082\u306e\u7279\u5fb4\u304c\u3042\u308b\uff0e\u3082\u3063\u3068\u3082\u4ee3\u8868\u7684\u306a\u3082\u306e\u306f\u76f4\u4ea4\u8868\u73fe\u3067\u3042\u308b\uff0e<\/p>\n<div id=\"attachment_938\" style=\"width: 460px\" class=\"wp-caption aligncenter\"><a href=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/f439005a0d59ba5005711f728a0bf79f.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-938\" class=\"wp-image-938\" src=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/f439005a0d59ba5005711f728a0bf79f.png\" alt=\"\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8 2014-10-16 21.18.32\" width=\"450\" height=\"198\" \/><\/a><p id=\"caption-attachment-938\" class=\"wp-caption-text\">\u30b9\u30c6\u30fc\u30c8\u30c1\u30e3\u30fc\u30c8\u306e\u76f4\u4ea4\u8868\u73fe\uff08AND\u72b6\u614b\uff09<\/p><\/div>\n<p>\u4e0a\u8a18\u3067\uff0c\u70b9\u7dda[ref]\u70b9\u7dda\u81ea\u8eab\u3092UML\u3067\u306f\uff0c\u30a2\u30f3\u30c9\u30e9\u30a4\u30f3\u3068\u547c\u3076\uff0e\u3057\u304b\u3057\uff0cSTATEMATE\u3067\u306f\uff0c\u7279\u5225\u306e\u547c\u3073\u540d\u306f\u306a\u3044\uff0e\u4ed6\u306e\u56f3\u5f0f\u3067\u3082\u305d\u3046\u3060\u304c\uff0c\u5b9f\u7dda\u306e\u30ce\u30fc\u30c9\u3092\u307e\u3068\u3081\u308b\u3068\u304d\u306b\u70b9\u7dda\u3092\u7528\u3044\u3066\u3044\u308b\uff0e\u307e\u305f\uff0c\u70b9\u7dda\u3092\u542b\u3080\u72b6\u614b\u306e\u3053\u3068\u3092\uff0c\u300cAND\u72b6\u614b\uff08AND state\uff09\u300d\u3068\u547c\u3093\u3067\u3044\u308b\uff0e[\/ref]\u3067\u4ed5\u5207\u3089\u308c\u305f2\u3064\u306e\u72b6\u614b\u9077\u79fb\u56f3\u306f\uff0c\u4e26\u5217\u306b\u52d5\u4f5c\u3059\u308b\u3053\u3068\u3092\u793a\u3057\u3066\u3044\u308b\uff0e\u4e0a\u56f3\u3068\u540c\u5024\u3067\uff0c\u76f4\u4ea4\u8868\u73fe\u3092\u4f7f\u7528\u3057\u306a\u3044\u72b6\u614b\u9077\u79fb\u56f3\u3060\u3068\u4ee5\u4e0b\u306b\u306a\u308b\uff0e<\/p>\n<div id=\"attachment_939\" style=\"width: 460px\" class=\"wp-caption aligncenter\"><a href=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/fda61a983a23744e6b13b910bb9cd357.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-939\" class=\"wp-image-939\" src=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/fda61a983a23744e6b13b910bb9cd357.png\" alt=\"\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8 2014-10-16 21.18.41\" width=\"450\" height=\"291\" \/><\/a><p id=\"caption-attachment-939\" class=\"wp-caption-text\">\u975e\u76f4\u4ea4\u8868\u73fe<\/p><\/div>\n<p>\u5982\u4f55\u306b\u76f4\u4ea4\u8868\u73fe\u304c\u7aef\u7684\u306b\u8868\u73fe\u3067\u304d\u308b\u304b\u304c\u5206\u304b\u308b\uff0e<\/p>\n<p>\u4f8b\u3048\u3070\uff0c\u521d\u671f\u72b6\u614b\uff08\u72b6\u614bU\u3068\u72b6\u614bX\uff0c\u975e\u76f4\u4ea4\u8868\u73fe\u3067\u306f\uff0cU_X\uff09\u3067\uff0c\u30a4\u30d9\u30f3\u30c8E\u3092\u53d7\u3051\u305f\u3068\u304d\u306b\u306f\uff0c\u72b6\u614bV\u3068\u72b6\u614bY\uff08\u975e\u76f4\u4ea4\u8868\u73fe\u3067\u306f\uff0cV_Y\uff09\u306b\u79fb\u52d5\u3059\u308b\u304c\uff0c\u898b\u3084\u3059\u3055\u306f\uff0c\u76f4\u4ea4\u8868\u73fe\u304c\u512a\u308b\uff0e<\/p>\n<p>\u3082\u3061\u308d\u3093\uff0c2\u3064\u72b6\u614b\u9077\u79fb\u56f3\u3092\u4e26\u3079\u3066\uff0c\u4e21\u8005\u306f\u4e26\u884c\u52d5\u4f5c\u3059\u308b\u3068\u3044\u3063\u3066\u3082\u826f\u3044\u306e\u3060\u304c\uff0c\u56f3\u5f0f\u3068\u3057\u3066\u8aac\u660e\u3092\u4e0d\u8981\u306b\u3057\u3066\u3044\u308b\uff0e\u307e\u305f\uff0cV\u304b\u3089U\u3078\u306e\u9077\u79fb\u306b\u3067\u3066\u304f\u308bF[in(Y)]\u306f\uff0c\u300c\uff08\u96a3\u306e\u72b6\u614b\u9077\u79fb\u56f3\u3067\uff09Y\u306b\u3044\u308b\u306a\u3089\u3070\uff0cF\u30a4\u30d9\u30f3\u30c8\u3067U\u306b\u9077\u79fb\u3059\u308b\u300d\u3068\u3044\u3046\u610f\u5473\u306b\u306a\u308b\uff0e\u5909\u6570\u306e\u30b9\u30b3\u30fc\u30d7\u3082\u542b\u3081\u3066\u6271\u3044\u304c\u5bb9\u6613\u3067\u3042\u308b\uff0e<\/p>\n<p>\u3061\u306a\u307f\u306b\uff0c\u300cin\uff08S)\u300d\u30ad\u30fc\u30ef\u30fc\u30c9 \u306f\uff0c\u300c\u30b7\u30b9\u30c6\u30e0\u304cS\u72b6\u614b\u306b\u3044\u308b\u300d\u3068\u3057\u3066\uff0c\u30aa\u30ea\u30b8\u30ca\u30eb\u306e\u30b9\u30c6\u30fc\u30c8\u30c1\u30e3\u30fc\u30c8\u3067\u306f\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u308b\uff0e\u3053\u306e\u307b\u304b\u306b\u3082\u30bf\u30a4\u30e0\u30a2\u30a6\u30c8\u3084\u30af\u30ed\u30c3\u30af\u306a\u3069\u306e\u69d8\u3005\u306a\u30ad\u30fc\u30ef\u30fc\u30c9\u304c\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u308b\uff0e\u305d\u306e\u4e00\u90e8\u306f\uff0c\u3057\u3070\u3089\u304f\u3057\u305f\u3068\u3053\u308d\u3067\u7d39\u4ecb\u304c\u3042\u308b\u306e\u3067\uff0c\u3053\u3053\u3067\u306f\u7701\u7565\u3059\u308b\uff0e<\/p>\n<p style=\"text-align: right;\"><em>(nil)<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u6211\u3005\u306e\u30e2\u30c7\u30ea\u30f3\u30b0\u30a2\u30d7\u30ed\u30fc\u30c1\uff0c\u7279\u306b\u30b9\u30c6\u30fc\u30c8\u30c1\u30e3\u30fc\u30c8\u8a00\u8a9e\u306f\uff0c\u53cd\u5fdc\u578b\u306e\u30b7\u30b9\u30c6\u30e0\u306b\u6709\u52b9\u3067\u3042\u308b\uff0e\u305d\u306e\u3075\u308b\u307e\u3044\u306f\u8907\u96d1\u3067\uff0c\u3088\u304f\u77e5\u3089\u308c\u3066\u3044\u308b\u3088\u3046\u306b\uff0c\u898b\u3064\u3051\u306b\u304f\u3044\u8aa4\u308a\u306b\u6e80\u3061\u305f\u4ed5\u69d8\u4e0a\u306e\u554f\u984c\u3092\u5f15\u304d\u8d77\u3053\u3059\uff0e\u591a\u304f\u306e\u30ea\u30a2\u30eb\u30bf\u30a4\u30e0\u30b7\u30b9\u30c6\u30e0\u306f\uff0c\u76f8\u5f53\u3059\u308b [&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,31,10],"tags":[67],"class_list":["post-934","post","type-post","status-publish","format-standard","hentry","category-kaos","category-requirements","category-re","tag-67"],"_links":{"self":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/934","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=934"}],"version-history":[{"count":13,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/934\/revisions"}],"predecessor-version":[{"id":970,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/934\/revisions\/970"}],"wp:attachment":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=934"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=934"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=934"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}