前回7回 8回は休止 今回9回 p34「Proof」からp38「proof」まで読んだ。次回は「Theorem2.4」から メインの内容としてpolygraphとVSRのNP完全の証明を読んだ。 雑なノートです。人が読めるように整理していないので読まないでどうぞ。 Theory of Database Con…