オブジェクト指向システム分析設計入門
はじめに この本はオブジェクト指向技術を利用してソフトウェア開発することを目指す技術者および管理者のために書かれた本です。プログラムのコードや難しい数式などを排除してあり，図と文章によって基本概念や適用技術を平易に解説しています。オブジェクト指向技術を数学(形式)ぬきで探求する試みといえるでしょう。 本来，オブジェクト指向技術を，瓶から瓶へ水をもらさぬように，正確に伝えるには，数学(型理論)を必要とします。数学的形式化が行われていないと，オブジェクト指向で表面化する問題の議論がかみ合わず空転することが多いからです。あの時はこうだっだ，この時にはああだったと経験則の披露になりかねないのです。やはり何かしらの形式化は必要でしょう。しかし，数学的形式化の苦しみときたら並大抵ではありません。特に，後述するインヘリタンス(継承) や並列などが絡んだあかつきには残酷なのです。私だけかもしれません
抽象化と具体化と比喩(の断片)
「わかりやすいように、抽象的に話してください」 野崎昭弘「数学的センス」 例えばデータを考える。 データを抽象化する事によって、 データの具体的な実装の詳細を意識しなくて良くなる、と言われる。 抽象データ型では、データの内部構造の定義だけでなく、 そのデータに対する操作も同時に定義される。 このデータを使用する場合、 内部構造を直接に参照・変更するのではなく、 同時に定義された操作を介して行なう。 これにより、データの具体的な実装を意識するのではなく、 「そのデータに対してどのような操作が行なえるのか」という、 より抽象化されたレベルでプログラムを見る事ができる。 また、データの内部構造とその使用が分離されているので、 使用する側への影響無しにデータの内部構造を変更できる (変更を局所化できる)といった利点もある (例えば、配列で実装されたスタックを、リストによる実装に変えるとか)。 似
青木淳「オブジェクト指向システム分析設計入門」
はじめに この本はオブジェクト指向技術を利用してソフトウェア開発することを目指す技術者および管理者のために書かれた本です。プログラムのコードや難しい数式などを排除してあり，図と文章によって基本概念や適用技術を平易に解説しています。オブジェクト指向技術を数学(形式)ぬきで探求する試みといえるでしょう。 本来，オブジェクト指向技術を，瓶から瓶へ水をもらさぬように，正確に伝えるには，数学(型理論)を必要とします。数学的形式化が行われていないと，オブジェクト指向で表面化する問題の議論がかみ合わず空転することが多いからです。あの時はこうだっだ，この時にはああだったと経験則の披露になりかねないのです。やはり何かしらの形式化は必要でしょう。しかし，数学的形式化の苦しみときたら並大抵ではありません。特に，後述するインヘリタンス(継承) や並列などが絡んだあかつきには残酷なのです。私だけかもしれません
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
