■

起床は8時、今日も眠い。
3限のA教授の授業はBounded arithmeticについて。Textは Foundations of Proof Complexity: Bounded Arithmetic and Propositional Translations (S. Cook and P. Nguyen)。本日が実質第一回目、Parikhの定理とAnchored cut elimination proofについて。
Parikhの定理、compactnessを使った証明は簡潔で良い。