The Art of Computer Programming

『』（ジアートオブコンピュータプログラミング、略称 TAOCP）は、ドナルド・クヌースが著すコンピュータプログラミングに関する書籍のシリーズである。様々なアルゴリズム（計算手法）について、その背景や歴史にまで踏み込んで徹底的に解説しており、アルゴリズム解析も扱う。クヌースはこの執筆を、自身のライフワークと位置づけている。

 概要 
全7巻の刊行を予定するプロジェクトであり、2024年時点で第1巻から第4B巻（旧版第6分冊）までが刊行されている。

このプロジェクトは1962年に始まり、当初は全12章から成る1冊で完結するつもりで着手されたのだが、その後に7巻の計画に膨らみ、最初の3巻は1968年、1969年、1973年に出版された。第4巻の執筆は1973年に開始されたのだが、1976年に第2巻の第2版の準備をしていた際に、初版のような鉛版による組版 (:en:Hot metal typesetting) が行われなくなっていてその仕上がりにクヌースは納得できず、自分で組版ソフトウェアの「」を（当初は1978年のサバティカルが終わるまでには完全に仕上げるつもりで）作り始めてしまったので、その第4巻の執筆が先送りになった。

今後の計画についてスタンフォード大学ウェブサイト上にあるクヌース用ディレクトリ内のページで確認できる。構想はおおむね執筆開始当初と変わっておらず、第5巻は構文的アルゴリズムについてで、第9章が字句スキャナ、第10章が文字列解析の技術、第6巻は文脈自由文法の理論、第7巻がコンパイラ技術となっている。クヌースは、第5巻までの内容は順序機械を扱う計算機プログラミングの中核であるとして、また、第6・7巻の内容は重要でありながら専門的なものとして、それぞれ位置づけている。なお、第6・7巻(?)の内容は、ドラゴンブックと通称される1986年刊の書籍:en:Compilers:_Principles,_Techniques,_and_Tools等で、この40年の間に、すでにさまざまな著者によって書籍が充実した分野でもある。

評価
その全体構想から見れば現在も未完の著作であるが、すでに偉業とみなされている。第3巻初版までが刊行されていた1974年の時点で受賞したチューリング賞（計算機科学界のノーベル賞とも言われる）の受賞理由の主要な要素として本著作を通した学術への貢献が含まれている。

補足
2009年に刊行された第4A巻（旧版第1分冊）では、湊真一が考案したデータ構造「零抑制二分決定図(ZDD)」も項目として掲載され解説された。

 翻訳版 
『』は多くの言語へ翻訳されている。2024年時点で、第4A巻（旧版第0から4分冊）までの翻訳が揃っているのはロシア語、日本語、中国語、朝鮮語であり、第4B巻（旧版第5から6分冊）の翻訳があるのは日本語のみである。

 日本語版 
サイエンス社版
最初の日本語訳版は、1978年から1986年に、原著第2巻までの内容に相当する全4分冊がサイエンス社から出版された。

この訳版では用語に対する多くの訳語が提案された。島内剛一は「監訳のことば」で『翻訳に当って、術語をできるだけ「よい日本語」に置き換えていただくことを訳者にお願いした。（中略）いわゆる片仮名の術語をできるだけ追放することには成功したと思っている。』と翻訳の方針を述べている。続けて「また原著のふん囲気を、なるべく多く読者にお伝えすることにも気を配ったつもりである。」「訳者注を添えていただいて万全を期した。」と監訳に当たってのこだわりを述べている。広瀬健、米田信夫、筧捷彦らの各訳者も、安易なカナ文字（カタカナ外来語）に満足せず美しい日本語の術語を作ろうと腐心した旨を、訳者まえがきで述べている。米田と筧は『ここで採用した術語について批判をしていただき、そこから計算機分野の語について見直しが行なわれ、ついには「美しい日本語』の術語が作られてゆくようになるなら、訳者望外の幸いである。」と、用語の和訳に関する将来への期待まで述べられている。

 アスキー社版 
その後、21世紀に入った後に改めて、アスキーから新しい日本語訳版が出版された。2007年9月までに3巻までと改訂版分冊1巻、4巻の分冊2,3が刊行されていた。

 カドカワドワンゴ社アスキードワンゴ版 
その後、KADOKAWAドワンゴに在籍する元アスキーの編集者が担当する出版レーベル「アスキードワンゴ」により、2015年6月の第1巻から再刊されている。2017年3月に刊行された第4A巻は、旧版の第4巻第0から4分冊をまとめたものである。

 書籍 

 原著 
2024年時点で第1巻から第4B巻（旧版第6分冊）までが刊行されている。書誌情報は、英語版ウィキペディアか著者ホームページを見るのが良い。

 日本語訳版 
現行版・最新版
カドカワドワンゴ社アスキードワンゴ版『The Art of Computer Programming』
「Volume 1 Fundamental Algorithms Third Edition 日本語版」、KADOKAWA、2015年
「Volume 2 Seminumerical Algorithms Third Edition 日本語版」、KADOKAWA、2015年
「Volume 3 Sorting and Searching Second Edition 日本語版」、KADOKAWA、2015年
「Volume 4A Combinatorial Algorithms Part1 日本語版」、有澤誠（監訳）、和田英一（監訳）、筧 一彦 (翻訳)、 小出 洋 (翻訳)、KADOKAWA、2017年、ISBN 978-4048930550
「Volume 4B Combinatorial Algorithms Part2 日本語版」、 和田 英一 (監修), 岩崎 英哉 (翻訳), 田村 直之 (翻訳), 寺田 実 (翻訳) 、KADOKAWA、2023年。
アスキー社版『The Art of Computer Programming』
「Volume 1 Fascicle 1 MMIX--A RISC Computer for the New Millennium 日本語版」、Donald E.Knuth（著）、有澤誠（監訳）、和田英一（監訳）、青木孝（訳）、アスキー、2006年、ISBN 978-4-7561-4712-7。（販売終了）
旧版
サイエンス社版（原著第2版に対応）『The Art of Computer Programming』
「1 基本算法 基礎概念」、広瀬健（訳）、1978年。 ISBN 4-7819-0302-9
「2 基本算法 情報構造」、米田信夫（訳）、筧捷彦（訳）、1978年。 ISBN 4-7819-0303-7
「3 準数値算法 乱数」、渋谷政昭（訳）、1981年。 ISBN 4-7819-0304-5
「4 準数値算法 算術演算」、中川圭介（訳）、1986年。 ISBN 4-7819-0426-2
アスキー社版『The Art of Computer Programming』
「Volume 1 Fundamental Algorithms Third Edition 日本語版」、有澤誠（監訳）、和田英一（監訳）、青木孝（訳）、筧一彦（訳）、鈴木健一（訳）、長尾高弘（翻訳）、アスキー、2004年、ISBN 978-4-7561-4411-9
「Volume 2 Seminumerical algorithms Third Edition 日本語版」、有澤誠（監訳）、和田英一（監訳）、斎藤博昭（訳）、長尾高弘（訳）、松井祥悟（訳）、松井孝雄（訳）、山内斉（訳）、アスキー、2004年、ISBN 978-4-7561-4543-7
「Volume 3 Sorting and Searching Second Edition 日本語版」、有澤誠（監訳）、和田英一（監訳）、アスキー、2006年、ISBN 978-4-7561-4614-4
「Volume 4, Fascicle 0 Introduction to Combinatorial Algorithms and Boolean Functions 日本語版」、和田英一訳 アスキー 2009年
「Volume 4, Fascicle 1 Bitwise Tricks & Techniques; Binary Decision Diagarms 日本語版」、和田英一訳 アスキー 2011年
「Volume 4, Fascicle 2: Generating All Tuples and Permutations 日本語版」、有澤誠 訳 和田英一 訳 アスキー 2006年
「Volume 4, Fascicle 3: Generating All Combinations and Partitions 日本語版」、有澤誠 訳 和田英一 訳 アスキー 2008年
「Volume 4, Fascicle 4 Generating All Trees -- History of Combinatorial Generation 日本語版」有澤誠 訳 和田英一 訳 アスキー 2010年