{"id":971,"date":"2020-02-04T14:43:35","date_gmt":"2020-02-04T05:43:35","guid":{"rendered":"https:\/\/hitokotojisyo.com\/entry\/2020\/02\/04\/144335"},"modified":"2024-05-19T16:28:21","modified_gmt":"2024-05-19T07:28:21","slug":"2020-02-04-144335","status":"publish","type":"post","link":"https:\/\/hitokotojisyo.com\/?p=971","title":{"rendered":"Abstract (\u8aad\u307f)\u30a2\u30d6\u30b9\u30c8\u30e9\u30af\u30c8"},"content":{"rendered":"\n<p class=\"has-text-align-center\">\u00a0<strong>abstract\u00a0<\/strong>(\u3042\u3076\u3059\u3068\u3089\u304f\u3068)<br>\u3068\u306f\u3001\u00a0<\/p>\n\n\n\n<h1 class=\"wp-block-heading has-text-align-center has-medium-font-size\"><strong>\u3010\u5f62\u3011<\/strong><\/h1>\n\n\n\n<p class=\"has-text-align-center has-vivid-red-color has-text-color\" style=\"font-size:21px\"><strong>\u300e<a href=\"https:\/\/hitokotojisyo.com\/entry\/2023\/10\/08\/160027\">\u62bd\u8c61<\/a>\u7684\u306a\u300f<\/strong><\/p>\n\n\n\n<h1 class=\"wp-block-heading has-text-align-center has-medium-font-size\"><strong>\u3010\u540d\u3011<\/strong><\/h1>\n\n\n\n<p class=\"has-text-align-center has-vivid-red-color has-text-color\" style=\"font-size:21px\"><strong>\u300e<strong>\u629c\u7c8b\u3001<a href=\"https:\/\/hitokotojisyo.com\/entry\/2023\/10\/29\/190252\">\u6982\u8981<\/a><\/strong>\u300f<\/strong><\/p>\n\n\n\n<h1 class=\"wp-block-heading has-text-align-center has-medium-font-size\"><strong>\u3010\u52d5\u3011<\/strong><\/h1>\n\n\n\n<p class=\"has-text-align-center has-vivid-red-color has-text-color\" style=\"font-size:21px\"><strong>\u300e<strong><strong>\u629c\u7c8b\u3059\u308b<\/strong><\/strong>\u300f<\/strong><\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center has-medium-font-size\">\u8a9e\u6e90<\/h2>\n\n\n\n<p class=\"has-text-align-center\">\u30e9\u30c6\u30f3\u8a9e\u304c\u8a9e\u6e90\u3067\u3001ab-\u300c\u96e2\u308c\u308b\u300dtrahere\u300c\u5f15\u304f\u300d\u3067\u3001\u300c\u5f15\u304d\u96e2\u3059\u300d\u3068\u3044\u3046\u610f\u5473\u304b\u3089\u3002<\/p>\n\n\n\n<div style=\"height:11px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<h2 class=\"wp-block-heading has-medium-font-size\"><strong>\u540c\u7fa9\u8a9e<\/strong><\/h2>\n\n\n\n<p><a href=\"https:\/\/hitokotojisyo.com\/entry\/2020\/02\/04\/144335\">\u30a2\u30d6\u30b9\u30c8<\/a><\/p>\n\n\n\n<h2 class=\"wp-block-heading has-medium-font-size\"><strong>\u95a2\u9023\u8a18\u4e8b<\/strong><\/h2>\n\n\n\n<p><a href=\"https:\/\/hitokotojisyo.com\/entry\/2023\/10\/08\/160027\">\u62bd\u8c61<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/hitokotojisyo.com\/entry\/2023\/10\/29\/190252\">\u6982\u8981<\/a><\/p>\n\n\n\n<p><!-- START MoshimoAffiliateEasyLink -->\n<script type=\"text\/javascript\">\n(function(b,c,f,g,a,d,e){b.MoshimoAffiliateObject=a;\nb[a]=b[a]||function(){arguments.currentScript=c.currentScript\n||c.scripts[c.scripts.length-2];(b[a].q=b[a].q||[]).push(arguments)};\nc.getElementById(a)||(d=c.createElement(f),d.src=g,\nd.id=a,e=c.getElementsByTagName(\"body\")[0],e.appendChild(d))})\n(window,document,\"script\",\"\/\/dn.msmstatic.com\/site\/cardlink\/bundle.js?20220329\",\"msmaflink\");\nmsmaflink({\"n\":\"Introduction to Static Analysis: An Abstract Interpretation Perspective (The MIT Press)\",\"b\":\"The MIT Press\",\"t\":\"\",\"d\":\"https:\\\/\\\/m.media-amazon.com\",\"c_p\":\"\",\"p\":[\"\\\/images\\\/I\\\/51DdVdPR0cL._SL500_.jpg\"],\"u\":{\"u\":\"https:\\\/\\\/www.amazon.co.jp\\\/dp\\\/0262043416\",\"t\":\"amazon\",\"r_v\":\"\"},\"v\":\"2.1\",\"b_l\":[{\"id\":2,\"u_tx\":\"Amazon\u3067\u898b\u308b\",\"u_bc\":\"#f79256\",\"u_url\":\"https:\\\/\\\/www.amazon.co.jp\\\/dp\\\/0262043416\",\"a_id\":3382060,\"p_id\":170,\"pl_id\":27060,\"pc_id\":185,\"s_n\":\"amazon\",\"u_so\":1},{\"id\":1,\"u_tx\":\"\u697d\u5929\u5e02\u5834\u3067\u898b\u308b\",\"u_bc\":\"#f76956\",\"u_url\":\"https:\\\/\\\/search.rakuten.co.jp\\\/search\\\/mall\\\/Introduction%20to%20Static%20Analysis%3A%20An%20Abstract%20Interpretation%20Perspective%20(The%20MIT%20Press)\\\/\",\"a_id\":3382056,\"p_id\":54,\"pl_id\":27059,\"pc_id\":54,\"s_n\":\"rakuten\",\"u_so\":2}],\"eid\":\"ntKti\",\"s\":\"s\"});\n<\/script>\n<div id=\"msmaflink-ntKti\">\u30ea\u30f3\u30af<\/div>\n<!-- MoshimoAffiliateEasyLink END --><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u00a0abstract\u00a0(\u3042\u3076\u3059\u3068\u3089\u304f\u3068)\u3068\u306f\u3001\u00a0 \u3010\u5f62\u3011 \u300e\u62bd\u8c61\u7684\u306a\u300f \u3010\u540d\u3011 \u300e\u629c\u7c8b\u3001\u6982\u8981\u300f \u3010\u52d5\u3011 \u300e\u629c\u7c8b\u3059\u308b\u300f \u8a9e\u6e90 \u30e9\u30c6\u30f3\u8a9e\u304c\u8a9e\u6e90\u3067\u3001ab-\u300c\u96e2\u308c\u308b\u300dtrahere\u300c\u5f15\u304f\u300d\u3067\u3001\u300c\u5f15\u304d\u96e2\u3059\u300d\u3068\u3044\u3046\u610f\u5473\u304b\u3089\u3002 \u540c\u7fa9\u8a9e  [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[15,10],"tags":[],"class_list":["post-971","post","type-post","status-publish","format-standard","hentry","category-15","category-10"],"_links":{"self":[{"href":"https:\/\/hitokotojisyo.com\/index.php?rest_route=\/wp\/v2\/posts\/971","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/hitokotojisyo.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/hitokotojisyo.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/hitokotojisyo.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/hitokotojisyo.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=971"}],"version-history":[{"count":8,"href":"https:\/\/hitokotojisyo.com\/index.php?rest_route=\/wp\/v2\/posts\/971\/revisions"}],"predecessor-version":[{"id":35913,"href":"https:\/\/hitokotojisyo.com\/index.php?rest_route=\/wp\/v2\/posts\/971\/revisions\/35913"}],"wp:attachment":[{"href":"https:\/\/hitokotojisyo.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=971"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/hitokotojisyo.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=971"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/hitokotojisyo.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=971"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}