{"id":1049,"date":"2016-02-10T19:41:18","date_gmt":"2016-02-11T04:41:18","guid":{"rendered":"http:\/\/prg.is.titech.ac.jp\/?p=1049"},"modified":"2025-03-05T14:48:27","modified_gmt":"2025-03-05T23:48:27","slug":"asakura-presented-masters-thesis-and-okugawa-taya-and-watanabe-presented-bachelors-thesis","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/asakura-presented-masters-thesis-and-okugawa-taya-and-watanabe-presented-bachelors-thesis\/","title":{"rendered":"\u671d\u5009\u304c\u4fee\u58eb\u8ad6\u6587\u3092\u3001\u5965\u6cb3\u3001\u7530\u5c4b\u3001\u6e21\u9089\u304c\u5b66\u58eb\u8ad6\u6587\u3092\u767a\u8868\u3057\u307e\u3057\u305f"},"content":{"rendered":"<p>\u671d\u5009\u6cc9\" target=\"_blank\" rel=\"noopener\">Asakura<\/a> presented his master&#8217;s thesis at the Tokyo Institute of Technology.<\/p>\n<p>The title:<\/p>\n<ul>\n<li>Formal Verification of Data Parallel DSLs for GPGPU based on Concurrent Separation Logic <a href=\"\/wp-content\/uploads\/2016\/02\/2016-2M003.pdf\">(PDF)<\/a><\/li>\n<\/ul>\n<p>Okugawa, Taya and Wa<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yudai-tanabe\/\" data-internallinksmanager029f6b8e52c=\"341\" title=\"\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">tanabe<\/a> presented their bachelor&#8217;s\u00a0theses at the Tokyo Institute of Technology.<\/p>\n<p>Theses titles:<\/p>\n<ul>\n<li>An Extension of Meta-Theory a la Carte for Object Oriented Programming Languages (Ryo Okugawa)<\/li>\n<li>A Method of Data Representation and Parallelization for Multiple GPUs\u00a0on Array Oriented DSL (Atsushi Taya)<\/li>\n<li>Improvement of Power of Expression of a Multi-dimensional Context Oriented Programming Language Korz (Keita Wa<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yudai-tanabe\/\" data-internallinksmanager029f6b8e52c=\"341\" title=\"\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">tanabe<\/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\u6cc9<\/a>\u304c\u6570\u7406\u30fb\u8a08\u7b97\u79d1\u5b66\u5c02\u653b\u306e\u4fee\u58eb\u8ad6\u6587\u767a\u8868\u4f1a\u3067\u767a\u8868\u3057\u307e\u3057\u305f\u3002<\/p>\n<ul>\n<li>\u4e26\u884c\u5206\u96e2\u8ad6\u7406\u306b\u57fa\u3065\u304fGPGPU\u5411\u3051\u30c7\u30fc\u30bf\u4e26\u5217DSL\u30b3\u30f3\u30d1\u30a4\u30e9\u306e\u5f62\u5f0f\u691c\u8a3c <a href=\"\/wp-content\/uploads\/2016\/02\/2016-2M003.pdf\">(PDF)<\/a><\/li>\n<\/ul>\n<p>\u5965\u6cb3\u8ad2\u3001\u7530\u5c4b\u6566\u81f3\u3001\u6e21\u9089\u6075\u592a\u304c\u7406\u5b66\u90e8\u60c5\u5831\u79d1\u5b66\u79d1\u306e\u5352\u696d\u8ad6\u6587\u767a\u8868\u4f1a\u3067\u767a\u8868\u3057\u307e\u3057\u305f\u3002<\/p>\n<ul>\n<li>\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u62e1\u5f35\u53ef\u80fd\u306a\u5f62\u5f0f\u5316\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30afMeta-Theory a la Carte\u306e\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u8a00\u8a9e\u3078\u306e\u62e1\u5f35 (\u5965\u6cb3\u8ad2)<\/li>\n<li>\u914d\u5217\u6307\u5411\u9818\u57df\u7279\u5316\u8a00\u8a9e\u306b\u304a\u3051\u308b\u8907\u6570GPU\u5411\u3051\u30c7\u30fc\u30bf\u8868\u73fe\u3068\u4e26\u5217\u5316\u624b\u6cd5 (\u7530\u5c4b\u6566\u81f3)<\/li>\n<li><span style=\"line-height: 1;\">\u591a\u6b21\u5143\u7684\u6587\u8108\u6307\u5411\u8a00\u8a9eKorz\u306e\u8868\u73fe\u529b\u306e\u6539\u5584 (\u6e21\u9089\u6075\u592a)<\/span><\/li>\n<\/ul>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>\u671d\u5009\u6cc9&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Asakura presented his master&#8217;s thesis at the Tokyo Institute of Tech&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/asakura-presented-masters-thesis-and-okugawa-taya-and-watanabe-presented-bachelors-thesis\/\">Continue Reading \u671d\u5009\u304c\u4fee\u58eb\u8ad6\u6587\u3092\u3001\u5965\u6cb3\u3001\u7530\u5c4b\u3001\u6e21\u9089\u304c\u5b66\u58eb\u8ad6\u6587\u3092\u767a\u8868\u3057\u307e\u3057\u305f<\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"nf_dc_page":"","_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[33,12,32,5],"tags":[],"class_list":["post-1049","post","type-post","status-publish","format-standard","hentry","category-bthesis","category-ikra","category-mthesis","category-news","radius"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1049","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\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=1049"}],"version-history":[{"count":3,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1049\/revisions"}],"predecessor-version":[{"id":9448,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1049\/revisions\/9448"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=1049"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=1049"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=1049"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}