{"id":8763,"date":"2025-03-06T23:50:12","date_gmt":"2025-03-07T08:50:12","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=8763"},"modified":"2025-02-05T21:42:04","modified_gmt":"2025-02-06T06:42:04","slug":"invited-talk-on-pwv-at-the-stair-lab-seminar-2-2","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/invited-talk-on-pwv-at-the-stair-lab-seminar-2-2\/","title":{"rendered":"\u6f38\u9032\u7684\u578b\u4ed8\u3051\u306b\u95a2\u3059\u308bPPL2025\u3067\u306e\u30ab\u30c6\u30b4\u30ea2\uff08\u56fd\u969b\u65e2\u767a\u8868\u8ad6\u6587\uff09\u767a\u8868"},"content":{"rendered":"<p>&nbsp;<\/p>\r\n<p> <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>\u304c <a href=\"https:\/\/jssst-ppl.org\/workshop\/2025\/\">\u7b2c27\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 (PPL2025)<\/a> \u306b\u3066\u3001\u4ee5\u4e0b\u306e\u65e2\u767a\u8868\u8ad6\u6587\u306e\u767a\u8868\u3092\u884c\u3044\u307e\u3059\u3002\u672c\u8b1b\u6f14\u306f<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/pldi-2024\/\">2024\u5e746\u6708\u306b\u30c7\u30f3\u30de\u30fc\u30af\u3067\u767a\u8868\u3055\u308c\u305fPLDI&#8217;24\u8ad6\u6587<\/a>\u306e\u5185\u5bb9\u306b\u95a2\u3059\u308b\u3082\u306e\u3067\u3059\u3002<\/p>\r\n\r\n\r\n\r\n<p>\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">Tanabe<\/a> will give an invited talk on <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/pldi-2024\/\">PLDI&#8217;24 paper<\/a> at <a href=\"https:\/\/jssst-ppl.org\/workshop\/2025\/\">PPL2025<\/a>\u00a0.<\/p>\r\n\r\n\r\n\r\n<p><\/p>\r\n<ul>\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>, <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>. (PLDI&#8217;24)<\/li>\r\n<\/ul>\r\n<p><strong>Related posts<\/strong><\/p>\r\n<ul>\r\n<li><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/pldi-2024\/\">\ud83d\udc49PLDI&#8217;24 presentation<\/a><\/li>\r\n<li><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/invited-talk-on-pwv-at-the-stair-lab-seminar-2\/\">\ud83d\udc49JSSST&#8217;41 invited talk<\/a><\/li>\r\n<\/ul>\r\n\n<iframe id='tanabe2025ppl25-c2-gradual' src='\/papers\/bibtexbrowser.php?key=tanabe2025ppl25-c2-gradual&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>&nbsp; \u7530\u9089\u304c \u7b2c27\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 (PPL2025) \u306b\u3066\u3001\u4ee5\u4e0b\u306e\u65e2\u767a\u8868\u8ad6\u6587\u306e\u767a\u8868\u3092\u884c\u3044\u307e\u3059\u3002\u672c\u8b1b\u6f14\u306f2024\u5e746\u6708\u306b\u30c7\u30f3\u30de\u30fc\u30af\u3067\u767a\u8868\u3055\u308c\u305fPLDI&#8217;24\u8ad6\u6587&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/invited-talk-on-pwv-at-the-stair-lab-seminar-2-2\/\">Continue Reading \u6f38\u9032\u7684\u578b\u4ed8\u3051\u306b\u95a2\u3059\u308bPPL2025\u3067\u306e\u30ab\u30c6\u30b4\u30ea2\uff08\u56fd\u969b\u65e2\u767a\u8868\u8ad6\u6587\uff09\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":[50,5],"tags":[],"class_list":["post-8763","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\/8763","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=8763"}],"version-history":[{"count":5,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/8763\/revisions"}],"predecessor-version":[{"id":8953,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/8763\/revisions\/8953"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=8763"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=8763"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=8763"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}