あおいろ日記

計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)
高橋 正子

以前のエントリに書いたとおり、ちょこちょこ計算論を読んでます。

でも集合論をちゃんと勉強したことのない長月には難解です。

本当にゆっくりゆっくりと理解しながら進むことにします。今まで一度読んでわかった気になって薄っぺらなままきているので、ここで一回ちゃんと数学的な基盤を自分の中に作っておくべきだと思いました。

ので、ちゃんと読んでちゃんと考えて、考えた事はメモして行こうと思います。

とりあえず初メモ。

例1.3.2.に出てくる1変数関数pred(x)＝xー1について。

定義)
pred(0)＝0＝zero(),
pred(x＋1)＝x＝p²₁(x, pred(x))

理解のために手で展開してみる。

pred(0)＝0

pred(1)＝pred(0＋1)
          ＝p²₁(0, pred(0))
          ＝p²₁(0, 0)
          ＝0

pred(2)＝pred(1＋1)
          ＝p²₁(1, pred(1))
          ＝p²₁(1, pred(0＋1))
          ＝p²₁(1, p²₁(0, pred(0)))
          ＝p²₁(1, p²₁(0, 0))
          ＝p²₁(1, 0)
          ＝1

pred(3)＝pred(2＋1)
          ＝p²₁(2, pred(2))
          ＝p²₁(2, pred(1＋1))
          ＝p²₁(2, p²₁(1, pred(1)))
          ＝p²₁(2, p²₁(1, pred(0＋1)))
          ＝p²₁(2, p²₁(1, p²₁(0, 0)))
          ＝p²₁(2, p²₁(1, 0))
          ＝p²₁(2, 1)
          ＝2

超納得いった。手をうごかすの大事ですね。

あとblogとかで数式書くのめんどくせえ。誰かWLW用にTeXプラグインとか作ってくだしあ。

獣の奏者 2 (シリウスコミックス)
武本 糸会 上橋 菜穂子

長月はマンガが大好きです。たくさん読んでます。

たくさんあっていちいちblogには書かないんですが、今回は読後感がよいのでちょっと書いてみます。

今回紹介するのは上橋菜穂子さんの獣の奏者のコミカライズ版第二巻です。

NHKでアニメが放映されていて割と名前が売れている作品だと思うのですが、本作品は上橋原作の他メディア展開版の中では一番のお気に入りです。

藤原カムイさんの精霊の守人コミカライズ版もすごかったんですが、本作は同様に「広く」てすごいです。さらにエリンがかわいい。すごく子供らしさが出てます。

獣の奏者序盤では生き物に興味津々で子供らしくかわいらしいエリンが大きな見所ですが、その見所をマンガらしい形で表現出来ています。

アニメ版が正直あんまりかわいくなかったのでその分マンガ版でかわいいエリンを堪能してます。

アニメ版をちょっと見てやめた人も一度読んでみては？

久しぶりの読書感想文ですよっと。

今回から13回に分けて紹介するのはC++テンプレートテクニック。επιστημη/高橋晶著です。

光栄な事に長月は本書の査読に参加させていただいていて、見本をいただいているので世間に出る一足先に、世界一早い内容のレビューをお送りします。(他の査読者の方々まだレビューしてないですよね？ どきどきｗ)

今回扱うのは第一章。生き字引επιさんが書くC++がテンプレートに至る経緯のお話です。

本章はテンプレートによる多彩なテクニックの紹介に先駆けて、C++の昔話と言えばεπιστημηというぐらいC++の昔話に定評のあるεπιさんが、なぜC++にテンプレートが導入されたのか、その問いの答えにつながるテンプレート以前のC++で作られたコンテナのあり方と、なぜそれに不満があったのかを解説しています。

第一章の最初ではC++で使われたSmalltlk風コンテナがどういった物かを解説しています。Smalltalk風のコンテナとは、Object型を根に持ついわゆるピュアOOなオブジェクト階層を利用した物ですね。OOPに傾倒したならC++に限らず一度は通る道です。

C/初期C++で汎用のコンテナを作成する場合、究極的にはvoid*のコレクションにたどり着きます。たとえそれが他のOOPLに見られるObject型を根にした継承階層を利用した物であっても、本質的にvoid*から離れられていません。キャストでいっぱいのコードを見たことありませんか？

void*の呪縛から解き放たれるために必要と考えられたのがAdaで言う汎用体の様な総称型プログラミングの概念でした。

C++なりの総称型プログラミングの解としてのテンプレートですが、まだここでは扱いません。ここではテンプレート実装以前のC++で利用された、プリプロセッサによる擬似的なテンプレートについて語られます。

#defineプリプロセッサディレクティブや##プリプロセッサディレクティブを利用したテンプレート風コンテナのコーディングや、そうして作られたコンテナの使用法を、メリット/デメリットを交えて解説しています。これらにもまだ不満があることから、テンプレートの組み込みへの欲求が高まったと言います。

これらはεπιさんのお得意とするところですね。Cマガなどでのεπιさんの記事を読んだことがあるなら、Smalltalk風コンテナやgenerics.hの記事に見覚えのある方も多いでしょう。その意味では目新しさはありませんが、これから始まるこゆーい世界の入り口です。ウォーミングアップもかねて復習しましょう。

次回は第二章についてお送りします。

　10月のまとめ

10月の読書メーター
読んだ本の数：5冊
読んだページ数：321ページ

明日泥棒 2 (2) (ヤングジャンプコミックス)
このコンビは前作ガールフレンドが異常に面白かったので毎巻楽しみにしてます。今回も明日がかわいくてたまらんです
読了日：10月26日 著者：外薗 昌也
DRAGON SISTER! 6―三國志百花繚乱 (6) (BLADE COMICS)
唐突だし詰め込みすぎだしいろいろと残念な終わり方。全体的に演義に沿い過ぎていてならではの面白さがあまりなかった感じ
読了日：10月20日 著者：nini
AB型自分の説明書
いけないｗこれ知り合いに読まれたくないｗｗｗｗ色々見透かされすぎｗｗｗｗ
読了日：10月13日 著者：Jamais Jamais
タビと道づれ 4 (4) (BLADE COMICS)
物語がぐっと動きましたね。次巻が楽しみ
読了日：10月12日 著者：たなか のか
スーパーパースデッサン―キャラが立つ遠近法のすべて
直線で完結する遠近法についてはちょっとしたマンガの描き方本なら必ず描いていることなのでもう少し少なくていい。キャラのパース付けや曲線曲面のパース付けなどがほとんど無かったのが残念。パースを学ぶのであれば美術の本を買ったほうがいいだろう。ただ値段には見合っているので美術系の本が高い人には良い
読了日：10月08日 著者：林 晃

9月の読書メーター
読んだ本の数：20冊
読んだページ数：452ページ

Venus Versus Virus 8 (8) (電撃コミックス)
最後駆け足になることもなくちゃんと終わったので読後感は良かったです。ちょっと印象が薄かったかもです
読了日：09月27日 著者：鈴見 敦
ブロッケンブラッド3 (ヤングキングコミックス)
塩野節全開ですね。かつてのライバルが仲間になるのもお約束の展開で今後が楽しみ
読了日：09月27日 著者：塩野 干支郎次
すもももももも~地上最強のヨメ~ 11 (ヤングガンガンコミックス)
成長物語の様相を呈してきました。今回は特殊能力の発現で切り抜けるとして、今後の「すもも世界の格闘家」への成長の過程が楽しみです
読了日：09月26日 著者：大高 忍
ユーベルブラット 8 (ヤングガンガンコミックス)
見せていないところに大きな背景を感じることができるいい物語です。本巻ラストあたりの盛り上がりは続きに強い期待を持たせてくれます
読了日：09月26日 著者：塩野 干支郎次
鋼の錬金術師 20 (ガンガンコミックス)
エド側の展開がわかりにくい。アル側はわかりやすく展開してて今後が楽しみ
読了日：09月23日 著者：荒川 弘
妄想少女オタク系 4 (4) (アクションコミックス)
びっくりするぐらい全うに恋愛してるｗ　いいぞもっとやれ
読了日：09月23日 著者：紺条 夏生
脳内格闘アキバシュート 2 (2) (アクションコミックス) (アクションコミックス)
このままわかりやすいビルディングスロマンになるのかな？　成長物語としての線はばっちりおさえてます
読了日：09月23日 著者：本田 真吾
脳内格闘アキバシュート 1 (1) (アクションコミックス)
理屈っぽさやいいわけ具合が実にオタクっぽい
読了日：09月23日 著者：本田 真吾
鬼ごっこ (3) (IDコミックス REXコミックス)
シルヴィがエロイ
読了日：09月23日 著者：黒柾 志西
鬼ごっこ 2 (2) (IDコミックス REXコミックス)
河童の幸江さんがエロい
読了日：09月23日 著者：黒柾 志西
鬼ごっこ 1 (1) (IDコミックス REXコミックス)
前から絵が気になっていたのでAmazonのおススメが来たのを機に購入。むやみにエロい
読了日：09月23日 著者：黒柾 志西
嘘喰い 9 (9) (ヤングジャンプコミックス)
雪井出終わりきらんかった。ちょっと尺の切り方が中途半端かなー
読了日：09月19日 著者：迫 稔雄
LIAR GAME 7 (7) (ヤングジャンプコミックス)
フクナガ大活躍の巻。フクナガのキャラいいなー
読了日：09月19日 著者：甲斐谷 忍
黒執事 5巻 (Gファンタジーコミックス)
女王陛下。この一言に尽きる
読了日：09月19日 著者：枢 やな
EREMENTAR GERAD 15 (15) (BLADE COMICS)
展開の足が重い感じがする。でも東まゆみの絵はど真ん中にストライクなので最後まで買っちゃうんだろうな
読了日：09月17日 著者：東 まゆみ
陽だまりのピニュ 4
こがわみさきの描くキャラは相変わらずかわいい。久しぶりにインベーダーよむかなー
読了日：09月17日 著者：こがわ みさき
依田流 並べるだけで強くなる古碁名局集 [マイコミ囲碁ブックス] (マイコミ囲碁ブックス)
以前の依田先生ほど理論的ではない感じがする。感覚的なのは苦手ではないがこの本の物言いはしっくりこない
読了日：09月17日 著者：依田 紀基
桜蘭高校ホスト部 13 (13) (花とゆめCOMICS)
ハルヒのかわいさが過剰。殿の展開が予想の上で今後が楽しみ
読了日：09月05日 著者：葉鳥 ビスコ
会長はメイド様! 6 (6) (花とゆめCOMICS)
会長かわゆす！
読了日：09月05日 著者：藤原 ヒロ
DRAGON SISTER!-三國志 百花繚乱-(5) (BLADE COMICS)
なんかどんどん極楽院櫻子に似てきた気がする。つかセキレイに
読了日：09月02日 著者：nini

・神様のパズル ハルキ文庫 機本 伸司

　話題の神様のパズル読んでみました。
　北方謙三の三国志のしおりで気にはなってたんですが手付かずでした。

　結論から言うと面白いですね。これ。
　一方の主人公である天才少女のクライマックスへの道筋がちょっと勢い足りないかなと思いましたが、全体的には軽快で味付けも薄くなくて良いです。
　重厚なSFを期待している方には向きませんがそういう方は多分表紙で選びませんよね。
　ノリはラノベに近いと思います。軽いのでラノベメインの読書家にもお勧めしやすいです。

　肝心なネタの説得力に関しては、長月が宇宙論や量子力学に疎いので大して参考にはなりませんが、質量とエネルギーが等価であるという原則に対しての光子場理論はなんとなく丸め込まれました。しかし無に対して外から力を掛けるとビッグバンが発生するのくだりが良くわかりません。つまりどこか納得できていないという事です。

　次に人の扱いとか振る舞いに関しては、前述の通り沙羅華が盛り上がるまでに勢いが足りない感じがしました。主人公である綿貫が本筋に対して影響が薄く、脇筋での印象が強いのも残念なところかもしれません。映画が失敗したのはこういうところに原因があるのかもしれませんね。

　できるだけネタばれを避けて書きましたが、それだけオススメできるということでもあるので是非読んでみてください。軽く読めるので気軽にどうぞ。

　オンナノコになりたい！　と同コスプレ編が届いた。
　思ったより薄かったので徹夜明けで眠いのも押して通読してみた。

1. オンナノコになりたい 三葉
　なんていうか説明的で淡々としているので読みやすいです。
　その代わり衝動を掻き立てるような物ではないのでやる気の人でないとこの本がきっかけで女装しましたってことはないと思います。
　ちょっと知識のある人なら大半知ってることでもあるので、本当の初心者の人が基礎を知りたいときに買うべきだと思います。知ってることばっかり並んでいるとどんどんさめていきます。ふーん、ぱらぱらーな感じですね。
　残念ながら葵さんはこの本楽しめないです。

2. オンナノコになりたい コスプレ編 三葉
　そして前巻を踏まえてコスプレに応用しましょうという本書。
　前巻よりも扇動的な言葉が多かったり、専門的な話に及んでる分脳の肉欲を満たす目的にはよかったです。前巻とあわせて初心者の方がもう一歩進むのに有益な情報が載ってると重います。
　本巻だけでは舌足らずな部分があることと、前巻だけでは物足りないことを考えると二冊そろえて初めて価値が出るかもしれません。
　葵さん的にはこちらの方が楽しめました。「自分の体型に近いマネキンを是非１体は持つと良いでしょう」は名言だと思います。

＃実はこっそり一緒にこんな本も買ってたり。
＃でも今タブレットがないの(´；ω；`)

漫画

恋愛物

• 恋文日和
  • 第１集
• シュガシュガルーン
  • １巻

コンピュータ

プログラミング

• Ｃ＋＋
  • Accelerated C++ (Amazon.co.jp)
    • ０～５章
    • ６～７章
    • ８～１２章
    • １３～１６章
  • Exceptional C++ (Amazon.co.jp)
    • １～４章
    • ５～８章
  • オブジェクト指向における再利用のためのデザインパターン改訂版
    • 第一章
    • 第二章
    • 第三章その１：概要
    • 第三章その２：Abstract Factory
    • 第三章その３：Builder
    • 第三章その４：Factory Method
    • 第三章その５：Prototype
    • 第三章その６：Singleton
    • 第四章その１：概要
    • 第四章その２：Adapter
    • 第四章その３：Bridge
    • 第四章その４：Composit
    • 第四章その５：Decorator
    • Effective C++ 原著第3版 (Amazon.co.jp)
      • 感想

技術

• ＯＳ
  • オペレーティングシステム　設計と理論およびＭＩＮＩＸによる実装【第二版】 (Amazon.co.jp)
    • 第１章
    • 第２章 (前編)
    • 第２章 (後編)
  • リアルタイム/マルチタスクシステムの徹底研究 (Amazon.co.jp)
    • 感想

マネジメント

• 時間管理
  • エンジニアのための時間管理術 (Amazon.co.jp)
    • 感想

卓上ゲーム

囲碁

• 棋理
  • 依田ノート(Amazon.co.jp)
    • 感想

　C++プログラマなら余さず読めというレベルの定番書。
　誰もが一度は注意書きを目にする作法から最新の手法まで幅広く「効率」の視点から解説している本。
　と書くと誤解されがちだが、着眼点として効率を重視しているものの、効率という言葉の定義を広く持っており、実行効率だけではなく開発効率も考慮している為、いわゆる速度重視や空間重視による過激なデザインやコーディングはこの本には現れない。
　多少マニアックとも思える新しい手法 (例外安全なswapによる例外安全なコンストラクタの記述、ポリシークラス、TR1、等) も登場するが、あくまで元のトピックの添え物としての解説にとどめている為、主題がぼやけていない所は評価すべきだろう。

　この本は前作である改訂第2版もベストセラーだったので、改定第2版を読んだ事のある方も多いだろう。
　その中には第2版を読んだから大差ないだろうと考える向きもあるかと思うが、本作では新たなファクタとしてstd::tr1で加わる新たな標準ライブラリの機能やModern C++ Design、Exceptional C++から得た新たな手法も登場し、前作にない知識を与えてくれる。前作を読んだ方にも是非読んで欲しい一冊だ。

　何かとスケジュール管理が苦手な長月がそろそろ勉強するかと衝動買いした本。
　何故一般的なタイムマネジメントTipsがエンジニアに向かないのかの説明から始まって解りやすく取っ掛かり易いテクニックの紹介。基本的なツールの使用方法。高度なテクニックとツール使用の応用と進んでいく。
　エンジニアと銘打ってあるのでプログラマ向けだと思っていたら、どうもプログラマではなくシステム管理者向けらしい。ただ、どちらも状況としては大きく違うものではなく、割り込みが多く作業がいつでも積もっている物なのでほぼそのままで流用できると思っていい。
　書かれているテクニックは一般的に行われているものと大差ないし、熟練したエンジニアであれば自然と身につけているものも多い。ただ、それぞれのテクニックにほんの少しエンジニアらしいマニアックなツール等が顔を出す。
　この本のテクニック全てでなくても、いくつかやりやすいものを採用することで改善されるものもあるはずなので、出来るだけ多くの人に読んでもらいたい一冊。

　久しぶりに依田ノートを読み返し中。
　なんとなく思いつきで読み返し始めた物の、割とアリな行動だったみたいです。
　忘れてますね、棋理。しばらくまともに囲碁打ってないですからね。打ってないというか触れてないですから……orz
　改めて読んでみると、内容は良書なんだけど構成はダメだよなーとか割とありがちな感想が浮かんできました。そんな感想見飽きましたかそうですか。

　まあそんな訳でリハビリにしばらく棋書読み漁ってみるかなとか思う次第です。さしあたっては達人囲碁指南シリーズ読破とか。

　良書。
　もうすぐ組込みプログラムをお仕事で書く立場になるので勉強の為に買ってみました。どうやらこの選択は正解のようです。
　組込み系の世界で利用される技術を比較的わかりやすく読みやすくまとめています。
　専門分野の本だけあって少々前提知識を必要としますが、この本に興味を持つ人なら大丈夫でしょう。
　入門者向けの物をお求めなら「はじめて読む４８６」やなぜ動くのかシリーズをオススメします。

　仕事中に右手人差し指の先を切り、さらに右手中指の爪が割れて先の方が五分の一ほど剥がれかけな長月です。皆様はご健勝でしょうか？　長月は本人も仮想世界への代理人も割と不健康な感じです。皆様はご自愛ください。
　さて、キーボードが少し打ちづらいながらも基本的に左利き寄りの両利きの為割と生活には支障ないのでいつも通りエントリは追加される訳です。今日はもうそろそろ見てる方々も飽きてきたであろう GoF本 第４章から Decorator パターンです。

　Decorator パターンはオブジェクトに動的に責任を追加するパターンです。ロジックとしては前回取り上げた Composite パターンと似ています。Composite パターンは、コンテナとプリミティブなクラスを同じクラス階層に置く事でツリー状にお互いを包含する構造を作り出し、部分と全体に差を無くすパターンでした。Decorator パターンの場合も、Composite パターンでも行われた様に、全体を俯瞰する為のルートクラスを用意し、Decorator に当たるサブクラスではルートクラスのオブジェクトへの参照を持つ事で連鎖します。Composite パターンとの違いはルートクラスのインターフェイスが最大化しない事ですかね。

　Decorator パターンは、個々のオブジェクトに責任を追加し、且つ他のオブジェクトへの影響を最小化すべき時。責任の追加に加えて、責任の削除が出来るべき時。サブクラス化による責任追加が現実的ではない時。等に利用されます。

　Decorator パターンは継承を用いた拡張よりも柔軟です。また、クラス階層の上位のクラスが、所謂「スーパーマンクラス」になる事を防ぎます。
　しかし、ある Decorator クラスが装飾しているクラスはその Decorator クラスと同一ではないので、同一性に期待したコーディングが出来ない。非常に似通った小さなクラスが氾濫する。と言う欠点も持ちます。

　前述の通り Decorator パターンは Composite パターンと似通っています。構造を良く見てみれば内部に持つオブジェクトが一つに制限された Composite パターンに見えます。しかし Decorator パターンはオブジェクトの集約を目的としている訳ではありません。Decorator パターンはオブジェクトに責任を追加します。

　長月は Decorator パターンを余り使った事がないんですよね。もしかしたらやってるかもしれませんが、意識して使った事って少ないです。なんと言うか、動的に責任を追加する場面が余りないというか。そんなトリックが必要になるほど複雑な物を作ってないというか。そもそも殆どプログラム書いてな……げふっ（吐血
　まあそんな訳で今回はここまで、次回はおそらく長月の理解度が本書中一番低い Facade パターンをお送りします。

　今日は構造に関するパターンの三つ目、Composite パターンをお送りします。
　Composite パターンは複数のオブジェクトを合成します。また、合成されたまとめオブジェクトを一様に扱えるのが特徴です。
　プリミティブなオブジェクトを組み合わせる事で複雑なオブジェクトを構成する事はままあると思います。しかし、その時にそれらのオブジェクトを一様に扱う事に困難を覚えた事はありませんか？　例えば、プリミティブなオブジェクトをまとめて扱う方法としてコンテナへの格納は一手でしょう。しかし、プリミティブなオブジェクトとプリミティブなオブジェクトを集めたコンテナは別物です。いくつかのオブジェクトをまとめた物と、単一のオブジェクトを区別なく扱う。それが Composite パターンの提供する合成です。

　Composite パターンでは、プリミティブなクラスとコンテナクラスを同じクラス階層に置きます。詰まり一つの抽象クラスがコンテナでも、プリミティブなクラスでもあるのです。
　例として ＧＵＩ コンポーネントを考えてみましょう。GUI コンポーネントには、Button や Label、Inputbox の様なプリミティブなコンポーネントや、Window や Panel 等の、他のコンポーネントを内包するコンポーネントが考えられます。Window クラスや Panel クラスは他のコンポーネントオブジェクトを内包するコンポーネントなので ContainerComponent から派生します。Button クラスや Label クラスはプリミティブなコンポーネントなので PrimitiveComponent から派生します。さて、これらを統一的に扱うにはどうしますか？　ContainerComponent と PrimitiveComponent に共通の親クラス Component があれば良いですよね。これで Composite パターンの言う形になりました。これは ContainerComponent をノード、PrimitiveComponent をリーフとしたツリー構造と言えます。Composite パターンは、再帰的に複合オブジェクトを構成していくパターンなのです。

　Composite パターンでは、その構成要素であるノードに当たるクラスも、リーフに当たるクラスも区別しません。その特徴によってクライアント側のコードはノードであるかリーフであるかを意識せずにコーディング出来るようになります。また、部分と全体に区別の無い構造なので、柔軟な構成の変更が出来ます。
　しかし、設計を過度に一般化するというデメリットも持ちます。

　実装の面で言えば、Composite パターンは、その構造上ツリー構造の持つメリットデメリットを同じように持つようです。また、ルートに当たるクラスは自らの子孫であるクラスのインターフェイスをほぼ全て持つことになります。これはインターフェイスの最大化と呼ばれる好ましくない設計の一つです。

　Composite パターンは Decorator パターンと共に良く使用されます。この場合、Decorator パターンは Composite パターン側のインターフェイスに合わせる必要があり、若干割を食うようです。
　Composite パターンを用いた構造では、内部の操作に Iterator パターンが良く用いられます。

　Composite パターンは割と良く使われているはずです。なんと言うか、オブジェクト指向の本を読むと必ずこういった感じの設計について書かれてますし。文中で挙げたコンポーネントクラスの様に、素直に考えれば Composite パターンになる場合も多いからです。
　しかしそれだけに、経験だけで書いている方も多いのではないでしょうか？　Composite パターンが持つメリットデメリットを再確認する為にも一度勉強しなおしてみるのも一手ですよ。
　では今回はここまで、次回は Decorator パターンをお送りします。

　構造に関するパターンの二つ目は、前回も書いた通り Bridge パターンです。
　Bridge パターンは Handle/Body とも呼ばれ、割と良く使われているパターンだと思います。Bridge パターンはパブリックなクラスの定義と実装を分離し、それらを独立に変更できるようにしたパターンです。

　実装の分離と言うと pimpl イディオムを思い出しますね。あれも Bridge パターンの一形態だと思います。しかし Bridge パターンでは、実装の分離に関する思惑が pimpl イディオムとは違います。Bridge パターンは、実装上の汎化関係にあるクラスの関係を意味上の汎化関係を分離します。一般的に汎化関係は抽象クラスと継承を用いて表現されますが、クラス階層の中に実装上の汎化関係と意味上の汎化関係が混在すると、それぞれを独立に変更する事が困難になります。
　そんな場合、Bridge パターンを用いて実装と意味の階層を分離します。クライアントが参照する物は意味の階層、意味の階層の中で実装上必要とする物は実装の階層で定義する事で、クラス階層単位でのインターフェイスと実装の分離を実現します。

　Bridge パターンは抽出されたクラスとその実装を分離し、実装を動的に選択したり交換したりしなければならない場合、抽出されたクラスとその実装を両方ともサブクラス化によって拡張可能にする場合、抽出されたクラスの実装が変更によってクライアントに影響を与えるべきではない時、Ｃ＋＋のような言語で実装を隠蔽したい時、複数のオブジェクト間でクライアントから隠蔽した状態で実装を共有したい場合等に使用されます。
　Ｃ＋＋のような言語で実装を隠蔽するというのはまさに pimpl イディオムですね。一番良く使われる Bridge パターンではないでしょうか。

　Bridge パターンと Adapter パターンはクラス同士を繋ぐという関係では同じです。しかし Adapter パターンは既にあるクラス等、設計後に適用される事が多いのに対し、Bridge パターンは抽出されたクラスと実装を分離する為に、言い換えれば外部に向けた設計と実装を分離する為に、設計の早期に適用されます。

　長月は割と最近まで Bridge パターンを軽視していました。Bridge パターンというより pimpl イディオムですね。Exceptional C++ を読んでからは考えを改めたのですが、実装の隠蔽以外の意味で使用する Bridge パターンも馬鹿に出来ませんね。解っているつもりでやっぱり「ああなるほど」と思う所もいくつかありました。いや、本は読むものです。
　では今回はここまで､次回は Composite パターンをお送りします。

　今回から数回は構造に関するパターンのカタログです。今回は Adapter パターンを取り上げます。
　Adapter はあるクラスのインターフェイスを別のインターフェイスに変換します。変換と言うとなんだか齟齬があるように感じますね。なんと言うか、所謂ラッパクラスです。

　あるコードの中でクラス Hoge のオブジェクトが使われていた時。何らかの理由で関連性の無い Piyo を同じコードで使いたくなる事があったとします。その時、Hoge と Piyo のインターフェイスがたまたま一致していればコードの修正量は少なくて済みますが、そう言う事は稀で、どうしても Piyo のインターフェイスに合わせて修正する必要が出てきます。Adapter は、Piyo をラッピングしてインターフェイスを合わせる事で、そのジレンマを解消します。長月が実際に遭遇した例で言えば長月の書いた画像クラス AILImage を、とあるライブラリの DIBBitmap 操作関数に渡す為に AILImg2DIBWrapper クラスでラップして渡した事があります。その時は Adapter パターンとか意識してなかったんですが今考えると Adapter パターンですね。これはオブジェクトに対する Adapter パターンと呼ばれます。
　また、上記の例では AILImg2DIBWrappter の中に AILImage のインスタンスを持ち、転送関数で処理を委譲していましたが、向こうのライブラリで用意されている DIBBitmap クラスのインターフェイスと、AILImage の実装を多重継承した AILImg2DIBAdapter も考えられます。DIBBitmap クラスからの継承が必要な場面ではこちらを選ぶべきでしょう。こちらはクラスに対する Adapter パターンと呼ばれます。

　Adapter は再利用したいクラスが望んだインターフェイスを持たない場合や、既存の複数のサブクラスを利用したいが、さらにサブクラス化してインターフェイスを合わせる事が現実的ではない場合、等に活躍します。

　クラスに対する Adapter では、Adapter クラスが再利用されるクラスのサブクラスになる為、メンバ関数をオーバーライド出来ます。その代わり、クラス階層を見たとき、Adapter クラスが再利用されるクラスの下に来るので、再利用されるクラスとそのサブクラス全てを適合させたい場合にはクラスに対する Adapter では上手く行かないという事になります。
　オブジェクトに対する Adapter では、クラスに対する Adapter でのジレンマである、複数のサブクラスを賄う Adapter の構築が可能です。しかし、クラスに対する Adapter と違い、再利用されるクラスのメンバ関数をオーバーライドする事は出来ません。これを実現するには、再利用されるクラスのサブクラスを定義し、そのサブクラスで任意のオーバーライドを行い、サブクラスに対する Adapter を定義する事で実現できますが、余計な間接性を持たせる事にもなります。

　オブジェクトに対する Adapter パターンは Bridge パターンと良く似た構造を持ちます。しかし、Adapter が外部表現 (インターフェイス) に重点を置くのに対して、Bridge は内部表現 (実装) に重点を置きます。また、何らかのオブジェクトをラップする事に関して Adapter パターンは Decorator パターンと似ています。しかし Adapter がインターフェイスを変更するのに対して、Decorator ではインターフェイスを変更せずに機能を追加します。その結果、Decorator の方が透過性が高く、再帰的なオブジェクト構造の構築を可能としています。そして Proxy パターンも再利用されるクラスを自らの背後に隠す点では同じですが、Proxy はインターフェイスを変更しません。

　長月的に Adapter はとても便利です。特にジェネリックスプログラミングで威力を発揮すると思います。ジェネリックスプログラミングでは、ジェネリック関数の内部で特定のインターフェイスを必要とする事が多く、ジェネリック関数に放り込みたいクラスが必要なインターフェイスを持っていない事があります。そう言った時 Adapter はとても重宝します。
　個人的に便利な物が多い構造に関するパターン、次回取り上げるのは Bridge パターンです。所謂ハンドル-ボディイディオムって奴ですね。pimpl イディオムも Bridge パターンと言えますね。Ｃ＋＋に於ける pimpl にはソースファイルの依存性軽減とか Bridge パターン本来の目的とは違う物も含まれるので Bridge パターンそのものとは言えないかも知れませんけどね。
　では、今回はここまで。(=ﾟωﾟ)ﾉｼ

　GoF本も割と久方ぶりに読んでる訳ですが、今読むと前よりちょっと理解できる感じです。一応腕上がってるんですかね？
　今回からは第４章に入ります。第４章は構造に関するパターンが詳解されています。構造に関するパターンの要点は二つ。オブジェクトやクラスを合成する事、まとめられたクラスやオブジェクト群がむやみに強く結合しない事です。「分割し、統治せよ」をオブジェクト指向の世界で如何に実現するか、その妙技を集めた章と言えます。
　いくつかのオブジェクトやクラスを合成したいと言う要求は良く発生します。また、それを前提として書かれるクラスやオブジェクトも多いでしょう。しかし、オブジェクトを合成するだけでは不満なのです。複数のオブジェクトやクラスを持ちつつも、それぞれの依存度を最小化したいのです。影響を局所化出来てこそ大きな構造には価値があります。
　本章では上記の様な要求に対する解が七つ詳解されています。その七つのパターンを列挙しておきます。

• Adapterパターン
• Bridgeパターン
• Compositeパターン
• Decoratorパターン
• Facadeパターン
• Flyweightパターン
• Proxyパターン

　構造に関するパターンはそれぞれいくらかの関連を持ちます。設計の軸になる部分で良く使用されたりするので、これらのパターンの複合的な物になる事が多いようです。それらの関連については本章の最後で語られます。本blogでも、最後に取り上げる予定の Proxy パターンのエントリかまとめのエントリで書く予定です。

　個人的に本章は割と好きです。いろいろなロジックに触れるのが楽しいのです。その意味で第５章の振る舞いに関するパターンも面白いトリックが満載で好きです。本章のパターンは割とどっしりとした印象で、第５章のパターンは派手な印象ですね。ぱっと見て効果が実感しやすい第５章のパターンも良いですが、最終的な開発コスト等、地味ながらも重要な部分で威力を発揮する本章のパターンも長月の脳の肉欲を大きく満足させます。
　ただ、これらのパターンは選択が重要になりますので、本章は特に精読して各パターンをしっかり把握しておきましょう。

　さて、今回は第３章最後のパターン、Singleton です。なんと言うかみんな知ってそうですが……
　Singleton はアプリケーション中にあるクラスのインスタンスが一つしか存在しない事と容易なアクセスを保証するパターンです。複数の選択肢はあれど、同時に一つしか存在してはいけない場合に威力を発揮します。グローバル変数のアクセシビリティにインスタンス数の制限を加えた物と言えます。

　Singleton はその簡単な構造とは裏腹に、インスタンスへのアクセスを制限したりコントロールしやすい、制限を掛ける数が任意に調整でき、状態を持て、Ｃ＋＋等の静的メンバ関数の仮想化を許さない言語でも仮想関数を扱える等から、クラスメソッドだけのクラスを使うより柔軟性がある。と言うメリットがあります。

　今までに挙げてきた複合オブジェクトの生成に関わるパターン、Abstract Factory や Builder、Prototype 等はアプリケーション内で複数必要となる事が少なく、高いアクセシビリティを必要とするので、Singleton を用いて実装される事が多いでしょう。それで無くとも Singleton は割と便利なので使用する機会は多いと思います。しかし、Singleton は拡張されたグローバル変数なので、グローバル変数が持つ欠点は多くの場合 Singleton にも当てはまります。

　さて、今回まで何度かに渡って生成に関するパターンを扱いましたが、これらはシステムの構成に柔軟性を与える為の物です。Factory Method に代表されるサブクラス化や、Abstract Factory や Builder、Prototype が威力を発揮するオブジェクトコンポジション、これらは柔軟性を高める為の方法論です。それらを上手く使いこなしたアプリケーションに現れるオブジェクト生成の為の設計パターン、それが第３章で詳解されているデザインパターンなのです。
　デザインパターンは若干の複雑度と引き換えに柔軟性をもたらします。パターンの選択肢が増えれば増えるほど設計は洗練されるでしょう。この機にデザインパターンを勉強してみるのは如何でしょうか？

　今回は第３章に於ける複合オブジェクトの生成に柔軟性を持たせる為のパターンについての最後の項です。今回は Prototype パターンについてをお送りします。
　Prototype は生成するオブジェクトを雛型から複製する事で賄うパターンです。ですので、クライアントクラスでは生成過程で各部品の生成を各部品のプロトタイプオブジェクトが持つ複製メソッドに委譲します。詰まり、プロトタイプオブジェクトに生成を依頼するクライアントクラス側で適宜プロトタイプオブジェクトを挿げ替えれば様々な組み合わせの複合オブジェクトを生成する事が出来ます。

　Prototype は、インスタンシエートされるクラスがどの様に構成されるかが静的に決定しない場合、詰まり実行時に決定される場合の動的構成や、何らかのクラスに於てインスタンスの取り得る状態が少ない場合に、あらかじめ雛型を用意しておく事でインスタンシエートの手間を省く等の用途で使用されます。

　Prototype パターンも、Abstract Factory パターンや Builder パターンと同じく生成プロセスから生成の詳細を分離します。しかし他の生成に関するパターンよりも実行時の動作に重点を置いている為、他のパターンよりも柔軟性が高く、生成するオブジェクトの追加や削除が容易です。また、柔軟性が高い為、値や構造の組み換えによってオブジェクトの仕様を変更できます。
　構成の柔軟性に於て高いアドバンテージを持つのに対して、実装の面ではいくらかの不利な点を持ちます。Prototype はオブジェクトの複製によってインスタンスを生成するので、Prototype を適用するクラスには複製関数が必須となります。また、複製に掛かるコストが高い場合にも適さないでしょう。ただし、複製のコストは COW (Copy On Write) な実装をする事で軽減できます。しかしそれもまた複雑度を上げるので一つのトレードオフでしょう。

　Prototype は Abstract Factory の実装としても使えます。Abstract Factory に雛型の集合を持たせ、オブジェクトの生成は雛型の複製で行うのです。また、Composite パターンや Decorator パターンの様に、多くのオブジェクトを集約したり連鎖させるパターンとも相性が良いでしょう。これは複合オブジェクトの生成に関するパターンに共通していますね。

　長月は Prototype の理解度が低い上に、使用した記憶もありませんし、オブジェクトの構成は静的に決まって欲しいので動的な構成は注目度が低く、Prototype にはこれと言って言える事が無いんですが、これも何らかの事情で実行時までオブジェクトの構成が決定できない場面に出くわしたら重宝するんでしょうね。きっと、多分、おそらく。
　で、次回は第３章最後の項、生成に関するパターンの大トリ Singleton です。なんか Singleton だけは今更何を言うまでも無くみんな知ってるんじゃないかという気がしないでもないんですが、順番なので次は Singleton をお送りします。ではまた。

　第三章のパターンも今回で半分以上をクリアですね。今回は Factory Method をお送りします。
　Factory Method はオブジェクト生成の為のインターフェイスだけを規定して、実際の生成はサブクラスに任せます。これは結構頻繁にやりますよね。本によっては仮想コンストラクタと呼んでいます。

　あるクラスの中で別のクラスのインスタンスを利用するが、実際に利用するクラスが事前に解らない状況は割と頻繁にあると思います。特にライブラリ等、後にも多用する予定のクラスなんかはそう言う状況も多いと思います。そう言うときには Factory Method の出番です。多くの場合コンストラクタの中で new すると思いますが、そこを生成関数に書き換えてしまいます。そして生成関数は仮想関数にしてしまうのです。後は違うインスタンスを返したい時には適宜欲しいインスタンスを返す生成関数を実装したサブクラスを用意するだけです。

　Factory Method は特定の実装をコードから分離します。これは Abstract Factory や Builder もそうであったように拡張や入れ替えを容易にします。
　ただし、Factory Method にはサブクラスの定義を強要すると言う欠点もあります。特にサブクラスを必要としていない時には一つの悩み所でしょう。これに対して、Ｃ＋＋ではテンプレートを使うと言う選択肢があります。テンプレートパラメータによって返すオブジェクトを返す生成関数を持つクラスを用意するのです。或いは生成関数をファンクタにしてしまうのも良いでしょう。ポリシークラスという選択肢もあります。テンプレート様様ですね。

　Abstract Factory や Template Method は良く Factory Method を利用します。
　Abstract Factory は Factory Method を用いて実装されますし、Template Method は Factory Method を内部で呼び出します。Abstract Factory のエントリで書いた CreateWindow() 関数は Factory Method に当たります。

　Factory Method はそれなりに熟練した方なら言わずとも利用しているであろうパターンです。特にＣ＋＋等ではコンストラクタを仮想にする事が出来ないので自然とこう言う手法を編み出す人も多いようです。長月は自力で編み出した訳ではありませんが、Effective C++ で仮想コンストラクタの手法を知って以来、GoF本を買うまで Factory Method とは知らずに利用していました。知らない方もこれを機に Factory Method を含めたデザインパターンを勉強してみては如何でしょうか？

　今回は生成に関するパターンその２、Builder パターンです。
　Builder も Abstract Factory に似て、実装を差し替える為のパターンです。 Abstract Factory が利用するオブジェクトの実装を差し替える様に、Builder はオブジェクト生成の実装を差し替えます。詰まり、Abstract Factory がオブジェクトの実際を気にせずオブジェクトを生成出来るようにしたのと似て、Builder はオブジェクトの構成や、それを実現する為の機能を気にせずに生成出来るようにします。Abstract Factory が生成されたオブジェクトのインターフェイスの共通性に主眼を置いているのに対し、Builder は生成されるオブジェクトの生成過程の共通性に主眼を置いています。
　えーと、解りにくいですね。要するに、同じ生成ルーチンで色んなオブジェクトを生成出来るようにすると言う事です。

　これは生成したいオブジェクトがたくさんの部品や組み合わせで構成されている場合等に有効です。また、内部表現の差し替えが用意になります。これは生成の為の実装詳細が局所化されると言う事も意味しますし、詳細が局所化されるという事は、それらを利用する生成過程の細かいコントロールが可能になると言う事でもあります。

　Builder パターンはしばしば Composite パターンと共に使用されます。何らかの複合 (Composite) オブジェクトを生成する為に Builder が利用されるのです。また、Builder が必要とする部品を提供する為に Abstract Factory や Factory Method も利用できるでしょう。

　今回はジェネリックスプログラミングに近い立ち位置にあるパターンである Builder を紹介しました。生成に関する限り、Builder はポリシークラスの様な役割を果たします。個人的にはポリシークラスの方が好みなので余り出番がないんですが、ジェネリックスプログラミングのパラダイムをサポートしてない言語を使うときには便利そうです。
　さて、本エントリで Builder に興味を持たれた方、是非本書や増補改訂版Java言語で学ぶデザインパターン入門等でデザインパターンを勉強してみては如何でしょうか？

　前回投稿後すぐに書き始めたのに途中で寝ちゃったおかげで結局この時間ですよ'`,､(´∀`)'`,､
　ついにパターンのカタログまで来ました。今回は Abstract Factory パターンです。

　Abstract Factory は何らかのインスタンスを必要とする時に、その実装に関わる具象クラスを明確にせずに生成する為のマネージャクラスを用意するパターンです。それなりに構造化された設計のプログラムなら、HogeManager とか HogeCreator 見たいなクラスがあったりするでしょう。そう言ったクラスは多くの場合 Abstract Factory を用いて設計されているのではないでしょうか。
　このパターンは、抽象クラスとサブクラスを用いて場合によって実装をスイッチする際等に活躍します。本書に載っている例で言えば、複数の look-and-feel 規格に対応したアプリケーションを書く場合、実際に使用する look-and-feel に拠らないウィジェットクラスを書くために Abstract Factory を利用しています。

　Abstract Factory を簡単にまとめると、何らかのオブジェクトの集合に対して複数の実装系がある時、生成用のアクセスポイントを持つマネージャクラスを用意し、実際の生成はサブクラスに任せる構造です。
　例えば、複数のプラットフォームに対応したアプリケーションを書く場合、各プラットフォーム向けのＧＵＩコンポーネント群を定義するでしょう。その時、実装に拠らず同じオペレーションで同等の機能を呼び出す為に、各コンポーネントは抽象基底クラスから派生して実装するかと思います。しかし、生成する場面で特定の実装に触れたくないのです。Window* w = ComponentFactory::GetInstance()->CreateWindow(); で Win32 も Mac も X-Window もフォローしたいわけです。そこで生成の為のインターフェイスを持つマネージャクラスを用意し、それを派生して各実装のコンポーネントを生成するサブマネージャクラスを定義します。後はプラットフォームにあわせた具象クラスを抽象マネージャクラスに代入して、コンポーネントの生成は抽象マネージャクラスを通せばよいのです。また、Singleton パターンや Factory Method パターンとの併用も良く見られます。

　ただし、パターンもいい事づくめと言う訳ではありません。メリットがあればデメリットもあります。AbstractFactory に関しては、インターフェイスの追加や削除を含む変更に弱いと言うデメリットがあります。インターフェイスの追加や削除が行われるとサブクラスまで手を加えなければなりません。この問題に関しては Andrei Alexandrescu が Modern C++ Design にて一つの解答を示しています。

　生成に関するパターンはＣ＋＋に於ける不可避の定数性、詰まり new 構文でクラス名が既知でならなければならない問題を最小化します。これは動的に型付けする言語では問題にならないのかもしれませんが、静的な型付けを行う言語ではまず確実に問題になる部分です。長月はＣ＋＋ぐらいしかまともなＯＯＰＬに触れていないので他の言語の事情を知りませんが、生成に関するパターンはＣ＋＋でそれなりに良い設計と実装を行いたければ必須の構造に思えます。
　今回はそれらの生成に関するパターンの中で、Singleton や Factory Method 等の小さい粒度のパターンを除けば最も頻出するであろう Abstract Factory を紹介しました。本エントリで Abstract Factory に興味を持たれた方、是非本書や増補改訂版Java言語で学ぶデザインパターン入門等でデザインパターンを勉強してみては如何でしょうか？

　改めて読むとGoF本結構退屈ですね。第2章は面白いのに(´・ω・`)
　今回から第３章に入ります。ここからはパターンのカタログなので、パターンの紹介の様な形になるかと思います。今回は第3章の概要です。続けて次のエントリで Abstract Factory パターンについて書きたいと思います。

　第3章では生成に関するパターンを扱っています。生成に関わるパターンのキモは二つ。生成されるオブジェクトの詳細を如何に隠蔽するか。そして実際の生成の詳細を如何に隠蔽するかです。
　あるオブジェクトのクライアントはオブジェクトに対する必要条件だけを持っていたいのです。言い換えるとインターフェイスの知識のみで必要なオブジェクト群を扱えるのが理想なのです。その為に、生成されるオブジェクトの詳細を如何に隠蔽するかが重要になります。
　また、クライアントではオブジェクトの生成をハードコードしたくないのです。具体的に言うと、new Hoge; 等とはしたくないのです。前述した方法の場合、Hoge の生成方法が new では無くなった場合ソースを書き換える必要があります。それは勘弁願いたいのです。なので、生成に関する知識の隠蔽も重要になってきます。
　本章では上記の様な要件を満たす為のパターンを五つ詳解しています。その五つのパターンを列挙しておきます。

• Abstract Factoryパターン
• Builderパターン
• Factory Methodパターン
• Prototypeパターン
• Singletonパターン

　本章ではこれらの実装例として迷路生成プログラムを使います。迷路の生成エンジンを各種パターンを適用して設計する事でそれぞれの違いを明確にします。ここをそれなりにちゃんと読まないと実装の説明を見ても何の事やら判らないかも知れません。気合を入れなければならないと言う程ではないですが、油断はしないようにしましょう。

　本項は概要の説明なので、特に技術的な事は出てきませんが、生成に関するパターンの思想が解説されています。プログラミングに於て今実装中の物の目的や思想、そして理想がわからないのは無用の混乱を生みますから、生成に関するパターンが何をどの様に目指す物なのかをきちんと把握しておきましょう。

　と言う訳で、GoF本第二章です。なんか妙にだめだめな気分なのでさくっと行きます。
　第二章では実例を挙げてデザインパターンの使い方を解説しています。本章で実例として上げられているのはワープロソフトです。文章、絵、図を自由に配置でき、ウィンドウシステムや look-and-feel 規格への依存を最小化し、オペレーションを統一的なメカニズムで扱う、と言った設計上悩ましい部分にデザインパターンを適用する事で柔軟性を持たせます。
　本章で使われるパターンは、Composite パターン、Strategy パターン、Decorator パターン、Abstract Factory パターン、Bridge パターン、Command パターン、Iterator パターン、Visitor パターンの計八つ。それぞれのパターンについては今後のエントリに譲りますが、Composite パターンで内部表現を定義し、Iterator パターンで走査し、Strategy パターンで操作とデータ構造を分離し、Abstract Factory パターンでオブジェクトの生成とクラスの詳細を切り離し、Bridge パターンで概念と実装を分離し、Decorator パターンでＵＩに柔軟性を与え、Command パターンで操作に拡張性を与え、Visitor パターンで操作の実装への依存を最小化する実例を挙げています。
　なんと言うか、用意された綺麗な例である事は承知の上ですが、思わずお見事と誉めたくなる仕事です。読者をデザインパターンの世界に引き込みます。実際できるのであれば自分でもこういった綺麗な設計を行いたい物です。ですから、こういった綺麗な例を見せられると嫌が応にも期待が高まります。

　そんな訳で、第２章は割とへーと思うことが多いです。色々勉強できます。読む人のレベルによってはああ、そうそう、そうだよねと共感出来るでしょう。
　本章は読むのが楽しい場所でもありますから、カタログ部分が重いと感じる方はここから読んでみては如何でしょうか？

　なんていうか最近チョイスする本がＣ＋＋ユーザに媚びてる感のある長月です。と言う事で今回は特定のプログラミング言語に拠らない物をとＧｏＦ本をチョイスしてみました。ていうかＯＳ【第二版】はどうしたって？　避けてるんですよ、重いから。正直しょっぱなからあれは後悔しまくりです。とりあえずは今月中に何とか……ｏｒｚ

　そんな訳でＧｏＦ本です。Erich Gamma/ Richard Helm/ Ralph Johnson/ John Vlissides著、本位田 真一/ 吉田 和樹 監訳、オブジェクト指向における再利用のためのデザインパターン改訂版です。
　デザインパターンを簡単に説明すると、良い設計に現れる定石を一般化した物です。本書はそのデザインパターンと言う考え方 (定石を一般化、カタログ化して共通認識を作ると言う考え方) を提唱したガンマ先生以下四名、所謂 Gang of Four が世に送り出した論文や、パターンコミュニティで提案された、良い設計に頻出する厳選された２３のデザインパターンの解説書です。今回から数回に分けて本書について書いていきます。
　なお、本書については、パターンの紹介に近い形になるかと思います。なんと言うか他に書き様が無いとも……げふんげふん。

　そんな訳で今回は第１章について書きます。
　第１章はデザインパターンとは何かから始まり、本書で用いられている、デザインパターンのカタログの一項目としての整理の仕方､小見出しとそれに対するトピックの意味等の説明、本書で扱うデザインパターンの列挙と軽い説明、デザインパターンを設計に適用する際の指針と注意等が書かれています。
　プログラミングを嗜んでる方ならデザインパターンと言う単語を見た/聞いた事がある方多いんじゃないかなと思います。でも単語は知っててもそれ何？　と言う方も居られるんじゃないでしょうか？　本書で語られるデザインパターンとは、プログラミングの主に設計によく現れる定石の事、またはそれらの設計を一般化・カタログ化して共通認識を作ろうと言う考え方を言います。よく見る用法は前者ですかね。デザインパターンは粒度が様々なので、実装レベルに関わる事も多いのですが、デザインパターンは設計レベル、実装レベルの定石に関してはイディオムと呼ぶ事が多いようです。
　本章では定石をカタログ化する事の意味や Gang of Four の推奨するパターンのまとめ方等が解説されています。余り知られていないけどこれは割と応用が広くて良いんじゃないかと思うパターンをお持ちの方は、ここで提示されているフォーマットに従って文書化し、デザインパターンのコミュニティに投稿すると良いでしょう。
　また、本章ではデザインパターンを設計に適用する為のあれこれも解説しています。これはデザインパターンの適用と言う観点で書かれてはいる物の。デザインパターン自体が既に広く使われている設計の定石である事から、設計に関する一般的な考え方のトピックでもあります。個人的にパターンそのものよりもここで触れられている事をしっかり押さえる方が重要なんじゃないかと思います。デザインパターンを使いながら覚えるのが実践的ですかね。

　と言う訳で、もはやバイブルと化した感のある本書ですが、何気にデザパタ自体を知らない様な方もまだいます。そんな方には是非読んで欲しい本です。本書では重いと言う方は、結城浩氏の増補改訂版Java言語で学ぶデザインパターン入門辺りが割と易しくてオススメだそうです。長月は読んでないのでなんとも言えません。
　長月としてはデザパタはとにかく広まって欲しい物なので是非ご一読を。

　あ～もう眠い、だるい、やるせない、なんかお疲れ。だから今日の感想文なし。
　……嘘です。書きます。読んだのに書かないのなんか勿体無いですから。貧乏性です。
　今日も今日とてＣ＋＋、昨日に引き続いてハーブ・サッター著Exceptional C++ ４７のクイズ形式によるプログラム問題と解法 ５～８章です。

　え～、まず第５章はシグニチャの自動照合、ネームスペースに関しての規則に関するあれやこれやについての問題が収録されています。
　長月はネームスペース内で宣言・定義された関数の呼び出し順序とか規則とかを知っていても理解しきれてなかった様で、初めて本章を読んだ時「おぉ！？」と思った記憶があります。言ってしまえば重箱の隅をつついたトピックなんですが、今時のＣ＋＋ユーザならネームスペースは極普通に使っているでしょう。そして普通に気を使っていれば大抵の場合問題は無いはずですが、レアなケースで厄介なロジックエラーを起こす場合があります。そう言った場合、殆どのケースでは本章で書かれている様な事が起きているんじゃないかと思います。そんな事例滅多に無いよと読み飛ばさずに、一通り頭に入れておきましょう。

　第６章ではメモリ管理にまつわる問題を取り上げています。
　言ってしまえばよく見かけるトピックです。配列とポリモルフィズムは相容れないとか、メモリ管理はポインタのラッパでやろうぜとかそう言ったトピックです。ただ、取り上げているポインタのラッパクラスが auto_ptr なのが特徴的と言えば特徴的です。この手の話題では大抵の場合 auto_ptr は使えない例として少しだけ書かれて本題は参照カウントとかリンクリストとかでスマートポインタを実装する事であったりするのですが、本書ではＳＴＬに拘っているのか auto_ptr を上手く使おうぜと言った事が書かれています。
　また、本章では operator new や operator delete の自作に関しても触れていますが、これも多くの場合に見られるちょっ速なアロケータとか空間効率の良いアロケータと言ったトピックではなく、エラーを起こさない、例外安全で例外中立なアロケータを実装すると言う安全性を重視した内容になっています。

　第７章では、よく陥る罠、落とし穴、反イディオムと言った所謂アンチパターンについての問題を扱います。
　オブジェクトの生存期間に関するトピックは割とああなるほどと思えました。でも、他のトピックはああこれどこかで読んだなと言った感じでした。流石にもう自己代入チェックとか暗黙の型変換はだめぽとか飽きてきました、だって大抵の本に書いてあるんだもん(´Д｀；)
　ああ、「例外安全で例外中立な代入演算子 (或いはコピーコンストラクタ) ならば自己代入チェックは要らない、自己代入チェックのメリットは本当に自己代入が起きた時にのみ効率的なだけ」と言う主張にはへーと思いました。が、長月は何故そう言えるのかをちゃんと理解出来てない気もします。

　そして最終章の第８章です。第８章は分類しにくいトピックをいくつか扱います。なんと言うか個人的には読み物的な章でした。他の章に比べて難易度設定も低いようです。
　長月は第８章最初の問題からしてやられました。T t(); と言う記述、これだけで冷静に見れば T 型の値を返す引数をとらない関数の宣言です。しかしこれが変数の宣言･初期化のすぐ下にあったら？　長月は思わず変数の宣言 (定義) に見えました。ばっちり引っかかって誤読です。
　本章では const についても扱っています。この const、エラーとかが沢山出るとめんどくさくなって思考停止に陥るんですよね、結果 const 外すとか安易な道に走るか、良く考えずに思いついた事やってみてより大きなエラーを作りこむか、なんにしても悲惨です。そんな const の使うべき時使わざるべき時を割と丁寧に解説しています。特に「例え内部状態を変更しても外部から見た状態が変わらなければその関数は const である」は目から鱗でした。mutable の存在理由がやっと理解できました。
　そして最後のトピックである制御フローも興味深いトピックでした。自分が意図した以上に多くのパスが存在する事もあると自覚させられました。もうちょっと注意深く読んだり書いたりしなければと思わせます。

　いつもの如く駆け足なのか鈍足なのか、参考になるのかならないのか良くわからない文章ですみません。参考意見が欲しくて立ち寄って下さった方の為に書いておきます。
　本書は初心者の方にはオススメしません (内心却って初心者の内に読ませた方が良いかもとも思いますが)。しかし、貴方が少しはＣ＋＋を使えると言う自覚があるのならば一見の価値ありでしょう。また、効率の良いコーディングの本は読み飽きた、安全で頑強なコードの書き方が知りたいと言う方も読んでみるべきだと思います。
　解りやすい文章が書けないのが申し訳ないと思いつつ本書についてはここまでで筆を置きます。

　――――誰かの参考になる事を祈りつつ。

　いやもういい加減囲碁関連のトピック書けっつーんですよね。ぽまいこのblogの閲覧者の８割が囲碁関連のページから来てるの知らんのかと小一時ｋ（ｒｙ
　ああもう、解ってるんですよ？　だからなんか書かなきゃナーとか思ってるんですよ？　でもね、今月読書強化月間だし読みたい本がコンピュータ関連ばっかりだしで仕方ないんですよ。
　と、一通り言い訳した所で読書感想書籍紹介文へ。今回から２回に分けて紹介予定の本はハーブ・サッター著、浜田真理訳、浜田光之監修、 Exceptional C++ ４７のクイズ形式によるプログラム問題と解法です。
　本書はクイズと言う形式にする事で、実際のプログラミング現場で求められる経験の学習を意図した物です。普通の学習書がボトムアップの発想であるのに対し、本書はトップダウンの発想で書かれています。その点で言えば以前紹介した Accelerated C++ と同じです。しかし二者には大きな違いがあります。はっきり言って Exceptional C++ は初心者さんにオススメできません。理由は追々述べます。

　さて、本書はクイズ形式を取っている訳ですが、第一章の項目一、詰まり一問目から飛ばしてます。
　第一章はジェネリックスプログラミングとＳＴＬについての問題ですが、項目一のイテレータにまつわる間違いを探す問題からして割といやらしい問題です。長月は一応なんとか気付きましたが、e.insert( --e.end(), TodaysDate() ); これ、どこが何故間違いなのか解りますか？　おそらく長月は問題として出されてなかったら気付きませんでしたし、怪しいと思っても Why? の部分が解るまで考える事は無かったでしょう。もうしょっぱなから難易度高いです。項目二で早速 char_traits いじってるのもうわーと思いました。
　この辺りが初心者さんにオススメできない理由です。文法や機能の理解であっぷあっぷしてる段階の人達には難しすぎるんです。

　では気を取り直して第２章へ進みましょう。第２章では例外に対して安全なコーディングについての問題です。
　Ｃ＋＋で例外を駆使すると、何気に色々な所に潜在的な危険を孕む事になります。何気なく書いたコンストラクタは例外を投げてもリソースリークしない？　何気なく書いた関数はちゃんと例外を呼び出し元に投げる？　例外安全で例外中立なコードを書いたつもりで副作用を残してない？　第２章ではそう言った視点でコードを見つめなおす為の問題が出題されます。
　例外安全なコンストラクタと例外安全な swap メンバ関数で実装する例外安全な代入演算子なんかのテクニックは必見です。

　第３章では、クラス設計と継承についての章です。この章に出て来る問題は色々な書籍や掲示板やＭＬで見かけた事のある様な物でしょう。しかし、解決の為のテクニックに注目すべき物があります、理由や意味をＣ＋＋で素直に表現する方法が書かれています。
　値のセマンティクスを持つクラスの型変換や演算子のオーバーロード、関数のオーバーロード・オーバーライドとそのどちらでもなく外部スコープの同シグネチャを隠す関数、public 継承と private 継承の違いとそれらの意味、Pimpl イディオムの効用と注意点、実装継承とコンポジション、本章ではこれらの問題を扱います。

　第４章では、依存性にまつわる問題を扱います。ヘッダのインクルードや Pimpl イディオム再び、前方宣言の駆使、継承からコンポジションへそして Pimpl の後ろ側へ、Pimpl イディオムを詳しく、Pimpl の最適化、等の問題が用意されています。
　ヘッダのインクルードに関しては目から鱗でした。考えてみれば目に見えない依存性を生み出している事にとても驚いた物です。また、Pimpl イディオムの有効性を軽視していた事も教えられました。お前は本当にデザパタを勉強してるのかと小一時間……orz

　本書は難易度が高いです。いや、難易度が高いのではなく、高級な話題が多いです。低レベル機能の実装でも高レベルの視点から考えます。実際、問題も難易度の高い物が多く、解説もいくらかの習熟と経験を必要としています。やはり初心者の方においそれとオススメ出来る物ではありません。しかし、だからこそ有益な情報が多かったと思います。
　中級以上だと自負する方、本書を読んで一歩先へ行ってみませんか？

　どもども、何気にまにあわなさげでひやひやな長月です。
　今日はアンドリュー･コーニグ、バーバラ・Ｅ・ムー著、Accelerated C++ の１３～１６章をお送りします。これで Accelerated C++ に関しては最終回となります。

　今回の一つ目は第１３章、第１３章では、ついにＯＯＰの華である継承と動的バインド、所謂ポリモルフィズムを扱います。
　本章も基本的には普通にＣ＋＋の勉強をしてきた人なら問題ないかと思います。退屈なクラスの説明を読んできた人でも、本章で語られる基礎は抑えているでしょう。ただ、１３．４項のハンドルクラスに関するトピックは割と重要です。結構知っている人は多いはずですが、意外とこういう設計通りに実装出来てない (或いは設計の時点で出来てない) 事が多いようです。

　第１４章では、メモリ管理の半自動化を行います。前章で製作したハンドルクラスを一般化して、所謂参照カウント式スマートポインタに仕立て上げます。
　それなりにＣ＋＋を使った事があるなら、ポインタデータメンバを持ったクラスを書いた事がある人は多いでしょう。大抵の場合 "リソースの獲得は初期化" イディオムに従ってコンストラクタでインスタンスを得、デストラクタで解放すると思います。しかし、前章から本章までで扱ったようなハンドルクラスとかホルダクラスとか呼ばれるクラスを書く時に困った事はないですか？　長月はあります。どうしてもこう言う関数が欲しい、でも包みたいクラスの書き換えは出来ない。そんな時の一般的な解決法を知りたいなら１４．４．１項を熟読しましょう。

　第１５章では、第１～２章や第５章等で登場した文字列の入力を受けて、入力された文字列に装飾を施して出力するプログラムが再登場します。本章ではこのプログラムをデザインしなおす事で、ポリモルフィズムの実際への適用と、設計の基本に触れています。
　基本だけあって、既にＣ＋＋をそれなりに学んだ方や他の言語での経験が十分な方には退屈かもしれません。そういう方が求めているのはもっと技術的な事でしょう。しかし、基本だけあって大切な内容なので、入門書として本書を読んでいる方は要熟読です。また、これぐらいの事は知ってると言う方も、復習の意味でそれなりに気をつけた方が良いかと思います。

　最後の章である第１６章では訓戒を述べています。たった３ページの小さな章ですが、ここに書かれている事を心に留めておきましょう。

　さて、四回に渡ってレビューしてきた本書はここで終わりです。本書は入門書でありながら中級、もしかすると上級のＣ＋＋使いにも有益な本です。Ｃ＋＋をかじってみた物の教科書が悪くて食傷した方、なんとなく使ってきたけどもうちょっときちんと使っていきたい方、もう腕には自信があるけど基本を振り返りたい方、新人教育でお悩みの方はこの機に一読してみては如何でしょうか？

　<<８～１２章　目次

　今日も今日とて読書の日々です。考えてみれば読書強化月間とか言わなくても本読んでるよなぁ普段から。とか思わないでもないのは内緒です。
　さて、今日の一冊はお馴染みアンドリュー･コーニグ、バーバラ・Ｅ・ムー著、Accelerated C++ 効率的なプログラミングのための新しい定跡 ８～１２章です。

　前回にも言ったとおり、８章からは抽象度の高いプログラムを自分で書く立場に変わります。その手始めとして第８章ではジェネリック関数の書き方を解説しています。
　ついに出ましたテンプレート。長月的にはもう無くてはならない物です。テンプレート大好き。
　この章では、テンプレート関数とイテレータを使って総称的な関数を書いていきます。実質各種イテレータの解説がほとんどです。

　第９章では、ついにクラスが登場します。ここから第１２章まででユーザ定義型を定義する為に必要な事を解説していく展開です。
　今までにも実質的に同じ物である構造体は出てきていましたが、メンバ関数などは定義していない所謂ＰＯＤ (Plain Old Data) でした。今回は構造体ではなく、メンバ関数も含めてクラスを定義します。以前、第四章の所で少し書いたように、構造体と共にヘッダに追い出されていた関数群がメンバ関数になる流れです。
　この章の内容は普通にＣ＋＋の本を読んでいたら当然の如く知っているはずの事ですね。要するにカプセル化に気を使えとかそう言った類の事です。

　第１０章では、メモリとデータ構造の詳細に触れていきます。他にはファイルへの入出力も少し扱っています。
　ここでやっとポインタの登場です。ポインタが絡むと一気にややこしくなるのがＣ/Ｃ++なので、こうやってポインタを後回しにするのは良い方法だと思います。Ｃ言語ではそうもいきませんが(´・ω・`)
　内容としてはポインタの絡む事をあれこれ、関数ポインタや文字列リテラルなんかにも触れています。また、メモリにまつわるあれこれも解説しています。記憶域クラスに関することやコンストラクト・デストラクトに関する事なんかが主です。
　この章もまともに学習していれば問題ない所でしょう。

　第１１章では、抽象データ型を定義します。具体的には vector のクローンを作成する事で、抽象度の高いコンテナ等の書き方を学びます。
　この章のキモはコピー絡みの部分でしょうか。代入演算子やコピーコンストラクタの定義にまつわるトピックスはしっかり理解しましょう。コンテナ型に限らず、値のセマンティクスを持ったクラスの定義に役立つ理論です。

　第１２章では、値のセマンティクスを持ったオブジェクトの定義を学びます。値のセマンティクスを持つと言うのは、言い換えればプリミティブ型と互換の動作をするオブジェクトと言う事です。
　この章で気をつけるべきは、変換に関する問題と演算子ですね。これらの定義を誤ると構文は正しいのに意味が間違っていると言う見つかりにくいバグの元になります。この辺りの事はしっかり理解しておきましょう。

　今回読んだ部分は、基本でありながら重要な部分です。文法に関しては割とすぐ覚えられると思いますが、ユーザ定義型を定義する際に気をつけるべき事等、論理的な部分に関しては気が付けば間違っていたと言った事が良く起きる部分です。これらの部分は気をつければコーディングの手間を減らし、誤ると後に手痛いバグとして帰ってくる部分なので、しっかりと理解できるまで何度でも読むべき部分でしょう。
　とか言いつつ長月もそうしなければならない程度のヘボプログラマなんですが(´・ω・`)

　さて、長らく続いた本書のレビューも次で最終回です。次回は１３～１６章を取り上げます。本書のレビューが終わったらまた何かＣ＋＋関連書籍のレビューをしたいと思っているのでＣ＋＋使いの方お楽しみに。では今回はここまで、さようならﾉｼ

　<<６～７章　目次　１３～１６章>>

　え～と、ごめんなさい。「今日は豪華三本立て」と言いつつ「今日」に間に合いませんでしたｏｒｚ
　さて、あおいろ日記豪華三本立て読書感想文フェア最後の一本はここ数日ですっかりお馴染み、Ａ．Ｓ．タネンバウム、Ａ．Ｓ．ウッドハル著、オペレーティングシステム　設計と理論およびＭＩＮＩＸによる実装【第二版】　第２章の後編です。

　第２章の後半である第６項はプロセスの実装についての解説です。例としてＭＩＮＩＸのソースコードを挙げています。６．１項から６．４項では、ソースファイルやヘッダファイルを収めたディレクトリの構成を解説しています。また、重要なヘッダファイルに含まれる定数やマクロに付いても触れています。特に６．４項はプロセスのデータ構造体の定義が解説されているのでよく読みましょう。
　６．５項から６．７項は初期化に関しての解説です。６．５項でブートストラップ、６．６項で初期化ルーチンおよびルートプロセス、６．７項で割り込みベクタについて解説しています。ここらはとても重要です。ブートストラップコードがないと何も出来ませんし、少なくともキーボードとクロック割り込みに対応しないと何も出来ません。正直この辺り重い話題ですが頑張りましょう。
　６．８項と６．９項はＩＰＣとスケジューリングについて。カーネルの特徴を大きく左右する部分です。マイクロカーネルを採用するのであればＩＰＣには特に注意を払うべきでしょう。
　６．１０項ではハードウェアに依存する部分を解説しています。理屈に関してはそう難解ではありませんが、設計や実装を行うとなると、ハードウェア依存の部分をどれだけ切り離せるかがほかに大きく影響します。ハードウェアを隠蔽できるのであれば他の部分を高レベルで一般化でき、多くのマシンアーキテクチャに対応できるでしょう。
　６．１１項ではカーネルだけでなく一般にも公開されるユーティリティライブラリや、カーネルのみが参照するライブラリ等を解説しています。この項は関数の使い方を解説しているだけなのでさらっと読み下せるでしょう。

　第２章の後半は特に骨のある内容になっています。正直読んでて眠いです。重いです。しんどいです。気合が要ります。でもそれだけに重要で飛ばせない部分が多いので気合を入れて読みましょう。

　いい加減囲碁関連のエントリ書かないとお客さん減るなと思いつつ今回はここまで。ではまた。

　あおいろ日記豪華三本立て読書感想文フェア第二弾は、アンドリュー・コーニグ、バーバラ・Ｅ・ムー著、小林健一郎訳、 Accelerated C++ 効率的なプログラミングのための新しい定跡 ６～７章です。
　今回はＣ＋＋を便利に使う事に注力した前半部分の締めくくりです。８章以降は使うだけではなく、機能を提供する際に特に役立つ機能の解説へと移っていきます。それでも使う事に主眼が置かれている事には変わりませんが。

　まず第６章では、第５章までに学んで来たシーケンシャルコンテナに対して、ＳＴＬに用意されているアルゴリズムを適用する事を解説しています。後、記憶域クラス指定子が初登場します。意外な事にここまで出てきてなかったんですね。
　この章は、言ってしまえばいくつかのアルゴリズム系関数の使い方を見ていくだけです。しかし、課題を工夫する事でイテレータアダプタやリバースイテレータ等、必要な事は大体網羅しています。
　私見ですが、コンテナやイテレータの扱いには慣れている人でも、意外とイテレータアダプタを知らなかったりする事が多いようです (使う必要が無い事も多いのは確かですが……)。心当たりがある人は本章で慣れておくと良いでしょう。

　第７章では、連想コンテナを扱います。連想コンテナの例題としてはお馴染みのワードカウントや対応表、英文の自動生成の製作を通して主に map の解説を行っています。
　例題のプログラムを見ていると、なにやら懐かしい気持ちになります。大抵の人は上記の様なプログラムで map の勉強をしたのではないでしょうか？
　すでに連想コンテナをバリバリ使ってる人は昔を懐かしみながら復習するのも良いでしょう。

　さて、第７章までで抽象度の高いライブラリを使う事に関しては学べました。次章からは自分が抽象度の高いプログラムを書くにはどうすべきかに注力して展開していきます。しかしＯＯＰらしくなるのは１３章まで待たなければならないのがにくいですね。
　ここまでは入門者さんにオススメの部分でした。今までの内容にも初～中級者が学ぶべき事は色々ありましたが、ある程度Ｃ＋＋かじった人には次章以降を強くオススメしたいと思います。次章以降は今後二回に分けて書いていきたいと思います。

　<<０～５章　目次　８～１２章>>

　本当は Accelerated C++ の６～１０章を予定してたんですが、予想外の掘り出し物を見つけたので。そっちのけで買ってきた方を読んでしまいました。とは言え、一応６～７章は読んでるのでそれも後で書きます。さらに、仕事の休み時間にＯＳ【第２版】も読んでるのでそれも。今日は豪華三本立てです(・∀・)
　その分一つ一つの分量少ないですが(´・ω・`)

　さて、あおいろ日記読書感想文フェア第一弾は白井良明、辻井潤一著、岩波講座　情報科学　２２　人工知能　第１～２章です。
　第１章はご多分に漏れず本書の概要を述べています。人工知能という研究分野の成り立ちや応用分野をさらりと流した後、本書の構成を説明しています。
　この中で一つの分野として自然言語処理が挙げられています。長月が興味を持っている分野がこれです。本当はどちらかと言うと人工知能よりも人工無能に興味があるんですが(´・ω・`)

　第２章は問題の表現について。
　人工知能は極論すれば解法のない問題を解くためのプログラムです。これと言って適したアルゴリズムの無い問題を、いかに推測し、制限し、探索するかが主題となります。なので問題解決の方法を定める際に、問題自体の形式や構造が重要になります。
　本章では扱う問題を、解が曖昧でない、問題解決に探索を行う物と制限した上で、よく用いられる論理的な構造の理論を解説します。
　内容としては問題の整理の仕方と所謂データ構造の理論になります。
　問題を整理する方法の解説では、記法の正規化、操作の定義、制限条件の定義等に触れています。
　また、データ構造に関しては、目的は探索なので、主に扱われるデータ構造はマルチウェイなツリー構造やグラフ構造です。
　この辺りはアルゴリズム論やデータ構造に詳しい人は読み飛ばしても大丈夫でしょう。まださわりといった感触です。本格的になるのはもっと後の様で、少し物足りない感じでした。

　なんと言うか、やはり研究者の先生方が書かれた本なので、全体としてお堅い感じがしますね。読む人によっては眠いかもしれません。題材が題材なので仕方ないのかもしれませんが(´・ω・`)
　ということで、情報科学に興味があって睡眠薬を必要としている方は一読してみては如何でしょうか？（ぉ

　はい、早くも浮気です。ＯＳ【第二版】は読むのに気合が要るので疲れます。今日はさらっと流したかったので楽に読める本を。
　今日読んだのはアンドリュー・コーニグ、バーバラ・Ｅ・ムー著、小林健一郎訳、Accelerated C++ 効率的なプログラミングのための新しい定跡 ０～５章です。全然軽くねぇ……ｏｒｚ
　この本は、Ｃ＋＋とＳＴＬを便利に使ってしまおうと言う所から始まる入門書です。文法や規則の説明は必要になってから、とりあえず使ってみようよと言うスタンスで書かれています。以前書いたエントリで長月が言っていたスタンスですね。事実この方法は良いと思いました。
　さて、この本は大まかに０～７章までの前半と８～１０章の後半に分かれています。今回は前半の中でも０～５章について書きます。

　まず第０章はＣ＋＋事始めとしてお決まりの hello, world! から始まります。単純な hello, world! にも実はこれだけの物が詰まってるんだよ？　と言った風情で書かれています。この辺りは C/C++ 未経験者以外は読み飛ばしても大丈夫です。

　第１章では、早速 iostream を用いた入出力と string を用いた値の保存を行います。さらに、string のメンバ関数を使って、入力文字列に合わせて自動的にサイズを調整したフレームを表示したりもします。
　コンストラクタやメンバ関数を巧みに使っていて、初見の時になるほどと思わされた覚えがあります。Ｃ＋＋経験者でも意外と知らない string の使い方かもしれません。

　第２章では、第１章で書いたプログラムを拡張します。第１章で書いたプログラムでは、フレームとして出力される文字列がそれぞれ string 型の変数としてハードコードされていました。それをフレキシブルな形に書き直すのが第２章の目的です。
　ここまで来てやっとループです。まあここまで来てと言っても２０ページ無いんですが。
　残念なのが、コードが余り技巧的ではなくなって見ごたえが無い事です。必要な事に必要なだけ、そして解りやすく書かれているエレガントなコードなんですが、第１章で見たようなああなるほどと言った感動はありませんでした。

　続いて第３章では、たくさんのデータを扱うと言う題の通り、コンテナが登場します。
　これまでに学んで来た入出力やループを使って、生徒の宿題やテストの点数を入力し、学期の成績を計算するプログラムを作り、それを平均点の計算からメディアンを求めるプログラムに拡張すると言う段階を踏んで vector の使い方に繋いでいます。
　ここでのプログラムも何か引っかかる物があります。それが解決されるのが次章です。

　第４章に入ってやっと関数が登場します。前述した違和感の正体がこれです。既にプログラミングを嗜んでいる人間にとっては、長い main 関数が引っかかる訳です。
　第４章では、前章で作成したプログラムを、関数を用いた物に書き直していきます。さらに、複数の生徒の成績を扱う為に、データを構造体によって関連付けたり、ちらっと例外も顔を出します。それと構造体や構造体を利用する関数をヘッダファイルに追い出したりもしてますね。後にクラスの解説へと繋がりそうです (と言うか繋がります)。
　この章では sort や max 等のアルゴリズム系関数も出てきます。長月の私見ですが、どうも長月を含めた中途半端なレベルのＣ＋＋使いは、ＳＴＬのコンテナは良く知っていてもアルゴリズムを良く知らない様に思えます。本書を読んでいると、このやり方ならそういう偏りは出来にくいかもなあと思います。

　本日の締め、第５章ではイテレータが解説されます。前章のプログラムに合否判定の機能を加える為に、vector の巡回をすると言った感じです。
　イテレータは vector に特有の物ではありません。本章では、vector の部分削除や挿入に伴うコピーに起因する速度低下を不満として、list への差し替えを行います。
　さらに、イテレータで範囲指定する類の関数も使い始めます。
　なんと言うか、やっとＳＴＬの本領が見えてきたと言った所でしょうか。Ｃ＋＋はちょっと触っている人なんかはここら辺り方楽しくなってくるのではないでしょうか。

　上記のレビューにもちょこちょこと書かれていますが、本書は入門書で有りながら、経験者にも有益な本でもあります。文法や機能等に着目した従来の本と違い、問題解決に着目した作りであるため、意外な所で今までもやもやしていた物が解決したりします。
　自分はＣ＋＋を使っているしそれなりに使えているからと思っている方も一度読んでみては？

　目次　６～７章>>

　え～と、タネンバウム本分厚いです。重いです。立ち読みには向きません。買った理由がちょっぴり解りました。
　さて、今日読んだのは、Ａ．Ｓ．タネンバウム、Ａ．Ｓ．ウッドハル著、オペレーティングシステム　設計と理論およびＭＩＮＩＸによる実装【第二版】の第２章前半です。ええ、前半です。２章全部じゃないです。２章だけで１２２ページ有りますから、流石にさらりとは読めません(´・ω・`)　３章に至っては１８０ページ超えてるありさまですから……orz

　そんな訳で今回は２章 (前) です。
　２章のテーマはプロセスです。２章ではプロセスの概念に始まって、複数のプログラムを制御する為の理論とＭＩＮＩＸでの設計、ＭＩＮＩＸを例にした実装を解説しています。
　今回はＭＩＮＩＸでの設計の概要までを読んで思いつくまま書き殴ってみます。

　まず最初はプロセスと言う概念についての解説です。本書ではプロセスモデルの解説を通して概念の説明をしています。そしてプロセスに求められる物、必要な機能の実現等の理論の解説が続きます。
　プロセスと言うのは実行中のプログラムを指す言葉です。実際には千差万別であるプログラムを、統一的な方法で管理できるように抽象化した概念をプロセスと言います。
　この項で解説されている基本的な概念をしっかりと理解しておかないと後に混乱する事になります。プログラムとプロセスを混同するとスケジューリング辺りでパニックに陥るでしょう。

　第二項はプロセス間通信の解説です。
　マルチプログラミング環境に於いては、複数のプロセス間での通信が頻繁に行われます。第二項ではそのプロセス間に於ける通信方法や、それにまつわる問題、その解決法等を解説しています。
　プロセスは一つ一つ独立した物です。しかし完全に独立してしまうと、そのプログラムに必要な動作を全て実装しなければなりません。また、権限の問題で使用できない機能を利用しなければならない場合もあります。ですから、完全に独立させるよりは、必要な機能を持った別のプロセスに処理を委譲できる様にすべきなのです。そこで必要になるのがプロセス間通信であり、通信に際しての決まり事と方法なのです。

　第三項は典型的なＩＰＣ問題とその解決についてです。
　ＩＰＣとは InterProcess Communication の略で、プロセス間通信の事です。ＩＰＣ問題と言うのは、デッドロックや同期化、競合状態に関する典型的でプリミティブな事例の事です。これを解決する事で、実際の利用時に起きる複雑な状態にも対応できると言う、不具合の最小構成の事だと考えれば良いでしょう。
　第三項では、ＩＰＣ問題の中でも特にありふれた問題を三つ取り上げて、その問題点と解決方法を解説しています。

　第四項で解説されるのはスケジューラ、いよいよ大物登場です。
　これまでの解説で棚上げにされてきた、具体的なプロセスのスイッチングやその順位の決定についての理論、与える資源 (時間や機器や機能) の調整について等、プロセス管理の根本であり煩雑で難解な部分の解説を行っています。
　単に実行を開始された順で同じ量の資源を提供するのであれば複雑な事は有りません。しかし、処理には優先順位があり、実現すべき処理に必要な資源の量もそれぞれです。また、プロセスによってはスリープする事もあり、その間に何もしないのは資源の浪費になります。そう言った無駄を省き、必要な所に資源を回す為にもスケジューリングや資源の割り振りは慎重に行わなければなりません。
　第四項ではこう言った問題に対する今までに行われてきた提案を解説しています。

　第五項では、これまでに解説されてきた理論を元に、ＭＩＮＩＸを題材とした設計の一例を解説しています。
　内部の構成、プロセス管理、プロセス間通信、スケジューリング等について、ＭＩＮＩＸではどの様な理由でどの様な選択をしたのかが解説されています。ここで解説されているＭＩＮＩＸと言うＯＳのプロセスに関する思想を理解しておかないと、この後に続く具体的な解説で混乱します。

　ここまででも十分に厄介な第２章ですが、これまでの内容を理解していないと続く第６項で大変混乱します。
　プロセスはＯＳの根幹をなす概念です。他のほとんどの部分から依存される部分ですから、要点だけはしっかりと掴んでおきましょう。

　＃(´ー｀)ｏＯ（当blogのお客さんでこのエントリとかＯＳ【第二版】に興味ある人っているのかしら？　興味ある人はコメントｷﾎﾞﾝﾇ

　のっけからごっつい本です。なんかこれが二冊あれば人を殴り殺すのも可能なんじゃないかって感じがします。と言うか、囲碁ｂｌｏｇのアンテナから来る人が多い事を承知の上でこの本を選ぶ辺り、長月は捻くれ過ぎなんだなぁと他人事のように思うのでした。
　今日から読み始める本は、アンドリュー．Ｓ．タネンバウム、アルバート．Ｓ．ウッドハル著、千輝順子訳、今泉貴史監修、オペレーティングシステム　設計と理論およびＭＩＮＩＸによる実装【第二版】です。
　ページ数１２００ページ越え、四割がソースコードとは言え、量も内容も大物です。正直長月なんでこんな物買ったんでしょうか？　おかげさまで自作ソースコードを収めたディレクトリにＦＤとかＨＤＤから起動するためのブートストラップコードとか転がってますよ'`,､(´∀`)'`,､

　さて、肝心の内容ですが、今回は第一章についてです。
　第一章はオペレーティングシステム概論と言うタイトルの通り、ＯＳとは何であるかや、ＯＳの歴史等が書かれています。また、歴史に沿って、現代のモダンなＯＳならばまず搭載している機能や概念等も説明されています。

　ＯＳと言う概念やＯＳの歴史等は基本的に読み物です。技術的な面で見れば余り役立ちません。しかし、現在から見ればチープなハードウェアとソフトウェアしかなかった時代を思うと何とはなしに感慨深い物も有ります。テープメディアや８インチＦＤや５インチＦＤの時代を知る (当時年齢一桁) 長月はこの辺りを読むと、セピア色どころか思い出すのさえ苦労する時代の思い出が蘇ります。当時は父のひざの上で訳も解らずBasicのコードを眺めていた物です。

　さらに進んでＭＩＮＩＸの歴史を通り過ぎると、コンピュータ技術の進化を辿るように機能や構造、概念の説明が続きます。
　まずは概念の説明がなされ、プロセスやファイルシステム、メモリ管理やコマンドインタプリタ、システムコール等が解説され、ＯＳの一般的な構造へと続きます。
　構造の解説では、モノリシックカーネルやレイヤ構造を持ったシステム、仮想マシン、クライアント／サーバモデル、所謂マイクロカーネルまで基本的な構造を割合丁寧に、且つ急ぎ足で説明しています。

　ここまでの内容は技術的な観点で見ると余り役に立たないものが多いでしょう。第一章は全体を俯瞰した物なので抽象度が高いのです。しかし、考え方を知らなければ設計や実相の段階で無用な悩みを抱えることになるので、こういった概念も無視できない物では有ります。
　本エントリを見てこの本を買おうと言う人は余り居ないと思いますが、この本を読むのであれば、まず第一章をしっかり読む事をオススメします。

　しんご及びふぇるお兄様オススメのおいコーを試しに買ってみたので読んでみた。
　とりあえず薄い、内容じゃなくて本の厚みが薄い。さっくり読めた。時間の無い人にはありがたい。
　レビュアのオススメポイントがあまあまの恋愛模様だったわけですが、これに関してはちと微妙な所です。悪くは無いですが良くも無い感じでした。主人公二人の気持ちは割とわかり易い感じで良いと思いましたが、所々で気に食わない表現がありました。どうも中盤に多かった感じです。
　章立て毎に評価するなら、第一部より第二部の方が面白く感じました。第一部は割とどうでもいい事を聞かされた感があります。かといって第二部が手放しで面白いかというとそうでもないです。主人公男に関して言えば第二部の主人公男はあまり良い印象ないです。
　全体的に見ると、文体とかセンスがおとなしくゆったりした感じで長月の好みに近いです。でもボール半分外れてます。長月は割と馬鹿でアップテンポで軽い物が好きです。同時にゆったりと静かな物も好きなんですが、おいコー１に関してはちと方向が違いました。長月の好きな感じを一言で言うなら曇天です。晴れほど明るくない、でも雲間から陽は射してる、そんな感じが好きです。でもおいコー１の暗い部分はなんか暗いというより重いな感じでいやんでした。

　という訳でなんか評価低そうな事書いてますが、総合的に見て評価は低くないです。悪くは無いです。少し面白いぐらいに感じます。続き次第で楽しめるかもしれないので、隙を見て少しずつ揃えていく事にします。

　とりあえず第一章を読み終わっての感想。
　読んでみて長月はSTLのコンテナとイテレータに関しては問題ない程度、アルゴリズムがちょっと弱いらしい。と言う事が判った。
　ので、この本、クイズ形式になってるからか、傾向と対策本として使えそう。
　問題集になってる本のいい所はちゃんとやれば自分の弱点がわかる事。そう言った意味ではExceptional C++はちゃんと問題集として機能してそう。
　難易度に関しては、入門者や初級者にはちょっとオススメできない感じ。序文にもある通り、ある程度C++に触れた経験が無いと辛いと思う。
　かといってバリバリに使ってないと無理かと言われるとそれ程でもない。ちゃんと学習してそれなりに自分で何かを作ってれば経験してる事が書いてある様に見える。
　どこかのBBSやMLで相談されていて、解答を読んでなるほどと思っていた事なんかが載っていたので、割と多くの人が悩む所についての解法が書かれている感じ。
　物によってはそう言った場で挙げられた解法よりよさげな事なんかも書かれているので、ある程度「濃ゆい」C++コミュニティに参加してる人なんかは読んでみても良いんじゃないかと思う。

　cppll辺りに参加してる人は一読してみては？

　Exceptional C++が届きますた。
　これで気になってるC++本コンプまで二向聴。
　Exceptional C++を読み終わったらEfficient C++かBoost本かSTL標準講座を買うつもり。
　どれにしよう？（´ワ｀）

　その前に目の前の本をちゃんと読め？　おっさる通り……orz

　Modern C++ Design読んでて思ったこと。
　確かに斬新、トリッキーで解りにくいところはあるけど凄いのは凄い。でもちょっとやりすぎじゃないですか？
　なんかそこまでするの？(´Д｀；)　と思うところがいくつか。
　タイプリストとか便利そうだけど、コンパイルタイムはともかくランタイムは速そうだけどそこまでやりますか？　って感じ。
　後を読んで必須だと思えたとしても、却ってLoki自体どうなの？　と思うことになるかもしれなさげなトリッキーさ(´・ω・`)
　なんか2chとかで割とえらい言われ様だった理由が理解できた(´・ω・`)

　Modern C++ Design手強し(´・ω・`)
　テンプレートはユーザとしては慣れてるけど実装者としては慣れてないので宇宙語に見える個所がちらほら出てくる(´・ω・`)
　まだ大して難しいところには入ってないはずなのにもうこんな状況で大丈夫ですか？＞俺

　＃それでも仕事の休憩時に読んでる中学レベルの英文法書よりは理解できる辺り何かを間違えてる……orz

　Modern C++ Designを買った。
　とりあえずまえがきをさらっと斜め読みしてポリシークラスの解説を読み始め。なんか大体のことは知ってるっぽい。どこで知ったのかな？　と考えてみるとやねうらお氏のプロフェッショナルWindowsゲームプログラミングにもポリシークラスのことが載ってたことを思い出す (２のほうだったかもしれない)。Modern C++ Designよりあっさりしていて若干舌足らずな印象があった。そういえばプロフェッショナルWindowsゲームプログラミングにはほかにもパラメタライズドなSingletonやMediatorも載ってたはず、原点はModern C++ Designか元になったC++ジャーナルの記事なのかもしれない。

　まだちゃんと読んでないのでなんとも言えないけど。ポリシークラスの概念を鑑みるにこの本ではポリシークラスが大活躍するはず。この間接性が理解を妨げそうな予感がしないでもない。気合を入れないと読み下せなさそうなのは面倒だけど、身に付けると一歩先に行けそうな内容なので頑張ってみます(´・ω・｀)