{"id":1234,"date":"2014-11-15T13:58:17","date_gmt":"2014-11-15T04:58:17","guid":{"rendered":"http:\/\/www.nil.co.jp\/Japanese\/blog\/?p=1234"},"modified":"2014-11-15T13:58:17","modified_gmt":"2014-11-15T04:58:17","slug":"kaos-96-%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-8","status":"publish","type":"post","link":"https:\/\/www.nil.co.jp\/Japanese\/blog\/?p=1234","title":{"rendered":"KAOS (96) \u904e\u7a0b\u30d9\u30fc\u30b9\u306e\u4ed5\u69d8 (4.4.2-8)"},"content":{"rendered":"

\u3053\u3053\u3067\u306f\uff0c\u539f\u66f8\u306b\u3042\u308b\u4f8b\u3092\u5e7e\u3064\u304b\u898b\u308b\uff0e<\/p>\n

\u8981\u6c421<\/strong><\/p>\n

\n

\u5217\u8eca\u306e\u30c9\u30a2\u306f\uff0c\u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0\uff08\u99c5\uff09\u9593\u3067\u306f\uff0c\u9589\u307e\u3063\u3066\u3044\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\uff0e\u4f46\u3057\uff0c\u7dca\u6025\u4e8b\u614b\u306e\u305f\u3081\u306b\u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0\u9593\u3067\u505c\u6b62\u3057\u3066\u3044\u308b\u9593\u306f\u9664\u304f\uff0e<\/p>\n<\/blockquote>\n

\u5bfe\u5fdc\u3059\u308b\u69d8\u76f8\u8ad6\u7406\u8a18\u8ff0<\/span><\/p>\n

\u2200tr: Train, pl: Platform<\/p>\n

\uff08\u25cfAt(tr, pl) \u2227 \u00acAt(tr, pl) \u21d2 tr.Doors = ‘closed’ W [At(tr, next(pl)) \u00a0\u2228 \u00a0Alarm \u00a0(tr) \u00a0\u2227 \u00acMoving(tr)]\uff09<\/p>\n

\u300c\u4e00\u3064\u524d\u3067\u306f\u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0\u306b\u3044\u308b\u304c\uff0c\u3044\u307e\u306f\u3044\u306a\u3044\u300d\u3068\u3044\u3046\u306e\u304c\u6761\u4ef6\u90e8\u5206\u3067\u3042\u308b\uff0e\u3053\u306e\u3068\u304d\uff0c\u5217\u8eca\u306e\u30c9\u30a2\u306f\uff0c\u300c\u9589\u307e\u3063\u3066\u3044\u308b\uff0e\u305d\u308c\u306f\uff0c\u5217\u8eca\u304c\u6b21\u306e\u99c5\u306b\u5230\u7740\u3059\u308b\u304b\uff0c\u505c\u6b62\u3057\u3066\u30a2\u30e9\u30fc\u30e0\u304c\u3042\u308b\u3068\u304d\u307e\u3067\u7d9a\u304f\u300d\u3068\u3044\u3046\u306e\u304c\uff0c\u3053\u306e\u6587\u306e\u89e3\u91c8\u3067\u3042\u308b\uff0e<\/p>\n

\u6700\u521d\u306e\u675f\u7e1b\u5909\u6570\u306e\u5b9a\u7fa9\u90e8\u5206\uff08\u2200tr: Train, pl: Platform\uff09\u306f\uff0c\u3053\u308c\u307e\u3067\u8aac\u660e\u3057\u3066\u3044\u306a\u3044\uff0e\u96c6\u5408\u306e\u8981\u7d20\u3068\u6349\u3048\u3066\u3082\u3088\u3044\u3057\uff0c\u306a\u3058\u307f\u306e\u62bd\u8c61\u30c7\u30fc\u30bf\u578b\u3068\u30a4\u30f3\u30b9\u30bf\u30f3\u30b9\u3068\u3044\u3046\u3068\u3089\u3048\u65b9\u3067\u3082\u826f\u3044\uff0e\u3044\u305a\u308c\u8aac\u660e\u3057\u305f\u3044\uff0etr\u3068\u3044\u3046\u306e\u306f\u3042\u308b\u5217\u8eca\u3092\uff0cpl\u306f\u3042\u308b\u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0\uff08\u99c5\uff09\u3092\u793a\u3057\u3066\u3044\u308b\uff0e\u3044\u307e\u5168\u79f0\u9650\u91cf\u5b50\u3067\u675f\u7e1b\u3057\u3066\u3044\u308b\u306e\u3067\uff0c\u4e00\u3064\u524d\u306b\u99c5\u306b\u3044\u3066\uff0c\u3044\u307e\u306f\u305d\u306e\u99c5\u306b\u3044\u306a\u3044\u5217\u8eca\u3068\u3044\u3046\u6761\u4ef6\u306b\u306a\u3063\u3066\u3044\u308b\uff0e\u3042\u308b\u5217\u8eca\u3092\u8003\u3048\u305f\u3068\u304d\u306b\uff0c\u5168\u3066\u306e\u99c5\u306b\u540c\u6642\u306b\u5b58\u5728\u3059\u308b\u3053\u3068\u306f\u3067\u304d\u306a\u3044\u306e\u3067\uff0c\u300c\u524d\u306b\u300d\u3042\u308b\u99c5\u306b\u3044\u305f\u5217\u8eca\u304c\u3044\u307e\u306f\u3044\u306a\u3044\u3068\u3044\u3046\u5236\u7d04\u304c\uff0c\u25cfAt(tr,pl)\u306e\u90e8\u5206\u3067\u3042\u308b\uff0e\u25cf\u3067\u5341\u5206\u304b\u306f\uff0c\u8b70\u8ad6\u304c\u3042\u308b\u3060\u308d\u3046\u304c\uff0c\u4f55\u3089\u304b\u306e\u5236\u7d04\u306f\u5fc5\u8981\u306b\u306a\u308b\uff0e<\/p>\n

\u8981\u6c422<\/strong><\/p>\n

\n

\u5217\u8eca\u306f\uff0c\u6b21\u306e\u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0\u306b5\u5206\u4ee5\u5185\u306b\u5230\u7740\u3057\u306a\u304f\u3066\u306f\u306a\u3089\u306a\u3044\uff0e<\/p>\n<\/blockquote>\n

\u5bfe\u5fdc\u3059\u308b\u69d8\u76f8\u8ad6\u7406\u8a18\u8ff0<\/span><\/p>\n

\u2200tr: Train, pl:Platform (At(tr, pl) \u21d2 \u25c7\u22645m<\/sub> At(tr, next(pl))<\/p>\n

\u25c7\u22645m<\/sub>\u3068\u3044\u3046\u8a18\u8ff0\u6cd5\u306f\uff0c\u59cb\u3081\u3066\u51fa\u3066\u304d\u3066\u3044\u308b\uff0e\u25c7\u306f\uff0c\u3044\u3064\u304b\u751f\u3058\u308b\u3068\u3044\u3046\u3053\u3068\u3067\u3042\u308b\uff0e\u3044\u3064\u304b\u3068\u3044\u3046\u306e\u306f\uff0c\u3042\u307e\u308a\u306b\u3082\u6f20\u3068\u3057\u3066\u3044\u308b\u306e\u3067\uff0c\u5236\u7d04\u3092\u52a0\u3048\u3066\u3044\u308b\uff0e\u6642\u9593\uff08\u9593\u9694\uff09\u5236\u7d04\u3092\u66f8\u304f\u3068\u304d\u306b\u306f\uff0c\u6bd4\u8f03\u7684\u3088\u304f\u898b\u308b\u8a18\u6cd5\u3068\u306a\u308b\uff0e\u8ad6\u7406\u7684\u306a\u53d6\u6271\u306b\u95a2\u3057\u3066\uff0c\u5b9f\u8df5\u7684\u306a\u65b9\u6cd5\u306f\u3059\u304f\u306a\u3044[ref]\u5206\u91ce\u3068\u3057\u3066\u306f\uff0c\u6642\u9593(\u9593\u9694)\u4ee3\u6570\uff08Interval Algebra\uff09\uff0c\u6642\u9593\uff08\u9593\u9694\uff09\u6642\u76f8\u8ad6\u7406\uff08Interval Temporal Logic, ITL\uff09\u304c\u3042\u308b\uff0e\u767a\u5c55\u5f62\u3068\u3057\u3066\u306f\uff0cduration calculi\u304c\u3042\u308b\uff0e[\/ref]\uff0e\u3053\u3053\u3067\u306f\uff0c\u3042\u304f\u307e\u3067\u8981\u6c42\u3068\u3057\u3066\u3069\u3046\u8868\u73fe\u3059\u308b\u304b\u3068\u3044\u3046\u30ec\u30d9\u30eb\u3067\u8003\u3048\u308b\uff0e<\/p>\n

\u6b21\u56de\u3082\u5f15\u304d\u7d9a\u304d\u539f\u66f8\u306e\u4f8b\u306b\u3064\u3044\u3066\u8003\u3048\u308b\uff0e<\/p>\n

(nil)<\/em><\/p>\n

\n","protected":false},"excerpt":{"rendered":"

\u3053\u3053\u3067\u306f\uff0c\u539f\u66f8\u306b\u3042\u308b\u4f8b\u3092\u5e7e\u3064\u304b\u898b\u308b\uff0e \u8981\u6c421 \u5217\u8eca\u306e\u30c9\u30a2\u306f\uff0c\u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0\uff08\u99c5\uff09\u9593\u3067\u306f\uff0c\u9589\u307e\u3063\u3066\u3044\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\uff0e\u4f46\u3057\uff0c\u7dca\u6025\u4e8b\u614b\u306e\u305f\u3081\u306b\u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0\u9593\u3067\u505c\u6b62\u3057\u3066\u3044\u308b\u9593\u306f\u9664\u304f\uff0e \u5bfe\u5fdc\u3059\u308b\u69d8\u76f8\u8ad6\u7406\u8a18\u8ff0 \u2200tr: Tr […]<\/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":[79],"class_list":["post-1234","post","type-post","status-publish","format-standard","hentry","category-kaos","category-40","category-requirements","category-re","tag-79"],"_links":{"self":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1234","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=1234"}],"version-history":[{"count":3,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1234\/revisions"}],"predecessor-version":[{"id":1250,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1234\/revisions\/1250"}],"wp:attachment":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1234"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1234"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1234"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}