第4章 契约空间