{"id":7936,"date":"2024-09-11T11:45:03","date_gmt":"2024-09-11T20:45:03","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=7936"},"modified":"2024-12-13T00:20:53","modified_gmt":"2024-12-13T09:20:53","slug":"invited-talk-on-pwv-at-the-stair-lab-seminar-2","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/invited-talk-on-pwv-at-the-stair-lab-seminar-2\/","title":{"rendered":"\u6f38\u9032\u7684\u578b\u4ed8\u3051\u306b\u95a2\u3059\u308b\u65e5\u672c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u7b2c41\u56de\u5927\u4f1a\u30c8\u30c3\u30d7\u30ab\u30f3\u30d5\u30a1\u30ec\u30f3\u30b9\u7279\u5225\u8b1b\u6f14"},"content":{"rendered":"<p>&nbsp;<\/p>\r\n<p><a href=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/09\/IMG_20240911_115041-scaled-e1726208336584.jpg?ssl=1\"><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" class=\" wp-image-8173 aligncenter\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/09\/IMG_20240911_115041-scaled-e1726208336584-300x77.jpg?resize=560%2C144&#038;ssl=1\" alt=\"\" width=\"560\" height=\"144\" srcset=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/09\/IMG_20240911_115041-scaled-e1726208336584.jpg?resize=300%2C77&amp;ssl=1 300w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/09\/IMG_20240911_115041-scaled-e1726208336584.jpg?resize=1024%2C263&amp;ssl=1 1024w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/09\/IMG_20240911_115041-scaled-e1726208336584.jpg?resize=768%2C197&amp;ssl=1 768w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/09\/IMG_20240911_115041-scaled-e1726208336584.jpg?resize=1536%2C394&amp;ssl=1 1536w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/09\/IMG_20240911_115041-scaled-e1726208336584.jpg?resize=2048%2C526&amp;ssl=1 2048w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/09\/IMG_20240911_115041-scaled-e1726208336584.jpg?w=1120&amp;ssl=1 1120w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/09\/IMG_20240911_115041-scaled-e1726208336584.jpg?w=1680&amp;ssl=1 1680w\" sizes=\"auto, (max-width: 560px) 100vw, 560px\" \/><\/a><\/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:\/\/jssst2024.wordpress.com\/\">\u65e5\u672c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u7b2c41\u56de\u5927\u4f1a<\/a> \u306b\u3066\u3001\u30c8\u30c3\u30d7\u30ab\u30f3\u30d5\u30a1\u30ec\u30f3\u30b9\u7279\u5225\u8b1b\u6f14\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<p>\u65e5\u6642\uff1a9\/11(\u6c34) 11:45~12:15 (\u65e5\u672c\u6642\u9593)<br \/>\u5834\u6240\uff1a<a href=\"https:\/\/www.ritsumei.ac.jp\/accessmap\/oic\/\">\u7acb\u547d\u9928\u5927\u5b66 \u5927\u962a\u3044\u3070\u3089\u304d\u30ad\u30e3\u30f3\u30d1\u30b9<\/a> H321\u6559\u5ba4<br \/>\u984c\u76ee\uff1a<a href=\"https:\/\/jssst2024.wordpress.com\/program\/#3c\">Space-Efficient Polymorphic Gradual Typing, Mostly Parametric<\/a><\/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:\/\/jssst2024.wordpress.com\/\">The 41st JSSST Annual Conference<\/a>.<\/p>\r\n<p>Date: September 11 Wed. 11:45~12:15 JST<br \/>Venue: <a href=\"https:\/\/www.google.co.jp\/maps\/place\/%E7%AB%8B%E5%91%BD%E9%A4%A8%E5%A4%A7%E5%AD%A6+%E5%A4%A7%E9%98%AA%E3%81%84%E3%81%B0%E3%82%89%E3%81%8D%E3%82%AD%E3%83%A3%E3%83%B3%E3%83%91%E3%82%B9(OIC)\/@34.8102717,135.5604569,15z\/data=!4m12!1m6!3m5!1s0x6000e32833c3df79:0xe5d53cf30387aca!2z56uL5ZG96aSo5aSn5a2mIOWkp-mYquOBhOOBsOOCieOBjeOCreODo-ODs-ODkeOCuQ!8m2!3d34.8119914!4d135.5621415!3m4!1s0x6000e3280cce6417:0xbb3d925acbf40ab5!8m2!3d34.8102039!4d135.5617813\">Ritsumeikan University Osaka Ibaraki Campus (OIC)<\/a> H321<br \/>Title: <a href=\"https:\/\/jssst2024.wordpress.com\/program\/#3c\">Space-Efficient Polymorphic Gradual Typing, Mostly Parametric<\/a> (<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3656441\">Paper<\/a>)<\/p>\r\n\r\n\r\n\r\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>&nbsp; \u7530\u9089\u304c \u65e5\u672c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u7b2c41\u56de\u5927\u4f1a \u306b\u3066\u3001\u30c8\u30c3\u30d7\u30ab\u30f3\u30d5\u30a1\u30ec\u30f3\u30b9\u7279\u5225\u8b1b\u6f14\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\u306e\u5185\u5bb9\u306b\u95a2\u3059\u308b\u3082\u306e\u3067\u3059\u3002 \u65e5\u6642\uff1a9\/11&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/invited-talk-on-pwv-at-the-stair-lab-seminar-2\/\">Continue Reading \u6f38\u9032\u7684\u578b\u4ed8\u3051\u306b\u95a2\u3059\u308b\u65e5\u672c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u7b2c41\u56de\u5927\u4f1a\u30c8\u30c3\u30d7\u30ab\u30f3\u30d5\u30a1\u30ec\u30f3\u30b9\u7279\u5225\u8b1b\u6f14<\/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-7936","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\/7936","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=7936"}],"version-history":[{"count":12,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/7936\/revisions"}],"predecessor-version":[{"id":8198,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/7936\/revisions\/8198"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=7936"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=7936"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=7936"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}