{"id":8534,"date":"2026-03-09T21:18:52","date_gmt":"2026-03-10T06:18:52","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?page_id=8534"},"modified":"2026-03-10T08:00:37","modified_gmt":"2026-03-10T17:00:37","slug":"continuations-and-effects","status":"publish","type":"page","link":"https:\/\/prg.is.titech.ac.jp\/ja\/projects\/typesystem\/continuations-and-effects\/","title":{"rendered":"\u7d99\u7d9a\u3068\u30a8\u30d5\u30a7\u30af\u30c8"},"content":{"rendered":"<ul class=\"display-posts-listing\"><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/ppl2026-poster\/\">PPL2026\u30677\u4ef6\u306e\u30dd\u30b9\u30bf\u30fc\u30fb\u30c7\u30e2\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/ppl2026-c1\/\">PPL2026\u306b3\u672c\u306e\u8ad6\u6587\u304c\u63a1\u629e<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/taniguchis-presentation-at-popl-26-src\/\">\u8c37\u53e3\u831c\u304cPOPL &#8217;26 SRC\u306b\u3066\u9078\u629e\u30e2\u30ca\u30c9\u306b\u95a2\u3059\u308b\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/ipsj-pro-2025-11\/\">\u677e\u5c71\u304c\u30b3\u30ec\u30aa\u30b0\u30e9\u30d5\u30a3\u30c3\u30af\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306b\u95a2\u3057\u3066\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u7814\u7a76\u4f1a\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/three-papers-accepted-to-splash-e\/\">SPLASH-E \u306b3\u672c\u306e\u8ad6\u6587\u304c\u63a1\u629e<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/paper-on-continuations-in-music-accepted-to-olivierfest\/\">\u97f3\u697d\u306e\u4e2d\u306e\u7d99\u7d9a\u306b\u95a2\u3059\u308b\u8ad6\u6587\u304c OlivierFest \u306b\u63a1\u629e<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/chen-won-3rd-place-in-the-icfp-2025-src\/\">\u9673\u304cICFP 2025 SRC\u306b\u3066\u7b2c3\u4f4d\u3092\u53d7\u8cde<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/icfp2025\/\">\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><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/metaprogramming-2025\/\">\u5409\u6751\u30fbZhiqi Chen\u30fb\u53e2\u306b\u3088\u308b \u30e1\u30bf\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\u3067\u306e3\u4ef6\u306e\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/talk-on-coeffects-at-fp-matsuri\/\">\u677e\u5c71\u306b\u3088\u308b\u95a2\u6570\u578b\u307e\u3064\u308a\u3067\u306e\u30b3\u30a8\u30d5\u30a7\u30af\u30c8\u306b\u95a2\u3059\u308b\u8b1b\u6f14<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/konishi-received-ppl-2025-sponsors-choice-award\/\">\u5c0f\u897f\u304c PPL 2025 \u30b9\u30dd\u30f3\u30b5\u30fc\u7279\u5225\u8cde\u3092\u53d7\u8cde<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/ppl2025-poster\/\">PPL2025\u306716\u4ef6\u306e\u30dd\u30b9\u30bf\u30fc\u30c7\u30e2\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/paper-on-dependent-type-preserving-cps-translation-to-appear-in-ifl-2024-proceedings\/\">Paper on Dependent-Type-Preserving CPS Translation to Appear in IFL 2024 Proceedings<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/bachelor-defense-2025\/\">\u6797\u3001\u5409\u5c3e\u3001\u7a32\u8449\u3001\u718a\u672c\u3001\u677e\u5c71\u3001\u5c0f\u897f\u306b\u3088\u308b\u5352\u696d\u8ad6\u6587\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/ifl2024\/\">CPS\u5909\u63db\u30fb\u9650\u5b9a\u7d99\u7d9a\u30fb\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u6559\u80b2\u306b\u95a2\u3059\u308bIFL\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/master-defense-2024-02\/\">\u6589\u85e4\u3001\u89d2\u7530\u3001\u6d25\u5c71\u306b\u3088\u308b\u4fee\u58eb\u8ad6\u6587\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/pepm-2024\/\">\u30a8\u30d5\u30a7\u30af\u30c8\u30cf\u30f3\u30c9\u30e9\u306e\u305f\u3081\u306e\u5185\u5728\u7684\u578b\u5b89\u5168\u30b3\u30f3\u30d1\u30a4\u30e9\u306b\u95a2\u3059\u308bPEPM\u8ad6\u6587<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/pepm2024-cps\/\">\u4f9d\u5b58\u578b\u4ed8\u304d\u8a00\u8a9e\u306e CPS \u5909\u63db\u306b\u95a2\u3059\u308b\u767a\u8868 (@ PEPM 2024)<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/3-talks-on-formalization-at-tpp-2023\/\">\u5ddd\u6dfb\u3001\u6589\u85e4\u3001\u6d25\u5c71\u304c\u5b9a\u7406\u8a3c\u660e\u652f\u63f4\u7cfb\u3092\u4f7f\u3063\u305f\u7814\u7a76\u3092TPP 2023\u306b\u3066\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/enpaper-on-the-relationship-between-labeled-effect-handlers-and-labeled-control-operators-ppdp-2023-ja%e3%83%a9%e3%83%99%e3%83%ab%e4%bb%98%e3%81%8d%e3%82%a8%e3%83%95%e3%82%a7%e3%82%af%e3%83%88\/\">\u30a8\u30d5\u30a7\u30af\u30c8\u30cf\u30f3\u30c9\u30e9\u306e\u8868\u73fe\u529b\u306b\u95a2\u3059\u308bPPDP\u8ad6\u6587<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/en-talk-on-designing-a-language-for-learning-continuations-scheme-23-ja-%e7%b6%99%e7%b6%9a%e3%82%92%e5%ad%a6%e3%81%b6%e3%81%9f%e3%82%81%e3%81%ae%e3%83%97%e3%83%ad%e3%82%b0%e3%83%a9\/\">\u7d99\u7d9a\u3092\u5b66\u3076\u305f\u3081\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u8a2d\u8a08\u306b\u95a2\u3059\u308b\u767a\u8868 (@ Scheme 2023)<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/ppl2023\/\">\u30a8\u30d5\u30a7\u30af\u30c8\u30cf\u30f3\u30c9\u30e9\u306b\u5bfe\u3059\u308b\u4f9d\u5b58\u578b\u4ed8\u304d\u30b3\u30f3\u30d1\u30a4\u30e9\u306b\u95a2\u3059\u308bPPL 2023\u8ad6\u6587<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/master-defense-2023-02\/\">\u6c60\u5b88\u3001\u53e4\u6bbf\u3001\u9ad8\u6a4b\u306b\u3088\u308b\u4fee\u58eb\u8ad6\u6587\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/pepm2023\/\">\u30a8\u30d5\u30a7\u30af\u30c8\u30cf\u30f3\u30c9\u30e9\u306e\u30ea\u30d5\u30ec\u30af\u30b7\u30e7\u30f3\u306b\u95a2\u3059\u308b\u8ad6\u6587 (@ PEPM 2023)<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/oopsla-2022\/\">\u540d\u524d\u4ed8\u304d\u30a8\u30d5\u30a7\u30af\u30c8\u30cf\u30f3\u30c9\u30e9\u306b\u95a2\u3059\u308b\u8ad6\u6587\uff08@ OOPSLA 2022\uff09<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/presentations-on-effects-at-tyde-hope\/\">\u30a8\u30d5\u30a7\u30af\u30c8\u306b\u95a2\u3059\u308b\u767a\u8868\uff08TyDe &#038; HOPE\uff09<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/article-on-control-operators\/\">\u5236\u5fa1\u6f14\u7b97\u5b50\u306b\u95a2\u3059\u308b\u8ad6\u6587<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/ppl-summer-school-2022\/\">PPL\u30b5\u30de\u30fc\u30b9\u30af\u30fc\u30eb\u3067\u306e\u8a08\u7b97\u52b9\u679c\u306b\u3064\u3044\u3066\u306e\u8b1b\u7fa9<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/papers-on-algebraic-effects\/\">\u4ee3\u6570\u7684\u30a8\u30d5\u30a7\u30af\u30c8\u306b\u95a2\u3059\u308b\u8ad6\u6587  (@ TFP 2022)<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/two-talks-on-optimization-and-type-inference-for-algebraic-effects-tfp22\/\">\u4ee3\u6570\u7684\u30a8\u30d5\u30a7\u30af\u30c8\u306b\u95a2\u3059\u308b\u767a\u8868  (@ TFP 2022)<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/saito-tsunoda-and-tsuyama-presents-bachelors-theses\/\">\u6589\u85e4\u3001\u89d2\u7530\u3001\u6d25\u5c71\u306b\u3088\u308b\u5b66\u58eb\u8ad6\u6587\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/wits22\/\">Intrinsically-typed Interpreter\u306b\u95a2\u3059\u308b\u767a\u8868(@WITS&#8217;22)<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/talk-on-scheme-compiler-for-webassembly-at-jssst-along-with-3-posters\/\">\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u3067Scheme\u304b\u3089WebAssembly\u3078\u306e\u30b3\u30f3\u30d1\u30a4\u30e9\u306b\u95a2\u3059\u308b\u767a\u8868\u30683\u4ef6\u306e\u30dd\u30b9\u30bf\u30fc\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/talk-on-named-effect-handlers-hope-2021\/\">\u540d\u524d\u4ed8\u304d\u30a8\u30d5\u30a7\u30af\u30c8\u30cf\u30f3\u30c9\u30e9\u306b\u95a2\u3059\u308b\u767a\u8868\uff08@ HOPE 2021\uff09<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/talk-on-bidirectional-effects-tyde-2021\/\">\u53cc\u65b9\u5411\u30a8\u30d5\u30a7\u30af\u30c8\u306b\u95a2\u3059\u308b\u767a\u8868\uff08@ TyDe 2021\uff09<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/presentation-at-ppl21\/\">PPL&#8217;21\u306b\u3066\u8ad6\u6587\u30fb\u30dd\u30b9\u30bf\u30fc\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/bachelor-defense-2021\/\">\u6c60\u5b88\u3001\u9ad8\u6a4b\u3001\u53e4\u6bbf\u306b\u3088\u308b\u5b66\u58eb\u8ad6\u6587\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/masters-2021-02\/\">\u5c0f\u4e32\u3001\u65b0\u7f8e\u3001\u9673\u5ffb\u3001Luthfan\u304c\u4fee\u58eb\u8ad6\u6587\u3092\u767a\u8868\u3057\u307e\u3057\u305f<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/pepm21\/\">\u9650\u5b9a\u7d99\u7d9a\u547d\u4ee4\u306b\u95a2\u3059\u308b PEPM &#8217;21 \u8ad6\u6587<\/a><\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":6,"featured_media":0,"parent":2733,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"nf_dc_page":"","footnotes":""},"class_list":["post-8534","page","type-page","status-publish","hentry","radius"],"jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/8534","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=8534"}],"version-history":[{"count":226,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/8534\/revisions"}],"predecessor-version":[{"id":12186,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/8534\/revisions\/12186"}],"up":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/2733"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=8534"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}