{"id":2159,"date":"2019-06-05T21:18:09","date_gmt":"2019-06-06T06:18:09","guid":{"rendered":"http:\/\/prg.is.titech.ac.jp\/?p=2159"},"modified":"2020-06-18T11:58:17","modified_gmt":"2020-06-18T20:58:17","slug":"ipsj-outstanding-paper-award","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/ipsj-outstanding-paper-award\/","title":{"rendered":"\u671d\u5009\u3089\u306e\u8ad6\u6587\u304c\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u8ad6\u6587\u8cde\u3092\u53d7\u8cde"},"content":{"rendered":"<p>\u671d\u5009\u6cc9\" target=\"_blank\" rel=\"noopener\">Asakura<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Masuhara<\/a> and <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/aotani\/\" data-internallinksmanager029f6b8e52c=\"290\" title=\"&lt;!--:en--&gt;Tomoyuki Aotani&lt;!--:--&gt;&lt;!--:ja--&gt;\u9752\u8c37\u77e5\u5e78&lt;!--:--&gt;\" target=\"_blank\" rel=\"noopener\">Aotani<\/a>, received<a href=\"https:\/\/www.ipsj.or.jp\/award\/2018_06.html\"> the 2018 IPSJ Outstanding Paper Award.<\/a><\/p>\n<ul>\n<li><a href=\"https:\/\/prg.is.titech.ac.jp\/news\/gpucsl-accepted\/\">Izumi Asakura, Hidehiko Masuhara and Tomoyuki Aotani, Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq, Journal of Information Processing, 24(1)132-140, IPSJ 2016.<\/a><\/li>\n<\/ul>\n<p><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/asakura\/\" data-internallinksmanager029f6b8e52c=\"291\" title=\"\u671d\u5009\u6cc9\" target=\"_blank\" rel=\"noopener\">\u671d\u5009<\/a>\u3001<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">\u5897\u539f<\/a>\u3001<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/aotani\/\" data-internallinksmanager029f6b8e52c=\"290\" title=\"&lt;!--:en--&gt;Tomoyuki Aotani&lt;!--:--&gt;&lt;!--:ja--&gt;\u9752\u8c37\u77e5\u5e78&lt;!--:--&gt;\" target=\"_blank\" rel=\"noopener\">\u9752\u8c37<\/a>\u306b\u3088\u308b\u8ad6\u6587 &#8220;Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq&#8221;\u304c2018\u5e74\u5ea6\u306e<a href=\"https:\/\/www.ipsj.or.jp\/award\/2018_06.html\">\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u8ad6\u6587\u8cde<\/a>\u3092\u53d7\u8cde\u3057\u307e\u3057\u305f\u3002<\/p>\n<ul>\n<li><a href=\"https:\/\/prg.is.titech.ac.jp\/news\/gpucsl-accepted\/\">Izumi Asakura, Hidehiko Masuhara and Tomoyuki Aotani, Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq, Journal of Information Processing, 24(1)132-140, IPSJ 2016.<\/a><\/li>\n<\/ul>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>\u671d\u5009\u6cc9&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Asakura, Masuhara and Aotani, received the 2018 IPSJ Outstanding Paper Awa&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/ipsj-outstanding-paper-award\/\">Continue Reading \u671d\u5009\u3089\u306e\u8ad6\u6587\u304c\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u8ad6\u6587\u8cde\u3092\u53d7\u8cde<\/a><\/p>\n","protected":false},"author":1,"featured_media":2160,"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-2159","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\/2019\/07\/IMG_20190628_180624.jpg?fit=2496%2C3120&ssl=1","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/2159","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=2159"}],"version-history":[{"count":3,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/2159\/revisions"}],"predecessor-version":[{"id":2164,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/2159\/revisions\/2164"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media\/2160"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=2159"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=2159"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=2159"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}