{"id":7920,"date":"2024-08-06T15:30:15","date_gmt":"2024-08-07T00:30:15","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=7920"},"modified":"2024-12-13T00:22:41","modified_gmt":"2024-12-13T09:22:41","slug":"departmental-seminar-cong-2019-06-2","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/departmental-seminar-cong-2019-06-2\/","title":{"rendered":"\u7530\u9089\u306b\u3088\u308b\u6570\u7406\u30fb\u8a08\u7b97\u79d1\u5b66\u7cfb\u8ac7\u8a71\u4f1a"},"content":{"rendered":"

\"\"<\/p>\n

\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">Yudai Tanabe<\/a> gave a seminar talk<\/a> at the Department of Mathematical and Computing Science.<\/p>\n

Date: Wednesday, August 6, 2024, 15:30-16:30
\nPlace: West 8 W1008
\nSpeaker: Yudai Tanabe<\/a>
\nTitle: Navigating Safety Across Language Systems: Space-efficient Gradual Typing<\/span>\u7530\u9089<\/a>\u304c\u6570\u7406\u30fb\u8a08\u7b97\u79d1\u5b66\u7cfb\u8ac7\u8a71\u4f1a<\/a>\u306b\u304a\u3044\u3066\u8b1b\u6f14\u3092\u884c\u3044\u307e\u3059\u3002\u672c\u8b1b\u6f14\u3067\u306f2024\u5e746\u6708\u306b\u767a\u8868\u3055\u308c\u305fPLDI\u8ad6\u6587<\/a>\u306e\u5185\u5bb9\u3092\u4e2d\u5fc3\u7684\u306b\u53d6\u308a\u6271\u3044\u307e\u3059\u3002<\/p>\n

\u65e5\u7a0b: 2024\u5e748\u67086\u65e5(\u6c34) 15:30\uff5e16:30
\n\u5834\u6240: \u897f8\u53f7\u9928 W\u68df 10\u968e 1008 \u30b3\u30e9\u30dc\u30ec\u30fc\u30b7\u30e7\u30f3\u30eb\u30fc\u30e0
\n\u8b1b\u5e2b: \u7530\u9089\u88d5\u5927<\/a> \u52a9\u6559
\n\u984c\u76ee: \u7570\u306a\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u7cfb\u306e\u5171\u5b58\u3092\u652f\u3048\u308b\u6280\u8853: \u6f38\u9032\u7684\u578b\u4ed8\u3051\u306e\u7a7a\u9593\u52b9\u7387\u306e\u826f\u3044\u5b9f\u88c5
\n\u6982\u8981:\u672c\u8b1b\u6f14\u3067\u306f\u3001\u7570\u306a\u308b\u8a00\u8a9e\u7cfb\u304c\u5171\u5b58\u3059\u308b\u8a00\u8a9e\u4f53\u7cfb\u3084\u305d\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u5b89\u5168\u6027\u306b\u95a2\u3059\u308b\u7814\u7a76\u6210\u679c\u3092\u7d39\u4ecb\u3059\u308b\u3002\u7279\u306b\u3001PLDI\u201924\u8ad6\u6587\u3067\u767a\u8868\u3055\u308c\u305f\u6f38\u9032\u7684\u578b\u4ed8\u3051\u306b\u95a2\u3059\u308b\u52b9\u7387\u7684\u306a\u5b9f\u88c5\u306b\u3064\u3044\u3066\u8a73\u8ff0\u3059\u308b\u3002\u672c\u7814\u7a76\u306e\u7126\u70b9\u306f\u3001\u30d1\u30e9\u30e1\u30c8\u30ea\u30c3\u30af\u591a\u614b\u6027\u306e\u5b58\u5728\u4e0b\u3067\u306e\u6bb5\u968e\u7684\u578b\u4ed8\u3051\u306e\u7a7a\u9593\u52b9\u7387\u6027\u306b\u3042\u308b\u3002\u65e2\u5b58\u7814\u7a76[Ozaki\u201921]\u306f\u5b8c\u5168\u306a\u30d1\u30e9\u30e1\u30c8\u30ea\u30c3\u30af\u591a\u614b\u6027\u3092\u30b5\u30dd\u30fc\u30c8\u3059\u308b\u7a7a\u9593\u52b9\u7387\u306e\u826f\u3044\u5b9f\u88c5\u304c\u4e0d\u53ef\u80fd\u3067\u3042\u308b\u3053\u3068\u3092\u793a\u3057\u305f\u3002\u3053\u306e\u554f\u984c\u306b\u5bfe\u3057\u3001\u672c\u7814\u7a76\u3067\u306f\u30d1\u30e9\u30e1\u30c8\u30ea\u30b7\u30c6\u30a3\u3092\u7de9\u548c\u3059\u308b\u3053\u3068\u3067\u3001\u539f\u7406\u7684\u306b\u7a7a\u9593\u52b9\u7387\u306e\u826f\u3044\u5b9f\u88c5\u304c\u53ef\u80fd\u3067\u3042\u308b\u3053\u3068\u3092\u793a\u3057\u305f\u3002\u672c\u8b1b\u6f14\u3067\u306f\u3001\u6f38\u9032\u7684\u578b\u4ed8\u3051\u306b\u304a\u3051\u308b\u30d1\u30e9\u30e1\u30c8\u30ea\u30c3\u30af\u591a\u614b\u6027\u3084\u7a7a\u9593\u52b9\u7387\u306e\u826f\u3044\u5b9f\u88c5\u306b\u95a2\u3059\u308b\u65e2\u5b58\u7814\u7a76\u3092\u7d39\u4ecb\u3057\u3001\u672c\u7814\u7a76\u306e\u6280\u8853\u958b\u767a\u3068\u4eca\u5f8c\u306e\u5c55\u671b\u306b\u3064\u3044\u3066\u7d39\u4ecb\u3059\u308b\u3002<\/p>\n

[Based on joint work with Atsushi Igarashi<\/a>, Shota Ozaki, and Taro Sekiyama<\/a> at Scheme\u201921 and PLDI\u201924]<\/p>\n

<\/p>","protected":false},"excerpt":{"rendered":"

\u7530\u9089\u88d5\u5927” target=”_blank” rel=”noopener”>Yudai Tanabe gave a seminar talk at the Department of Mathematical and Co… Continue Reading \u7530\u9089\u306b\u3088\u308b\u6570\u7406\u30fb\u8a08\u7b97\u79d1\u5b66\u7cfb\u8ac7\u8a71\u4f1a<\/a><\/p>\n","protected":false},"author":7,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"nf_dc_page":"","_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[50,5],"tags":[],"class_list":["post-7920","post","type-post","status-publish","format-standard","hentry","category-gradual-typing","category-news","radius"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/7920","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/types\/post"}],"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=7920"}],"version-history":[{"count":8,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/7920\/revisions"}],"predecessor-version":[{"id":7971,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/7920\/revisions\/7971"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=7920"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=7920"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=7920"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}