@article{weko_213305_1, author = "Takahisa,Toda and Takeru,Inoue", title = "Interval-based Counterexample Analysis for Error Explanation ", journal = "情報処理学会論文誌", year = "2021", volume = "62", number = "10", month = "oct" }