{"id":2657,"date":"2020-03-02T20:00:25","date_gmt":"2020-03-03T05:00:25","guid":{"rendered":"http:\/\/prg.is.titech.ac.jp\/?p=2657"},"modified":"2024-12-13T01:14:56","modified_gmt":"2024-12-13T10:14:56","slug":"poster-demo-presentation-at-ppl2020","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/poster-demo-presentation-at-ppl2020\/","title":{"rendered":"PPL2020\u3067\u306e\u30dd\u30b9\u30bf\u30fc\u3068\u30c7\u30e2\u767a\u8868"},"content":{"rendered":"<p>\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">Youyou Cong<\/a>)<\/li>\n<li>Making Different JIT Compilations Dancing to the Same Tune, Acting in the Meta-level (<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>)<\/li>\n<li>\u30b3\u30a8\u30d5\u30a7\u30af\u30c8\u591a\u76f8\u6027\u306b\u57fa\u3065\u3044\u305f\u7248\u591a\u76f8\u6027\u306e\u5b9f\u73fe (<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>)<\/li>\n<li>ACKN: A context-aware keyword programming system (poster) (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/aochi-shu\/\" data-internallinksmanager029f6b8e52c=\"299\" title=\"\" target=\"_blank\" rel=\"noopener\">Aochi Shu<\/a>)<\/li>\n<li>Object-oriented Programming 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)<\/li>\n<li>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>)<\/li>\n<li>Lift\u4e2d\u9593\u8a00\u8a9e\u306b\u304a\u3051\u308b\u52d5\u7684\u9577\u914d\u5217\u306e\u8ffd\u52a0 (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/niimi\/\" data-internallinksmanager029f6b8e52c=\"303\" title=\"\u65b0\u7f8e \u548c\u751f\" target=\"_blank\" rel=\"noopener\">Kazuki Niimi<\/a>)<\/li>\n<li>\u30c7\u30b6\u30a4\u30f3\u30ec\u30b7\u30d4\u306b\u6cbf\u3063\u305f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u74b0\u5883\u306e\u5b9f\u88c5 (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/junya-nose\/\" data-internallinksmanager029f6b8e52c=\"305\" title=\"\" target=\"_blank\" rel=\"noopener\">Junya Nose<\/a>)<\/li>\n<\/ul>\n<p>Details:\u00a0<a href=\"https:\/\/easychair.org\/smart-program\/PPL2020\/\">https:\/\/easychair.org\/smart-program\/PPL2020\/<\/a>\u4ee5\u4e0b\u306e\u30e1\u30f3\u30d0\u30fc\u304cPPL2020\u3067\u30dd\u30b9\u30bf\u30fc\u30fb\u30c7\u30e2\u767a\u8868\u3092\u3057\u307e\u3059\uff0e<\/p>\n<ul>\n<li>Agda \u306b\u3088\u308b\u5bfe\u4f4d\u6cd5\u306e\u5b9a\u5f0f\u5316 (<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<li>Making Different JIT Compilations Dancing to the Same Tune, Acting in the Meta-level (<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>)<\/li>\n<li>\u30b3\u30a8\u30d5\u30a7\u30af\u30c8\u591a\u76f8\u6027\u306b\u57fa\u3065\u3044\u305f\u7248\u591a\u76f8\u6027\u306e\u5b9f\u73fe (<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>)<\/li>\n<li>ACKN: A context-aware keyword programming system (poster) (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/aochi-shu\/\" data-internallinksmanager029f6b8e52c=\"299\" title=\"\" target=\"_blank\" rel=\"noopener\">Aochi Shu<\/a>)<\/li>\n<li>Object-oriented Programming 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)<\/li>\n<li>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>)<\/li>\n<li>Lift\u4e2d\u9593\u8a00\u8a9e\u306b\u304a\u3051\u308b\u52d5\u7684\u9577\u914d\u5217\u306e\u8ffd\u52a0 (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/niimi\/\" data-internallinksmanager029f6b8e52c=\"303\" title=\"\u65b0\u7f8e \u548c\u751f\" target=\"_blank\" rel=\"noopener\">Kazuki Niimi<\/a>)<\/li>\n<li>\u30c7\u30b6\u30a4\u30f3\u30ec\u30b7\u30d4\u306b\u6cbf\u3063\u305f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u74b0\u5883\u306e\u5b9f\u88c5 (<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/junya-nose\/\" data-internallinksmanager029f6b8e52c=\"305\" title=\"\" target=\"_blank\" rel=\"noopener\">Junya Nose<\/a>)<\/li>\n<\/ul>\n<p>\u8a73\u7d30:\u00a0<a href=\"https:\/\/easychair.org\/smart-program\/PPL2020\/\">https:\/\/easychair.org\/smart-program\/PPL2020\/<\/a><\/p>","protected":false},"excerpt":{"rendered":"<p>\u53e2\u60a0\u60a0&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Youyou Cong) Making Different JIT Compilations Dancing to the Same Tune, A&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/poster-demo-presentation-at-ppl2020\/\">Continue Reading PPL2020\u3067\u306e\u30dd\u30b9\u30bf\u30fc\u3068\u30c7\u30e2\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":[17,20,21,26,5,52,19,8],"tags":[6,7],"class_list":["post-2657","post","type-post","status-publish","format-standard","hentry","category-baccaml","category-htdp","category-lift","category-music","category-news","category-resource-type-system","category-sanajeh","category-version-programming","tag-poster","tag-ppl","radius"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/2657","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=2657"}],"version-history":[{"count":5,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/2657\/revisions"}],"predecessor-version":[{"id":8588,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/2657\/revisions\/8588"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=2657"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=2657"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=2657"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}