「因果性」の記事一覧

• CRDTは“セミラティス”でできている

  2025-05-23 02:29

  科学・技術

  この記事では、分散システムで使用されるCRDT（Conflict-Free Replicated Data Types）の内部設計を、数学的に信頼性のある「セミラティス」構造に基づいて説明しています。仮定や依存性を暗黙にせず、必要な因果関係や状態の圧縮もセミラティス内に明示的に組み込むことが求められます。例としてOR-Setの安全な状態削除手法やバージョンベクターの利用が紹介され、正しい設計によって確実な収束性が保証されることが強調されています。