{"id":3392,"date":"2021-03-09T00:50:00","date_gmt":"2021-03-09T09:50:00","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=3392"},"modified":"2021-10-09T23:29:16","modified_gmt":"2021-10-10T08:29:16","slug":"presentation-at-ppl21","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/presentation-at-ppl21\/","title":{"rendered":"PPL&#8217;21\u306b\u3066\u8ad6\u6587\u30fb\u30dd\u30b9\u30bf\u30fc\u767a\u8868"},"content":{"rendered":"<h2 class=\"wp-block-heading\">\" target=\"_blank\" rel=\"noopener\">Ogushi<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/masuhara\/\">Masuhara<\/a>\uff09<\/li><li>Effekt\u8a00\u8a9e\u306e\u53cc\u65b9\u5411\u30a8\u30d5\u30a7\u30af\u30c8\u306b\u3088\u308b\u62e1\u5f35 (<a href=\"https:\/\/prg.is.titech.ac.jp\/people\/niimi\/\">Niimi<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/cong\/\">Cong<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/masuhara\/\">Masuhara<\/a>)<\/li><li>\u30c7\u30b6\u30a4\u30f3\u30ec\u30b7\u30d4\u306b\u57fa\u3065\u3044\u305f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u305f\u3081\u306e\u958b\u767a\u74b0\u5883\u306e\u69cb\u7bc9\u306b\u5411\u3051\u3066 (<a href=\"https:\/\/prg.is.titech.ac.jp\/people\/junya-nose\/\">Nose<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/cong\/\">Cong<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/masuhara\/\">Masuhara<\/a>)<\/li><\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Posters<\/h2>\n\n\n\n<p>The following posters will be presented at <a href=\"https:\/\/jssst-ppl.org\/workshop\/2021\/\">PPL&#8217;21<\/a>.<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>An Agda Formalization of Counterpoint (<a href=\"https:\/\/prg.is.titech.ac.jp\/people\/cong\/\">Cong<\/a>)<\/li><li>An Interpreter Design for Supporting Different JIT Compilations in RPython Framework (<a href=\"https:\/\/prg.is.titech.ac.jp\/people\/yusuke-izawa\/\">Izawa<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/masuhara\/\">Masuhara<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/cong\/\">Cong<\/a>)<\/li><li>\u4ee3\u6570\u7684\u30a8\u30d5\u30a7\u30af\u30c8\u3092\u7279\u5fb4\u306b\u6301\u3064\u8a08\u7b97\u4f53\u7cfb\u3078\u306e\u30a8\u30d5\u30a7\u30af\u30c8\u5f37\u5236\u306e\u5c0e\u5165\u3068\u5065\u5168\u6027\u306e\u8a3c\u660e (<a href=\"https:\/\/prg.is.titech.ac.jp\/people\/ikemori\/\">Ikemori<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/cong\/\">Cong<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/masuhara\/\">Masuhara<\/a>)<\/li><li>Koka\u8a00\u8a9e\u306b\u5bfe\u3059\u308b\u30a8\u30d5\u30a7\u30af\u30c8\u5272\u308a\u5f53\u3066\u6700\u9069\u5316 (<a href=\"https:\/\/prg.is.titech.ac.jp\/people\/furudono\/\">Furudono<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/cong\/\">Cong<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/masuhara\/\">Masuhara<\/a>)<\/li><li>\u6c4e\u8a00\u8a9e\u7684\u30e9\u30a4\u30d6\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u74b0\u5883\u306e\u305f\u3081\u306e\u30c7\u30fc\u30bf\u69cb\u9020\u89e3\u6790\u624b\u6cd5 (<a href=\"https:\/\/prg.is.titech.ac.jp\/people\/takahashi\/\">Takahashi<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/yusuke-izawa\/\">Izawa<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/masuhara\/\">Masuhara<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/cong\/\">Cong<\/a>)<\/li><\/ul>\n\n\n\n<p>(<a href=\"https:\/\/jssst-ppl.org\/workshop\/2021\/\">official site<\/a>)<\/p>\n\n\n\n<p><\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\u8ad6\u6587<\/h2>\n\n\n\n<p>\u4ee5\u4e0b\u306e\u8ad6\u6587\u304c<a href=\"https:\/\/jssst-ppl.org\/workshop\/2021\/\">\u7b2c23\u56de\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u304a\u3088\u3073\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7<\/a> (PPL&#8217;21) \u306e\u30ab\u30c6\u30b4\u30ea2 (\u56fd\u5916\u65e2\u767a\u8868\u67a0) \u3067\u767a\u8868\u3055\u308c\u307e\u3059\u3002<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework\uff08<a href=\"https:\/\/prg.is.titech.ac.jp\/people\/yusuke-izawa\/\">\u4f0a\u6fa4<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/masuhara\/\">\u5897\u539f<\/a>\uff09(DLS&#8217;20 \u306b\u3066\u767a\u8868\u30fb\u51fa\u7248)<\/li><li>A Functional Abstraction of Typed Trails (Kenichi Asai, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/cong\/\"><\/a><a href=\"https:\/\/prg.is.titech.ac.jp\/people\/cong\/\">\u53e2<\/a>, Chiaki Ishio)  (PEPM&#8217;20\u306b\u3066\u767a\u8868\u30fb\u51fa\u7248)<\/li><\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">\u30dd\u30b9\u30bf\u30fc\u30fb\u30c7\u30e2<\/h2>\n\n\n\n<p>\u307e\u305f\u3001\u4ee5\u4e0b\u306e\u30dd\u30b9\u30bf\u30fc\u30fb\u30c7\u30e2\u304cPPL&#8217;21\u3067\u767a\u8868\u3055\u308c\u307e\u3059\u3002<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>\u30e9\u30a4\u30d6\u30c7\u30fc\u30bf\u69cb\u9020\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u5927\u898f\u6a21\u30c7\u30fc\u30bf\u5229\u7528\u306e\u305f\u3081\u306e\u6539\u5584\uff08<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/tomoki-ogushi\/\" data-internallinksmanager029f6b8e52c=\"304\" title=\"\" target=\"_blank\" rel=\"noopener\">\u5c0f\u4e32<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/masuhara\/\">\u5897\u539f<\/a>\uff09<\/li><li>Effekt\u8a00\u8a9e\u306e\u53cc\u65b9\u5411\u30a8\u30d5\u30a7\u30af\u30c8\u306b\u3088\u308b\u62e1\u5f35\uff08<a href=\"https:\/\/prg.is.titech.ac.jp\/people\/niimi\/\">\u65b0\u7f8e<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/cong\/\">\u53e2<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/masuhara\/\">\u5897\u539f<\/a>\uff09<\/li><li>\u30c7\u30b6\u30a4\u30f3\u30ec\u30b7\u30d4\u306b\u57fa\u3065\u3044\u305f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u305f\u3081\u306e\u958b\u767a\u74b0\u5883\u306e\u69cb\u7bc9\u306b\u5411\u3051\u3066\uff08<a href=\"https:\/\/prg.is.titech.ac.jp\/people\/junya-nose\/\">\u80fd\u52e2<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/cong\/\">\u53e2<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/masuhara\/\">\u5897\u539f<\/a>\uff09<\/li><\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">\u30dd\u30b9\u30bf\u30fc<\/h2>\n\n\n\n<p>\u3055\u3089\u306b\u3001\u4ee5\u4e0b\u306e\u30dd\u30b9\u30bf\u30fc\u304cPPL&#8217;21\u3067\u767a\u8868\u3055\u308c\u307e\u3059\u3002<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Agda \u306b\u3088\u308b\u5bfe\u4f4d\u6cd5\u306e\u578b\u5f0f\u5316 (<a href=\"https:\/\/prg.is.titech.ac.jp\/people\/cong\/\">\u53e2<\/a>)<\/li><li>An Interpreter Design for Supporting Different JIT Compilations in RPython Framework\uff08<a href=\"https:\/\/prg.is.titech.ac.jp\/people\/yusuke-izawa\/\">\u4f0a\u6fa4<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/masuhara\/\">\u5897\u539f<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/cong\/\">\u53e2<\/a>\uff09<\/li><li>\u4ee3\u6570\u7684\u30a8\u30d5\u30a7\u30af\u30c8\u3092\u7279\u5fb4\u306b\u6301\u3064\u8a08\u7b97\u4f53\u7cfb\u3078\u306e\u30a8\u30d5\u30a7\u30af\u30c8\u5f37\u5236\u306e\u5c0e\u5165\u3068\u5065\u5168\u6027\u306e\u8a3c\u660e\uff08<a href=\"https:\/\/prg.is.titech.ac.jp\/people\/ikemori\/\">\u6c60\u5b88<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/cong\/\">\u53e2<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/masuhara\/\">\u5897\u539f<\/a>\uff09<\/li><li>Koka\u8a00\u8a9e\u306b\u5bfe\u3059\u308b\u30a8\u30d5\u30a7\u30af\u30c8\u5272\u308a\u5f53\u3066\u6700\u9069\u5316\uff08<a href=\"https:\/\/prg.is.titech.ac.jp\/people\/furudono\/\">\u53e4\u6bbf<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/cong\/\">\u53e2<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/masuhara\/\">\u5897\u539f<\/a>\uff09<\/li><li>\u6c4e\u8a00\u8a9e\u7684\u30e9\u30a4\u30d6\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u74b0\u5883\u306e\u305f\u3081\u306e\u30c7\u30fc\u30bf\u69cb\u9020\u89e3\u6790\u624b\u6cd5\uff08<a href=\"https:\/\/prg.is.titech.ac.jp\/people\/takahashi\/\">\u9ad8\u6a4b<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/yusuke-izawa\/\">\u4f0a\u6fa4<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/masuhara\/\">\u5897\u539f<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/people\/cong\/\">\u53e2<\/a>\uff09<\/li><\/ul>\n\n\n\n<p>(<a rel=\"noreferrer noopener\" href=\"https:\/\/jssst-ppl.org\/workshop\/2021\/\" target=\"_blank\">\u516c\u5f0f\u30b5\u30a4\u30c8<\/a>)<\/p>","protected":false},"excerpt":{"rendered":"<p>&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Ogushi, Masuhara\uff09 Effekt\u8a00\u8a9e\u306e\u53cc\u65b9\u5411\u30a8\u30d5\u30a7\u30af\u30c8\u306b\u3088\u308b\u62e1\u5f35 (Niimi, Cong, Masuhara) \u30c7\u30b6\u30a4\u30f3\u30ec\u30b7\u30d4\u306b\u57fa\u3065\u3044\u305f&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/presentation-at-ppl21\/\">Continue Reading PPL&#8217;21\u306b\u3066\u8ad6\u6587\u30fb\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":[17,25,20,16,5],"tags":[],"class_list":["post-3392","post","type-post","status-publish","format-standard","hentry","category-baccaml","category-effects","category-htdp","category-kanon","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\/3392","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=3392"}],"version-history":[{"count":39,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/3392\/revisions"}],"predecessor-version":[{"id":3572,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/3392\/revisions\/3572"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=3392"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=3392"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=3392"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}