フォープレックスモデルを総括する