{"id":10221,"date":"2025-09-24T18:43:00","date_gmt":"2025-09-25T03:43:00","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=10221"},"modified":"2025-11-10T00:21:28","modified_gmt":"2025-11-10T09:21:28","slug":"invited-talk-on-nii-karuizawa","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/invited-talk-on-nii-karuizawa\/","title":{"rendered":"\u7530\u9089\u306b\u3088\u308b\u6f38\u9032\u7684\u578b\u4ed8\u3051\u306b\u95a2\u3059\u308bNII\u8efd\u4e95\u6ca2\u30bb\u30df\u30ca\u30fc\u3067\u306e\u62db\u5f85\u30bb\u30df\u30ca\u30fc"},"content":{"rendered":"<p>\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">Tanabe<\/a> gave an invited talk at the NII Karui-awa Workshop.<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yudai-tanabe\/\" data-internallinksmanager029f6b8e52c=\"341\" title=\"\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">\u7530\u9089<\/a>\u306b\u3088\u308bNII\u8efd\u4e95\u6ca2\u30bb\u30df\u30ca\u30fc\u62db\u5f85\u8b1b\u6f14\u304c\u884c\u308f\u308c\u307e\u3057\u305f\u3002<\/p>\r\n<div>\r\n<div>\r\n\n<iframe src='\/papers\/bibindex.php?keys=tanabe2025-NII_karuizawa-invited&bib=prg-e.bib;thesis-b.bib;thesis-m.bib;thesis-d.bib;prg-j.bib&parent=%2Fja%2Fwp-json%2Fwp%2Fv2%2Fposts%2F10221' class='bibtexbrowser' onload='resizeIframe(this)'><\/iframe><\/p>\r\n<\/div>\r\n<\/div>\r\n<p>\u672c\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\u306f<a href=\"https:\/\/www.nii.ac.jp\/about\/seminar-house\/\">\u8efd\u4e95\u6ca2\u306b\u3042\u308b\u56fd\u969b\u9ad8\u7b49\u30bb\u30df\u30ca\u30fc\u30cf\u30a6\u30b9<\/a>\u3092\u4f7f\u7528\u3057\u3066\u958b\u50ac\u3055\u308c\u308b\u3001\u5408\u5bbf\u5f62\u5f0f\u304b\u3064\u62db\u5f85\u5236\u306e\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\u3067\u3059\u3002\u4eca\u56de\u306f\u56fd\u5185\u306ePL theory\u95a2\u9023\u306e\u82e5\u624b\u7814\u7a76\u8005(\u52a9\u6559\u76f8\u5f53)\u304c\u62db\u5f85\u3055\u308c\u307e\u3057\u305f\u3002<\/p>\r\n<p>\ud83d\udc49<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/projects\/typesystem\/gradual-typing\/\" data-type=\"URL\" data-id=\"https:\/\/prg.is.titech.ac.jp\/projects\/version\">\u30d7\u30ed\u30b8\u30a7\u30af\u30c8<\/a><\/p>\r\n<p>\n<iframe id='tanabe2025-NII_karuizawa-invited' src='\/papers\/bibtexbrowser.php?key=tanabe2025-NII_karuizawa-invited&bib=prg-e.bib;thesis-b.bib;thesis-m.bib;thesis-d.bib;prg-j.bib' class='bibtexbrowser' onload='resizeIframe(this)'><\/iframe>","protected":false},"excerpt":{"rendered":"<p>\u7530\u9089\u88d5\u5927&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Tanabe gave an invited talk at the NII Karui-awa Workshop.\u7530\u9089\u306b\u3088\u308bNII\u8efd\u4e95\u6ca2\u30bb\u30df\u30ca\u30fc&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/invited-talk-on-nii-karuizawa\/\">Continue Reading \u7530\u9089\u306b\u3088\u308b\u6f38\u9032\u7684\u578b\u4ed8\u3051\u306b\u95a2\u3059\u308bNII\u8efd\u4e95\u6ca2\u30bb\u30df\u30ca\u30fc\u3067\u306e\u62db\u5f85\u30bb\u30df\u30ca\u30fc<\/a><\/p>\n","protected":false},"author":7,"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":[50,5],"tags":[],"class_list":["post-10221","post","type-post","status-publish","format-standard","hentry","category-gradual-typing","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\/10221","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\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=10221"}],"version-history":[{"count":16,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/10221\/revisions"}],"predecessor-version":[{"id":11385,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/10221\/revisions\/11385"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=10221"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=10221"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=10221"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}