加筆中｡ p59「A schedule together ~」から「p62 Proposition 3.1 」まで読んだ。 Multiversion(Version funtionまで考慮したschedule)のcorrectnessを定義したり、storage costなどについて学んだ。storageコストは若干不評気味だった。 勉強会開始前にスト…