{"id":10224,"date":"2025-11-06T18:46:00","date_gmt":"2025-11-07T03:46:00","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=10224"},"modified":"2025-11-09T15:58:00","modified_gmt":"2025-11-10T00:58:00","slug":"invited-talk-on-pro-2025-3","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/invited-talk-on-pro-2025-3\/","title":{"rendered":"\u7530\u9089\u306b\u3088\u308b\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u7814\u7a76\u767a\u8868\u4f1a\u3067\u306e\u62db\u5f85\u8b1b\u6f14"},"content":{"rendered":"<p>\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">Tanabe<\/a> presents the following invited talk at the IPSJ-PRO Workshop.<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>\u306b\u3088\u308b\u62db\u5f85\u8b1b\u6f14\u304c\u7b2c156\u56de\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u7814\u7a76\u4f1a\u3067\u884c\u308f\u308c\u307e\u3059\u3002<\/p>\r\n<div>\r\n<ul>\r\n<li>11\u67086\u65e5, \u6771\u4eac\u79d1\u5b66\u5927\u5b66 \u897f8\u53f7\u9928E\u68df E1004\u53f7\u5ba4, 15:15-16:15<br \/>\r\n<div>\r\n<div>Chasing Efficiency in Sound Gradual Typing, <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><\/div>\r\n<\/div>\r\n<\/li>\r\n<\/ul>\r\n<\/div>\r\n<p><!--more--><\/p>\r\n<p><\/p>\r\n<p><strong>\u6982\u8981<\/strong><\/p>\r\n<p>\u672c\u8b1b\u6f14\u3067\u306f\u3001\u6f38\u9032\u7684\u578b\u4ed8\u3051\u8a00\u8a9e\u306e\u7a7a\u9593\u52b9\u7387\u6027\u306b\u95a2\u3059\u308b\u8b1b\u6f14\u8005\u306e\u6700\u8fd1\u306e\u7814\u7a76\u3092\u7d39\u4ecb\u3059\u308b\u3002\u306f\u3058\u3081\u306b\u3001\u5065\u5168\u306a\u6f38\u9032\u7684\u578b\u4ed8\u3051\u8a00\u8a9e\u306e\u6b74\u53f2\u7684\u7d4c\u7def\u3068\u6700\u8fd1\u306e\u7814\u7a76\u52d5\u5411\u3092\u6982\u89b3\u3059\u308b\u3002\u7d9a\u3051\u3066\u3001\u8b1b\u6f14\u8005\u3089\u306ePLDI\u201924\u8ad6\u6587\uff1a\u30d1\u30e9\u30e1\u30c8\u30ea\u30c3\u30af\u591a\u76f8\u3092\u6301\u3063\u305f\u6f38\u9032\u7684\u578b\u4ed8\u3051\u8a00\u8a9e\u306e\u7a7a\u9593\u52b9\u7387\u6027\u306e\u9054\u6210\u306b\u3064\u3044\u3066\u8a73\u8ff0\u3059\u308b\u3002\u672c\u8b1b\u6f14\u3067\u306f\u3053\u308c\u3089\u306b\u52a0\u3048\u3001\u5065\u5168\u306a\u6f38\u9032\u7684\u578b\u4ed8\u3051\u8a00\u8a9e\u306e\u6642\u9593\u30fb\u7a7a\u9593\u8a08\u7b97\u30b3\u30b9\u30c8\u306e\u5b9f\u8a3c\u7684\u8a55\u4fa1\u306b\u3082\u89e6\u308c\u308b\u3002\u6f38\u9032\u7684\u578b\u4ed8\u3051\u8a00\u8a9e\u5411\u3051Mutation\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u306e\u4e00\u7a2e\u3067\u3042\u308bDynamizer\u306e\u5b9f\u88c5\u3001PLDI\u201924\u8a00\u8a9e\u306e\u30a4\u30f3\u30bf\u30d7\u30ea\u30bf\u3078\u306e\u9069\u7528\u3001\u521d\u671f\u7684\u306a\u30d9\u30f3\u30c1\u30de\u30fc\u30af\u7d50\u679c\u304b\u3089\u5f97\u3089\u308c\u305f\u767a\u898b\u3092\u5831\u544a\u3057\u3001\u3053\u308c\u3089\u3092\u8e0f\u307e\u3048\u305f\u4eca\u5f8c\u306e\u7814\u7a76\u5c55\u671b\u3092\u7d39\u4ecb\u3059\u308b\u3002<\/p>\r\n<p><\/p>\r\n\n<iframe src='\/papers\/bibindex.php?keys=tanabe2025-pro2025-3-invited&bib=prg-e.bib;thesis-b.bib;thesis-m.bib;thesis-d.bib;prg-j.bib&parent=%2Fja%2Fwp-json%2Fwp%2Fv2%2Fposts%2F10224' class='bibtexbrowser' onload='resizeIframe(this)'><\/iframe>\n<iframe id='tanabe2025-pro2025-3-invited' src='\/papers\/bibtexbrowser.php?key=tanabe2025-pro2025-3-invited&bib=prg-e.bib;thesis-b.bib;thesis-m.bib;thesis-d.bib;prg-j.bib' class='bibtexbrowser' onload='resizeIframe(this)'><\/iframe>\r\n<p>\ud83d\udc49<a href=\"https:\/\/sigpro.ipsj.or.jp\/pro2025-3\/\">\u60c5\u5831\u51e6\u7406\u5b66\u4f1a \u7b2c156\u56de\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u7814\u7a76\u767a\u8868\u4f1a<\/a><br \/>\ud83d\udc49<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/projects\/typesystem\/gradual-typing\/\">\u30d7\u30ed\u30b8\u30a7\u30af\u30c8<\/a><\/p>","protected":false},"excerpt":{"rendered":"<p>\u7530\u9089\u88d5\u5927&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Tanabe presents the following invited talk at the IPSJ-PRO Workshop.\u7530\u9089\u306b\u3088\u308b&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/invited-talk-on-pro-2025-3\/\">Continue Reading \u7530\u9089\u306b\u3088\u308b\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u7814\u7a76\u767a\u8868\u4f1a\u3067\u306e\u62db\u5f85\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-10224","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\/10224","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=10224"}],"version-history":[{"count":21,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/10224\/revisions"}],"predecessor-version":[{"id":11383,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/10224\/revisions\/11383"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=10224"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=10224"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=10224"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}