変な夢を見た。 整合性を保証するための簡単で強い条件を考えてみた、というような内容である。 Xというシステムがあり、AとBがXに対して同時にお互いのことを知らずに何を行う。その時、 Xにとって何かがAからの処理なのかBからの処理なのか識別できる。 処…