{"id":3094,"date":"2020-09-08T00:00:32","date_gmt":"2020-09-08T09:00:32","guid":{"rendered":"http:\/\/prg.is.titech.ac.jp\/?p=3094"},"modified":"2024-12-13T01:15:11","modified_gmt":"2024-12-13T10:15:11","slug":"jssst2020","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/jssst2020\/","title":{"rendered":"GPGPU\u306e\u305f\u3081\u306ePython DSL\u306b\u95a2\u3059\u308b\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u5927\u4f1a\u8ad6\u6587\u30685\u4ef6\u306e\u30dd\u30b9\u30bf\u30fc\u767a\u8868"},"content":{"rendered":"<p>\" target=\"_blank\" rel=\"noopener\">Chenxin<\/a> et al. presented his paper on Sanajeh at <a href=\"https:\/\/jssst2020.wordpress.com\/\">the 2020 annual conference of Japan Society for Software Science and Technology (JSSST)<\/a>.<\/p>\n<ul>\n<li><a href=\"\/wp-content\/uploads\/2020\/09\/jssst2020.pdf\"><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" class=\"alignright\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2020\/09\/jssst2020-pdf.jpg?resize=106%2C150&#038;ssl=1\" alt=\"\" width=\"106\" height=\"150\" \/><\/a>Sanajeh: A DSL for GPGPU programming with Python objects (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/jizhe-chenxin\/\" data-internallinksmanager029f6b8e52c=\"300\" title=\"\" target=\"_blank\" rel=\"noopener\">Jizhe Chenxin<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Hidehiko Masuhara<\/a>, Matthias Sprinter, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">Youyou Cong<\/a>)<\/li>\n<\/ul>\n<p>Our group member also presented posters at the conference.<!--more--><\/p>\n<ul>\n<li>Does a Live Programming Environment Dream of Becoming a Multilingual \/ Multi-development Environment? (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/takahashi\/\" data-internallinksmanager029f6b8e52c=\"306\" title=\"\u9ad8\u6a4b\u4fee\u7950\" target=\"_blank\" rel=\"noopener\">Shusuke Takahashi<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yusuke-izawa\/\" data-internallinksmanager029f6b8e52c=\"301\" title=\"\u4f0a\u6fa4\u4f91\u7950\" target=\"_blank\" rel=\"noopener\">Yusuke Izawa<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Hidehiko Masuhara<\/a>) (<a href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2020\/09\/jssst2020takahashi.pdf\">PDF<\/a>)<\/li>\n<li>Type-based Compatibility Analysis by Using Graded Modality (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yudai-tanabe\/\" data-internallinksmanager029f6b8e52c=\"341\" title=\"\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">Yudai Tanabe<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/lubis-luthfan\/\" data-internallinksmanager029f6b8e52c=\"302\" title=\"\" target=\"_blank\" rel=\"noopener\">Luthfan<\/a> Anshar Lubis, <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\">Tomoyuki Aotani<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Hidehiko Masuhara<\/a>) (<a href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2020\/09\/jssst2020tanabe.pdf\">PDF<\/a>)<\/li>\n<li>BatakJava: A Java Extension with Versions (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/lubis-luthfan\/\" data-internallinksmanager029f6b8e52c=\"302\" title=\"\" target=\"_blank\" rel=\"noopener\">Luthfan<\/a> Lubis, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yudai-tanabe\/\" data-internallinksmanager029f6b8e52c=\"341\" title=\"\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">Yudai Tanabe<\/a>, <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\">Tomoyuki Aotani<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Hidehiko Masuhara<\/a>)<\/li>\n<li>\u30c7\u30b6\u30a4\u30f3\u30ec\u30b7\u30d4\u306b\u57fa\u3065\u3044\u305f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u74b0\u5883\u306e\u5b9f\u88c5\u306b\u5411\u3051\u3066 (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/junya-nose\/\" data-internallinksmanager029f6b8e52c=\"305\" title=\"\" target=\"_blank\" rel=\"noopener\">Junya Nose<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">Youyou Cong<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Hidehiko Masuhara<\/a>)<\/li>\n<li>Towards Formalizing Dependent Updates with Parameterized Monad (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/ikemori\/\" data-internallinksmanager029f6b8e52c=\"308\" title=\"\u6c60\u5b88\u548c\u69fb\" target=\"_blank\" rel=\"noopener\">Kazuki Ikemori<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">Youyou Cong<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Hidehiko Masuhara<\/a>) (<a href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2020\/09\/jssst2020ikemori.pdf\">PDF<\/a>)<\/li>\n<\/ul>\n<p><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/jizhe-chenxin\/\" data-internallinksmanager029f6b8e52c=\"300\" title=\"\" target=\"_blank\" rel=\"noopener\">\u9673\u5ffb<\/a>\u3089\u304c<a href=\"https:\/\/jssst2020.wordpress.com\/\">\u65e5\u672c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u7b2c37\u56de\u5927\u4f1a<\/a> \u306b\u304a\u3044\u3066Sanajeh\u306e\u8ad6\u6587\u3092\u767a\u8868\u3057\u307e\u3057\u305f\u3002<\/p>\n<ul>\n<li><a href=\"\/wp-content\/uploads\/2020\/09\/jssst2020.pdf\"><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" class=\"alignright\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2020\/09\/jssst2020-pdf.jpg?resize=106%2C150&#038;ssl=1\" alt=\"\" width=\"106\" height=\"150\" \/><\/a>Sanajeh: A DSL for GPGPU programming with Python objects (J.<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/jizhe-chenxin\/\" data-internallinksmanager029f6b8e52c=\"300\" title=\"\" target=\"_blank\" rel=\"noopener\">Chenxin<\/a>\u3001H.<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>\u3001M.<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/springer\/\" data-internallinksmanager029f6b8e52c=\"297\" title=\"Matthias Springer\" target=\"_blank\" rel=\"noopener\">Springer<\/a>\u3001Y.<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">Cong<\/a>)<\/li>\n<\/ul>\n<p>\u540c\u5927\u4f1a\u3067\u306f\u7814\u7a76\u5ba4\u30e1\u30f3\u30d0\u30fc\u306b\u3088\u308b\u4ee5\u4e0b\u306e\u30dd\u30b9\u30bf\u30fc\u767a\u8868\u3082\u884c\u308f\u308c\u307e\u3057\u305f\u3002<!--more--><\/p>\n<ul>\n<li>\u30e9\u30a4\u30d6\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u74b0\u5883\u306f\u591a\u8a00\u8a9e\u5316\/\u591a\u958b\u767a\u74b0\u5883\u5316\u306e\u5922\u3092\u898b\u308b\u304b (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/takahashi\/\" data-internallinksmanager029f6b8e52c=\"306\" title=\"\u9ad8\u6a4b\u4fee\u7950\" target=\"_blank\" rel=\"noopener\">\u9ad8\u6a4b<\/a>\u3001<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yusuke-izawa\/\" data-internallinksmanager029f6b8e52c=\"301\" title=\"\u4f0a\u6fa4\u4f91\u7950\" target=\"_blank\" rel=\"noopener\">\u4f0a\u6fa4<\/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>) (<a href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2020\/09\/jssst2020takahashi.pdf\">PDF<\/a>)<\/li>\n<li>Graded modality\u3092\u7528\u3044\u305f\u578b\u30d9\u30fc\u30b9\u306e\u4e92\u63db\u6027\u89e3\u6790 (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yudai-tanabe\/\" data-internallinksmanager029f6b8e52c=\"340\" title=\"\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">\u7530\u8fba<\/a>\u3001L.Lubis\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>\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>) (<a href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2020\/09\/jssst2020tanabe.pdf\">PDF<\/a>)<\/li>\n<li>BatakJava: A Java Extension with Versions (L.Lubis, Y.<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>, T.<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>, H.<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>)<\/li>\n<li>\u30c7\u30b6\u30a4\u30f3\u30ec\u30b7\u30d4\u306b\u57fa\u3065\u3044\u305f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u74b0\u5883\u306e\u5b9f\u88c5\u306b\u5411\u3051\u3066 (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/junya-nose\/\" data-internallinksmanager029f6b8e52c=\"305\" title=\"\" target=\"_blank\" rel=\"noopener\">\u80fd\u52e2<\/a>\u3001<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">\u53e2<\/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>)<\/li>\n<li>\u30d1\u30e9\u30e1\u30bf\u30e9\u30a4\u30ba\u30c9\u30e2\u30ca\u30c9\u306b\u3088\u308b\u4f9d\u5b58\u30a2\u30c3\u30d7\u30c7\u30fc\u30c8\u306e\u5f62\u5f0f\u5316\u306b\u5411\u3051\u3066 (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/ikemori\/\" data-internallinksmanager029f6b8e52c=\"308\" title=\"\u6c60\u5b88\u548c\u69fb\" target=\"_blank\" rel=\"noopener\">\u6c60\u5b88<\/a>\u3001<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">\u53e2<\/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>) (<a href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2020\/09\/jssst2020ikemori.pdf\">PDF<\/a>)<\/li>\n<\/ul>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Chenxin et al. presented his paper on Sanajeh at the 2020 annual conference o&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/jssst2020\/\">Continue Reading GPGPU\u306e\u305f\u3081\u306ePython DSL\u306b\u95a2\u3059\u308b\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u5927\u4f1a\u8ad6\u6587\u30685\u4ef6\u306e\u30dd\u30b9\u30bf\u30fc\u767a\u8868<\/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":[16,5,52,19,8],"tags":[],"class_list":["post-3094","post","type-post","status-publish","format-standard","hentry","category-kanon","category-news","category-resource-type-system","category-sanajeh","category-version-programming","radius"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/3094","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=3094"}],"version-history":[{"count":20,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/3094\/revisions"}],"predecessor-version":[{"id":3334,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/3094\/revisions\/3334"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=3094"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=3094"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=3094"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}