{"id":7519,"date":"2024-06-28T06:36:00","date_gmt":"2024-06-28T15:36:00","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=7519"},"modified":"2024-12-13T00:22:21","modified_gmt":"2024-12-13T09:22:21","slug":"pldi-2024","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/pldi-2024\/","title":{"rendered":"\u7a7a\u9593\u52b9\u7387\u306e\u826f\u3044\u6f38\u9032\u7684\u578b\u4ed8\u3051\u306b\u95a2\u3059\u308b PLDI 2024 \u8ad6\u6587"},"content":{"rendered":"<p>\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">Tanabe<\/a> when he was a researcher at Kyoto University. This work will be presented at <a href=\"https:\/\/pldi24.sigplan.org\/\">PLDI2024<\/a> in Copenhagen, Denmark. \u4ee5\u4e0b\u306e\u8ad6\u6587\u304c PLDI 2024 \u306b\u63a1\u629e\u3055\u308c\u307e\u3057\u305f\u3002\u672c\u8ad6\u6587\u306f<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yudai-tanabe\/\" data-internallinksmanager029f6b8e52c=\"341\" title=\"\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">\u7530\u9089<\/a>\u306e\u4eac\u90fd\u5927\u5b66\u5728\u7c4d\u6642\u306e\u7814\u7a76\u6210\u679c\u3067\u3059\u3002\u672c\u6210\u679c\u306f6\u670824-28\u65e5\u306b\u30c7\u30f3\u30de\u30fc\u30af\u306e\u30b3\u30da\u30f3\u30cf\u30fc\u30b2\u30f3\u3067\u958b\u50ac\u3055\u308c\u308b<a href=\"https:\/\/pldi24.sigplan.org\/\">PLDI2024<\/a>\u306b\u3066\u767a\u8868\u3055\u308c\u307e\u3059\u3002<\/p>\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n<ul class=\"wp-block-list\">\r\n<li><a href=\"https:\/\/www.fos.kuis.kyoto-u.ac.jp\/~igarashi\/index.html\" data-internallinksmanager029f6b8e52c=\"289\" title=\"Atsushi Igarashi\" target=\"_blank\" rel=\"noopener\">Atsushi Igarashi<\/a>, Shota Ozaki, <a href=\"https:\/\/skymountain.github.io\/\" data-internallinksmanager029f6b8e52c=\"349\" title=\"Taro Sekiyama\" target=\"_blank\" rel=\"noopener\">Taro Sekiyama<\/a>, and <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:\/\/dl.acm.org\/doi\/10.1145\/3656441\">Space-Efficient Polymorphic Gradual Typing, Mostly Parametric<\/a><\/li>\r\n<\/ul>\r\n\r\n\n<iframe id='tanabe2024pldi' src='\/papers\/bibtexbrowser.php?key=tanabe2024pldi&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;>Tanabe when he was a researcher at Kyoto University. This work will be pr&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/pldi-2024\/\">Continue Reading \u7a7a\u9593\u52b9\u7387\u306e\u826f\u3044\u6f38\u9032\u7684\u578b\u4ed8\u3051\u306b\u95a2\u3059\u308b PLDI 2024 \u8ad6\u6587<\/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":[50,5],"tags":[],"class_list":["post-7519","post","type-post","status-publish","format-standard","hentry","category-gradual-typing","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\/7519","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=7519"}],"version-history":[{"count":20,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/7519\/revisions"}],"predecessor-version":[{"id":8500,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/7519\/revisions\/8500"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=7519"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=7519"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=7519"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}