{"id":4745,"date":"2022-08-30T14:59:00","date_gmt":"2022-08-30T23:59:00","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=4745"},"modified":"2022-10-17T00:35:18","modified_gmt":"2022-10-17T09:35:18","slug":"ppl-summer-school-2022","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/ppl-summer-school-2022\/","title":{"rendered":"PPL\u30b5\u30de\u30fc\u30b9\u30af\u30fc\u30eb\u3067\u306e\u8a08\u7b97\u52b9\u679c\u306b\u3064\u3044\u3066\u306e\u8b1b\u7fa9"},"content":{"rendered":"<p>\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">Cong<\/a> gives a lecture on &#8220;an introduction to computational effects: from programming to theory&#8221; along with Prof. Katsumata and Prof. <a href=\"https:\/\/skymountain.github.io\/\" data-internallinksmanager029f6b8e52c=\"349\" title=\"Taro Sekiyama\" target=\"_blank\" rel=\"noopener\">Sekiyama<\/a> at the PPL Summer School 2022.<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">\u53e2\u60a0\u60a0<\/a>\u304cPPL\u30b5\u30de\u30fc\u30b9\u30af\u30fc\u30eb2022\u300c\u8a08\u7b97\u52b9\u679c\u5165\u9580 \u2015 \u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u304b\u3089\u7406\u8ad6\u307e\u3067 \u2015\u300d\u3067NII\u306e\u52dd\u80a1\u5be9\u4e5f\u5148\u751f\u3001<a href=\"https:\/\/skymountain.github.io\/\" data-internallinksmanager029f6b8e52c=\"349\" title=\"Taro Sekiyama\" target=\"_blank\" rel=\"noopener\">\u95a2\u5c71<\/a>\u592a\u6717\u5148\u751f\u3068\u3068\u3082\u306b\u8b1b\u5e2b\u3092\u52e4\u3081\u307e\u3059\u3002<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><a href=\"http:\/\/ppl.jssst.or.jp\/index.php?ss2022\">PPL\u30b5\u30de\u30fc\u30b9\u30af\u30fc\u30eb2022<\/a><\/li><li><a href=\"https:\/\/prg.is.titech.ac.jp\/projects\/typesystem\/dependent-types-and-effects\/\" data-type=\"page\" data-id=\"2738\">\u7814\u7a76\u5ba4\u3067\u306e\u95a2\u9023\u30d7\u30ed\u30b8\u30a7\u30af\u30c8<\/a><\/li><\/ul>\n\n\n\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>\u53e2\u60a0\u60a0&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Cong gives a lecture on &#8220;an introduction to computational effects: f&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/ppl-summer-school-2022\/\">Continue Reading PPL\u30b5\u30de\u30fc\u30b9\u30af\u30fc\u30eb\u3067\u306e\u8a08\u7b97\u52b9\u679c\u306b\u3064\u3044\u3066\u306e\u8b1b\u7fa9<\/a><\/p>\n","protected":false},"author":1,"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-4745","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\/4745","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\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=4745"}],"version-history":[{"count":8,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/4745\/revisions"}],"predecessor-version":[{"id":5387,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/4745\/revisions\/5387"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=4745"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=4745"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=4745"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}