巨匠ワインバーグ永遠の名著、新訳・新装版。プログラミングの技術的側面ではなく、人間の手作業としての側面に着目して、良いプログラムを書くための心得、取り組み方を説く。コンピュータ書籍参考文献に必ず取り上げ...

プログラム意味論を展開する際に基礎となる数学的な枠組みを、表示的意味論を中心に詳しく厳密に解説した「プログラム意味論の本質」がわかる本。 第1章 表示的意味論の考え方 第2章 ラムダ計算の基礎 ...

20世紀後半、最高の製品はこれだ！ 誕生後、いまなお進化し続ける驚異のコンピュータの全貌を描く。 著者渾身の話題作が、内容そのままに8年ぶりに復刊！ 第一章 出会い 第二章 ブッシュの夢 ...

Rubyを使うエンジニア必読の書！ Martin Fowlerの名著『リファクタリング』のRuby対応全面改訂版が、ついに復刊！ Ruby初級者～中級者におすすめ。リファクタリングを網羅的にまとめた...

ソフトウェア開発の定番書『人月の神話』。「ブルックスの法則」で知られるブルックス教授によるこの名著が、同教授の35年ぶりの新刊「The Design Of Design」(邦題「デザインのためのデザイン...

Linux、オープンソース（OSS）関係者必読の書。OSSソフトウェア開発の実態と、そのコミュニティ、そしてハッカーたちの価値観を、オープンソースのエバンジェリスト、ESRことエリック・スティーブン・レ...

内容説明 道はnilを生ず。nilはアトムを生じ、アトムはS式を生じ、S式は万物を生ず−。LISPプログラミングの大元にある考え方を平明にユーモアを交えて解説する。Common Lispに準拠。〔初版...

第１部：基礎的な対話（Lispを動かしてみよう／関数を定義してみよう／プログラムやデータの構造を学ぼう／リスト処理の基本関数を理解しよう／エディタで再帰的なリスト処理を楽しもう／制御構造や変数を使い分け...

機械学習の代表的な理論「強化学習」の実践教科書！ コンピュータ・エージェントやロボットなどの自律的な学習を実現するための計算理論である「強化学習」について、数学的背景から実装、最新の動向まで幅広...

著者H.ゴールドスタインは、ENIACの開発プロジェクトで重要な役割を果たし、その後、IBM社において計算機開発の歴史とともに歩んできた人物。 本書はパスカルの計算機から始まり、ノイマンによるプログラ...

現在のインターネットのセキュリティを支える公開鍵暗号方式。それを破ることになるであろう量子コンピュータ。そのアルゴリズムと実現方法、また量子暗号の可能性をわかりやすく解説する。

「確率ロボティクス」の主要なアルゴリズムを 詳細に解説・議論した決定版がついに復刊！ 「確率ロボティクス」は、環境やシステムが持つ「不確実さ」（予測不可能な事象）に確率・統計を駆使して対処する...

ダイヤモンド社が1982年に発行した、ハードウェアとファームウェアを中心としたコンピュータ開発についてのノンフィクション『超マシン誕生』（1982年10月発行）の新訳・新装版。