{"id":8551,"date":"2025-11-06T18:46:00","date_gmt":"2025-11-07T03:46:00","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?page_id=8551"},"modified":"2025-11-07T08:00:43","modified_gmt":"2025-11-07T17:00:43","slug":"gradual-typing","status":"publish","type":"page","link":"https:\/\/prg.is.titech.ac.jp\/ja\/projects\/typesystem\/gradual-typing\/","title":{"rendered":"\u6f38\u9032\u7684\u578b\u4ed8\u3051"},"content":{"rendered":"<p>\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">Tanabe<\/a> in collaboration with Kyoto University and NII.<\/p>\n<p><\/p>\n<p>\u6f38\u9032\u7684\u578b\u4ed8\u3051\u306f Siek \u3084 Taha \u306b\u3088\u3063\u3066\u63d0\u6848\u3055\u308c\u305f\u3001\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u4e00\u90e8\u3092\u52d5\u7684\u578b\u4ed8\u3051\u3057\u3001\u4ed6\u306e\u90e8\u5206\u3092\u9759\u7684\u578b\u4ed8\u3051\u3059\u308b\u3053\u3068\u3092\u8a31\u5bb9\u3059\u308b\u578b\u30b7\u30b9\u30c6\u30e0\u3067\u3059\u3002<\/p>\n<p>\u73fe\u5728\u306f<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yudai-tanabe\/\" data-internallinksmanager029f6b8e52c=\"341\" title=\"\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">\u7530\u9089<\/a>\u304c\u4eac\u90fd\u5927\u5b66\u3084NII\u3068\u5171\u306b\u3001\u6f38\u9032\u7684\u578b\u4ed8\u3051\u306e\u305f\u3081\u306e\u578b\u7406\u8ad6\u3084\u52b9\u7387\u7684\u306a\u5b9f\u88c5\u306b\u95a2\u3059\u308b\u5171\u540c\u7814\u7a76\u3092\u884c\u3063\u3066\u3044\u307e\u3059\u3002<\/p>\n<p><\/p>\n<ul class=\"display-posts-listing\"><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/invited-talk-on-pro-2025-3\/\">\u7530\u9089\u306b\u3088\u308b\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u7814\u7a76\u767a\u8868\u4f1a\u3067\u306e\u62db\u5f85\u8b1b\u6f14<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/invited-talk-on-nii-karuizawa\/\">\u7530\u9089\u306b\u3088\u308b\u6f38\u9032\u7684\u578b\u4ed8\u3051\u306b\u95a2\u3059\u308bNII\u8efd\u4e95\u6ca2\u30bb\u30df\u30ca\u30fc\u3067\u306e\u62db\u5f85\u30bb\u30df\u30ca\u30fc<\/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-2-2\/\">\u6f38\u9032\u7684\u578b\u4ed8\u3051\u306b\u95a2\u3059\u308bPPL2025\u3067\u306e\u30ab\u30c6\u30b4\u30ea2\uff08\u56fd\u969b\u65e2\u767a\u8868\u8ad6\u6587\uff09\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-2\/\">\u6f38\u9032\u7684\u578b\u4ed8\u3051\u306b\u95a2\u3059\u308b\u65e5\u672c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u7b2c41\u56de\u5927\u4f1a\u30c8\u30c3\u30d7\u30ab\u30f3\u30d5\u30a1\u30ec\u30f3\u30b9\u7279\u5225\u8b1b\u6f14<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/departmental-seminar-cong-2019-06-2\/\">\u7530\u9089\u306b\u3088\u308b\u6570\u7406\u30fb\u8a08\u7b97\u79d1\u5b66\u7cfb\u8ac7\u8a71\u4f1a<\/a><\/li><li class=\"listing-item\"><a class=\"title\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/pldi-2024\/\">\u7a7a\u9593\u52b9\u7387\u306e\u826f\u3044\u6f38\u9032\u7684\u578b\u4ed8\u3051\u306b\u95a2\u3059\u308b PLDI 2024 \u8ad6\u6587<\/a><\/li><\/ul>","protected":false},"excerpt":{"rendered":"<p>\u7530\u9089\u88d5\u5927&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Tanabe in collaboration with Kyoto University and NII. \u6f38\u9032\u7684\u578b\u4ed8\u3051\u306f Siek \u3084 Tah&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/pldi-2024\/\">Continue Reading \u7a7a\u9593\u52b9\u7387\u306e\u826f\u3044\u6f38\u9032\u7684\u578b\u4ed8\u3051\u306b\u95a2\u3059\u308b PLDI 2024 \u8ad6\u6587<\/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-8551","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\/8551","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=8551"}],"version-history":[{"count":134,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/8551\/revisions"}],"predecessor-version":[{"id":11368,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/pages\/8551\/revisions\/11368"}],"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=8551"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}