{"id":7197,"date":"2024-03-05T16:01:00","date_gmt":"2024-03-06T01:01:00","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=7197"},"modified":"2024-12-13T01:14:02","modified_gmt":"2024-12-13T10:14:02","slug":"ppl2024-1","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/ppl2024-1\/","title":{"rendered":"\u30d0\u30fc\u30b8\u30e7\u30f3\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u30b3\u30f3\u30d1\u30a4\u30eb\u624b\u6cd5\u306b\u95a2\u3059\u308bPPL 2024\u767a\u8868"},"content":{"rendered":"<p><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" class=\"aligncenter size-full wp-image-8049\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/03\/ppl2024-tanabe.jpg?resize=560%2C423&#038;ssl=1\" alt=\"\" width=\"560\" height=\"423\" srcset=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/03\/ppl2024-tanabe.jpg?w=2000&amp;ssl=1 2000w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/03\/ppl2024-tanabe.jpg?resize=300%2C226&amp;ssl=1 300w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/03\/ppl2024-tanabe.jpg?resize=1024%2C773&amp;ssl=1 1024w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/03\/ppl2024-tanabe.jpg?resize=768%2C579&amp;ssl=1 768w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/03\/ppl2024-tanabe.jpg?resize=1536%2C1159&amp;ssl=1 1536w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/03\/ppl2024-tanabe.jpg?w=1120&amp;ssl=1 1120w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/03\/ppl2024-tanabe.jpg?w=1680&amp;ssl=1 1680w\" sizes=\"auto, (max-width: 560px) 100vw, 560px\" \/>\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">Yudai Tanabe<\/a>&#8217;s work on &#8220;Compilation Semantics for a Programming Language with Versions&#8221;, co-authored with <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>, and <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> is accepted by and presented at <a href=\"https:\/\/jssst-ppl.org\/workshop\/2024\/\">the 26th JSSST Workshop on Programming and Programming Languages<\/a> <a href=\"https:\/\/jssst-ppl.org\/workshop\/2024\/\">(PPL2024)<\/a>, <a href=\"https:\/\/jssst-ppl.org\/workshop\/2024\/accepted.html\">Category 2<\/a> This is a <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/aplas2023\/\">previously published paper presented at APLAS 2023<\/a> in Taiwan last November. <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>\u3001<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/lubis-luthfan\/\" data-internallinksmanager029f6b8e52c=\"302\" title=\"\" target=\"_blank\" rel=\"noopener\">Luthfan<\/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>\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>\u306b\u3088\u308b\u8ad6\u6587\u300cCompilation Semantics for a Programming Language with Versions\u300d\u304c<a href=\"https:\/\/jssst-ppl.org\/workshop\/2024\/\">\u7b2c26\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(PPL2024)<\/a>\u306e<a href=\"https:\/\/jssst-ppl.org\/workshop\/2024\/accepted.html\">\u30ab\u30c6\u30b4\u30ea2\u306b\u63a1\u629e<\/a>\u3055\u308c\u307e\u3057\u305f\u3002\u672c\u8ad6\u6587\u306f\u65e2\u767a\u8868\u8ad6\u6587\u3067\u3042\u308a\u3001\u6628\u5e7411\u6708\u306b<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/aplas2023\/\">\u53f0\u6e7e\u3067\u958b\u50ac\u3055\u308c\u305fAPLAS 2023\u3067\u767a\u8868\u3055\u308c\u307e\u3057\u305f<\/a>\u3002 <\/p>\r\n\r\n\r\n\r\n<p>\ud83d\udc49<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/projects\/context-oriented-programming\/version-programming\/\" data-type=\"URL\">\u30d7\u30ed\u30b8\u30a7\u30af\u30c8<\/a><\/p>\r\n\n<iframe id='tanabe2024ppl-reproduction' src='\/papers\/bibtexbrowser.php?key=tanabe2024ppl-reproduction&bib=prg-e.bib;thesis-b.bib;thesis-m.bib;thesis-d.bib;prg-j.bib' class='bibtexbrowser' onload='resizeIframe(this)'><\/iframe>","protected":false},"excerpt":{"rendered":"<p>\u7530\u9089\u88d5\u5927&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Yudai Tanabe&#8217;s work on &#8220;Compilation Semantics for a Programmi&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/ppl2024-1\/\">Continue Reading \u30d0\u30fc\u30b8\u30e7\u30f3\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u30b3\u30f3\u30d1\u30a4\u30eb\u624b\u6cd5\u306b\u95a2\u3059\u308bPPL 2024\u767a\u8868<\/a><\/p>\n","protected":false},"author":7,"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":[5,52,8],"tags":[],"class_list":["post-7197","post","type-post","status-publish","format-standard","hentry","category-news","category-resource-type-system","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\/7197","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\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=7197"}],"version-history":[{"count":14,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/7197\/revisions"}],"predecessor-version":[{"id":8504,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/7197\/revisions\/8504"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=7197"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=7197"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=7197"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}