中は大きく2つにわかれていて 前半でプログラムの意味論と計算機モデルについて、 後半で計算可能性について論じている。 どちらの分野も専門書は数多くあるが、 Rubyでの実装をとっかかりに、平易に論じているのが眼目。
1章は前提となるRubyの解説、パート１の意味論が2章から5章まで、 パート２の計算可能性が6-9章。
パート１の 2章はプログラム意味論、 3章は有限オートマトンと正規表現、 4章でプッシュダウン・オートマトン、 5章はチューリングマシン。
パート２の 6章はラムダ計算、 7章はさまざまな計算モデルを紹介、 8章は停止性判定プログラムなどの不可能な計算、 9章はプログラムの抽象実行。
かなり変わった本だが、教科書にはいいかもしれない。 やっぱり手を動かして実際に動かさないとわからないからなあ。
タイトルはCのポインタの理解となっているが、内容的には もう少し広くて、Cのメモリ管理手法について詳しく書かれている。 実際、ポインタに関する基本的な事項は1章でほとんどカバーされていて、 残りは周辺の話題。
2章はmalloc等による動的なメモリの取得と開放、 3章は関数呼び出し時にとられるスタックの話題と 関数へのポインタの話、 4章はポインタと配列の関係、 5章はポインタと文字列、 6章はポインタと構造体、 7章はポインタに関連するセキュリティ問題、 8章はその他の話題という感じ。
ポインタと配列に関しては、特にポインタのポインタと 多重配列の関連などは理解が難しく、入門書の類では スキップされがちだが整理して書かれている。
Microsoft のVisual Studio C固有の話題や、最新のC11固有の 話題がカバーされているのも興味深い。
マイルズ・ヴォルコシガン シリーズ。時期は前作「ミラー衛星爆破」の直後。 前作で未亡人となったエカテリンを帝都に迎えたマイルズは、 迫る皇帝の婚礼準備を進めつつ、エカテリンへの求婚をすすめようとするが、 従兄弟のイワンが焚きつけた他の求婚者がでてきたり、 クローンの弟マークが持ち込んだバター虫の騒動でなかなか進まない。 さらには、国主になるためにベータで性転換手術をする（元）女性ヴォルや、 遺伝検査で数代前に血が途絶えていることが判明するヴォル、 人口子宮で一気に人口を増やそうとするヴォルなどもでてきて大混乱。。
相変わらずやたら長いがおもしろい。今回はSF色は控えめ。 兎にも角にもマイルズが結婚できてよかった。めでたいめでたい。 下巻の後半は独立した作品「冬の市の贈り物」になっている。 こちら直後のはマイルズ本人の結婚式を描く。なつかしのタウラ軍曹が 登場。寿命が制限されているという設定だったので、まだ生きている というだけで嬉しい。 こういう長いシリーズを読んでいると、古い知り合いみたいな 気持ちになっていて面白い。
![魔法にかけられて [DVD]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sw657-u_gj8btZAW78uDA3UH2TP8rTft9buxtZ9_pd_mX0uUR7X-P_zeSAmH4U0o2VwgTFbybAGkWeXxv5dUoQ3DGVjefChiD6bPZ0agsUdpNOf0AVs2e4nPsK7rOO51Q=s0-d)
ラングドン教授が活躍する「ダ・ヴィンチの暗号」の続編。 前法王がなくなりコンクラーベが始まったバチカン市国で 4人の枢機卿が誘拐され、 同時にCERNではLHCで作られた反物質が盗まれる。 そして、イルミナティから枢機卿の殺害予告と反物質による爆破予告が届く。
映画としては安心して楽しめる娯楽作品。Tom Hunksはとにかく安定。 原作だとCERNでの盗難にもう一捻りあったような。 あと、誘拐暗殺の実行犯も非常に単純な造形になっている。 2時間枠に収めるためにはしょうがないのだろうけど。 反物質を作るシーンはせっかくCGでがんばってるんだからもうすこし リアリティのあるプロセスに演出できなかったのかなあ。。。![天使と悪魔 コレクターズ・エディション [DVD]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_s7wupLk9WllvyBd9-V7roIkL488owIufaivjnJC1EnokjVwX-T4DNjvLm3tQYyTVI8NFqlh0HDoReKoTEsLxDTNk3jIE0vJ7akYRSUPecjbabUsvXmGRSsXPg056Uix4Q=s0-d)
