この本は,プログラムに抽象的数学理論を関連付けることで,演繹的方法をプログラミングに応用するものです。抽象的数学理論により，プラグラムが目的通りに動作するようになります。それらの理論の詳細，理論の観点から記述されたアルゴリズムおよびアルゴリズムの特性を記述する定理（theorem）と補題（lemma）を一緒に示します。実際のプログラミング言語によるアルゴリズムの実装が，この本の重要な部分です。人間のための仕様は，厳密でありながらも形式張らないようにすべきですが，コンピュータに対するコードは，どのようなものであっても絶対に正確でなければなりません。
　化学やエンジニアリングのほかの領域と同様に，プログラミングの基盤は演繹的方法なのです。演繹的方法は，複雑なシステムを数学的に記述された振る舞いを持つ要素に分解することを容易にします。このことは，効率的で，信頼性が高く，堅牢で，無駄のないソフトウェアを設計するための必要な前提条件です。
　この本はプログラミングを深く理解したい人々向けに書きました。フルタイムでのソフトウェア開発者であるか，専門的活動の重要な部分にプログラミングを利用している科学者とエンジニアであるかは関係ありません。
　この本は，最初から順に読んでください。コードを読み，補題を証明し，演習を行うことで，題材を理解することができます。さらに様々な課題を提示していますが，そのいくつかは結論が出ないものです。この本は簡潔明瞭なので，注意深い人は各章と題材を選択した理由の関連にいずれ気付くことでしょう。この本の構成の原則を発見することを，みなさんの目標にしてください。
　みなさんが，初頭代数演算を知っていることを前提としています。離散数学にかんする大学の講義レベルの論理と集合の理論に関する基本用語も理解していることを前提としています。使用する表記は，付録Aにまとめてあります。アルゴリズムを記述するために必要な抽象代数学のいくつかの概念の定義も示します。プログラミングに慣れていて，コンピュータ・アーキテクチャと基本的なアルゴリズムとデータ構造を理解していることを前提としています。
　この本では，C++を選択しました。その理由は，C++は強力な抽象化機構を利用でき，またハードウェアの忠実な表現が可能だからです。この本では，C++ 言語のサブセットを使います。また，必要条件をコメントとして記述しています。C++言語にまだ慣れ親しんでいない人も，この本の内容を理解できるよう配慮しました。付録Bに，この本で使用しているC++のサブセットを記述しています。数学的記法とC++間に相違がある場合には，使用しているコンセプトとプラグラムに対応するものがSTL（C++Standard Template Library）にありますが，この本では，STLにおける設計上の決定のいくつかと異なっています。また，この本は，STLなどのような本物のライブラリが対応しなければならない，名前空間，可視性，インライン指定といった問題も無視しています。
　第1章は，値（Value），オブジェクト（object），型（type），手続き（procedure），および，コンセプト（concept）を説明しています。第2章から第5章までは，半群（semigroup）や全順序集合（totally ordered set）などの代数構造に対するアルゴリズムを説明します。第6章から第11章までは，メモリの抽象化に関するアルゴリズムを説明します。第12章は，他のオブジェクトとを包含するオブジェクトを説明します。あとがきでは，この本で示したやり方に関する著者らの振返りを述べています。

日本語版の読書者へ
　私達は，日本語版の読者向けにまえがきを書く機会を提供してくれた出版社および訳者の柴田芳樹氏に深く感謝しています。
　この本の精神は，日本の美学にあります。この本は，必要最低限の数の言葉で，できる限り多くを説明しようとしています。古くからの俳句のように17語まで減らすことはできませんが，俳句が少ない語数で表現することに影響を受けました。この本は，あまり厚くはありません。実際，無駄な厚みが全くないことを願っています。私達は，すべての言葉が意味を持つように努めました。
　故障しない自動車や修理を全く必要としないテレビでもって，日本のエンジニアが世界を変え始めた頃に，私達は大人になりました。私達の望みは，ソフトウェアに対する私達の取り組みによって，自動車やテレビと同じように頑強なものを，プログラマが作り出すことを可能にすることです。日本のエンジニアのおかげで，一般の人々が自動車に関する機械知識を持っている必要がなく，自動車は常に走ると想定できるようになってもらいたいと思っています。そうすれば，ソフトウェアは，直感的で芸術家肌のプログラマではなく，有能なプログラマによって生み出されるようになるでしょう。
　この本は，出発点に過ぎません。ソフトウェア開発を工業化するための努力のほとんどは，これからの未来に行われます。この本の読者の方々が，その未来をより現実的にしてくれることを望んでいます。
　訳者である柴田芳樹氏には，注意深い翻訳だけでなく，誤りを見つけてくれたことにも感謝します。

Paul McJones，Alexander Stepanov
米国，カリフォルニア州
2015年8月