{"id":5549,"date":"2023-02-07T03:11:57","date_gmt":"2023-02-07T12:11:57","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=5549"},"modified":"2025-03-05T14:46:09","modified_gmt":"2025-03-05T23:46:09","slug":"master-defense-2023-02","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/master-defense-2023-02\/","title":{"rendered":"\u6c60\u5b88\u3001\u53e4\u6bbf\u3001\u9ad8\u6a4b\u306b\u3088\u308b\u4fee\u58eb\u8ad6\u6587\u767a\u8868"},"content":{"rendered":"<p>\u7814\u7a76\u30e1\u30f3\u30d0\u306b\u3088\u308b\u4fee\u58eb\u8ad6\u6587\u306e\u767a\u8868\u304c\u884c\u308f\u308c\u307e\u3057\u305f\u3002<\/p>\r\n\r\n\r\n\r\n<ul class=\"wp-block-list\"><li><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/ikemori\/\" data-internallinksmanager029f6b8e52c=\"308\" title=\"\u6c60\u5b88\u548c\u69fb\" target=\"_blank\" rel=\"noopener\">Kazuki Ikemori<\/a>, Translation Between Effect Instances and Multi-prompt Control Operators<\/li><li>\u53e4\u6bbf\u76f4\u4e5f\" target=\"_blank\" rel=\"noopener\">Naoya Furudono<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/furudono\/\" data-internallinksmanager029f6b8e52c=\"307\" title=\"\u53e4\u6bbf\u76f4\u4e5f\" target=\"_blank\" rel=\"noopener\">\u53e4\u6bbf\u76f4\u4e5f<\/a>\u3001\u5dee\u5206\u5b9f\u884c\u306e\u5f62\u5f0f\u5316 <\/li><li>\u9ad8\u6a4b\u4fee\u7950\" target=\"_blank\" rel=\"noopener\">Shusuke Takahashi<\/a>, Implementation of Live Programming Environmnet Based on Differential Execution Using Evaluation History<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/takahashi\/\" data-internallinksmanager029f6b8e52c=\"306\" title=\"\u9ad8\u6a4b\u4fee\u7950\" target=\"_blank\" rel=\"noopener\">\u9ad8\u6a4b\u4fee\u7950<\/a>\u3001\u5b9f\u884c\u5c65\u6b74\u3092\u7528\u3044\u305f\u5dee\u5206\u5b9f\u884c\u578b\u30e9\u30a4\u30d7\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u74b0\u5883\u306e\u5b9f\u73fe<\/li><\/ul>\r\n\r\n\r\n\r\n<div data-wp-interactive=\"core\/file\" class=\"wp-block-file\"><object data-wp-bind--hidden=\"!state.hasPdfPreview\" hidden class=\"wp-block-file__embed\" data=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2023\/06\/2023-03M-furudono.pdf\" type=\"application\/pdf\" style=\"width:100%;height:600px\" aria-label=\"Embed of \u53e4\u6bbf\u76f4\u4e5f\u3001\u5dee\u5206\u5b9f\u884c\u306e\u5f62\u5f0f\u5316 .\u306e\u57cb\u3081\u8fbc\u307f\u3002\"><\/object><a id=\"wp-block-file--media-9b4756d8-7e6b-4ca4-9f6d-571206f61ace\" href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2023\/06\/2023-03M-furudono.pdf\">\u53e4\u6bbf\u76f4\u4e5f\u3001\u5dee\u5206\u5b9f\u884c\u306e\u5f62\u5f0f\u5316 <\/a><a href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2023\/06\/2023-03M-furudono.pdf\" class=\"wp-block-file__button\" download aria-describedby=\"wp-block-file--media-9b4756d8-7e6b-4ca4-9f6d-571206f61ace\">Download<\/a><\/div>\r\n\r\n\r\n\r\n<div data-wp-interactive=\"core\/file\" class=\"wp-block-file\"><object data-wp-bind--hidden=\"!state.hasPdfPreview\" hidden class=\"wp-block-file__embed\" data=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2023\/06\/2023-03M-ikemori.pdf\" type=\"application\/pdf\" style=\"width:100%;height:600px\" aria-label=\"Embed of Kazuki Ikemori, Translation Between Effect Instances and Multi-prompt Control Operators.\u306e\u57cb\u3081\u8fbc\u307f\u3002\"><\/object><a id=\"wp-block-file--media-b1135455-0bac-4e15-9ce0-7da255c69243\" href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2023\/06\/2023-03M-ikemori.pdf\">Kazuki Ikemori, Translation Between Effect Instances and Multi-prompt Control Operators<\/a><a href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2023\/06\/2023-03M-ikemori.pdf\" class=\"wp-block-file__button\" download aria-describedby=\"wp-block-file--media-b1135455-0bac-4e15-9ce0-7da255c69243\">Download<\/a><\/div>\r\n\r\n\r\n\r\n<div data-wp-interactive=\"core\/file\" class=\"wp-block-file\"><object data-wp-bind--hidden=\"!state.hasPdfPreview\" hidden class=\"wp-block-file__embed\" data=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2023\/06\/2023-03M-takahashi.pdf\" type=\"application\/pdf\" style=\"width:100%;height:600px\" aria-label=\"Embed of \u9ad8\u6a4b\u4fee\u7950\u3001\u5b9f\u884c\u5c65\u6b74\u3092\u7528\u3044\u305f\u5dee\u5206\u5b9f\u884c\u578b\u30e9\u30a4\u30d7\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u74b0\u5883\u306e\u5b9f\u73fe.\u306e\u57cb\u3081\u8fbc\u307f\u3002\"><\/object><a id=\"wp-block-file--media-b5d31daf-1753-4e6d-954b-930a0e2f0b29\" href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2023\/06\/2023-03M-takahashi.pdf\">\u9ad8\u6a4b\u4fee\u7950\u3001\u5b9f\u884c\u5c65\u6b74\u3092\u7528\u3044\u305f\u5dee\u5206\u5b9f\u884c\u578b\u30e9\u30a4\u30d7\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u74b0\u5883\u306e\u5b9f\u73fe<\/a><a href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2023\/06\/2023-03M-takahashi.pdf\" class=\"wp-block-file__button\" download aria-describedby=\"wp-block-file--media-b5d31daf-1753-4e6d-954b-930a0e2f0b29\">Download<\/a><\/div>","protected":false},"excerpt":{"rendered":"<p>\u7814\u7a76\u30e1\u30f3\u30d0\u306b\u3088\u308b\u4fee\u58eb\u8ad6\u6587\u306e\u767a\u8868\u304c\u884c\u308f\u308c\u307e\u3057\u305f\u3002 Kazuki Ikemori, Translation Between Effect Instances and Multi-prompt Control Operator&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/master-defense-2023-02\/\">Continue Reading \u6c60\u5b88\u3001\u53e4\u6bbf\u3001\u9ad8\u6a4b\u306b\u3088\u308b\u4fee\u58eb\u8ad6\u6587\u767a\u8868<\/a><\/p>\n","protected":false},"author":2,"featured_media":6202,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"nf_dc_page":"","_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[25,16,32,5],"tags":[],"class_list":["post-5549","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-effects","category-kanon","category-mthesis","category-news","radius"],"jetpack_featured_media_url":"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2023\/02\/master2023-03.png?fit=1000%2C1000&ssl=1","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/5549","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\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=5549"}],"version-history":[{"count":11,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/5549\/revisions"}],"predecessor-version":[{"id":9445,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/5549\/revisions\/9445"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media\/6202"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=5549"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=5549"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=5549"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}