@techreport{weko_32579_1, author = "藤田,憲悦 and 原尾,政輝", title = "類似性に基づく証明", year = "1991", institution = "九州工業大学情報工学部, 九州工業大学情報工学部", number = "79(1991-AL-023)", month = "sep" }