{"id":3527,"date":"2021-03-11T00:29:35","date_gmt":"2021-03-11T09:29:35","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=3527"},"modified":"2022-11-15T16:10:11","modified_gmt":"2022-11-16T01:10:11","slug":"best-poster-award-at-ppl-2021","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/best-poster-award-at-ppl-2021\/","title":{"rendered":"PPL 2021 \u306b\u304a\u3051\u308b\u30dd\u30b9\u30bf\u30fc\u8cde\u53d7\u8cde"},"content":{"rendered":"<p>\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">Youyou Cong<\/a>.  A Formalization of Counterpoint in Agda.<\/li><\/ul>\n\n\n\n<p>The poster PDF and Agda code can be found <a href=\"https:\/\/github.com\/YouyouCong\/counterpoint\">here<\/a>.<\/p>\n\n\n\n<p> \u4ee5\u4e0b\u306e\u767a\u8868\u304c PPL 2021 \u306b\u304a\u3044\u3066\u30dd\u30b9\u30bf\u30fc\u8cde\u3068\u3057\u3066\u8868\u5f70\u3055\u308c\u307e\u3057\u305f\u3002<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">\u53e2<\/a> \u60a0\u60a0. Agda \u306b\u3088\u308b\u5bfe\u4f4d\u6cd5\u306e\u5f62\u5f0f\u5316.<\/li><\/ul>\n\n\n\n<p>\u30dd\u30b9\u30bf\u30fc\u3068 Agda \u306e\u30b3\u30fc\u30c9\u304c<a href=\"https:\/\/github.com\/YouyouCong\/counterpoint\">\u3053\u3053<\/a>\u306b\u516c\u958b\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p><\/p>\n\n\n\n<div class=\"wp-block-image is-style-rounded\"><figure class=\"aligncenter size-medium\"><img data-recalc-dims=\"1\" decoding=\"async\" width=\"300\" height=\"237\" loading=\"lazy\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2021\/04\/image.jpg?resize=300%2C237&#038;ssl=1\" alt=\"\" class=\"wp-image-3584\" srcset=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2021\/04\/image.jpg?resize=300%2C237&amp;ssl=1 300w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2021\/04\/image.jpg?resize=1024%2C810&amp;ssl=1 1024w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2021\/04\/image.jpg?resize=768%2C607&amp;ssl=1 768w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2021\/04\/image.jpg?resize=190%2C150&amp;ssl=1 190w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2021\/04\/image.jpg?w=1186&amp;ssl=1 1186w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2021\/04\/image.jpg?w=1120&amp;ssl=1 1120w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/><\/figure><\/div>","protected":false},"excerpt":{"rendered":"<p>\u53e2\u60a0\u60a0&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Youyou Cong. A Formalization of Counterpoint in Agda. The poster PDF and A&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/best-poster-award-at-ppl-2021\/\">Continue Reading PPL 2021 \u306b\u304a\u3051\u308b\u30dd\u30b9\u30bf\u30fc\u8cde\u53d7\u8cde<\/a><\/p>\n","protected":false},"author":6,"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":[26,5],"tags":[],"class_list":["post-3527","post","type-post","status-publish","format-standard","hentry","category-music","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\/3527","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\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=3527"}],"version-history":[{"count":3,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/3527\/revisions"}],"predecessor-version":[{"id":3585,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/3527\/revisions\/3585"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=3527"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=3527"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=3527"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}