{"id":1248,"date":"2016-10-26T03:36:14","date_gmt":"2016-10-26T12:36:14","guid":{"rendered":"http:\/\/prg.is.titech.ac.jp\/?p=1248"},"modified":"2020-06-18T11:58:55","modified_gmt":"2020-06-18T20:58:55","slug":"izumi-asakura-receives-award","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/izumi-asakura-receives-award\/","title":{"rendered":"\u671d\u5009\u6cc9\u304c\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30b5\u30a4\u30a8\u30f3\u30b9\u9818\u57df\u5968\u52b1\u8cde\u3092\u53d7\u8cde"},"content":{"rendered":"<p>\u671d\u5009\u6cc9\" target=\"_blank\" rel=\"noopener\">Izumi Asakura<\/a> is awarded <a href=\"https:\/\/www.ipsj.or.jp\/award\/cs-award-2016.html\" target=\"_blank\">IPSJ Computer Science Research Award for Young Scientists<\/a> for his paper presentation on &#8220;Proof of soundness of concurrent separation logic for GPGPU in Coq.&#8221;<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/asakura\/\" data-internallinksmanager029f6b8e52c=\"291\" title=\"\u671d\u5009\u6cc9\" target=\"_blank\" rel=\"noopener\">\u671d\u5009\u6cc9<\/a>\u304c<a href=\"https:\/\/www.ipsj.or.jp\/award\/cs-award-2016.html\">\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30b5\u30a4\u30a8\u30f3\u30b9\u9818\u57df\u5968\u52b1\u8cde<\/a>\u3092\u53d7\u8cde\u3057\u307e\u3057\u305f\u3002 2015\u5e74\u306e\u540c\u4f1a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u7814\u7a76\u4f1a\u306e\u767a\u8868\u300cGPGPU\u306e\u305f\u3081\u306e\u4e26\u884c\u5206\u96e2\u8ad6\u7406\u306eCoq\u306b\u3088\u308b\u5065\u5168\u6027\u8a3c\u660e\u300d\u304c\u53d7\u8cde\u5bfe\u8c61\u3068\u306a\u3063\u305f\u8ad6\u6587\u3067\u3059\u3002<\/p>","protected":false},"excerpt":{"rendered":"<p>\u671d\u5009\u6cc9&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Izumi Asakura is awarded IPSJ Computer Science Research Award for Young Sc&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/izumi-asakura-receives-award\/\">Continue Reading \u671d\u5009\u6cc9\u304c\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30b5\u30a4\u30a8\u30f3\u30b9\u9818\u57df\u5968\u52b1\u8cde\u3092\u53d7\u8cde<\/a><\/p>\n","protected":false},"author":1,"featured_media":1250,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"nf_dc_page":"","_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[5],"tags":[13],"class_list":["post-1248","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news","tag-award","radius"],"jetpack_featured_media_url":"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2016\/11\/1-20161026_1604370.jpg?fit=1836%2C1885&ssl=1","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1248","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=1248"}],"version-history":[{"count":3,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1248\/revisions"}],"predecessor-version":[{"id":1252,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1248\/revisions\/1252"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media\/1250"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=1248"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=1248"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=1248"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}