{"id":11260,"date":"2025-10-14T05:13:22","date_gmt":"2025-10-14T14:13:22","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=11260"},"modified":"2025-11-02T20:51:25","modified_gmt":"2025-11-03T05:51:25","slug":"chen-won-3rd-place-in-the-icfp-2025-src","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/chen-won-3rd-place-in-the-icfp-2025-src\/","title":{"rendered":"\u9673\u304cICFP 2025 SRC\u306b\u3066\u7b2c3\u4f4d\u3092\u53d7\u8cde"},"content":{"rendered":"<p><a href=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/8763BA560255744D75E7E8998BF019F5.jpg?ssl=1\"><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" class=\"size-medium wp-image-11277 aligncenter\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/8763BA560255744D75E7E8998BF019F5.jpg?resize=300%2C200&#038;ssl=1\" alt=\"\" width=\"300\" height=\"200\" srcset=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/8763BA560255744D75E7E8998BF019F5.jpg?resize=300%2C200&amp;ssl=1 300w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/8763BA560255744D75E7E8998BF019F5.jpg?resize=1024%2C683&amp;ssl=1 1024w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/8763BA560255744D75E7E8998BF019F5.jpg?resize=768%2C512&amp;ssl=1 768w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/8763BA560255744D75E7E8998BF019F5.jpg?resize=1536%2C1024&amp;ssl=1 1536w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/8763BA560255744D75E7E8998BF019F5.jpg?resize=2048%2C1365&amp;ssl=1 2048w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/8763BA560255744D75E7E8998BF019F5.jpg?w=1120&amp;ssl=1 1120w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/8763BA560255744D75E7E8998BF019F5.jpg?w=1680&amp;ssl=1 1680w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/><\/a><br \/>\n<a href=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/IMG_0850-scaled.jpg?ssl=1\"><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" class=\"size-medium wp-image-11264 alignright\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/IMG_0850.jpg?resize=225%2C300&#038;ssl=1\" alt=\"\" width=\"225\" height=\"300\" srcset=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/IMG_0850-scaled.jpg?resize=225%2C300&amp;ssl=1 225w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/IMG_0850-scaled.jpg?resize=768%2C1024&amp;ssl=1 768w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/IMG_0850-scaled.jpg?resize=1152%2C1536&amp;ssl=1 1152w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/IMG_0850-scaled.jpg?resize=1536%2C2048&amp;ssl=1 1536w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/IMG_0850-scaled.jpg?w=1920&amp;ssl=1 1920w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/IMG_0850-scaled.jpg?w=1680&amp;ssl=1 1680w\" sizes=\"auto, (max-width: 225px) 100vw, 225px\" \/><\/a><br \/>\n\u9673\u667a\u9a0f\" target=\"_blank\" rel=\"noopener\">Zhiqi Chen<\/a> won the 3rd place at the <a href=\"https:\/\/icfp25.sigplan.org\/track\/icfp-2025-student-research-competition\">ICFP 2025 Student Research Competition<\/a> for <a href=\"\/news\/presentation-at-icfp-2025-src\/\">his work titled \u201cTowards Programming with Effect Handlers and Typed Holes\u201d<\/a>.  <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/zhiqi-chen\/\" data-internallinksmanager029f6b8e52c=\"346\" title=\"\u9673\u667a\u9a0f\" target=\"_blank\" rel=\"noopener\">\u9673\u667a\u9a0f<\/a>\u306e<a href=\"\/news\/presentation-at-icfp-2025-src\/\">\u7814\u7a76 \u201cTowards Programming with Effect Handlers and Typed Holes\u201d<\/a> \u304c <a href=\"https:\/\/icfp25.sigplan.org\/track\/icfp-2025-student-research-competition\">ICFP 2025 Student Research Competition<\/a> \u306b\u3066\u7b2c3\u4f4d\u3092\u53d7\u8cde\u3057\u307e\u3057\u305f\u3002<\/p>","protected":false},"excerpt":{"rendered":"<p>\u9673\u667a\u9a0f&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Zhiqi Chen won the 3rd place at the ICFP 2025 Student Research Competition&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/chen-won-3rd-place-in-the-icfp-2025-src\/\">Continue Reading \u9673\u304cICFP 2025 SRC\u306b\u3066\u7b2c3\u4f4d\u3092\u53d7\u8cde<\/a><\/p>\n","protected":false},"author":2,"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":[25,5],"tags":[],"class_list":["post-11260","post","type-post","status-publish","format-standard","hentry","category-effects","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\/11260","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\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=11260"}],"version-history":[{"count":9,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/11260\/revisions"}],"predecessor-version":[{"id":11331,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/11260\/revisions\/11331"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=11260"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=11260"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=11260"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}