{"id":11539,"date":"2026-01-21T05:20:25","date_gmt":"2026-01-21T14:20:25","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=11539"},"modified":"2026-01-27T17:01:51","modified_gmt":"2026-01-28T02:01:51","slug":"pro2026-01-2","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/pro2026-01-2\/","title":{"rendered":"\u8b1d\u304c\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u7814\u7a76\u306b\u3066Ruby\u5185\u90e8\u306e\u9759\u7684\u89e3\u6790\u306b\u95a2\u3059\u308b\u767a\u8868"},"content":{"rendered":"<p><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" class=\"size-medium wp-image-11685 aligncenter\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2026\/01\/pro2026-01.jpg?resize=300%2C115&#038;ssl=1\" alt=\"\" width=\"300\" height=\"115\" srcset=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2026\/01\/pro2026-01.jpg?resize=300%2C115&amp;ssl=1 300w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2026\/01\/pro2026-01.jpg?resize=1024%2C392&amp;ssl=1 1024w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2026\/01\/pro2026-01.jpg?resize=768%2C294&amp;ssl=1 768w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2026\/01\/pro2026-01.jpg?resize=1536%2C588&amp;ssl=1 1536w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2026\/01\/pro2026-01.jpg?w=2000&amp;ssl=1 2000w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2026\/01\/pro2026-01.jpg?w=1120&amp;ssl=1 1120w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2026\/01\/pro2026-01.jpg?w=1680&amp;ssl=1 1680w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/>\u8b1d\u5fd7\u6770\" target=\"_blank\" rel=\"noopener\">Zhijie Xie<\/a> presents a paper on a static analysis of the Ruby implementation for safety of garbage collection at <a href=\"https:\/\/sigpro.ipsj.or.jp\/pro2025-4\/program\/\">the 157th IPSJ Workshop on Programming<\/a> held in Naha, Okinawa. This work is done with Dr. <a href=\"https:\/\/www.atdot.net\/~ko1\/\" data-internallinksmanager029f6b8e52c=\"353\" title=\"Koichi Sasada\" target=\"_blank\" rel=\"noopener\">Koichi Sasada<\/a>, one of Ruby&#8217;s core committers.<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/zhijie-xie\/\" data-internallinksmanager029f6b8e52c=\"343\" title=\"\u8b1d\u5fd7\u6770\" target=\"_blank\" rel=\"noopener\">\u8b1d<\/a>\u304c\u90a3\u8987\u5e02\u3067\u884c\u308f\u308c\u308b<a href=\"https:\/\/sigpro.ipsj.or.jp\/pro2025-4\/program\/\">\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u7b2c157\u56de\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u7814\u7a76\u767a\u8868\u4f1a<\/a>\u306b\u3066Ruby\u5185\u90e8\u306e\u3054\u307f\u96c6\u3081\u306e\u5b89\u5168\u6027\u306e\u305f\u3081\u306e\u9759\u7684\u89e3\u6790\u306b\u3064\u3044\u3066\u767a\u8868\u3057\u307e\u3059\uff0e\u3053\u306e\u7814\u7a76\u306fRuby\u306e\u4e2d\u6838\u7684\u958b\u767a\u8005\u306e1\u4eba\u3067\u3042\u308b<a href=\"https:\/\/www.atdot.net\/~ko1\/\" data-internallinksmanager029f6b8e52c=\"353\" title=\"Koichi Sasada\" target=\"_blank\" rel=\"noopener\">\u7b39\u7530\u8015\u4e00<\/a>\u535a\u58eb\u3068\u5171\u540c\u3067\u884c\u3063\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>PRO2025-4-(15): 16:45\u201317:30<br \/>\n\u201cGuardLint: Static Analysis of CRuby for Checking GC Guards\u201d<br \/>\n\u25cb<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/zhijie-xie\/\" data-internallinksmanager029f6b8e52c=\"343\" title=\"\u8b1d\u5fd7\u6770\" target=\"_blank\" rel=\"noopener\">Zhijie Xie<\/a> (Institute of Science Tokyo)<br \/>\n<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Hidehiko Masuhara<\/a> (Institute of Science Tokyo)<br \/>\n<a href=\"https:\/\/www.atdot.net\/~ko1\/\" data-internallinksmanager029f6b8e52c=\"353\" title=\"Koichi Sasada\" target=\"_blank\" rel=\"noopener\">Koichi Sasada<\/a> (STORES, Inc.)<\/p>\n<p>Project page: <a href=\"https:\/\/prg.is.titech.ac.jp\/projects\/runtime-compilation\/ruby\/\">Making the Ruby Implementation More Robust<\/a><\/p>","protected":false},"excerpt":{"rendered":"<p>\u8b1d\u5fd7\u6770&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Zhijie Xie presents a paper on a static analysis of the Ruby implementatio&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/pro2026-01-2\/\">Continue Reading \u8b1d\u304c\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u7814\u7a76\u306b\u3066Ruby\u5185\u90e8\u306e\u9759\u7684\u89e3\u6790\u306b\u95a2\u3059\u308b\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":[5,57],"tags":[],"class_list":["post-11539","post","type-post","status-publish","format-standard","hentry","category-news","category-ruby","radius"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/11539","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=11539"}],"version-history":[{"count":14,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/11539\/revisions"}],"predecessor-version":[{"id":11697,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/11539\/revisions\/11697"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=11539"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=11539"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=11539"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}