{"id":10290,"date":"2025-10-13T02:16:51","date_gmt":"2025-10-13T11:16:51","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=10290"},"modified":"2025-11-28T23:09:57","modified_gmt":"2025-11-29T08:09:57","slug":"icfp2025","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/icfp2025\/","title":{"rendered":"\u9673\u667a\u9a0f\u304cICFP\u5b66\u751f\u7814\u7a76\u30b3\u30f3\u30c6\u30b9\u30c8\u3067\u578b\u4ed8\u304d\u306e\u7a74\u306b\u3064\u3044\u3066\u767a\u8868"},"content":{"rendered":"<p><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" class=\"alignright size-medium wp-image-11438\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/icfp2025.png?resize=300%2C158&#038;ssl=1\" alt=\"\" width=\"300\" height=\"158\" srcset=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/icfp2025.png?resize=300%2C158&amp;ssl=1 300w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/icfp2025.png?resize=1024%2C538&amp;ssl=1 1024w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/icfp2025.png?resize=768%2C403&amp;ssl=1 768w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/icfp2025.png?w=1316&amp;ssl=1 1316w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2025\/10\/icfp2025.png?w=1120&amp;ssl=1 1120w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/>\u9673\u667a\u9a0f\" target=\"_blank\" rel=\"noopener\">Zhiqi Chen<\/a> presented his work entitled &#8220;Towards Programming with Effect Handlers and Typed Holes&#8221; at ICFP 2025 Student Research Competition.<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>\u304c &#8220;Towards Programming with Effect Handlers and Typed Holes&#8221; \u3068\u3044\u3046\u984c\u76ee\u306e\u767a\u8868\u3092 ICFP 2025 Student Research Competition \u3067\u884c\u3044\u307e\u3057\u305f\u3002<\/p>\n\n<iframe id='zhiqi-icfp25-src' src='\/papers\/bibtexbrowser.php?key=zhiqi-icfp25-src&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>\u9673\u667a\u9a0f&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Zhiqi Chen presented his work entitled &#8220;Towards Programming with Eff&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/icfp2025\/\">Continue Reading \u9673\u667a\u9a0f\u304cICFP\u5b66\u751f\u7814\u7a76\u30b3\u30f3\u30c6\u30b9\u30c8\u3067\u578b\u4ed8\u304d\u306e\u7a74\u306b\u3064\u3044\u3066\u767a\u8868<\/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-10290","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\/10290","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=10290"}],"version-history":[{"count":11,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/10290\/revisions"}],"predecessor-version":[{"id":11440,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/10290\/revisions\/11440"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=10290"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=10290"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=10290"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}