{"id":1652,"date":"2018-03-31T22:01:37","date_gmt":"2018-04-01T07:01:37","guid":{"rendered":"http:\/\/prg.is.titech.ac.jp\/?p=1652"},"modified":"2024-12-13T01:14:14","modified_gmt":"2024-12-13T10:14:14","slug":"%e6%97%a5%e6%9c%ac%e8%aa%9e-%e7%ac%ac20%e5%9b%9epplppl2018%e3%81%a7%e4%bc%8a%e6%b2%a2-%e7%94%b0%e8%be%ba-%e5%a5%a5%e6%b2%b3%e3%81%8c%e3%83%9d%e3%82%b9%e3%82%bf%e3%83%bc%e3%81%ae%e7%99%ba","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/%e6%97%a5%e6%9c%ac%e8%aa%9e-%e7%ac%ac20%e5%9b%9epplppl2018%e3%81%a7%e4%bc%8a%e6%b2%a2-%e7%94%b0%e8%be%ba-%e5%a5%a5%e6%b2%b3%e3%81%8c%e3%83%9d%e3%82%b9%e3%82%bf%e3%83%bc%e3%81%ae%e7%99%ba\/","title":{"rendered":"\u7b2c20\u56de\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u304a\u3088\u3073\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7(PPL2018)\u3067\u4f0a\u6fa4, \u7530\u8fba, \u5965\u6cb3\u304c\u30dd\u30b9\u30bf\u30fc\u306e\u767a\u8868"},"content":{"rendered":"<p>\u4f0a\u6fa4\u4f91\u7950\" target=\"_blank\" rel=\"noopener\">Izawa<\/a>, Okugawa and <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yudai-tanabe\/\" data-internallinksmanager029f6b8e52c=\"341\" title=\"\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">Tanabe<\/a> did the poster presentation at <a href=\"https:\/\/jssst-ppl.org\/workshop\/2018\/\">the PPL workshop<\/a>.<\/p>\n<ul>\n<li>&#8220;Proposal of a meta-hybrid JIT compiler (\u30e1\u30bf\u6df7\u5408JIT\u30b3\u30f3\u30d1\u30a4\u30e9\u306e\u63d0\u6848)&#8221; by <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yusuke-izawa\/\" data-internallinksmanager029f6b8e52c=\"301\" title=\"\u4f0a\u6fa4\u4f91\u7950\" target=\"_blank\" rel=\"noopener\">Izawa<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Masuhara<\/a> and <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/aotani\/\" data-internallinksmanager029f6b8e52c=\"290\" title=\"&lt;!--:en--&gt;Tomoyuki Aotani&lt;!--:--&gt;&lt;!--:ja--&gt;\u9752\u8c37\u77e5\u5e78&lt;!--:--&gt;\" target=\"_blank\" rel=\"noopener\">Aotani<\/a><\/li>\n<\/ul>\n<p><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" class=\"aligncenter\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2018\/04\/iazawaPPL2018.jpg?w=560&#038;ssl=1\" \/><\/p>\n<ul>\n<li><span class=\"title\">&#8220;Introducing versions into a programming language (\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3078\u306e\u30d0\u30fc\u30b8\u30e7\u30f3\u306e\u5c0e\u5165\u306e\u7814\u7a76)&#8221; by <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yudai-tanabe\/\" data-internallinksmanager029f6b8e52c=\"341\" title=\"\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">Tanabe<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/aotani\/\" data-internallinksmanager029f6b8e52c=\"290\" title=\"&lt;!--:en--&gt;Tomoyuki Aotani&lt;!--:--&gt;&lt;!--:ja--&gt;\u9752\u8c37\u77e5\u5e78&lt;!--:--&gt;\" target=\"_blank\" rel=\"noopener\">Aotani<\/a> and <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Masuhara<\/a><\/span><\/li>\n<\/ul>\n<p><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" class=\"aligncenter\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2018\/04\/tanabePPL2018.jpg?w=560&#038;ssl=1\" \/><\/p>\n<ul>\n<li><span class=\"title\">&#8220;Extensible formalization of type-safety based on an operational semantics (\u8a3c\u660e\u652f\u63f4\u5668Coq\u3092\u4f7f\u3063\u305f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u64cd\u4f5c\u7684\u610f\u5473\u8ad6\u306b\u57fa\u3065\u304f\u578b\u5b89\u5168\u6027\u306e\u62e1\u5f35\u53ef\u80fd\u306a\u5f62\u5f0f\u5316\u306e\u7814\u7a76)&#8221; by Okugawa, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/aotani\/\" data-internallinksmanager029f6b8e52c=\"290\" title=\"&lt;!--:en--&gt;Tomoyuki Aotani&lt;!--:--&gt;&lt;!--:ja--&gt;\u9752\u8c37\u77e5\u5e78&lt;!--:--&gt;\" target=\"_blank\" rel=\"noopener\">Aotani<\/a> and <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Masuhara<\/a><\/span><span class=\"cat\"><br \/>\n<\/span><\/li>\n<\/ul>\n<p><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" class=\"aligncenter\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2018\/04\/okugawaPPL2018.jpg?w=560&#038;ssl=1\" \/><\/p>\n<div class=\"author\">The workshop is titled <a href=\"https:\/\/jssst-ppl.org\/workshop\/2018\/\">the 20th JSSST workshop on Programming and Programming Languages (PPL)<\/a>, and was held at Kaike Onsen, Tottori, from March 3rd until 5th.<\/div>\n<p>3\u67085\u65e5\u304b\u30897\u65e5\u306b\u304b\u3051\u3066\u9ce5\u53d6\u770c\u7686\u751f\u6e29\u6cc9\u3067\u884c\u308f\u308c\u305f\u7b2c20\u56de\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u304a\u3088\u3073\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\u306b\u304a\u3044\u3066\u3001<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yusuke-izawa\/\" data-internallinksmanager029f6b8e52c=\"301\" title=\"\u4f0a\u6fa4\u4f91\u7950\" target=\"_blank\" rel=\"noopener\">\u4f0a\u6fa4<\/a>(B4), <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yudai-tanabe\/\" data-internallinksmanager029f6b8e52c=\"340\" title=\"\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">\u7530\u8fba<\/a>(B4), \u5965\u6cb3(M2)\u306e\u4e09\u540d\u304c\u30dd\u30b9\u30bf\u30fc\u767a\u8868\u3092\u884c\u3044\u307e\u3057\u305f\u3002<\/p>\n<ul>\n<li>\u30e1\u30bf\u6df7\u5408JIT\u30b3\u30f3\u30d1\u30a4\u30e9\u306e\u63d0\u6848\uff08<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yusuke-izawa\/\" data-internallinksmanager029f6b8e52c=\"301\" title=\"\u4f0a\u6fa4\u4f91\u7950\" target=\"_blank\" rel=\"noopener\">\u4f0a\u6fa4<\/a>,\u00a0<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">\u5897\u539f<\/a>,\u00a0<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/aotani\/\" data-internallinksmanager029f6b8e52c=\"290\" title=\"&lt;!--:en--&gt;Tomoyuki Aotani&lt;!--:--&gt;&lt;!--:ja--&gt;\u9752\u8c37\u77e5\u5e78&lt;!--:--&gt;\" target=\"_blank\" rel=\"noopener\">\u9752\u8c37<\/a>\uff09<\/li>\n<\/ul>\n<p><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2018\/04\/iazawaPPL2018.jpg?w=560&#038;ssl=1\" \/><\/p>\n<ul>\n<li><span class=\"title\">\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3078\u306e\u30d0\u30fc\u30b8\u30e7\u30f3\u306e\u5c0e\u5165\u306e\u7814\u7a76\uff08<\/span><span class=\"cat\"><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/yudai-tanabe\/\" data-internallinksmanager029f6b8e52c=\"340\" title=\"\u7530\u9089\u88d5\u5927\" target=\"_blank\" rel=\"noopener\">\u7530\u8fba<\/a>,\u00a0<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/aotani\/\" data-internallinksmanager029f6b8e52c=\"290\" title=\"&lt;!--:en--&gt;Tomoyuki Aotani&lt;!--:--&gt;&lt;!--:ja--&gt;\u9752\u8c37\u77e5\u5e78&lt;!--:--&gt;\" target=\"_blank\" rel=\"noopener\">\u9752\u8c37<\/a>,\u00a0<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">\u5897\u539f<\/a>\uff09<\/span><\/li>\n<\/ul>\n<p><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2018\/04\/tanabePPL2018.jpg?w=560&#038;ssl=1\" \/><\/p>\n<ul>\n<li><span class=\"title\">\u8a3c\u660e\u652f\u63f4\u5668Coq\u3092\u4f7f\u3063\u305f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u64cd\u4f5c\u7684\u610f\u5473\u8ad6\u306b\u57fa\u3065\u304f\u578b\u5b89\u5168\u6027\u306e\u62e1\u5f35\u53ef\u80fd\u306a\u5f62\u5f0f\u5316\u306e\u7814\u7a76\uff08<\/span><span class=\"names\">\u5965\u6cb3,\u00a0<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/aotani\/\" data-internallinksmanager029f6b8e52c=\"290\" title=\"&lt;!--:en--&gt;Tomoyuki Aotani&lt;!--:--&gt;&lt;!--:ja--&gt;\u9752\u8c37\u77e5\u5e78&lt;!--:--&gt;\" target=\"_blank\" rel=\"noopener\">\u9752\u8c37<\/a>,\u00a0<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">\u5897\u539f<\/a>\uff09<\/span><span class=\"cat\"><br \/>\n<\/span><\/li>\n<\/ul>\n<p><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2018\/04\/okugawaPPL2018.jpg?w=560&#038;ssl=1\" \/><\/p>\n<div class=\"author\"><\/div>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>\u4f0a\u6fa4\u4f91\u7950&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Izawa, Okugawa and Tanabe did the poster presentation at the PPL workshop&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/%e6%97%a5%e6%9c%ac%e8%aa%9e-%e7%ac%ac20%e5%9b%9epplppl2018%e3%81%a7%e4%bc%8a%e6%b2%a2-%e7%94%b0%e8%be%ba-%e5%a5%a5%e6%b2%b3%e3%81%8c%e3%83%9d%e3%82%b9%e3%82%bf%e3%83%bc%e3%81%ae%e7%99%ba\/\">Continue Reading \u7b2c20\u56de\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u304a\u3088\u3073\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7(PPL2018)\u3067\u4f0a\u6fa4, \u7530\u8fba, \u5965\u6cb3\u304c\u30dd\u30b9\u30bf\u30fc\u306e\u767a\u8868<\/a><\/p>\n","protected":false},"author":2,"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":[17,5,52,8],"tags":[],"class_list":["post-1652","post","type-post","status-publish","format-standard","hentry","category-baccaml","category-news","category-resource-type-system","category-version-programming","radius"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1652","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=1652"}],"version-history":[{"count":10,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1652\/revisions"}],"predecessor-version":[{"id":8586,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1652\/revisions\/8586"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=1652"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=1652"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=1652"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}