明示的状態を導入した計算モデルの上に構築された抽象とその利用について。特に、その意味定義・抽象の設計上の決断と他の計算モデルとの関係、使い方に関する注意、など。 要点 前章で、明示的状態を導入することで増大する複雑さは、データ抽象によるカプ…

明示的状態の導入とそれに伴う色々。 要点 システム構築の原則 システム構築の原則は抽象化である。抽象化を行うということは、仕様と実装を分けて考えるということである。仕様に意識を集中できることで、それを元にさらに複雑なものを構築したりすることが…