{"id":8573,"date":"2026-03-09T21:18:52","date_gmt":"2026-03-10T06:18:52","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?page_id=8573"},"modified":"2026-03-10T08:00:32","modified_gmt":"2026-03-10T17:00:32","slug":"type-systems-for-computational-resource-management","status":"publish","type":"page","link":"https:\/\/prg.is.titech.ac.jp\/ja\/projects\/typesystem\/type-systems-for-computational-resource-management\/","title":{"rendered":"\u8a08\u7b97\u8cc7\u6e90\u7ba1\u7406"},"content":{"rendered":"<p><\/p>\n<p>\u5b89\u5168\u306a\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u8a18\u8ff0\u3059\u308b\u305f\u3081\u306b\u306f\u8a08\u7b97\u8cc7\u6e90\uff08\u8a08\u7b97\u6642\u9593, \u30e1\u30e2\u30ea, \u30d5\u30a1\u30a4\u30eb\u30cf\u30f3\u30c9\u30eb, \u5909\u6570\u306e\u6240\u6709\u6a29\u306a\u3069\uff09\u3092\u5b89\u5168\u306b\u7ba1\u7406\u3059\u308b\u3053\u3068\u304c\u91cd\u8981\u3067\u3059\u3002<\/p>\n<p>\u672c\u7814\u7a76\u5ba4\u3067\u306f\u30d7\u30ed\u30b0\u30e9\u30e0\u306b\u767b\u5834\u3059\u308b\u69d8\u3005\u306a\u8a08\u7b97\u8cc7\u6e90\u306e\u7ba1\u7406\u306e\u305f\u3081\u306e\u578b\u30b7\u30b9\u30c6\u30e0\uff08\u90e8\u5206\u69cb\u9020\u578b\u3084\u30b3\u30a8\u30d5\u30a7\u30af\u30c8\u578b, \u6240\u6709\u6a29\u578b\uff09\u306e\u7814\u7a76\u3084\u3001\u305d\u308c\u3089\u306e\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u958b\u767a\u3078\u306e\u5fdc\u7528\u306e\u7814\u7a76\u3092\u884c\u3063\u3066\u3044\u307e\u3059\u3002<\/p>\n<p><\/p>\n<h2 id=\"content_1_1\">Related Posts<\/h2>\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\/matsushita-received-ppl-2025-poster-award\/\">\u677e\u4e0b\u7950\u4ecb\u6c0f\u304c PPL 2025 \u30dd\u30b9\u30bf\u30fc\u8cde\uff08\u4e00\u822c\u306e\u90e8\uff09\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\/invited-talk-on-pwv-at-the-stair-lab-seminar\/\">Programming with Versions\u306b\u95a2\u3059\u308b\u5343\u8449\u5de5\u5927\u30b9\u30c6\u30a2\u30e9\u30dc\u30bb\u30df\u30ca\u30fc\u62db\u5f85\u8b1b\u6f14<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/ppl2024-1\/\">\u30d0\u30fc\u30b8\u30e7\u30f3\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u30b3\u30f3\u30d1\u30a4\u30eb\u624b\u6cd5\u306b\u95a2\u3059\u308bPPL 2024\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/aplas2023\/\">\u30d0\u30fc\u30b8\u30e7\u30f3\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u30b3\u30f3\u30d1\u30a4\u30eb\u624b\u6cd5\u306b\u95a2\u3059\u308bAPLAS 2023\u8ad6\u6587<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/tanabe-phd-abstracts-jfp\/\">\u7530\u9089\u306e\u535a\u58eb\u8ad6\u6587\u304cJournal of Functional Programming\u306b\u3066\u7d39\u4ecb<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/programming2023\/\">\u300c\u30d0\u30fc\u30b8\u30e7\u30f3\u4ed8\u304d\u95a2\u6570\u578b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u300d\u306e\u767a\u8868 (@ \u2039Programming\u203a 2023)<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/doctoral-defense-tanabe\/\">\u535a\u58eb\u8ad6\u6587\u516c\u8074\u4f1a: \u7530\u8fba\u88d5\u5927<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/cop22-paper-on-a-step-toward-programming-with-versions-in-real-world-functional-languages\/\">COP 2022\u56fd\u969b\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\u306b\u304a\u3044\u3066\u30d0\u30fc\u30b8\u30e7\u30f3\u4ed8\u304d\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306b\u95a2\u3059\u308b\u8b1b\u6f14<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/programming2022\/\">\u300c\u30d0\u30fc\u30b8\u30e7\u30f3\u4ed8\u304d\u95a2\u6570\u578b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u300d\u306e\u767a\u8868 (@ \u2039Programming\u203a 2022)<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/paper-poster-presentation-at-ppl22\/\">PPL2022\u306b\u3066\u30e2\u30ca\u30c7\u30a3\u30c3\u30af\u7b49\u5f0f\u63a8\u8ad6\u306b\u95a2\u3059\u308b\u8ad6\u6587(\u3068\u3044\u304f\u3064\u304b\u306e\u8ad6\u6587\u30fb\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\/cop21\/\">\u30d0\u30fc\u30b8\u30e7\u30f3\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306b\u95a2\u3059\u308bCOP&#8217;21\u62db\u5f85\u8b1b\u6f14<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/jssst2020\/\">GPGPU\u306e\u305f\u3081\u306ePython DSL\u306b\u95a2\u3059\u308b\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u5927\u4f1a\u8ad6\u6587\u30685\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\/poster-demo-presentation-at-ppl2020\/\">PPL2020\u3067\u306e\u30dd\u30b9\u30bf\u30fc\u3068\u30c7\u30e2\u767a\u8868<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/masters-theses-presentations-by-izawa-tanabe-and-aochi\/\">\u4f0a\u6fa4\u3001\u7530\u8fba\u3001\u53d4\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\/a-presentation-at-ipsj-pro\/\">IPSJ-PRO\u3067\u306e\u53e3\u982d\u767a\u8868\u300e\u30b3\u30a8\u30d5\u30a7\u30af\u30c8\u8a08\u7b97\u306b\u57fa\u3065\u304f\u91cf\u5316\u578b\u306e\u518d\u5f62\u5f0f\u5316\u300f<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/paper-presentation-at-ppl-2019\/\">PPL 2019 \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\/a-paper-entitled-a-context-oriented-programming-approach-to-dependency-hell-at-ecoopcop-2018\/\">COP2018\u3067\u306e\u8ad6\u6587\u767a\u8868 &#8220;A Context-Oriented Programming Approach to Dependency Hell&#8221;<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/%e6%97%a5%e6%9c%ac%e8%aa%9e-%e7%ac%ac20%e5%9b%9epplppl2018%e3%81%a7%e4%bc%8a%e6%b2%a2-%e7%94%b0%e8%be%ba-%e5%a5%a5%e6%b2%b3%e3%81%8c%e3%83%9d%e3%82%b9%e3%82%bf%e3%83%bc%e3%81%ae%e7%99%ba\/\">\u7b2c20\u56de\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u304a\u3088\u3073\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7(PPL2018)\u3067\u4f0a\u6fa4, \u7530\u8fba, \u5965\u6cb3\u304c\u30dd\u30b9\u30bf\u30fc\u306e\u767a\u8868<\/a><\/li><\/ul>","protected":false},"excerpt":{"rendered":"<p>\u5b89\u5168\u306a\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u8a18\u8ff0\u3059\u308b\u305f\u3081\u306b\u306f\u8a08\u7b97\u8cc7\u6e90\uff08\u8a08\u7b97\u6642\u9593, \u30e1\u30e2\u30ea, \u30d5\u30a1\u30a4\u30eb\u30cf\u30f3\u30c9\u30eb, \u5909\u6570\u306e\u6240\u6709\u6a29\u306a\u3069\uff09\u3092\u5b89\u5168\u306b\u7ba1\u7406\u3059\u308b\u3053\u3068\u304c\u91cd\u8981\u3067\u3059\u3002 \u672c\u7814\u7a76\u5ba4\u3067\u306f\u30d7\u30ed\u30b0\u30e9\u30e0\u306b\u767b\u5834\u3059\u308b\u69d8\u3005\u306a\u8a08\u7b97\u8cc7\u6e90\u306e\u7ba1\u7406\u306e\u305f\u3081\u306e\u578b\u30b7\u30b9\u30c6\u30e0\uff08\u90e8\u5206\u69cb\u9020\u578b&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/%e6%97%a5%e6%9c%ac%e8%aa%9e-%e7%ac%ac20%e5%9b%9epplppl2018%e3%81%a7%e4%bc%8a%e6%b2%a2-%e7%94%b0%e8%be%ba-%e5%a5%a5%e6%b2%b3%e3%81%8c%e3%83%9d%e3%82%b9%e3%82%bf%e3%83%bc%e3%81%ae%e7%99%ba\/\">Continue Reading \u7b2c20\u56de\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u304a\u3088\u3073\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7(PPL2018)\u3067\u4f0a\u6fa4, \u7530\u8fba, \u5965\u6cb3\u304c\u30dd\u30b9\u30bf\u30fc\u306e\u767a\u8868<\/a><\/p>\n","protected":false},"author":7,"featured_media":0,"parent":2733,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"nf_dc_page":"","footnotes":""},"class_list":["post-8573","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\/8573","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\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=8573"}],"version-history":[{"count":82,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/8573\/revisions"}],"predecessor-version":[{"id":12180,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/8573\/revisions\/12180"}],"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=8573"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}