{"id":384,"date":"2014-08-25T07:19:53","date_gmt":"2014-08-24T22:19:53","guid":{"rendered":"http:\/\/www.nil.co.jp\/Japanese\/blog\/?p=384"},"modified":"2014-08-25T07:19:53","modified_gmt":"2014-08-24T22:19:53","slug":"kaos-18-%e9%81%bf%e3%81%91%e3%82%8b%e3%81%b9%e3%81%8d%e6%ac%a0%e9%99%a5-1-1-7-2","status":"publish","type":"post","link":"https:\/\/www.nil.co.jp\/Japanese\/blog\/?p=384","title":{"rendered":"KAOS (18) \u907f\u3051\u308b\u3079\u304d\u6b20\u9665 (1.1.7-2)"},"content":{"rendered":"

\u8aa4\u308a\u3068\u4e0d\u5099<\/h3>\n

\u00a0\u7701\u7565\u306f\uff0c\u691c\u51fa\u304c\u96e3\u3057\u3044\uff0e\u3057\u304b\u3057\uff0c\u3044\u3064\u3067\u3082\u751f\u3058\u308b (p. 38)<\/em><\/p><\/blockquote>\n

\u3053\u3053\u3067\u306f\uff0c\u8981\u6c42\u4ed5\u69d8\u66f8\u306b\u5b58\u5728\u3059\u308b\u304b\u3082\u3057\u308c\u306a\u3044\u6b20\u9665\u306b\u3064\u3044\u3066\u306e\u8a18\u8ff0\u3067\u3042\u308b\uff0e\u8aa4\u308a\u3068\u4e0d\u5099\u304b\u3089\u69cb\u6210\u3055\u308c\u308b\uff0e<\/p>\n

\u6b20\u9665\u306e\u540d\u524d\u306f\uff0c\u539f\u6587\u3067\u3082\u5c11\u3057\u304f\u3060\u3051\u305f\u540d\u79f0\u3068\u306a\u3063\u3066\u3044\u308b\u306e\u3067\uff0c\u5408\u308f\u305b\u305f\uff08\u3084\u308a\u904e\u304e\u304b\u3082\u3057\u308c\u306a\u3044\uff09\uff0e\u3061\u306a\u307f\u306b\uff0c\u3053\u3053\u3067\u66f8\u304b\u308c\u3066\u3044\u308b\u9805\u76ee\u306e\u591a\u304f\u306f\uff0cMeyer\u3055\u3093\u306e\u6709\u540d\u306a\u8ad6\u6587\u300c\u4ed5\u69d8\u306b\u304a\u3051\u308b\u5f62\u5f0f\u6027\u306b\u3064\u3044\u3066\u300d[ref]B. Meyer. 1985. On Formalism in Specifications.\u00a0<\/span>IEEE Softw.<\/em>\u00a02, 1 (January 1985), 6-26.[\/ref]\u306b\u3042\u308b\u3082\u306e\u3068\u5171\u901a\u3067\u3042\u308b\uff0e\u304f\u3060\u3051\u305f\u66f8\u304d\u65b9\u306f\u4e0d\u8b39\u614e\u304b\u3082\u3057\u308c\u306a\u3044\uff0e<\/span><\/p>\n

\u306a\u304a\uff0c\u554f\u984c\u4e16\u754c\u30fb\u6a5f\u68b0\u4e16\u754c\u3068\u3042\u308b\u306e\u306f\uff0c\u5225\u306e\u5834\u6240<\/a>\u3067\u306f\uff0c\u4e16\u754c\u30fb\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u3068\u3057\u3066\u3044\u308b\uff0e\u57fa\u672c\u7684\u306b\u540c\u3058\u3067\u3042\u308b\uff0e\u300c\u4e16\u754c\u300d\u306f\u66f4\u306b\u300c\u74b0\u5883\u300d\u3068\u3057\u3066\u3044\u308b\u5834\u5408\u3082\u3042\u308b\uff0e\u3053\u308c\u304c\u8981\u6c42\u3060\u3068\u3059\u308b\u3068\uff0c\u4e0b\u8a18\u306b\u3082\u5f53\u3066\u306f\u307e\u308b\u304b\uff0e<\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
\u8981\u6c42\u6587\u66f8\u306e\u6b20\u9665<\/caption>\n
\u7701\u7565<\/span><\/td>\n\u554f\u984c\u4e16\u754c\u306e\u7279\u6027\u3092\u8a18\u8ff0\u3057\u3066\u3044\u306a\u3044\uff08\u76ee\u7684\u304c\u306a\u3044\u30fb\u8981\u6c42\u304c\u306a\u3044\u30fb\u524d\u63d0\u304c\u306a\u3044\uff09<\/span><\/td>\n<\/tr>\n
\u77db\u76fe<\/span><\/td>\n\u554f\u984c\u4e16\u754c\u306e\u7279\u6027\u8a18\u8ff0\u306b\uff0c\u4e0d\u6574\u5408\u304c\u3042\u308b<\/span><\/td>\n<\/tr>\n
\u4e0d\u5341\u5206<\/span><\/td>\n\u554f\u984c\u4e16\u754c\u306e\u7279\u6027\u3092\uff0c\u5341\u5206\u306b\u8a18\u8ff0\u3057\u3066\u3044\u306a\u3044<\/span><\/td>\n<\/tr>\n
\u3042\u3044\u307e\u3044<\/span><\/td>\n\u7570\u306a\u308b\u89e3\u91c8\u3092\u8a31\u3059\u66f8\u304d\u65b9\u3092\u3057\u3066\u3044\u308b<\/span><\/td>\n<\/tr>\n
\u6570\u5024\u304c\u306a\u3044<\/td>\n\u4ee3\u66ff\u7b56\u3068\u6b63\u78ba\u306b\u6bd4\u8f03\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u306a\u3044\uff0e\u6216\u3044\u306f\uff0c\u5b9f\u88c5\u3057\u305f\u6a5f\u68b0\u3092\u691c\u8a3c\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u306a\u3044<\/td>\n<\/tr>\n
\u30ce\u30a4\u30ba<\/td>\n\u554f\u984c\u4e16\u754c\u306e\u7279\u6027\u306b\u5bfe\u3057\u3066\uff0c\u4f55\u306e\u60c5\u5831\u3082\u5f97\u308b\u3053\u3068\u306e\u3067\u304d\u306a\u3044\u8a18\u8ff0\u304c\u3042\u308b<\/td>\n<\/tr>\n
\u66f8\u304d\u3059\u304e<\/td>\n\u554f\u984c\u4e16\u754c\u3092\u98db\u3073\u8d8a\u3048\u3066\uff0c\u6a5f\u68b0\u4e16\u754c\u306e\u8a18\u8ff0\u3068\u306a\u3063\u3066\u3044\u308b<\/td>\n<\/tr>\n
\u30e0\u30ea<\/td>\n\u6307\u5b9a\u306e\u4e88\u7b97\u30fb\u30b9\u30b1\u30b8\u30e5\u30fc\u30eb\u30fb\u958b\u767a\u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0\u3067\u5b9f\u73fe\u3059\u308b\u3053\u3068\u306f\uff0c\u73fe\u5b9f\u7684\u306b\u30e0\u30ea\u3067\u3042\u308b<\/td>\n<\/tr>\n
\u610f\u5473\u304c\u901a\u3058\u306a\u3044<\/td>\n\u8981\u6c42\u4ed5\u69d8\u66f8\u306e\u5229\u7528\u8005\u304c\uff0c\u66f8\u3044\u3066\u3042\u308b\u610f\u5473\u3092\u7406\u89e3\u3067\u304d\u306a\u3044<\/td>\n<\/tr>\n
\u6587\u66f8\u306e\u69cb\u9020\u304c\u3060\u3081<\/td>\n\u610f\u5473\u7684\u306b\u3082\u8996\u899a\u7684\u306b\u3082\uff0c\u6b63\u3057\u3044\u6587\u66f8\u306e\u69cb\u9020\u3068\u306a\u3063\u3066\u3044\u306a\u3044<\/td>\n<\/tr>\n
\u5148\u8d70\u308a<\/td>\n\u307e\u3060\u5b9a\u7fa9\u3057\u3066\u3044\u306a\u3044\u554f\u984c\u4e16\u754c\u306e\u7279\u6027\u3092\u4f7f\u3063\u3066\u3044\u308b<\/td>\n<\/tr>\n
\u6df1\u3044\u5f8c\u6094<\/td>\n\u554f\u984c\u4e16\u754c\u306e\u7279\u5fb4\u8a18\u8ff0\u306e\u30bf\u30a4\u30df\u30f3\u30b0\u304c\u9045\u304b\u3063\u305f\u308a\uff0c\u6c17\u307e\u3050\u308c\u3067\u66f8\u304b\u308c\u3066\u3044\u308b<\/td>\n<\/tr>\n
\u4fee\u6b63\u3067\u304d\u306a\u3044<\/td>\n\u7279\u5b9a\u306e\u7b87\u6240\u3092\u4fee\u6b63\u3057\u3088\u3046\u3068\u3059\u308b\u3068\uff0c\u8981\u6c42\u6587\u66f8\u5168\u4f53\u306b\u5f71\u97ff\u304c\u3067\u3066\u3057\u307e\u3046<\/td>\n<\/tr>\n
\u4e0d\u660e\u77ad<\/td>\n\u7406\u7531\u30fb\u62c5\u5f53\u30fb\u4f9d\u5b58\u95a2\u4fc2\u304c\u4e0d\u660e\u3067\u3042\u308b<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

\u8d64\u5b57<\/span>\u306e\u9805\u76ee\u306f\uff0c\u8aa4\u308a\uff08errors\uff09\u3067\uff0c\u305d\u306e\u4ed6\u306f\u4e0d\u5099\uff08flaws\uff09\u3068\u3057\u3066\u3044\u308b[ref] \u3059\u306a\u308f\u3061\uff0c\u6b20\u9665\uff08defects\uff09:= \u8aa4\u308a + \u4e0d\u5099\u3067\u3042\u308b[\/ref]\uff0e\u5f53\u7136\uff0c\u524d\u8005\u306e\u65b9\u304c\u554f\u984c\u306b\u306a\u308b\uff0e<\/p>\n

(nil)<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"

\u8aa4\u308a\u3068\u4e0d\u5099 \u00a0\u7701\u7565\u306f\uff0c\u691c\u51fa\u304c\u96e3\u3057\u3044\uff0e\u3057\u304b\u3057\uff0c\u3044\u3064\u3067\u3082\u751f\u3058\u308b (p. 38) \u3053\u3053\u3067\u306f\uff0c\u8981\u6c42\u4ed5\u69d8\u66f8\u306b\u5b58\u5728\u3059\u308b\u304b\u3082\u3057\u308c\u306a\u3044\u6b20\u9665\u306b\u3064\u3044\u3066\u306e\u8a18\u8ff0\u3067\u3042\u308b\uff0e\u8aa4\u308a\u3068\u4e0d\u5099\u304b\u3089\u69cb\u6210\u3055\u308c\u308b\uff0e \u6b20\u9665\u306e\u540d\u524d\u306f\uff0c\u539f\u6587\u3067\u3082\u5c11\u3057\u304f\u3060\u3051\u305f\u540d\u79f0\u3068\u306a\u3063\u3066\u3044 […]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[21,15,10],"tags":[],"class_list":["post-384","post","type-post","status-publish","format-standard","hentry","category-kaos","category-quality","category-re"],"_links":{"self":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/384","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=384"}],"version-history":[{"count":5,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/384\/revisions"}],"predecessor-version":[{"id":411,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/384\/revisions\/411"}],"wp:attachment":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=384"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=384"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=384"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}