「オブジェクト指向入門 第6章 抽象データ型」を読んだ - $shibayu36->blog;

オブジェクト指向入門 第2版 原則・コンセプト (IT Architect’Archive クラシックモダン・コンピューティング) 作者:バートランド・メイヤー翔泳社Amazon 「オブジェクト指向入門 第3章モジュール性」メモ - $shibayu36->blog; の続きで、「第6章 抽象データ型」を読んだ。 この章では、オブジェクトを適切に表現する記述として、抽象データ型というものを紹介している。これが非常に参考になったので軽く読書メモをとっておく。 抽象データ型とは 抽象データ型の仕様の記述とは以下の4つを記述することであるようだ。 TYPES(型) FUNCTIONS(関数) -> その抽象データ型に適用可能な操作の集合 AXIOMS(公理) -> その抽象データ型が必ず満たす条件 PRECONDITIONS(事前条件) -> 部分的な関数のソース集合の定義域 STACKの例を見

[shiba_yu36]

おもしろ章の紹介です

[Udomomo]

抽象データ型がなんなのかわかりやすくまとまっている

[vanbraam]

Types,Functions,Axioms(公理),Preconditions;Postconditionを加えると契約プログラミングになるのかな?;Axiomsの存在意義が今一つ分からない

[nyop]

itemとremoveがよくわからない…。多分自分がバカだから。

[hitode909]

めでたい