@techreport{weko_28900_1, author = "関谷,岳史 and 田浦,健次朗 and 近山,隆", title = "適応的並列計算を支援するプロトコルの設計と正当性の証明", year = "2006", institution = "東京大学, 東京大学, 東京大学", number = "87(2006-HPC-107)", month = "jul" }