第3章 契约空间