{"id":2779,"date":"2018-03-11T22:18:28","date_gmt":"2018-03-11T13:18:28","guid":{"rendered":"https:\/\/tech.akat.info\/?p=2779"},"modified":"2018-03-11T22:18:28","modified_gmt":"2018-03-11T13:18:28","slug":"jaws-days-2018-%e3%81%ab%e5%8f%82%e5%8a%a0%e3%81%97%e3%81%9f-1","status":"publish","type":"post","link":"https:\/\/tech.akat.info\/?p=2779","title":{"rendered":"JAWS DAYS 2018 \u306b\u53c2\u52a0\u3057\u305f (1)"},"content":{"rendered":"<h1>AWS \u00d7 \u5f62\u5f0f\u624b\u6cd5\u3067\u4eba\u77e5\u3092\u8d85\u3048\u305f\u30bb\u30ad\u30e5\u30ea\u30c6\u30a3\u3092\u624b\u306b\u5165\u308c\u308d<\/h1>\n<div class=\"oceanwp-oembed-wrap clr\"><iframe loading=\"lazy\" allowfullscreen=\"true\" allowtransparency=\"true\" frameborder=\"0\" height=\"963\" id=\"talk_frame_432657\" mozallowfullscreen=\"true\" src=\"\/\/speakerdeck.com\/player\/fcb99394c3174c63b63f66ed7a8328ec\" style=\"border:0; padding:0; margin:0; background:transparent;\" webkitallowfullscreen=\"true\" width=\"1200\"><\/iframe><\/div>\n<p>\u30b7\u30b9\u30c6\u30e0\u3092\u6570\u5b66\u7684\u5bfe\u8c61\u3068\u3057\u3066\u8a18\u8ff0\u3059\u308b\u3053\u3068(\u5f62\u5f0f\u624b\u6cd5)\u3067<br \/>\n\u76f4\u611f\u306b\u983c\u308b\u3053\u3068\u304c\u306a\u304f\u306a\u308b\u3002\u305f\u3060\u3057\u7fd2\u719f\u8005\u306f\u5c11\u306a\u304f\u5b66\u7fd2\u30b3\u30b9\u30c8\u9ad8\u3081\u3002<\/p>\n<p>\u7406\u89e3\u3067\u304d\u306a\u304b\u3063\u305f\u305f\u3081\u3001\u5c11\u3057\u8abf\u3079\u3066\u307f\u305f\u3002<\/p>\n<h2>\u5f62\u5f0f\u624b\u6cd5<\/h2>\n<p>\u300c\u30c6\u30b9\u30c8\u3067\u306f\u3001\u6b20\u9665\u304c\u7121\u3044\u3053\u3068\u306f\u4fdd\u8a3c\u3067\u304d\u306a\u3044\u300d\uff08Edsger W. Dijkstra\uff09<br \/>\n\u3053\u306e\u554f\u984c\u3092\u89e3\u6c7a\u3059\u308b\u305f\u3081\u3001\u5f62\u5f0f\u624b\u6cd5\u3067\u306f\u3001\u4ed5\u69d8\u3092\u6570\u5b66\u7684\u306b\u8a18\u8ff0\u3057\u3001\u30c6\u30b9\u30c8\u6f0f\u308c\u304c\u306a\u3044\u3053\u3068\u3092\u8a3c\u660e\u3059\u308b\u3002<br \/>\n<a href=\"https:\/\/thinkit.co.jp\/story\/2010\/09\/22\/1766\">\u5f62\u5f0f\u624b\u6cd5\u3068\u30e2\u30c7\u30ea\u30f3\u30b0 &#8211; AlloyAnalyzer\u3092\u4e2d\u5fc3\u306b<\/a><\/p>\n<h2>\u30e2\u30c7\u30eb\u691c\u67fb\u6a5f Alloy<\/h2>\n<p><a href=\"http:\/\/alloytools.org\/download.html\">Alloy Analyzer\u3092\u30c0\u30a6\u30f3\u30ed\u30fc\u30c9<\/a>\u3057\u3066<\/p>\n<pre class=\"brush: plain; title: ; notranslate\" title=\"\">\r\njava -jar &quot;C:\\Users\\shimizu\\Downloads\\alloy4.2_2015-02-22.jar&quot;\r\n<\/pre>\n<p>\u3068\u3059\u308b\u3053\u3068\u3067Alloy Analyzer\u304c\u8d77\u52d5\u3057\u305f\u3002<\/p>\n<p>\u8a66\u3057\u306b1\u3064\u5b9f\u884c\u3057\u3066\u307f\u305f\u3002<\/p>\n<pre class=\"brush: plain; title: ; notranslate\" title=\"\">\r\nsig User {\r\n\tpolicy : Policy,\r\n}\r\n\r\nsig Policy {}\r\n\r\nrun {}\r\n<\/pre>\n<p><a href=\"https:\/\/tech.akat.info\/wp-content\/uploads\/2018\/03\/2018-03-11_221317.png\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/tech.akat.info\/wp-content\/uploads\/2018\/03\/2018-03-11_221317-300x188.png\" alt=\"\" width=\"300\" height=\"188\" class=\"alignnone size-medium wp-image-2780\" srcset=\"https:\/\/tech.akat.info\/wp-content\/uploads\/2018\/03\/2018-03-11_221317-300x188.png 300w, https:\/\/tech.akat.info\/wp-content\/uploads\/2018\/03\/2018-03-11_221317-768x482.png 768w, https:\/\/tech.akat.info\/wp-content\/uploads\/2018\/03\/2018-03-11_221317.png 1012w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>AWS \u00d7 \u5f62\u5f0f\u624b\u6cd5\u3067\u4eba\u77e5\u3092\u8d85\u3048\u305f\u30bb\u30ad\u30e5\u30ea\u30c6\u30a3\u3092\u624b\u306b\u5165\u308c\u308d \u30b7\u30b9\u30c6\u30e0\u3092\u6570\u5b66\u7684\u5bfe\u8c61\u3068\u3057\u3066\u8a18\u8ff0\u3059\u308b\u3053\u3068(\u5f62\u5f0f\u624b\u6cd5)\u3067 \u76f4\u611f\u306b\u983c\u308b\u3053\u3068\u304c\u306a\u304f\u306a\u308b\u3002\u305f\u3060\u3057\u7fd2\u719f\u8005\u306f\u5c11\u306a\u304f\u5b66\u7fd2\u30b3\u30b9\u30c8\u9ad8\u3081\u3002 \u7406\u89e3\u3067\u304d\u306a\u304b\u3063\u305f\u305f\u3081\u3001\u5c11\u3057\u8abf\u3079\u3066\u307f\u305f\u3002 \u5f62 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"categories":[27,35],"tags":[],"_links":{"self":[{"href":"https:\/\/tech.akat.info\/index.php?rest_route=\/wp\/v2\/posts\/2779"}],"collection":[{"href":"https:\/\/tech.akat.info\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/tech.akat.info\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/tech.akat.info\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/tech.akat.info\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2779"}],"version-history":[{"count":1,"href":"https:\/\/tech.akat.info\/index.php?rest_route=\/wp\/v2\/posts\/2779\/revisions"}],"predecessor-version":[{"id":2781,"href":"https:\/\/tech.akat.info\/index.php?rest_route=\/wp\/v2\/posts\/2779\/revisions\/2781"}],"wp:attachment":[{"href":"https:\/\/tech.akat.info\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2779"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/tech.akat.info\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=2779"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/tech.akat.info\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=2779"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}