誰にも見えないブログ

雑なメモ。まとまってない文章等

2020-05-27から1日間の記事一覧

Database Concurrency Control Papadimitriou 読会(27回)参加メモ

papa本27 p76 「Our proof~」から読んだ 次回はp80「The Reduction」から 久々に全然わからなかった。 connpass.com gadget続き Reliabilityの計算量がPSPACEになることを示そうとしている。 何を問題意識に議論しているのか全くわからなかった。 時系列でst…