{"id":4243,"date":"2022-03-17T21:22:00","date_gmt":"2022-03-18T06:22:00","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=4243"},"modified":"2022-03-09T00:14:34","modified_gmt":"2022-03-09T09:14:34","slug":"two-talks-on-optimization-and-type-inference-for-algebraic-effects-tfp22","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/two-talks-on-optimization-and-type-inference-for-algebraic-effects-tfp22\/","title":{"rendered":"\u4ee3\u6570\u7684\u30a8\u30d5\u30a7\u30af\u30c8\u306b\u95a2\u3059\u308b\u767a\u8868  (@ TFP 2022)"},"content":{"rendered":"<p>\u4ee5\u4e0b\u306e\u767a\u8868\u304c TFP 2022 \u3067\u884c\u308f\u308c\u307e\u3059\uff0e<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><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>, <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>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Hidehiko Masuhara<\/a>, and <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/daan\/\" data-internallinksmanager029f6b8e52c=\"319\" title=\"Daan Leijen\" target=\"_blank\" rel=\"noopener\">Daan Leijen<\/a>*. Towards&nbsp;Efficient Adjustment&nbsp;of Effect&nbsp;Rows<\/li><li><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/ikemori\/\" data-internallinksmanager029f6b8e52c=\"308\" title=\"\u6c60\u5b88\u548c\u69fb\" target=\"_blank\" rel=\"noopener\">Kazuki Ikemori<\/a>, <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>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Hidehiko Masuhara<\/a>, and <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/daan\/\" data-internallinksmanager029f6b8e52c=\"319\" title=\"Daan Leijen\" target=\"_blank\" rel=\"noopener\">Daan Leijen<\/a>*. Sound and Complete Type Inference for Closed Effect Rows.<\/li><li><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> and Kenichi Asai. Understanding Algebraic Effect Handlers via Delimited Control Operators.<\/li><\/ul>\n\n\n\n<p>*Microsoft Research, USA<\/p>\n\n\n\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>\u4ee5\u4e0b\u306e\u767a\u8868\u304c TFP 2022 \u3067\u884c\u308f\u308c\u307e\u3059\uff0e Naoya Furudono, Youyou Cong, Hidehiko Masuhara, and Daan Leijen*. Towards&nbsp;Efficie&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/two-talks-on-optimization-and-type-inference-for-algebraic-effects-tfp22\/\">Continue Reading \u4ee3\u6570\u7684\u30a8\u30d5\u30a7\u30af\u30c8\u306b\u95a2\u3059\u308b\u767a\u8868  (@ TFP 2022)<\/a><\/p>\n","protected":false},"author":2,"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":[25,5],"tags":[],"class_list":["post-4243","post","type-post","status-publish","format-standard","hentry","category-effects","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\/4243","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\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=4243"}],"version-history":[{"count":8,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/4243\/revisions"}],"predecessor-version":[{"id":4255,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/4243\/revisions\/4255"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=4243"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=4243"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=4243"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}