@techreport{weko_75288_1, author = "藤原,祐二 and 藤田,肇 and 石川,裕", title = "耐故障分散ロック機構の設計と検証", year = "2011", institution = "東京大学大学院情報理工学系研究科, 東京大学情報基盤センター, 東京大学大学院情報理工学系研究科/東京大学情報基盤センター", number = "14", month = "jul" }