morning_reading https://blog.hatena.ne.jp/morning_reading/ 毎朝30分読書会 https://morning-reading.hatenadiary.org/ 今日はモデルの階層化のところです。 abstract で Java でいう Interface のように抽象クラスを定義して、 extends でそれを継承したシグネチャを定義できる アドレス帳に Alias と Group を作る Composite パターン 本書には「図 2.8 はモデルの宣言を可視化したモデル図で〜自動生成したものである」とあるけどこれの表示方法がわからない fact を使って常に成立すべき制約を宣言する(pred で制約を書くのは操作毎の制約ということか) x.^r という記法。オブジェクト x に関係 r を1回適用したものの集合(推移閉包) 文法やセマンティクスの… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmorning-reading.hatenadiary.org%2Fentry%2F20111025%2Fp1" title="抽象によるソフトウェア設計 第2章 ざっと一巡り その4 - 毎朝30分読書会" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-10-25 00:00:00 rich https://morning-reading.hatenadiary.org/entry/20111025/p1 1.0 100%