{"id":2738,"date":"2026-03-09T21:18:52","date_gmt":"2026-03-10T06:18:52","guid":{"rendered":"http:\/\/prg.is.titech.ac.jp\/?page_id=2738"},"modified":"2026-03-10T08:00:31","modified_gmt":"2026-03-10T17:00:31","slug":"dependent-types-and-effects","status":"publish","type":"page","link":"https:\/\/prg.is.titech.ac.jp\/ja\/projects\/typesystem\/continuations-and-effects\/dependent-types-and-effects\/","title":{"rendered":"\u4f9d\u5b58\u578b\u3068\u30a8\u30d5\u30a7\u30af\u30c8"},"content":{"rendered":"<p>\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">Cong<\/a> has given a dependent type system for <em>delimited control operators<\/em>, which are a tool for manipulating control flow of programs. \u00a0The idea is to maintain soundness of the type system by restricting types to depend only on non-effectful terms.<\/p>\r\n<p>As future work, we intend to extend the type system with <em>algebraic effects and handlers<\/em>, and implement a prototype language based on that type system.<\/p>\r\n<p>&nbsp;<\/p>\r\n<h2><b>Members<\/b><\/h2>\r\n<div>\r\n<ul>\r\n<li><span style=\"font-size: medium;\"><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">Youyou Cong<\/a><\/span><\/li>\r\n<\/ul>\r\n<ul>\r\n<li><span style=\"font-size: medium;\"><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/furudono\/\" data-internallinksmanager029f6b8e52c=\"307\" title=\"\u53e4\u6bbf\u76f4\u4e5f\" target=\"_blank\" rel=\"noopener\">Naoya Furudono<\/a><\/span><\/li>\r\n<\/ul>\r\n<\/div>\r\n<p><strong>\u4f9d\u5b58\u578b<\/strong>\u3068\u306f\u3001\u6570\u5b57\u3084\u6587\u5b57\u5217\u3068\u3044\u3063\u305f\u9805\u306b\u8a00\u53ca\u3067\u304d\u308b\u578b\u306e\u3053\u3068\u3092\u6307\u3057\u307e\u3059\u3002\u3053\u306e\u3088\u3046\u306a\u578b\u3092\u7528\u3044\u308b\u3068\u3001\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u4ed5\u69d8\u3092\u6b63\u78ba\u306b\u8868\u73fe\u3059\u308b\u3053\u3068\u304c\u53ef\u80fd\u306b\u306a\u308a\u307e\u3059\u3002\u3057\u304b\u3057\u3001\u4f9d\u5b58\u578b\u4ed8\u304d\u8a00\u8a9e\u306e\u591a\u304f\u306f\u3001\u4f8b\u5916\u51e6\u7406\u3084\u7834\u58ca\u7684\u4ee3\u5165\u306a\u3069\u306e\u30a8\u30d5\u30a7\u30af\u30c8\u3092\u8a31\u3057\u307e\u305b\u3093\u3002\u3053\u308c\u306f\u3001\u4f9d\u5b58\u578b\u306b\u3088\u3063\u3066\u5f97\u3089\u308c\u308b\u4fe1\u983c\u6027\u3092\u5b9f\u4e16\u754c\u306e\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u306b\u53d6\u308a\u5165\u308c\u308b\u59a8\u3052\u3068\u306a\u308a\u307e\u3059\u3002<\/p>\r\n<p>\u305d\u3053\u3067\u3001\u672c\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u3067\u306f\u3001\u30a8\u30d5\u30a7\u30af\u30c8\u3092\u3082\u3064\u4f9d\u5b58\u578b\u4ed8\u304d\u8a00\u8a9e\u3092\u8a2d\u8a08\u3057\u307e\u3059\u3002\u3053\u308c\u307e\u3067\u306b\u3001<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">\u53e2<\/a>\u306e\u535a\u58eb\u8ab2\u7a0b\u306e\u7814\u7a76\u306b\u3088\u3063\u3066\u3001\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u5b9f\u884c\u3092\u5236\u5fa1\u3059\u308b\u305f\u3081\u306e\u30c4\u30fc\u30eb<strong>\u9650\u5b9a\u7d99\u7d9a\u547d\u4ee4<\/strong>\u306b\u5bfe\u3059\u308b\u4f9d\u5b58\u578b\u30b7\u30b9\u30c6\u30e0\u304c\u4e0e\u3048\u3089\u308c\u3066\u3044\u307e\u3059\u3002\u30a2\u30a4\u30c7\u30a3\u30a2\u3068\u3057\u3066\u306f\u3001\u578b\u306e\u4f9d\u5b58\u6027\u3092\u7d14\u7c8b\u306a\uff08\u30a8\u30d5\u30a7\u30af\u30c8\u3092\u542b\u307e\u306a\u3044\uff09\u9805\u306b\u9650\u5b9a\u3059\u308b\u3053\u3068\u3067\u3001\u578b\u30b7\u30b9\u30c6\u30e0\u306e\u5065\u5168\u6027\u3092\u4fdd\u8a3c\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\r\n<p>\u4eca\u5f8c\u306f\u3001\u578b\u30b7\u30b9\u30c6\u30e0\u3092<strong>\u4ee3\u6570\u7684\u30a8\u30d5\u30a7\u30af\u30c8\u3068\u30cf\u30f3\u30c9\u30e9<\/strong>\u3067\u62e1\u5f35\u3057\u3001\u305d\u308c\u306b\u57fa\u3065\u3044\u305f\u8a00\u8a9e\u3092\u5b9f\u88c5\u3059\u308b\u4e88\u5b9a\u3067\u3059\u3002<\/p>\r\n<p>&nbsp;<\/p>\r\n<h2><b>\u30e1\u30f3\u30d0\u30fc<\/b><\/h2>\r\n<div>\r\n<ul>\r\n<li><span style=\"font-size: medium;\"><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">\u53e2<\/a> \u60a0\u60a0<\/span><\/li>\r\n<\/ul>\r\n<ul>\r\n<li><span style=\"font-size: medium;\"><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/furudono\/\" data-internallinksmanager029f6b8e52c=\"307\" title=\"\u53e4\u6bbf\u76f4\u4e5f\" target=\"_blank\" rel=\"noopener\">\u53e4\u6bbf<\/a> \u76f4\u4e5f<\/span><\/li>\r\n<\/ul>\r\n<\/div>\r\n<p><\/p>\r\n\r\n<h2 class=\"wp-block-heading\">\u304a\u77e5\u3089\u305b<\/h2>\r\n\r\n\r\n<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\/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\/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\/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\/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\r\n\r\n\r\n<p>&nbsp;<\/p>","protected":false},"excerpt":{"rendered":"<p>\u53e2\u60a0\u60a0&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Cong has given a dependent type system for delimited control operators, wh&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/pepm21\/\">Continue Reading \u9650\u5b9a\u7d99\u7d9a\u547d\u4ee4\u306b\u95a2\u3059\u308b PEPM &#8217;21 \u8ad6\u6587<\/a><\/p>\n","protected":false},"author":6,"featured_media":0,"parent":8534,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"nf_dc_page":"","footnotes":""},"class_list":["post-2738","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\/2738","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=2738"}],"version-history":[{"count":333,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/2738\/revisions"}],"predecessor-version":[{"id":12179,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/2738\/revisions\/12179"}],"up":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/8534"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=2738"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}