{"id":1273,"date":"2016-04-19T06:33:08","date_gmt":"2016-04-18T21:33:08","guid":{"rendered":"http:\/\/www.nil.co.jp\/Japanese\/blog\/?p=1273"},"modified":"2016-04-19T06:33:08","modified_gmt":"2016-04-18T21:33:08","slug":"kaos-101-%e7%8a%b6%e6%85%8b%e3%83%99%e3%83%bc%e3%82%b9%e3%81%ae%e4%bb%95%e6%a7%98-4-4-3-2","status":"publish","type":"post","link":"https:\/\/www.nil.co.jp\/Japanese\/blog\/?p=1273","title":{"rendered":"KAOS (101) \u72b6\u614b\u30d9\u30fc\u30b9\u306e\u4ed5\u69d8 (4.4.3-2)"},"content":{"rendered":"<p style=\"text-align: justify;\">\n\t\u3053\u3053\u304b\u3089\u3057\u3070\u3089\u304f\u306f\uff0c\u4ed5\u69d8\u8a18\u8ff0\u8a00\u8a9eZ\u306b\u3064\u3044\u3066\u3067\u3042\u308b\uff0e\u3053\u306e\u8a00\u8a9e\u306f\uff0cISO\u3067\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u308b[ref]ISO\/IEC 13568:2002<br \/>\n\tInformation technology &#8212; Z formal specification notation &#8212; Syntax, type system and semantics[\/ref]\n<\/p>\n<p style=\"text-align: justify;\">\n\t\u3053\u3053\u3067\u306e\u4f8b\u984c\u306f\uff0c\u56f3\u66f8\u9928\u7ba1\u7406\u30b7\u30b9\u30c6\u30e0\u3067\u3042\u308b\uff08\u5b9a\u756a\u3068\u3082\u4e91\u3048\u308b\uff09\uff0e\n<\/p>\n<p style=\"text-align: justify;\">\n\t\u6700\u521d\u306b\uff0c\u7121\u6761\u4ef6\u306b\u4f7f\u3048\u308b\u96c6\u5408\u3092\u5ba3\u8a00\u3057\u3066\u304a\u304f\uff0e\n<\/p>\n<p style=\"text-align: justify;\">\n\t\uff3bBook, BookCopy, Author, Topic, Person]\n<\/p>\n<p style=\"text-align: justify;\">\n\tBook\u3068BookCopy\u306e\u9055\u3044\u3092\u793a\u3059\u305f\u3081\u306e\u65e5\u672c\u8a9e\u3068\u3057\u3066\uff0c\u9069\u5207\u306a\u3044\u3044\u65b9\u3092\u601d\u3044\u3064\u304b\u306a\u3044\uff0eBook\u306f\uff0c\u62bd\u8c61\u7684\u306a\u6982\u5ff5\uff08Lamsweerde\u3055\u3093\u306eRequirements Engineering\uff09\u306e\u672c\u3067\u3042\u308a\uff0cBookCopy\u306f\uff0c\u4eca\uff0c\u624b\u5143\u306b\u3042\u308b\u30dc\u30ed\u30dc\u30ed\u306b\u306a\u3063\u305f\u7269\u7406\u7684\u306a\u672c\u3067\u3042\u308b\uff0e\n<\/p>\n<h4 style=\"text-align: justify;\">\n\t\u30b9\u30ad\u30fc\u30de<br \/>\n<\/h4>\n<p style=\"text-align: justify;\">\n\tZ\u8a00\u8a9e\u3067\u306f\uff0c\u30b9\u30ad\u30fc\u30de\uff08\u56f3\u5f0f\uff09\u306b\u3088\u3063\u3066\uff0c\u90e8\u54c1\u3092\u4f5c\u308b\uff0e\u30b9\u30ad\u30fc\u30de\u306b\u306f\uff0c\u30c7\u30fc\u30bf\u30b9\u30ad\u30fc\u30de\u3068\u64cd\u4f5c\u30b9\u30ad\u30fc\u30de\u306e2\u7a2e\u985e\u304c\u3042\u308b\uff0e\n<\/p>\n<ul style=\"list-style-type: disc;\">\n<li style=\"text-align: justify;\">\n\t\t\u30c7\u30fc\u30bf\u30b9\u30ad\u30fc\u30de\uff1a\u30b7\u30b9\u30c6\u30e0\u3092\u8868\u73fe\u3059\u308b\u305f\u3081\u306b\u5fc5\u8981\u306a\u72b6\u614b\u5909\u6570\u306e\u3046\u3061\uff0c\u95a2\u9023\u3059\u308b\u3082\u306e\u3092\u307e\u3068\u3081\u305f\u3082\u306e\uff0e\u72b6\u614b\u5909\u6570\u9593\u306e\u95a2\u4fc2\u306f\uff0c\u4e0d\u5909\u6761\u4ef6\u3068\u3057\u3066\u8a18\u8ff0\u3059\u308b\uff0e\n\t<\/li>\n<li style=\"text-align: justify;\">\n\t\t\u64cd\u4f5c\u30b9\u30ad\u30fc\u30de\uff1a\u30b7\u30b9\u30c6\u30e0\u306b\u5bfe\u3059\u308b\u64cd\u4f5c\u306b\u3088\u3063\u3066\uff0c\u30b7\u30b9\u30c6\u30e0\u306f\u5909\u66f4\u3092\u53d7\u3051\u308b\uff0e\u3053\u306e\u3053\u3068\u3092\uff0c\u72b6\u614b\u5909\u6570\u306e\u5024\u306e\u5909\u5316\u3068\u3057\u3066\u793a\u3059\uff0e\u4e8b\u524d\u6761\u4ef6\u3068\u4e8b\u5f8c\u6761\u4ef6\u3092\u8a18\u8ff0\u3059\u308b\uff0e\n\t<\/li>\n<\/ul>\n<p style=\"text-align: justify;\">\n\t\u5148\u305a\u306f\uff0c\u30c7\u30fc\u30bf\u30b9\u30ad\u30fc\u30de\u304b\u3089\u898b\u308b\u3053\u3068\u306b\u3059\u308b\uff0e\n<\/p>\n<h4 style=\"text-align: justify;\">\n\t\u30c7\u30fc\u30bf\u30b9\u30ad\u30fc\u30de<br \/>\n<\/h4>\n<p style=\"text-align: justify;\">\n\t\u3053\u3053\u3067\u306f\uff0c<em>Directory<\/em>\uff08\u7d22\u5f15\uff0c\u6614\u306e\u691c\u7d22\u7528\u30ab\u30fc\u30c9\u304c\u76f8\u5f53\uff09\u306e\u30c7\u30fc\u30bf\u30b9\u30ad\u30fc\u30de\u3092\u8003\u3048\u308b\uff0e\u30b9\u30ad\u30fc\u30de\u3068\u3044\u3046\u4f4d\u3067\u3042\u308a\uff0c\u534a\u56f3\u7684\u306b\u8868\u73fe\u3059\u308b[ref]\u4eca\u56de\u306f\uff0cCommon Z Tools \u3092\u4f7f\u3044\uff0cLaTex\u51fa\u529b\u3057\u3066\u3044\u308b[\/ref]\uff0e\n<\/p>\n<div id=\"attachment_1275\" style=\"width: 460px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-1275\" alt=\"z_directory\" class=\"wp-image-1275 wp-caption aligncenter\" height=\"137\" src=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/11\/z_directory.png\" width=\"450\" \/><p id=\"caption-attachment-1275\" class=\"wp-caption-text\">Directory \u306e\u30c7\u30fc\u30bf\u30b9\u30ad\u30fc\u30de<\/p><\/div>\n<p style=\"text-align: justify;\">\n\t\u6700\u521d\u306b \u3044\u304f\u3064\u304b\u306e\u8a18\u53f7\u306e\u8a18\u53f7\u306e\u8aac\u660e\u3092\u884c\u3046\uff0e\n<\/p>\n<p style=\"text-align: justify;\">\n\t\u7f6b\u7dda\u3067\u56f2\u307e\u308c\u3066\u3044\u308b\u90e8\u5206\u304c\uff0c\u30b9\u30ad\u30fc\u30de\u3067\u3042\u308b\uff0e\u5168\u4f53\u306f\uff0c2\u3064\u306b\u5206\u304b\u308c\u3066\u3044\u308b\uff0e\u524d\u6bb5\u304c\u5ba3\u8a00\u90e8\u3067\uff0c\u5f8c\u6bb5\u304c\u8ff0\u8a9e\u90e8\u3068\u547c\u3070\u308c\u308b\uff0e\u5ba3\u8a00\u90e8\u3067\u6e96\u5099\u3057\u305f\u7528\u8a9e\u3092\u7528\u3044\u3066\uff0c\u8ff0\u8a9e\u90e8\u3067\u8a18\u8ff0\u3092\u884c\u3046\uff0e\n<\/p>\n<h4 style=\"text-align: justify;\">\n\t\u5ba3\u8a00\u90e8<br \/>\n<\/h4>\n<p style=\"text-align: justify;\">\n\t\u5ba3\u8a00\u90e8\u3067\u306f\uff0c\u96c6\u5408\u81ea\u8eab\u306e\u5ba3\u8a00\u3068\uff0c\u3042\u308b\u96c6\u5408\u304b\u3089\u5225\u306e\u96c6\u5408\u3078\u306e\u95a2\u4fc2\u3092\u8003\u3048\u308b\uff0eZ\u306f\uff0c2\u3064\u306e\u96c6\u5408\u306e\u95a2\u4fc2\u3092\u8868\u73fe\u3059\u308b\u306e\u306b\u591a\u69d8\u306a\u8868\u73fe\u3092\u6301\u3063\u3066\u3044\u308b\uff0e\u307e\u305f\uff0c\u96c6\u5408\u540c\u58eb\u306e\u95a2\u4fc2\u306e\u3046\u3061\uff0c\u95a2\u4fc2\u306e\u5143\u306b\u306a\u3063\u3066\u3044\u308b\u306e\u304c\uff0c\u5b9a\u7fa9\u57df\uff08domain\uff09\u3067\u3042\u308a\uff0c\u95a2\u4fc2\u5148\u306e\u96c6\u5408\u304c\uff0c\u5024\u57df\uff08range\uff09\u3068\u547c\u3070\u308c\u308b\uff0e\u3044\u307e\uff0c\u30ea\u30f3\u30b4\u578b\u3068\u30df\u30ab\u30f3\u578b\u3092\u8003\u3048\u305f\u3068\u304d\u306b\uff0c\u30ea\u30f3\u30b4\u578b\u306e\u5909\u6570\u3068\u30df\u30ab\u30f3\u578b\u306e\u5909\u6570\u3092\u533a\u5225\u305b\u305a\u306b\u6f14\u7b97\u3059\u308b\u3053\u3068\u306f\u3067\u304d\u306a\u3044\uff08\u4f8b\u3048\u3070\uff0c\u8db3\u3057\u5408\u308f\u305b\u308b\uff09\uff0e\u4ee3\u308f\u308a\u306b\u4f55\u3089\u304b\u306e\u95a2\u4fc2\u3092\u5b9a\u3081\u308b\u3053\u3068\u3067\uff0c\u5fc5\u8981\u306a\u6f14\u7b97\u3092\u884c\u3046\u3053\u3068\u306b\u306a\u308b\uff0e\n<\/p>\n<p style=\"text-align: justify;\">\n\t&nbsp;\u21f8\u306f\uff0c\uff08\u90e8\u5206\uff09\u95a2\u6570\u3092\u793a\u3057\u3066\u3044\u308b\uff0e\u3044\u307e\uff0c<span style=\"text-decoration: underline;\">\u4f55\u306e\u672c<\/span>\uff08<em>WhichBook<\/em>\uff09\u3067\u306f\uff0c\u7269\u7406\u7684\u306a\u672c\uff08<em>BookCopy<\/em>\uff09\u3068\u6982\u5ff5\u4e0a\u306e\u672c\uff08<em>Book<\/em>\uff09\u306e\u5bfe\u5fdc\u4ed8\u3051\u3092\u8003\u3048\u308b\uff0e\u90e8\u5206\u95a2\u6570\u3068\u3057\u3066\u3044\u308b\u306e\u306f\uff0c\u5168\u3066\u306e\u7269\u7406\u7684\u306a\u672c\u304c\uff0c\u5fc5\u305a\u3057\u3082\u5168\u3066\u306e\u6982\u5ff5\u4e0a\u306e\u672c\u3068\u95a2\u4fc2\u3065\u3051\u3089\u308c\u3066\u3044\u308b\u308f\u3051\u3067\u306f\u306a\u3044\u3068\u3044\u3046\u3053\u3068\u3092\u610f\u5473\u3057\u3066\u3044\u308b\uff08\u56fd\u4f1a\u56f3\u66f8\u9928\u3068\u3044\u3048\u3069\u3082\u5168\u3066\u306e\u672c\u3092\u6301\u3063\u3066\u3044\u308b\u308f\u3051\u3067\u306f\u306a\u3044\uff09\uff0e\u305f\u3060\uff0c\u5b9a\u7fa9\u57df\u306e\u5404\u5024\u304c\uff0c\u5358\u4e00\u306e\u5024\u57df\u306e\u5024\u306b\u7d10\u4ed8\u3051\u3070\u3088\u304f\uff0c\u3053\u3053\u3067\u306f\u6a19\u6e96\u7684\u306a\u95a2\u4fc2\u3067\u3042\u308b[ref]ISO\u3067\u306f\uff0c\u5358\u306b\u95a2\u6570\u3068\u3057\u3066\u3044\u308b[\/ref]\uff0e\u5168\u3066\u5bfe\u5fdc\u4ed8\u3051\u3092\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u5834\u5408\u306b\u306f\uff0c\u5168\u95a2\u6570\uff08total function\uff09\u3068\u547c\u3070\u308c\u308b\uff0e\n<\/p>\n<p style=\"text-align: justify;\">\n\t&nbsp;\u2119\u306f\uff0c\u5dfe\u96c6\u5408\uff08power set\uff09\u3092\u793a\u3057\u3066\u3044\u308b\uff0e\u96c6\u5408\u306e\u96c6\u5408\u3067\u3042\u308b\uff0eX = {0, 1} \u3068\u3059\u308b\u3068\u304d\u306b \u5dfe\u96c6\u5408&nbsp;\u2119X \u306f\uff0c\u6b21\u306e\u69d8\u306b\u306a\u308b\uff0e{&empty;, {0}, {1}, {1,2}} \u3067\u3042\u308b\uff0e\u8457\u8005\u306f\uff0c\u4e00\u4eba\u3068\u306f\u9650\u3089\u305a\uff0c\u8907\u6570\u306e\u5834\u5408\u3082\u3042\u308b\uff0e\u5f93\u3063\u3066\uff0c\u8457\u8005\u306e\u5dfe\u96c6\u5408\u304c\u5024\u57df\u3068\u306a\u308b\uff0e\u3061\u306a\u307f\u306b&empty;\u306f\uff0c\u7a7a\u96c6\u5408\u3092\u793a\u3059\uff0e\u8457\u8005\u304c&empty;\u3068\u3044\u3046\u306e\u306f\uff0c\u8003\u3048\u306b\u304f\u3044\u304c\u898f\u683c\u306e\u3088\u3046\u306a\u7d44\u7e54\u306b\u3088\u3063\u3066\u767a\u884c\u3055\u308c\u3066\u3044\u308b\u3082\u306e\u306f\uff0c\u660e\u793a\u7684\u306a\u8457\u8005\u304c\u3044\u306a\u3044\u3068\u8003\u3048\u308b\u3053\u3068\u304c\u3067\u304d\u308b\uff08\u73fe\u5b9f\u304c\u3069\u3046\u304b\u306f\u5225\u306b\u3057\u3066\uff0c\u305d\u3046\u3044\u3046\u30e2\u30c7\u30eb\u3092\u8003\u3048\u308b\u3068\u3044\u3046\u3053\u3068\u306b\u306a\u308b\uff09\uff0e\n<\/p>\n<p style=\"text-align: justify;\">\n\t\u672c\u306e<span style=\"text-decoration: underline;\">\u30e1\u30bf\u60c5\u5831<\/span>\uff08Cover\uff09\u306f\uff0c\u540c\u69d8\u306b\u8907\u6570\u306e<span style=\"text-decoration: underline;\">\u30c8\u30d4\u30c3\u30af<\/span>\uff08Topic)\u3092\u6301\u3061\u5f97\u308b\uff0e\u3084\u306f\u308a\uff0c\u5024\u57df\u306f\u30c8\u30d4\u30c3\u30af\u306e\u5dfe\u96c6\u5408\u3068\u306a\u308b\uff0e\n<\/p>\n<p style=\"text-align: justify;\">\n\t\u3053\u3053\u307e\u3067\u304c\uff0c\u30b9\u30ad\u30fc\u30de\u306e\u4ed5\u5207\u308a\u7dda\u306e\u4e0a\u90e8\u306b\u3042\u308b\u5ba3\u8a00\u90e8\u3067\u3042\u308b\uff0e\u4ed5\u5207\u308a\u7dda\u306e\u4e0b\u5074\u306f\u8ff0\u8a9e\u90e8\u3068\u547c\u3070\u308c\u308b\uff0e\n<\/p>\n<h4 style=\"text-align: justify;\">\n\t\u8ff0\u8a9e\u90e8<br \/>\n<\/h4>\n<p style=\"text-align: justify;\">\n\t\u8ff0\u8a9e\u90e8\u306e\u6700\u521d\uff0c\u90e8\u5206\u95a2\u6570 <em>WrittenBy<\/em> \u306e\u5b9a\u7fa9\u57df\u3067\u3042\u308b <em>Book<\/em> \u306f\uff0c<em>WhichBook<\/em> \u306e\u5024\u57df <em>Book<\/em> \u3068\u7b49\u3057\u3044\u304b\uff0c\u542b\u307e\u308c\u308b\u3068\u3044\u3046\u3053\u3068\u3092\u793a\u3057\u3066\u3044\u308b\uff0e\u307e\u305f\uff0c2\u884c\u76ee\u306f\uff0cCovers \u306e\u5b9a\u7fa9\u57df <em>Book<\/em> \u306f\uff0c<em>WhichBook<\/em>\u306e\u5024\u57df <em>Book<\/em> \u3068\u7b49\u3057\u3044\u304b\u542b\u307e\u308c\u308b\u3068\u3044\u3046\u3053\u3068\u3092\u793a\u3057\u3066\u3044\u308b\uff0e<em>WrittenBy<\/em> \u3084 <em>Cover<\/em> \u3068\u3044\u3063\u305f\u90e8\u5206\u95a2\u6570\u306f\uff0c\u7279\u5b9a\u306e <em>Book<\/em> \u304b\u3089\u691c\u7d22\u3059\u308b\u305f\u3081\uff0c\u5168\u3066\u304c\u5bfe\u8c61\u306b\u306a\u3089\u306a\u3044\u304b\u3082\u3057\u308c\u306a\u3044\u4f4d\u306e\u610f\u5473\u3067\u3042\u308b\uff0e\n<\/p>\n<p style=\"text-align: justify;\">\n\t\u5ba3\u8a00\u90e8\u5206\u3067\u306f\uff0c\u30c7\u30fc\u30bf\u306b\u304a\u3051\u308b\u5236\u7d04\uff08invariant, \u4e0d\u5909\u6761\u4ef6\uff09\u3092\u793a\u3057\u3066\u3044\u308b\uff0e\u66f8\u304d\u65b9\u3068\u3044\u3046\u610f\u5473\u3067\u306f\u91cd\u8981\u3067\u3042\u308b\uff0e\n<\/p>\n<p style=\"text-align: right;\">\n\t<em>(nil)<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u3053\u3053\u304b\u3089\u3057\u3070\u3089\u304f\u306f\uff0c\u4ed5\u69d8\u8a18\u8ff0\u8a00\u8a9eZ\u306b\u3064\u3044\u3066\u3067\u3042\u308b\uff0e\u3053\u306e\u8a00\u8a9e\u306f\uff0cISO\u3067\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u308b[ref]ISO\/IEC 13568:2002 Information technology &#8212; Z formal spec [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[21,40,31,10],"tags":[82],"class_list":["post-1273","post","type-post","status-publish","format-standard","hentry","category-kaos","category-40","category-requirements","category-re","tag-z"],"_links":{"self":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1273","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=1273"}],"version-history":[{"count":22,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1273\/revisions"}],"predecessor-version":[{"id":1338,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1273\/revisions\/1338"}],"wp:attachment":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1273"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1273"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1273"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}