liz's doc / distributed-systems / 01-basic-theory 中文 English 日本語 ナレッジグラフ サイトマップ distributed-systems/01-basic-theory CAPと一貫性モデル 時間とクロック 故障モデル