エドガー・ダイクストラの蔵書（ベルギー、ルーヴェンで保管・整理）

2011年1月時点のニューネンにあるダイクストラ邸には、科学書、小冊子、論文、手稿などの大規模なコレクションが収蔵されていました。そのコレクションの大部分は現在、私によってルーヴェンで整理保管されており、このページで議論されます。完全な目録は以下をご覧ください。 1950年代初頭の大学の教科書。ライデン大学で物理学を専攻していたダイクストラが学生だった頃から、彼の大学のノートのほとんど（すべてではないにしても）が保存されています。以下は、ダイクストラがライデンで受講したオランダ語の科目の一部を英語に翻訳したものです：化学、無機化学、物理化学、有機化学、微分積分IおよびII、物理学IおよびII、関数論I、相対性理論の数学、解析幾何学I、II、III、熱力学、論理学、測度論と積分論、相対性理論、記述幾何学、電磁気学、ニュートン力学、統計力学。 特に興味深いのは、ダイクストラが「論理学」についてとったノートです。彼はライデンの学生として論理学について何を学んだのでしょうか？彼のノートをざっと見ると、その講義はソクラテス、プラトン、アリストテレスに関するものであり、現代論理学は扱われていなかったようです。 E.T.ベルの著書 エリック・テンプル・ベル（1883-1960）はダイクストラに影響を与えました。彼の以下の著書が私のコレクションの一部です：E.T.ベル著、『数学をつくった人びと：第1巻』、1937年初版、ペンギンブックス、1953年刊行。E.T.ベル著、『数学をつくった人びと：第2巻』、1937年初版、ペンギンブックス、1953年刊行。E.T.ベル著、『数学：科学の女王にして召使い』、英国版1952年、1954年、1958年、1961年、1966年再版、G.ベル＆サンズ社：ロンドン。E.T.ベル著、『数の魔術』、1946年著作権、1974年更新、ドーバー出版、ニューヨーク、1991年。ダイクストラは1970年代半ばからベルを頻繁に引用し始めました。例えば、EWD512とEWD682が挙げられます。後者のEWDでは、ダイクストラは明示的にE.T.ベル著、『数学の発展』、マグロウヒル・ブック・カンパニー、ニューヨーク・ロンドン、1945年に言及しています。ベルの著作はダイクストラの思考にどのように影響したのでしょうか？ 2011年1月にニューネンのダイクストラ邸を訪れた際、ダイクストラの書斎の棚にはまだ本がぎっしり詰まっていました。壁際には、ダイクストラがテキサスからニューネンの自宅へ送った（1999/2000年）いくつかの箱が積まれていました。彼の医療記録のような非常に個人的な情報さえも、まだ彼の書斎にありました。エドガー・W・ダイクストラ氏のご家族の許可を得て、私は彼の書斎の大部分を空にすることが許されました。合計で、私はエドガー・W・ダイクストラ氏の生前の所持品16箱を持ち帰りました。それらの箱の中身はこのページに記載されています。 目録 2011年1月にニューネンのダイクストラ邸を訪れた際、ダイクストラの書斎の棚にはまだ本がぎっしり詰まっていました。壁際には、ダイクストラがテキサスからニューネンの自宅へ送った（1999/2000年）いくつかの箱が積まれていました。彼の医療記録のような非常に個人的な情報さえも、まだ彼の書斎にありました。エドガー・W・ダイクストラ氏のご家族の許可を得て、私は彼の書斎の大部分を空にすることが許されました。合計で、私はエドガー・W・ダイクストラ氏の生前の所持品16箱を持ち帰りました。それらの箱の中身はこのページに記載されています。 目録の概要：ボックス1,2,3,4：書籍 ボックス5：小冊子、論文、書簡 ボックス6：ポスター -- 書籍 ボックス7：書籍 ボックス8：講義ノート -- 書籍 ボックス9：追悼記事と追悼文 -- 写真と文書 -- 文書と小冊子 -- 書籍 ボックス10：EWDsコレクション -- 手稿、小冊子、ポスター ボックス11：手稿、小冊子、論文、書簡 -- ポスター、賞、写真 ボックス12：主に書簡 ボックス13：小冊子と書簡 ボックス14：オーレ＝ヨハン・ダールとの書簡 ボックス15：書簡と厳選されたEWDs ボックス16：書籍 -- 翻訳された書籍 -- 感謝の言葉 -- 新聞記事 VARIA 完全な目録： ボックス1 書籍 F.L.バウアー、M.ブロイ編、『プログラム構築』、コンピュータサイエンス講義ノート、シュプリンガー・フェアラーク ベルリン・ハイデルベルク、1979年。P.J.デイヴィス、R.ハーシュ、『数学的経験』、ペンギンブックス、1984年。P.J.デイヴィス、R.ハーシュ、『デカルトの夢：数学による世界』、ホートン・ミフリン・カンパニー、ボストン、1987年。C.N.ディーン、M.G.ヒンチー編、『形式手法の教育と学習』。エドガー・W・ダイクストラによる序文付き。アカデミック・プレス、1996年。W.ダンハム、『オイラー：我々すべての師』、アメリカ数学協会、ドルチアーニ数学解説No.22、1999年。H.フリーマン、P.M.ルイスII編、『ソフトウェア工学』、アカデミック・プレス、1980年。A.J.M.ヴァン・ガステレン、『数学的議論の形式について』、博士論文、アイントホーフェン工科大学、1988年12月20日。ダイクストラのものと思われる手書きの別ページを含む。R.グッドマン編、『自動プログラミング年鑑、第3巻』、パーガモン・プレス、1963年。R.グッドマン編、『自動プログラミング年鑑、第4巻』、パーガモン・プレス、1964年。D.グリース編、『プログラミング方法論：IFIP WG2.3メンバーによる論文集』、シュプリンガー・フェアラーク ニューヨーク、1978年。D.グリース、『プログラミングの科学』、シュプリンガー・フェアラーク ニューヨーク、1981年。1981年10月14日付のグリースからダイクストラへの個人的な手紙を含む。D.グリース、F.B.シュナイダー、『離散数学への論理的アプローチ』、シュプリンガー・フェアラーク ニューヨーク、1993年。A.N.ハバーマン、『抽象機械の調和的協力について』、博士論文、アイントホーフェン工科大学、1967年10月24日。ハバーマンの別個の履歴書を含む。D.ハレル、『一次動的論理』、コンピュータサイエンス講義ノート、G.グース＆J.ハルトマニス編、シュプリンガー・フェアラーク ベルリン・ハイデルベルク、1979年。D.R.ハートリー、『計算機器と機械』、ケンブリッジ大学出版局、1950年。C.A.R.ホア、ヘ・ジフェン、『プログラミングの統一理論』、プレンティス・ホール・ヨーロッパ、1998年。1999年9月、フォックスウォルドで署名されたホアからエドガーとリア・ダイクストラへの個人的な手紙を含む。 ボックス2 書籍 J.N.バクストン、B.ランデル、『ソフトウェア工学技術』、NATO科学委員会主催会議報告書、イタリア、ローマ、1969年10月。キノック・プレス、バーミンガム。E.B.ホワイトのエッセイ集、1979年初版ハーパー・コロン版刊行。1992年ハーパー・ペレニアルから再刊。P.クリント（編）、『高等プログラミング言語とコンピュータアーキテクチャに関するコロキウム』、アムステルダム数学センター、1980年。J.メイディー編、『SE-WMT - 構造化プログラミング：ソフトウェア工学の中核』、ETAPS 2003、ポーランド、ワルシャワ。N.メトロポリス、J.ハウレット、G-C.ロータ編、『20世紀の計算機史』、アカデミック・プレス、1980年。R.ミルナー、『通信システムの計算論』、G.グース、J.ハルトマニス編、シュプリンガー・フェアラーク、1980年。M.ミンスキー、『計算：有限と無限の機械』、プレンティス・ホール自動計算シリーズ、1967年。現代計算手法、応用科学ノート：No.16、第2版、全面改訂版、科学産業研究部門、国立物理学研究所、1961年。P.ナウアー、B.ランデル、『ソフトウェア工学』、NATO科学委員会主催会議報告書、ドイツ、ガルミッシュ、1968年10月。1969年1月刊行。J.フォン・ノイマン、『全集、第5巻：コンピュータ設計、オートマトン理論、数値解析』、A.H.タウブ編、パーガモン・プレス、1963年。C.A.ペトリ、『オートマトンとの通信』、ダルムシュタット工科大学数学物理学部より自然科学博士号取得のため、ボン、1962年。B.ランデル、L.J.ラッセル、『ALGOL60実装』、A.P.I.C.データ処理研究：No.5、アカデミック・プレス、1964年。ランデルとラッセルからの個人的な手紙を含む。B.ランデル（編）、『デジタルコンピュータの起源：厳選論文集』、シュプリンガー・フェアラーク、1973年。H.ルーティスハウザー、『プログラム制御計算機における自動計算計画作成：No.3』、チューリッヒ連邦工科大学応用数学研究所からの報告、E.シュティーフェル教授監修、ビルクハウザー出版社 -- バーゼル/シュトゥットガルト、1961年。G.デ・サンティリャーナ、『ガリレオの罪』、マーキュリー・ブックス：No 14、1961年。S.A.シューマン（編）、『アルゴリズム言語の新方向』、IFIPワーキンググループのために準備されたもの。