@techreport{weko_213819_1, author = "久米,出 and 新田,直也 and 中村,匡秀 and 柴山,悦哉", title = "関心を反映した実行の抽象化と比較によるデバッグ支援に向けて", year = "2021", institution = "奈良先端科学技術大学院大学, 甲南大学, 神戸大学, 東京大学", number = "11", month = "nov" }