{"id":1251,"date":"2014-11-16T10:29:39","date_gmt":"2014-11-16T01:29:39","guid":{"rendered":"http:\/\/www.nil.co.jp\/Japanese\/blog\/?p=1251"},"modified":"2014-11-16T10:29:39","modified_gmt":"2014-11-16T01:29:39","slug":"kaos-97-%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-9","status":"publish","type":"post","link":"https:\/\/www.nil.co.jp\/Japanese\/blog\/?p=1251","title":{"rendered":"KAOS (97) \u904e\u7a0b\u30d9\u30fc\u30b9\u306e\u4ed5\u69d8 (4.4.2-9)"},"content":{"rendered":"

\u3053\u3053\u3067\u306f\uff0c\u539f\u66f8\u306b\u3042\u308b\u4f8b\u306e\u7d9a\u304d\u3067\u3042\u308b\uff0e<\/p>\n

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

\n

\u4f1a\u8b70\u53c2\u52a0\u4e88\u5b9a\u8005\u306b\u306f\uff0c\u4f1a\u8b70\u958b\u59cb\u306e\u5c11\u306a\u304f\u3068\u30823\u9031\u9593\u524d\u307e\u3067\u306b\u671f\u65e5\u3068\u5834\u6240\u306e\u901a\u77e5\u3092\u884c\u3046\u3053\u3068\uff0e<\/p>\n<\/blockquote>\n

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

\u2200p: Person, m: Meeting<\/p>\n

Holds(m) \u2227 Intentded(p,m) \u21d2 \u25c6\u22653w<\/sub> Notified(p, m)<\/p>\n

\u300cm\u3068\u3044\u3046\u4f1a\u8b70\u3092\u958b\u304d\uff0c\u304b\u3064 p \u304c\u51fa\u5e2d\u3092\u610f\u56f3\u3057\u3066\u3044\u308b\u306a\u3089\u3070\uff0c3\u9031\u9593\u4ee5\u4e0a\u524d\u306e\u3069\u3053\u304b\u3067\uff0c\u305d\u306e\u4f1a\u8b70\u306e\u901a\u77e5\u304c\u3042\u308b\u300d\u3068\u3044\u3046\u306e\u304c\u89e3\u91c8\u3067\u3042\u308b\uff0e<\/p>\n

\u524d\u56de\u3068\u540c\u69d8\u306b3W\u3068\u3044\u3046\u6642\u9593\uff08\u9593\u9694\uff09\u3092\u7528\u3044\u3066\u3044\u308b\uff0e\u5168\u79f0\u9650\u91cf\u5b50\u306f\uff0c\u5168\u3066\u306e\u4f1a\u8b70\u3084\u53c2\u52a0\u8005\u306b\u95a2\u3057\u3066\uff0c\u305d\u308c\u304c\u6210\u308a\u7acb\u3064\u3068\u3044\u3046\u3053\u3068\u3092\u793a\u3057\u3066\u3044\u308b\uff0e<\/p>\n

\u524d\u63d01<\/strong><\/p>\n

\n

\u3082\u3057\uff0c\u4f1a\u8b70\u306e\u65e5\u4ed8\u3084\u5834\u6240\u304c\u9069\u5207\u3067\uff0c\u305d\u306e\u3053\u3068\u304c\u901a\u77e5\u3055\u308c\u308b\u306a\u3089\u3070\uff0c\u4f1a\u8b70\u53c2\u52a0\u4e88\u5b9a\u8005\u306f\uff0c\u4f1a\u8b70\u306b\u51fa\u5e2d\u3059\u308b\uff0e<\/p>\n<\/blockquote>\n

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

\u2200p: Person, m: Meeting<\/p>\n

Intended(p,m) \u2227 Notified(p, m) \u2227 Convenient(m, p) \u21d2 \u25c7\u00a0Participates (p, m)<\/p>\n

\u4f1a\u8b70\u81ea\u4f53\u306f\uff0c\u672a\u6765\u306e\u3069\u3053\u304b\u306a\u306e\u3067\uff0c\u69d8\u76f8\u6f14\u7b97\u5b50\u300c\u3044\u3064\u304b\u300d\u3092\u4f7f\u7528\u3057\u3066\u3044\u308b\uff0e\u958b\u50ac\u65e5\u3092\u904e\u304e\u305f\u672a\u6765\u306b\u306f\uff0c\u610f\u5473\u304c\u306a\u3044\uff0e<\/p>\n

\u524d\u63d02<\/strong><\/p>\n

\n

\u30df\u30fc\u30c6\u30a3\u30f3\u30b0\u5834\u6240\u304c\u4fbf\u5229\u306e\u826f\u3044\u5834\u6240\u3067\u3042\u308c\u3070\uff0c\u305d\u306e\u5834\u6240\u306f\u6052\u306b\u4fbf\u5b9c\u304c\u826f\u3044<\/p>\n<\/blockquote>\n

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

\u2200p: Person, m: Meeting<\/p>\n

Convenient(m, p) \u21d2 \u25a1 Convenient (m, p)<\/p>\n

\u305d\u3046\u3044\u3046\u524d\u63d0\u3092\u7f6e\u304f\u3068\u4e91\u3046\u3053\u3068\u3067\u3042\u308b\uff0e<\/p>\n

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

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

\u3053\u3053\u3067\u306f\uff0c\u539f\u66f8\u306b\u3042\u308b\u4f8b\u306e\u7d9a\u304d\u3067\u3042\u308b\uff0e \u8981\u6c423 \u4f1a\u8b70\u53c2\u52a0\u4e88\u5b9a\u8005\u306b\u306f\uff0c\u4f1a\u8b70\u958b\u59cb\u306e\u5c11\u306a\u304f\u3068\u30823\u9031\u9593\u524d\u307e\u3067\u306b\u671f\u65e5\u3068\u5834\u6240\u306e\u901a\u77e5\u3092\u884c\u3046\u3053\u3068\uff0e \u5bfe\u5fdc\u3059\u308b\u69d8\u76f8\u8ad6\u7406\u8a18\u8ff0 \u2200p: Person, m: Meeting Holds(m) \u2227 […]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-1251","post","type-post","status-publish","format-standard","hentry","category-1"],"_links":{"self":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1251","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=1251"}],"version-history":[{"count":5,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1251\/revisions"}],"predecessor-version":[{"id":1257,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1251\/revisions\/1257"}],"wp:attachment":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1251"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1251"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1251"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}