ピーター・J・デニング

ピーター・デニング
（ルイ・ファビアン・バクラック著）
生まれる	ピーター・ジェームズ・デニング ( 1942-01-06 )1942年1月6日（82歳） クイーンズ、ニューヨーク市、アメリカ合衆国
母校	マサチューセッツ工科大学（PhD 1968）[1] マンハッタン大学（BEE 1964）
知られている	仮想メモリ ワーキングセット[2] 局所性の原則 スラッシング 演算分析 コンピューティングカリキュラム コンピューティングの原則
配偶者	ドロシー・E・デニング ​ （ 1974年生まれ）
受賞歴	SIGCSE コンピュータサイエンス教育への生涯貢献賞(2010) SIGCSE コンピュータサイエンス教育への顕著な貢献賞(1999)
科学者としてのキャリア
フィールド	コンピュータ科学者
機関	MIT プリンストン大学 パデュー大学 NASAエイムズ研究センター ジョージメイソン大学 海軍大学院
論文	マルチプロセスコンピュータシステムにおけるリソース割り当て (1968)
博士課程の指導教員	ジャック・B・デニス
博士課程の学生	スバス・アグラワル[要出典] ロバート・L・ブラウン[要出典] ジョージ・コックス[要出典] ケビン・カーン[要出典] デビッド・シュレイダー[要出典] ジャンフランコ・バルボ[要出典]
Webサイト	denninginstitute.com/denning/

ピーター・ジェームズ・デニング（1942年1月6日生まれ）は、アメリカのコンピュータ科学者、作家です。仮想メモリの先駆的な研究、特にプログラムの動作に関するワーキングセットモデルの発明で最もよく知られています。このモデルは、オペレーティングシステムのスラッシングに対処し、すべてのメモリ管理ポリシーの参照標準となりました。また、オペレーティングシステムの原理、キューイングネットワークシステムの運用分析、 ACMデジタルライブラリであるCSNETの設計と実装、コンピューティングの偉大な原理の成文化に関する研究でも知られています。彼は、基本的なコンピュータサイエンスの原理の概要、計算論的思考、学習可能なプラクティスのセットとしてのイノベーションに関する考え など、影響力のある記事や書籍を多数執筆しています。

デニングは1942年1月6日、ニューヨーク州クイーンズで生まれ、コネチカット州ダリエンで育った。彼は幼い頃から科学に興味を持ち、小学校時代には天文学、植物学、無線、電子工学を学んだ。フェアフィールド・プレップ校在学中、彼は自作のコンピュータを1958年、1959年、1960年の科学フェアに出品した。ピンボールマシンの部品を使って線形方程式を解く彼の2台目のコンピュータは、グランプリを受賞した。^[3]

彼はマンハッタン大学で電気工学の学士号（1964年）を取得し、その後MITで博士号（1968年）を取得した。MITではプロジェクトMACに携わり、先駆的なMulticsオペレーティングシステムの設計に貢献した。彼の博士論文「マルチプロセスコンピュータシステムにおけるリソース割り当て」は、ワーキングセット、局所性、スラッシング、システムバランスに関する重要なアイデアを紹介した。 ^[2]

1968年から1972年までプリンストン大学に在籍し、デニングはEGコフマンと共著で古典的著書『オペレーティングシステム理論（1973年）』を執筆した。また、アルフレッド・エイホ、ジェフリー・ウルマンと共同でページングアルゴリズムの最適性証明や、優先順位解析に基づくコンパイラはバックトラックが不要であることの簡単な証明に取り組んだ。パデュー大学（1972年～1983年）では、局所性に基づくメモリ管理理論の検証や待ち行列ネットワークの運用分析に関する新しい数学の拡張に関する多数の博士論文を指導した。CSNETの共同設立者でもある。1979年に学科長となり、ジャック・デニス、ジョー・クオリッツと共著で計算モデルに関する別の著書『マシン、言語、計算』を完成させた。

1983年から1991年までNASAエイムズ研究所に勤務し、先端コンピュータ科学研究所（RIACS）^[4]を設立し、計算科学と宇宙科学の分野横断的な研究を行う最初のセンターの1つに成長させました。

1991年から2002年までジョージ・メイソン大学でコンピュータサイエンス学部長を務め、副学部長および副学長を務め、新人エンジニアセンターを設立した。同センターはウェブベースの学習の先駆者だった。彼はエンジニア向けのデザインコース「センス21」を創設し、これがイノベーションをスキルとして理解するプロジェクトの基礎となった。彼は情報技術の中核に関するコースを創設し^[5] 、これが彼の「コンピューティングの偉大な原理」プロジェクトの基礎となった。^[6]

2002年より海軍大学院でコンピュータサイエンス学科長を務め、セブロフスキー革新情報優位研究所の所長も務める。^[7] 教授会の議長も務める。

デニングは1967年以来、継続的にACM（ Association for Computing Machinery ）のボランティアとして活動してきました。その間、会長、副会長、3回の理事長、一般会員、ACM Computing Surveysの編集者、月刊ACM Communicationsの編集者を務めました。彼は、奉仕、技術貢献、教育に対して7つのACM賞を受賞しました。ACMは2007年6月に、40年間の継続的な奉仕を称え、 彼に特別賞^[8]を授与しました。

デニングは、サービスと技術貢献に対して26の賞を受賞しています。これには、品質の高い顧客サービス賞1件、専門団体フェローシップ3件、名誉学位3件、技術貢献賞6件、傑出したサービス賞6件、教育賞7件が含まれます。^[9]

デニングのキャリアは、コンピューティングの複数のサブフィールドにおける基本原理の探求でした。彼は多くの著作を残しています。1980年から1982年にかけて、彼はACM会長として、この分野の技術的および政治的な問題に焦点を当てた24のコラムを執筆しました。1985年から1993年にかけて、彼は American Scientist誌^{[10]に「コンピューティングの科学」に関する47のコラムを執筆し、この分野全体の科学的原理に焦点を当てました。2001年からは、} Communications of the ACMに四半期ごとに「ITプロフェッショナル」コラム^[11]を執筆し、現役の専門家にとって価値のある原理に焦点を当てています。

1970年に彼は仮想メモリの科学的枠組みとそれを検証する科学的証拠を示した古典的な論文を発表し、仮想メモリの安定性と性能に関する論争に終止符を打った。^[12]

1966年に彼はメモリ需要の動的な尺度としてワーキングセットを提案し、 IBMのレス・ベラディが提唱した局所性の考え方を用いてそれが機能する理由を説明した。彼のワーキングセット論文^[13]は古典となり、1968年にACM最優秀論文賞、2005年にSIGOPS殿堂賞^[14]を受賞した。

1970 年代初頭、彼はエド・コフマン・ジュニアと共同で『オペレーティングシステム理論』を執筆しました。この本は大学院の授業で使われる定番の教科書となり、1995 年まで出版されていました。この本は、OS 分野を科学として扱うことができるかどうかという疑問を払拭するのに役立ちました。

1970 年代半ば、彼はジェフリー・ブゼンと共同で運用分析を行い、ブゼンの基本的な運用法則を拡張して、すべての待ち行列ネットワークに対応できるようにしました。この運用フレームワークは、従来の確率的マルコフの仮定に違反しているにもかかわらず、コンピューターのパフォーマンス モデルがうまく機能する理由を説明しました。これは、コンピューティング コースでパフォーマンス予測を教える際に好まれる方法になりました。

1980年代初頭、彼は国立科学財団が後援するコンピュータサイエンスネットワーク(CSNET)の創設主任研究者4人のうちの1人でした。 他の3人はデイブ・ファーバー、ラリー・ランドウェーバー、トニー・ハーンでした。彼らは、1986年までに165のサイトと5万人のユーザーを含む、完全に自立したコンピュータサイエンスコミュニティネットワークの開発を主導しました。CSNETは、オリジナルのARPANETからNSFNET、そしてインターネットへの移行における重要な踏み石でした。^[15] 2009年、インターネット協会はCSNETに、ARPANETからNSFNETへの橋渡しにおける重要な役割を認め、名誉あるジョン・ポステル賞を授与しました。

デニングは1992年から1997年にかけてACMデジタルライブラリプロジェクトを主導し、1997年に稼働を開始しました。計算機学会は、これまでに出版されたすべての資料を完全に検索可能なライブラリとして提供する最初の専門団体となりました。^[16]

1999年、デニングはコンピューティング全体を網羅する基本原理の探求を拡大した。生物学、物理学、経済学、材料学、その他の分野における自然情報プロセスの発見により、デニングはコンピューティングの基本的な定義を人工情報プロセスだけでなく自然情報プロセスも網羅するように修正する必要があると確信した。デニングと彼のチームはフレームワークの草案を作成した。^[17]

Great Principlesフレームワークは、「イノベーション」がコンピューティングの核となる実践であることを明らかにしました。イノベーションのスキルを教える方法を理解している人を見つけることができなかったため、彼はボブ・ダナムと協力して、イノベーションの8つの基本的な実践を特定しました。^[18] 2011年に、彼らはイノベーションを成功させるための8つの重要な実践をまとめた本「The Innovator's Way」を出版しました。 ^[19]

2015年に、彼とクレイグ・H・マーテルは共著で『Great Principles of Computing』を出版した。これは、あらゆる技術の基礎となるコンピュータサイエンスの原理を、コンピュータサイエンスを学ぶ学生だけでなく、この分野の概要を読みたい人にも理解しやすい形でまとめた薄い本である。^[20]

2019年に、彼とマッティ・テドレは「MIT Press Essential Knowledge」シリーズの簡潔な本の一部として「Computational Thinking」を出版し、計算的思考とは何か、そして科学的思考と調査におけるその応用についての概要を提供した。^[21]

デニングは、コンピューティング教育に大きな影響を与えてきました。1970 年代初頭、彼はタスク フォースを率いて、オペレーティング システム (OS) の原理に関する最初のコア コースを設計しました。OS は、純粋な数学理論に重点を置かなかった最初の CS コア コースになりましたが、それでも必要に応じて数学を自由に使用していました。1980 年代半ば、彼は ACM/IEEE 合同委員会を率いて、コンピューティングを 9 つのコア機能領域と 3 つの認知プロセスを持つ分野として説明しました。これが ACM カリキュラム 1991 の基礎となりました。1990 年代には、コンピューティングの偉大な原理を体系化する探求に乗り出しました。

デニングは、コンピューティングは自然と人工の情報処理の両方を扱う科学であると主張している。NSFは2007年に彼を優秀教育フェロー^[22]に任命し、教育と研究の革新にGreat Principlesフレームワークを使用する運動を開始した。2009年には、ACMのSIGCSE（コンピュータサイエンス教育に関する特別利益団体）が彼の貢献を称え、生涯功労賞を授与した。^[23]

デニングはユーモアを駆使して意見を伝える根っからの駄洒落好きである。例: ^{[24] [25]}

• エイプリルフール特集（編集者時代）、ACM Communications（1984年4月）
• 能動態と受動態の書き方について、能動態で書くことを学生に勧める論文
• 「二つの島の物語」は、1991年に初めて出版された、待ち行列理論と操作分析の論争に関する寓話である。2006年の操作分析の概要の付録として収録されている^[26]

• 計算は原理であり、コンピュータはツールです。
• あらゆる言論は自由です。問題なのはその結果だけです。
• 要求はあなたが話す言葉の中にあるのではなく、あなたの話を聞く人々の聞き方の中にあるのです。
• コンピュータを脳のように動作させようと長年努力してきた人々は、主にコンピュータのように考える脳を育てることに成功しました。^[27]
• 局所性は自然の原理です。キャッシュが機能するのは、脳が情報を局所性に基づいて整理するためです。
• イノベーションとは素晴らしい新しいアイデアではなく、コミュニティによって採用された新しい実践です。
• コラボレーションを生み出すのはソフトウェアではなく、連帯感です。

デニングは340本の技術論文と11冊の本の著者または編集者である。^[28]書籍、抜粋：

• 1973年、Ed Coffmanと共著。 『オペレーティングシステム理論』、Prentice-Hall。
• 1978年、ジャック・デニス、ジョー・クアリツと共著。 『マシン、言語、計算』、プレンティス・ホール。
• 1997年、ボブ・メトカーフ（編）共著 『Beyond Calculation: The Next 50 Years of Computing』コペルニクス・ブックス。
• 2001年。『見えない未来：日常生活におけるテクノロジーのシームレスな統合』 McGraw-Hill。
• 2010. イノベーターズ・ウェイ：イノベーションを成功させるための必須プラクティス。MIT プレス。
• 2015年。 コンピューティングの偉大な原理 。MITプレス。
• 2019年、Matti Tedreとの共著。Computational Thinking。MIT Press。

記事、抜粋:

• 1968年「プログラム動作のためのワーキングセットモデル」ACMコミュニケーションズ（5月）。^[29]
• 1970年「仮想メモリ」ACMコンピューティングサーベイ（9月）。^[12]
• 1970年「鞭打ち：その原因と予防」^[30]
• 1976年「フォールトトレラントオペレーティングシステム」ACMコンピューティングサーベイ（12月）^[31]
• 1978年、ジェフ・ブゼンと共著。「キューイングネットワークモデルの運用分析」ACMコンピューティングサーベイ（9月）。^[32]
• 1980年。「ワーキングセットの過去と現在」IEEE Transactions Software Engineering、1980年1月号より。 ^[33]
• 1984 年、ロバート ブラウンと共著。「オペレーティング システム」。Scientific American誌のソフトウェア特集号。
• 1990 年、Walter Tichy と共著。「高度並列計算」。Science 誌、11 月。
• 1992年「新人エンジニアの教育」ACMコミュニケーションズ（12月）。^[34]
• 2006年「局所性原理」。コミュニケーションネットワークとシステムの章（J Barria編）。インペリアルカレッジ出版。^[35]
• 2007年「コンピューティングは自然科学である」ACM Communications（7月）。^[36]
• 2009年、ピーター・フリーマンとの共著「コンピューティングのパラダイム」ACMコミュニケーションズ（12月）。^[37]
• 2010年、フェルナンド・フローレス、ピーター・ルズモアと共著。「多元的ネットワークにおけるオーケストレーションの調整」ACM Communications（3月）。^[38]

彼は1974年に著名なコンピュータセキュリティの専門家である ドロシー・E・デニングと結婚した。

• 素晴らしい原則のサイト。
• Art of Operating Systems の書籍サイト。
• CS Unplugged は、教育における原則の実用的な応用です。
• ACM デジタルライブラリ
• ピーター・J・デニング、オーラル・ヒストリー・インタビュー、2013年4月10日。ミネソタ大学チャールズ・バベッジ研究所
• ピーター・J・デニング、オーラルヒストリーインタビュー、2007年8月6日～8日、計算機協会