今日はCSRの定義が3つもあることを知ることができた。雑なので後日結構手を入れてfixするかも。 connpass.com Conflicts and Commutativity(可換を使ったCSRの2つ目の定義) 定理2.9s~*s'が成り立つ ↔︎s とs'がConflict equivalentである 新しい定義を使ったu…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。