{"id":5888,"date":"2023-06-29T12:53:00","date_gmt":"2023-06-29T21:53:00","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=5888"},"modified":"2023-06-30T13:20:23","modified_gmt":"2023-06-30T22:20:23","slug":"yaozhu-suns-visit","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/yaozhu-suns-visit\/","title":{"rendered":"Yaozhu Sun\u6c0f\u6765\u8a2a"},"content":{"rendered":"<p><a href=\"https:\/\/hkuplg.github.io\/\">\u9999\u6e2f\u5927\u5b66<\/a>\u306e\u535a\u58eb\u8ab2\u7a0b\u5b66\u751f\u306e<a href=\"https:\/\/yzsun.me\/\">Yaozhu Sun<\/a>\u6c0f\u304c\u6765\u8a2a\u3057\u3001\u5f7c\u306e\u7814\u7a76\u3067\u3042\u308b<a href=\"https:\/\/hkuplg.github.io\/2021\/05\/04\/compositional-programming\/\">compositional programming<\/a>\u306b\u95a2\u3059\u308b\u8b1b\u6f14\u3092\u884c\u3044\u307e\u3057\u305f\u3002Sun\u6c0f\u306f\u4ea4\u63db\u7559\u5b66\u751f\u3068\u3057\u3066\u6211\u3005\u306e\u7814\u7a76\u5ba4\u306b\u6ede\u5728\u3057\u3066\u3044\u307e\u3057\u305f\u306e\u30675\u5e74\u3076\u308a\u306e\u6765\u8a2a\u3068\u3044\u3046\u3053\u3068\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n\n\n\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-full\"><a href=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2023\/06\/IMG_20230629_115420_2.jpg?ssl=1\"><img data-recalc-dims=\"1\" decoding=\"async\" width=\"560\" height=\"140\" loading=\"lazy\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2023\/06\/IMG_20230629_115420_2.jpg?resize=560%2C140&#038;ssl=1\" alt=\"\" class=\"wp-image-5889\" srcset=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2023\/06\/IMG_20230629_115420_2.jpg?w=1000&amp;ssl=1 1000w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2023\/06\/IMG_20230629_115420_2.jpg?resize=300%2C75&amp;ssl=1 300w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2023\/06\/IMG_20230629_115420_2.jpg?resize=768%2C192&amp;ssl=1 768w\" sizes=\"auto, (max-width: 560px) 100vw, 560px\" \/><\/a><\/figure><\/div>\n\n\n\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>\u9999\u6e2f\u5927\u5b66\u306e\u535a\u58eb\u8ab2\u7a0b\u5b66\u751f\u306eYaozhu Sun\u6c0f\u304c\u6765\u8a2a\u3057\u3001\u5f7c\u306e\u7814\u7a76\u3067\u3042\u308bcompositional programming\u306b\u95a2\u3059\u308b\u8b1b\u6f14\u3092\u884c\u3044\u307e\u3057\u305f\u3002Sun\u6c0f\u306f\u4ea4\u63db\u7559\u5b66\u751f\u3068\u3057\u3066\u6211\u3005\u306e\u7814\u7a76\u5ba4\u306b\u6ede\u5728\u3057\u3066\u3044\u307e\u3057\u305f\u306e\u30675\u5e74\u3076\u308a\u306e\u6765\u8a2a&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/yaozhu-suns-visit\/\">Continue Reading Yaozhu Sun\u6c0f\u6765\u8a2a<\/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":[5],"tags":[],"class_list":["post-5888","post","type-post","status-publish","format-standard","hentry","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\/5888","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=5888"}],"version-history":[{"count":5,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/5888\/revisions"}],"predecessor-version":[{"id":5894,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/5888\/revisions\/5894"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=5888"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=5888"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=5888"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}