ニクラウス・ヴィルト | |
|---|---|
2005年のワース | |
| 生まれる | ニクラウス・エミール・ヴィルト 1934年2月15日 ヴィンタートゥール、スイス |
| 死亡 | 2024年1月1日(89歳) チューリッヒ、スイス |
| 市民権 | スイス |
| 教育 |
|
| 知られている | ALGOL W、Euler、Pascal、Modula、Modula-2、Oberon、Oberon-2、Oberon-07、Oberon システム |
| 子供たち | 3 [3] |
| 受賞歴 |
|
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | |
| 論文 | アルゴルの一般化 (1963) |
| 博士課程の指導教員 | ハリー・ハスキー、エドワード・ファイゲンバウム |
| 博士課程の学生 | マーティン・オデルスキー、マイケル・フランツ |
| サイン | |
ニクラウス・エミール・ヴィルト(IPA : / v ɛr t /)(1934年2月15日 - 2024年1月1日)は、スイスのコンピュータ科学者である。彼は、 Pascalを含むいくつかのプログラミング言語を設計し、ソフトウェア工学におけるいくつかの古典的なテーマの先駆者となった。1984年、彼は「一連の革新的なコンピュータ言語の開発」により、一般的にコンピュータサイエンスにおける最高の栄誉と認められているチューリング賞を受賞した。[4]
幼少期と教育
ニクラウス・エミール・ヴィルトは1934年2月15日にスイスのヴィンタートゥールで生まれました。 [5]
1959年にスイス連邦工科大学チューリッヒ校(ETH Zürich)で電子工学の理学士号(BS)を取得。 1960年にはケベック州のラヴァル大学で理学修士号(M.Sc.)を取得。その後1963年にカリフォルニア大学バークレー校で、コンピュータ設計の先駆者であるハリー・ハスキーの指導の下、電気工学とコンピュータサイエンス(EECS)の博士号を取得した。[6]
キャリア
1963年から1967年まで、ヴィルトはスタンフォード大学とチューリッヒ大学でコンピュータサイエンスの助教授を務めた。その後1968年にチューリッヒ工科大学の情報学教授となり、カリフォルニアのゼロックスPARCで2年間の長期休暇を取った(1976年から1977年、1984年から1985年)。1999年に退職した。[6]
ヴィルトは、プログラミング言語ALGOL 60とALGOL 68 [8]の仕様策定、保守、サポートを行う国際情報処理連盟(IFIP)アルゴリズム言語および計算に関するワーキンググループ2.1 [7]のメンバーとして、プログラミングと情報科学の国際標準の策定に携わっていたが、標準化グループでの議論に不満を抱き、後に主にPascal、Modula-2、Oberonなどの言語を個人的な作品として出版した。
2004年、彼は「オイラー、アルゴルW、パスカル、モジュラ、オベロンなどのプログラミング言語とアルゴリズムに関する先駆的な研究」によりコンピュータ歴史博物館のフェローに任命された。 [9]
プログラミング言語

ヴィルトはプログラミング言語の主任設計者であり、オイラー(1965)、PL360(1966)、ALGOL W(1966)、パスカル(1970)[10] 、 モジュラ(1975)、モジュラ-2(1978)[6] 、 オベロン(1987)、オベロン-2(1991)、オベロン-07 (2007) [11]を手掛けた。また、オペレーティングシステムのメドス-2(1983、リリス ワークステーション用)[12]、オベロン(1987、セレスワークステーション用)[13] [14] 、デジタルハードウェア設計およびシミュレーションシステムLola(1995)[15] [16]の設計と実装チームの主要メンバーでもあった。
1984年、ヴィルトはこれらの言語の開発により、計算機協会(ACM)チューリング賞を受賞した。 [17] 1994年、彼はACMのフェローに選出された。[18]
1999年にACM SIGSOFT優秀研究賞を受賞した[19]
ヴィルトの法則
1995年、彼は現在ヴィルトの法則と呼ばれる格言を広めた。1995年の論文「リーンソフトウェアの嘆願」の中で、彼はマーティン・ライザーの「ソフトウェアはハードウェアが高速化するよりも急速に遅くなっている」という言葉を引用した。[20]
出版物
1971年4月のCommunications of ACMの記事「Program Development by Stepwise Refinement」 [21] [22]はプログラミングの指導に関するもので、ソフトウェア工学の古典的テキストとみなされている。[23]この論文は、プログラム設計のトップダウン方式を正式に概説した最も初期の研究であると考えられている。[24] [25]この論文は、影響力のある著書「The Mythical Man-Month」の中でフレッド・ブルックスによって取り上げられ、チューリング賞に関連して出版されたACMのワースの略歴では「画期的」と評された。[26] [27]
1973年の教科書「体系的プログラミング入門」[28]は、1974年のレビューで、プログラミングの本質を理解したい数学者にとって質の高い情報源であると評された。[29] 1973年版の表紙には、この本は「... 問題を時々エンコードしてコンピュータに渡して即座に解決できるようにしたいという人々の当面のニーズではなく、アルゴリズムの体系的構築のコースを基本的な数学のトレーニングの一部と見なす人々のニーズに合わせて作られています」と書かれていた。[30]レビューでは読み通すのが難しいテキストであると評されていたが、それでも数値数学に興味のある人にとっては有益な読み物として推奨された。[31]
1974年にキャスリーン・ジェンセン[35]と共同執筆した「The Pascal User Manual and Report」[32]は、1970年代( BSD Pascal [36])および1980年代の米国および欧州における多くの言語実装の基礎となった。 [37] [38]
1975年に彼は『アルゴリズム + データ構造 = プログラム』という本を執筆し、広く知られるようになった。[39]この本の大幅な改訂版は、1986年と2004年に『アルゴリズム & データ構造』という新しいタイトルで出版された。[ 40] [ 41]初版の例はPascalで書かれていたが、後の版ではそれぞれModula-2とOberonで書かれた例に置き換えられた。[40] [41]
1992年、ヴィルトとユルグ・グットクネヒトはオベロンオペレーティングシステムの完全なドキュメントを出版した。[42] 2冊目の本はマーティン・ライザーと共著で、プログラミングガイドとして出版された。[43]
死
ウィルスは2024年の元旦に89歳で亡くなった。[44]
参照
注記
- ^ 第1章(ドキュメンテーション)は共同作業であり、イェンセンによればヴィルトが編集したとのことである。[33]第2章はヴィルトによるものである(別個に出版されている[34])。
参考文献
- ^ 「IEEE Emanuel R. Piore Award Recipients」(PDF)IEEE。2010年11月24日時点のオリジナル(PDF)よりアーカイブ。 2021年3月20日閲覧。
- ^ “Niklaus Wirth 2004 Fellow”.コンピュータ歴史博物館. 2019年7月3日時点のオリジナルよりアーカイブ。 2017年12月1日閲覧。
- ^ Gosch, John (1979年10月25日). Weber, Samuel (ed.). "Wirth works to better Pascal" (PDF) . Profile. Electronics . Paul W. Reiss. p. 157. ISSN 0013-5070. 2024年5月20日時点のオリジナルより アーカイブ(PDF) . 2024年8月14日閲覧。
[彼の家族] には2人の娘と1人の息子がいる
- ^ “Niklaus E. Wirth - AM Turing Award Laureate”. Association for Computing Machinery. 2019年. 2017年6月29日時点のオリジナルよりアーカイブ。 2024年1月8日閲覧。
- ^ ヘンダーソン、ハリー (2009)。「ヴィルト、ニクラウス」。コンピュータサイエンスとテクノロジーの百科事典。Infobase Publishing。p. 514。ISBN 978-1-4381-1003-5。
- ^ abc Pomberger, Gustav; Mössenböck, Hanspeter; Rechenberg, Peter (2000)。「ニクラウス・ヴィルト - コンピュータサイエンスのパイオニア」。ニクラウス・ヴィルトの学校: シンプルさの芸術。Gulf Professional Publishing。p. 6。ISBN 978-3-932588-85-3。
- ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (2016年8月17日). 「IFIPワーキンググループ2.1のプロファイル」. Foswiki . 2021年3月8日時点のオリジナルよりアーカイブ。 2020年10月4日閲覧。
- ^ Swierstra、Doaitse;ジェレミー・ギボンズ;ランバート・メルテンス(2011年3月2日)。 「スコープなど: IFIP21: Foswiki」。フォスウィキ。 2018年9月2日のオリジナルからアーカイブ。2020 年10 月 4 日に取得。
- ^ “Niklaus Wirth: 2004 Fellow”. Computer History Museum (CHM) . 2019年7月3日時点のオリジナルよりアーカイブ。 2019年10月15日閲覧。
- ^ Petzold, Charles (1996年9月9日). 「プログラミング言語:生き残りと志願者」.ニューヨークタイムズ. ISSN 0362-4331. 2018年3月9日時点のオリジナルよりアーカイブ。2018年3月8日閲覧。
- ^ Wirth, Niklaus (2016年5月3日). プログラミング言語 Oberon-07 (PDF) . ETH Zurich, コンピュータサイエンス学部(レポート). 2021年1月21日時点のオリジナルよりアーカイブ(PDF) . 2021年1月17日閲覧。
- ^ Knudsen, Svend Erik (1983). Medos-2: パーソナルコンピュータ Lilith 用の Modula-2 指向オペレーティングシステム (博士論文). ETH Zurich. doi :10.3929/ethz-a-000300091. hdl :20.500.11850/137906. 2024年1月4日時点のオリジナルよりアーカイブ。 2024年1月4日閲覧。
Lilith プロジェクトの発案と調整、オペレーティングシステム Medos-2 の設計と実装の機会を与えてくれたこと、そして本論文の指導をしてくれた N. Wirth 教授に感謝します。
- ^ フランツ、マイケル (2000)。「オベロン:見落とされた宝石」。ボズゾルメニ、ラースロー (編)。ニクラウス・ヴィルトの流派:シンプルさの芸術。ガルフ・プロフェッショナル・パブリッシング。42、45 ページ。ISBN 978-3-932588-85-3。
- ^ Proven, Liam (2022年3月29日). 「非C言語オペレーティングシステムのワイルドな世界」. The Register . 2024年4月4日閲覧。
- ^ Wirth, Niklaus (1995). デジタル回路設計. Springer.
- ^ ハンス、エーベルレ (2000)。 「クラスタネットワークの設計」。 Böszörményi、László (編)。ニクラウス・ヴィルトの学校:シンプルさの芸術。湾岸プロフェッショナル出版。 p. 154.ISBN 978-3-932588-85-3この授業は、ニクラウスが Lola と呼ばれるシンプルでありながら強力なハードウェア記述言語を開発するきっかけにもなりました。
ニクラウスは、エンジニアとして誠実で信頼できる存在であり続けるには、これが唯一の方法だとわかっているため、研究または学習しているシステムを常に自分で構築してきました。
- ^ Haigh, Thomas (1984). 「Niklaus E. Wirth」. AM Turing Award . Association for Computing Machinery. 2017年9月19日時点のオリジナルよりアーカイブ。 2019年10月15日閲覧。
- ^ “ACM Fellows by year”. acm.org . 2024年1月3日時点のオリジナルよりアーカイブ。2024年1月3日閲覧。
- ^ 「Outstanding Research Award」. SIGSOFT . 2024年4月1日閲覧。
- ^ Wirth, Niklaus (1995 年 2 月). 「リーン ソフトウェアの嘆願」. Computer . 28 (2): 64–68. doi :10.1109/2.348001. S2CID 44803077.
- ^ Wirth, 段階的改良によるプログラム開発、Communications of the ACM、14:221–227、ACM Press、1971
- ^ Wirth, Niklaus (2001)。「段階的な改良によるプログラム開発」。Broy, Manfred、Denert, Ernst (編)。ソフトウェア エンジニアリングのパイオニアとその貢献。ベルリン、ハイデルベルク: Springer。doi : 10.1007 / 978-3-642-48354-7。ISBN 978-3-642-48355-4. S2CID 11348419。
- ^ Gehani, Narain (1991). Ada: 並行プログラミング. Silicon Press. p. 209. ISBN 978-0-929306-08-7。
- ^ ギル、ナシブ・シン。ソフトウェアエンジニアリング。Khanna Publishing House。p. 192。ISBN 978-81-906116-3-3。
- ^ Dooley, John F. (2017年11月25日). ソフトウェア開発、設計、コーディング: パターン、デバッグ、単体テスト、リファクタリング付き。Apress。p. 54。ISBN 978-1-4842-3153-1。
- ^ ブルックス、フレデリック P. (フレデリック フィリップス) (1975)。『神話の人月』マサチューセッツ州レディング:アディソンウェスリー出版 p. 143。ISBN 978-0-201-00650-6。
- ^ 「ニクラウス・ヴィルト: 1984 ACM AM チューリング賞受賞者」Communications of the ACM . 28 (2). 1985年2月. doi :10.1145/1283920.1283941.
- ^ Wirth, Niklaus (1973年1月8日).体系的プログラミング入門. Prentice-Hall. ISBN 0-13-880369-2。
- ^ Abrahams, Paul; Wirth, Niklaus (1974 年 7 月). 「体系的プログラミング: 入門」.計算数学. 28 (127): 881. doi :10.2307/2005728. JSTOR 2005728.
- ^ Wirth, Niklaus (1973)。「カバーフラップ」。体系的プログラミング入門。Prentice- Hall。ISBN 0-13-880369-2。
- ^ Abrahams, Paul (1974 年 7 月). 「体系的プログラミング: Niklaus Wirth による入門」.計算数学. 28 (127).アメリカ数学会: 881–883. doi :10.2307/2005728. JSTOR 2005728.
- ^ Pascal ユーザーマニュアルおよびレポート第 2 版。
- ^ “Kathleen Jensen's Speech at the Wirth Symposium (20.02.2014)”. YouTube . 2014年2月25日. 2024年1月6日時点のオリジナルよりアーカイブ。2024年1月6日閲覧。
- ^ Wirth, Niklaus (1973). プログラミング言語 Pascal (改訂版) (レポート). ETH Zurich. pp. 49 p. doi :10.3929/ethz-a-000814158. hdl :20.500.11850/68910.
- ^ * https://www.researchgate.net/scientific-contributions/Kathleen-Jensen-2058521472 2024年1月6日アーカイブ、Wayback Machineより
- https://dl.acm.org/profile/81334487416 2024年1月6日にWayback Machineにアーカイブされました
- https://dblp.org/pid/06/5848.html 2024年1月6日にWayback Machineにアーカイブされました
- ^ Joy, William N.; Graham, Susan L.; Haley, Charles B. (1979). Berkeley Pascal ユーザーズマニュアル、バージョン 1.1、1979 年 4 月。カリフォルニア大学バークレー校。電気工学およびコンピューター科学科。2024 年 1 月 8 日時点のオリジナルよりアーカイブ。2024年1 月 8 日閲覧。
- ^ Blotnick, Srully (1983年7月). 「Don't Fail Me Now」(PDF) . Pascal News (26): 26. 2024年1月5日時点のオリジナルよりアーカイブ(PDF) . 2024年1月3日閲覧。
- ^ Hartel, Pieter H. (1982年5月). 「システムプログラマのためのPascal」(PDF) . ECODU-32. 2020年3月22日時点のオリジナルよりアーカイブ(PDF) 2024年1月3日閲覧。
- ^ 計算機協会(ACM)が収集した引用
- ^ ab Wirth, Niklaus (1986). 「1986年版への序文」.アルゴリズムとデータ構造. Prentice-Hall. p. 9. ISBN 978-0-13-022005-9本文全体に及ぶ大きな変更点は、
アルゴリズムを表現するために使用されたプログラミング言語に関するものです。Pascal はModula-2に置き換えられました。
- ^ ab Wirth, Niklaus. 「アルゴリズムとデータ構造」(PDF)。ETH Zürich。2021年4月17日時点のオリジナルよりアーカイブ(PDF) 。 2024年1月4日閲覧。
© N. Wirth 1985 (Oberon版: 2004年8月)。
- ^ Wirth, Niklaus ; Gutknecht, Jürg (1992). Project Oberon: オペレーティングシステムとコンパイラの設計(PDF) . Addison-Wesley, ACM Press. ISBN 978-0-201-54428-22013年4月12日時点のオリジナル(PDF)よりアーカイブ。絶版。第2版のオンライン版。2014年4月5日にWayback Machineにアーカイブ。2005年版、PDF。2021年7月8日にWayback Machineにアーカイブ。
- ^ Reiser, Martin; Wirth, Niklaus (1992). Oberon でのプログラミング: Pascal と Modula を超えたステップ(PDF) . Addison-Wesley, ACM Press. ISBN 978-0-201-56543-0. 2016年4月16日時点のオリジナル(PDF)よりアーカイブ。2017年6月1日閲覧。絶版。
- ^ Proven, Liam (2024年1月4日). 「RIP: ソフトウェア設計の先駆者であり、Pascalの作者であるNiklaus Wirth」. The Register . 2024年1月7日時点のオリジナルよりアーカイブ。 2024年1月6日閲覧。
さらに読む
- Wirth, Niklaus (1971年4 月)。 「段階的な改良によるプログラム開発」。Communications of the ACM。14 ( 4): 221–227。doi : 10.1145 /362575.362577。hdl : 20.500.11850/80846。S2CID 13214445 。
- Wirth, N. (1974). 「プログラミング言語の設計について」(PDF) . Proc. IFIP Congress 74 : 386–393.
外部リンク
- 公式ウェブサイト、ETHチューリッヒ
- ETH チューリッヒの経歴
- DBLP書誌サーバーの Niklaus Wirth
- ACM の Niklaus E. Wirth
- チューリング賞講演、1984年
- ニクラウス・ヴィルトによる「パスカルとその後継者」論文 – 短い伝記も含まれています。
- ニクラウス・ヴィルトとの対話
- 『ニクラウス・ヴィルトの学校: シンプルさの芸術』、ラースロー・ボショルメニー、ユルク・グートクネヒト、グスタフ・ポンベルガー (編集) 著。 dpunkt.verlag;モーガン・カウフマン出版社、2000 年。ISBN 3-932588-85-1、ISBN 1-55860-723-4。
- コンパイラ構築の本
- アルゴリズムとデータ構造という本
- 書籍「Project Oberon – オペレーティング システムとコンパイラの設計」。Oberon 言語とオペレーティング システムに関する書籍が PDF ファイルとして入手可能になりました。PDF ファイルには、追加の付録「Ten Years After: From Objects to Components」が含まれています。
- Project Oberon 2013 Online は、FPGA ハードウェアでの再実装に合わせて改訂された前書籍の第 2 版です。
