{"id":8359,"date":"2024-10-05T19:05:05","date_gmt":"2024-10-06T04:05:05","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=8359"},"modified":"2025-04-29T04:37:30","modified_gmt":"2025-04-29T13:37:30","slug":"enbugging-quiz-compsoft","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/enbugging-quiz-compsoft\/","title":{"rendered":"\u30a8\u30e9\u30fc\u751f\u6210\u30af\u30a4\u30ba\u306b\u95a2\u3059\u308b\u89d2\u7530\u306e\u8ad6\u6587\u304c\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u8a8c\u306b\u63a1\u9332"},"content":{"rendered":"<p><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" class=\"aligncenter size-full wp-image-9868\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/10\/compsoft.jpg?resize=560%2C354&#038;ssl=1\" alt=\"\" width=\"560\" height=\"354\" srcset=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/10\/compsoft.jpg?w=1000&amp;ssl=1 1000w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/10\/compsoft.jpg?resize=300%2C190&amp;ssl=1 300w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2024\/10\/compsoft.jpg?resize=768%2C486&amp;ssl=1 768w\" sizes=\"auto, (max-width: 560px) 100vw, 560px\" \/><\/p>\n<p><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/kazuhiro-tsunoda\/\" data-internallinksmanager029f6b8e52c=\"316\" title=\"Kazuhiro Tsunoda\" target=\"_blank\" rel=\"noopener\">\u89d2\u7530<\/a>\u3001<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>\u3001<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">\u53e2<\/a>\u306b\u3088\u308b\u8ad6\u6587\u300c\u30b3\u30fc\u30c9\u7e2e\u5c0f\u3068\u69cb\u6587\u4e3b\u5c0e\u30c8\u30fc\u30af\u30f3\u5217\u751f\u6210\u3092\u7528\u3044\u305f\u30a8\u30e9\u30fc\u751f\u6210\u30af\u30a4\u30ba\u306e\u554f\u984c\u4f5c\u6210\u30c4\u30fc\u30eb \u300d\u304c\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u8a8c\u306b\u63a1\u9332\u3055\u308c\u307e\u3057\u305f\u3002\u3053\u306e\u8ad6\u6587\u306fPPL 2024\u3067\u767a\u8868\u3057\u305f\u539f\u7a3f\u3092\u6539\u8a02\u3057\u305f\u3082\u306e\u3067\u3059\u3002\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Masuhara<\/a> and <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">Cong<\/a> is accepted by the Computer Software journal.\u00a0 The article is revised from our presentation at PPL 2024.<\/p>\n\n<iframe id='tsunoda2024compsoft' src='\/papers\/bibtexbrowser.php?key=tsunoda2024compsoft&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>\u89d2\u7530\u3001\u5897\u539f\u3001\u53e2\u306b\u3088\u308b\u8ad6\u6587\u300c\u30b3\u30fc\u30c9\u7e2e\u5c0f\u3068\u69cb\u6587\u4e3b\u5c0e\u30c8\u30fc\u30af\u30f3\u5217\u751f\u6210\u3092\u7528\u3044\u305f\u30a8\u30e9\u30fc\u751f\u6210\u30af\u30a4\u30ba\u306e\u554f\u984c\u4f5c\u6210\u30c4\u30fc\u30eb \u300d\u304c\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u8a8c\u306b\u63a1\u9332\u3055\u308c\u307e\u3057\u305f\u3002\u3053\u306e\u8ad6\u6587\u306fPPL 2024\u3067\u767a\u8868\u3057\u305f\u539f\u7a3f\u3092\u6539\u8a02\u3057\u305f\u3082\u306e\u3067\u3059\u3002\u5897\u539f\u82f1\u5f66&#8221;&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/enbugging-quiz-compsoft\/\">Continue Reading \u30a8\u30e9\u30fc\u751f\u6210\u30af\u30a4\u30ba\u306b\u95a2\u3059\u308b\u89d2\u7530\u306e\u8ad6\u6587\u304c\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u8a8c\u306b\u63a1\u9332<\/a><\/p>\n","protected":false},"author":1,"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":[35,5],"tags":[],"class_list":["post-8359","post","type-post","status-publish","format-standard","hentry","category-error-generating-quiz","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\/8359","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\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=8359"}],"version-history":[{"count":5,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/8359\/revisions"}],"predecessor-version":[{"id":9869,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/8359\/revisions\/9869"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=8359"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=8359"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=8359"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}