Archive for the ‘勉強会’ Category

勉強会記録(2/12)

火曜日, 2月 12th, 2008

オブジェクト指向入門 第2版 原則・コンセプト pp.467-477 (大野, 青木)

  • パートC オブジェクト指向の技法
    • 第11章契約による設計:信頼性の高いソフトウェアを構築する
      • 11.8 クラス不変表明
        • 11.8.1 定義と例
        • 11.8.2 クラス不変表明の形式と特質
        • 11.8.3 変化する不変表明
        • 11.8.4 不変表明を守らなければならないのは誰か?
        • 11.8.5 ソフトウェア工学におけるクラス不変表明規則
        • 11.8.6 不変表明と契約
      • 11.9 クラスが正しいのはいつか?
        • 11.9.1 クラスの正しさ
        • 11.9.2 生成プロシージャの役割

勉強会記録(2/5)

火曜日, 2月 5th, 2008

オブジェクト指向入門 第2版 原則・コンセプト pp.446-456 (大野, 青木)

  • パートC オブジェクト指向の技法
    • 第11章契約による設計:信頼性の高いソフトウェアを構築する
      • 11.6 ソフトウェア信頼性のための契約
        • 11.6.3 表明は入力検査メカニズムにあらず
        • 11.6.4 表明は制御構造にあらず
        • 11.6.5 エラー、欠陥、その他、モゾモゾ這い回るやつ
      • 11.7 表明を用いた作業
        • 11.7.1 スタッククラス
        • 11.7.2 命令的であることと適用的であること
        • 11.7.3 空(empty)の構造に関する知見

勉強会記録(12/21)

金曜日, 12月 21st, 2007

オブジェクト指向入門 第2版 原則・コンセプト pp.331-343 (沼田, 青木)

  • パートC オブジェクト指向の技法
    • 第8章 実行時の構造:オブジェクト
      • 8.7 複合オブジェクトと拡張型
        • 8.7.4 集約
        • 8.7.5 拡張性の性質
        • 8.7.6 サブオブジェクトへの参照はだめ
      • 8.8 アッタチメント:参照と値の意味
        • 8.8.1 アッタチメント
        • 8.8.2 参照とコピーのアタッチメント
        • 8.8.3 ハイブリッドアタッチメント
        • 8.8.4 一致比較
      • 8.9 参照を扱うということ:利点と危険
        • 8.9.1 動的別名付け
        • 8.9.2 別名の意味

勉強会記録(12/4)

火曜日, 12月 4th, 2007

オブジェクト指向入門 第2版 原則・コンセプト pp.269-282 ( 今井、大野、青木)

  • パートC オブジェクト指向の技法
    • 第7章 静的な構造:クラス
      • 7.10 検討
        • 7.10.7 インポートを列挙する
        • 7.10.8 ファンクションの結果の表記
        • 7.10.9 補足:エンティティの厳密な定義
      • 7.11 本章のまとめ
      • 7.12 参考文献
    • 第8章 実行時の構造:オブジェクト
      • 8.1 オブジェクト
        • 8.1.1 オブジェクトとは何か?