https://www.sciencedirect.com/science/article/pii/S0743731510002716 RGAとも CRDTの一種 Operation-based CRDT s4vector indexを使うことでO(1)で挿入可能 Eventual Consistencyを保証 Strong Eventual Consistencyだと思う(kekeho)