Chapter8を読み直す

# why

Lemma8.17とLemma8.18の証明が全くわからなくなった。

Compilerについての理解も足りないと思うし、証明で何が必要なのかがよくわかっていない。

# what

読み直す