{"id":2733,"date":"2026-03-09T21:18:52","date_gmt":"2026-03-10T06:18:52","guid":{"rendered":"http:\/\/prg.is.titech.ac.jp\/?page_id=2733"},"modified":"2026-03-10T08:00:36","modified_gmt":"2026-03-10T17:00:36","slug":"typesystem","status":"publish","type":"page","link":"https:\/\/prg.is.titech.ac.jp\/ja\/projects\/typesystem\/","title":{"rendered":"\u578b\u30b7\u30b9\u30c6\u30e0"},"content":{"rendered":"<div id=\"ccchildpages-1\" class=\"ccchildpages onecol simple ccclearfix\"><ul class=\"ccchildpages_list ccclearfix\"><li class=\"page_item page-item-8534 page_item_has_children\"><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/projects\/typesystem\/continuations-and-effects\/\">\u7d99\u7d9a\u3068\u30a8\u30d5\u30a7\u30af\u30c8<\/a>\n<ul class='children'>\n\t<li class=\"page_item page-item-2738\"><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/projects\/typesystem\/continuations-and-effects\/dependent-types-and-effects\/\">\u4f9d\u5b58\u578b\u3068\u30a8\u30d5\u30a7\u30af\u30c8<\/a><\/li>\n\t<li class=\"page_item page-item-8544\"><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/projects\/typesystem\/continuations-and-effects\/object-oriented-programming-language-with-control-operators\/\">\u5236\u5fa1\u6f14\u7b97\u5b50\u3092\u6301\u3064\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u8a00\u8a9e<\/a><\/li>\n\t<li class=\"page_item page-item-6007\"><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/?page_id=6007\">\u30a8\u30d5\u30a7\u30af\u30c8\u6a5f\u69cb\u306e\u9593\u306e\u578b\u5b89\u5168\u306a\u5909\u63db<\/a><\/li>\n<\/ul>\n<\/li>\n<li class=\"page_item page-item-8573\"><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/projects\/typesystem\/type-systems-for-computational-resource-management\/\">\u8a08\u7b97\u8cc7\u6e90\u7ba1\u7406<\/a><\/li>\n<li class=\"page_item page-item-8551\"><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/projects\/typesystem\/gradual-typing\/\">\u6f38\u9032\u7684\u578b\u4ed8\u3051<\/a><\/li>\n<li class=\"page_item page-item-8655\"><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/projects\/typesystem\/shape-types\/\">\u914d\u5217\u30fb\u30c6\u30f3\u30bd\u30eb\u5f62\u72b6\u306e\u305f\u3081\u306e\u578b\u30b7\u30b9\u30c6\u30e0<\/a><\/li><\/ul><\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":6,"featured_media":0,"parent":6,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"nf_dc_page":"","footnotes":""},"class_list":["post-2733","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\/2733","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=2733"}],"version-history":[{"count":400,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/2733\/revisions"}],"predecessor-version":[{"id":12185,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/2733\/revisions\/12185"}],"up":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/6"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=2733"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}