@techreport{weko_26021_1, author = "下城,巌 and 立川,敬行 and 桧垣,博章 and 滝沢,誠", title = "半順序領域における合意プロトコル", year = "1997", institution = "東京電機大学理工学部経営工学科, 東京電機大学理工学部経営工学科, 東京電機大学理工学部経営工学科, 東京電機大学理工学部経営工学科", number = "20(1996-OS-074)", month = "feb" }