{"id":2653,"date":"2020-01-28T15:00:34","date_gmt":"2020-01-29T00:00:34","guid":{"rendered":"http:\/\/prg.is.titech.ac.jp\/?p=2653"},"modified":"2020-02-09T21:38:25","modified_gmt":"2020-02-10T06:38:25","slug":"talk-by-alex-potanin","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/talk-by-alex-potanin\/","title":{"rendered":"Alex Potanin \u5148\u751f\u306e\u8b1b\u6f14"},"content":{"rendered":"<p><a href=\"https:\/\/homepages.ecs.vuw.ac.nz\/~alex\/\">Alex Potanin<\/a>\u00a0\u5148\u751f\uff08\u30f4\u30a3\u30af\u30c8\u30ea\u30a2\u5927\u5b66\u30a6\u30a7\u30ea\u30f3\u30c8\u30f3\uff09\u306b\u3001\u4ee5\u4e0b\u306e\u30bf\u30a4\u30c8\u30eb\u3067\u3054\u8b1b\u6f14\u3044\u305f\u3060\u304d\u307e\u3057\u305f\u3002Potanin \u5148\u751f\u306f\u3001\u653b\u6483\u306b\u5f37\u3044\u30a6\u30a7\u30d6\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e Wyvern \u306e\u958b\u767a\u3092\u884c\u3063\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>&nbsp;<\/p>\n<p>\u8b1b\u6f14 1: Wyvern &#8211; Security by Design<\/p>\n<p>\u8b1b\u6f14 2:\u00a0Decidable Subtyping for Path Dependent Types<\/p>","protected":false},"excerpt":{"rendered":"<p>Alex Potanin\u00a0\u5148\u751f\uff08\u30f4\u30a3\u30af\u30c8\u30ea\u30a2\u5927\u5b66\u30a6\u30a7\u30ea\u30f3\u30c8\u30f3\uff09\u306b\u3001\u4ee5\u4e0b\u306e\u30bf\u30a4\u30c8\u30eb\u3067\u3054\u8b1b\u6f14\u3044\u305f\u3060\u304d\u307e\u3057\u305f\u3002Potanin \u5148\u751f\u306f\u3001\u653b\u6483\u306b\u5f37\u3044\u30a6\u30a7\u30d6\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e Wyvern \u306e\u958b\u767a\u3092\u884c\u3063\u3066\u3044\u307e\u3059\u3002 &nbsp; \u8b1b\u6f14&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/talk-by-alex-potanin\/\">Continue Reading Alex Potanin \u5148\u751f\u306e\u8b1b\u6f14<\/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":[5],"tags":[],"class_list":["post-2653","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\/2653","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=2653"}],"version-history":[{"count":3,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/2653\/revisions"}],"predecessor-version":[{"id":2656,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/2653\/revisions\/2656"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=2653"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=2653"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=2653"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}