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

コンピュータを使った言語処理について、文字の入出力、整列・検索・照合をはじめとした言語処理の基本と、必要な情報を効率的に確実に探すための技法を紹介。機械翻訳の現状と、言語の性質を調べる統計的手法を述べる...

高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説。これら基礎理論の学習を通じて、関数型プログラミング言語の動作やその型システムの原理、さらに、多相型、型推論、継続計算、レコード計算...

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

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

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

半世紀前の21世紀未来予測は実現しているか？ かつて科学技術庁が原子力・医療・宇宙・気象・台風・地震・交通・住環境などの各研究機関の第一人者から集めた資料をもとに、21世紀つまり今現在の日本の未来...

半世紀前の21世紀未来予測は実現しているか？ かつて科学技術庁が原子力・医療・宇宙・気象・台風・地震・交通・住環境などの各研究機関の第一人者から集めた資料をもとに、21世紀つまり今現在の日本の未来...

本書は、MITビット・アンド・アトムズセンター所長の著者による「ものづくりのデジタル化」と「パーソナルファブリケーション」を解説する書籍です。 インド、ボストン、ノルウェー、ガーナなどにおいて、ものづ...

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

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

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

ゲームの基盤技術を包括する決定版！ 数々の賞を受賞したヒット作「アンチャーテッド　黄金刀と消えた旅団」開発者による解説書がついに日本語化！　なぜ多くのヒット作がゲームエンジンを用いて作られるのか。プロ...

アップル激動の創業期を克明に記録したジョブズ神話の原典！ ジョブズの追放、復活から現在に至るまでを増補。伝説の一冊・待望の復刊！ 著者はアップル社内を無制限で取材した唯一のジャーナリストにして、世界...

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