- [ ] 要旨 - mm書いた - [ ] 1章 最後 - [ ] GearsOSのRedBlackTreeの説明 - [ ] DGMによる分散ファイルシステム - [ ] レプリケーションの説明 - [ ] 実装の説明 - [ ] まとめ - [ ] 今後の課題 - [x] 謝辞 - [ ] 付録?