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

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

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

Scheme入門書の定番を翻訳 プログラミング言語Scheme は、Lisp の代表的な方言であり、計算機科学においてプログラミングを学ぶ上でもっとも適した言語のひとつでもある。 本書は、 Da...

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

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

並行処理の基盤と最新APIを究める！ ｊava.util.concurrentを駆使した豊富なプログラムと親しみやすい解説文で、難解といわれるマルチスレッドプログラムを、安全でスケーラブルに書くために...

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

伝統的Ｃから最新規格、そしてＣ＋＋互換Ｃまでを網羅した、プログラム言語Ｃのリファレンスマニュアル。Ｃ言語、実行時ライブラリ、正確性、可搬性、保守性を強調するＣプログラミングスタイルについて記述する。

マイクロソフト社の世界戦略を担ったＯＳ「ウィンドウズＮＴ」の開発物語。伝説のプログラマーと開発者達による凄絶なソフトウェア開発の実態を描くノンフィクションの名作。

販売管理・売上ランキング・財務計算などの日常業務を主な題材に、高度なＳＱＬプログラミングテクニックを、全７５問の楽しいパズルを通じて解説。標準規格ＳＱＬ?８９／９２／９９ベースの実践的な解答ＳＱＬ文を掲...

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