2章_並行性をどうモデル化するか：CSPとは何か