ニクラウス・ヴィルト
Niklaus Emil Wirth
講義中のヴィルト
生誕 (1934-02-15) 1934年2月15日
スイスの旗 スイス ヴィンタートゥール
死没 2024年1月1日(2024-01-01)(89歳没)
市民権 スイスの旗 スイス
研究分野 計算機科学
研究機関
出身校
博士論文 [1963 A Generalization of Algol]
博士課程指導教員 ハリー・ハスキー
博士課程指導学生 マーティン・オーダスキー英語版
主な業績 ALGOL W, Euler, Pascal, Modula, Modula-2, Oberon, Oberon-2, Oberon-07, Oberon オペレーティングシステム
主な受賞歴
プロジェクト:人物伝
テンプレートを表示

ニクラウス・ヴィルトNiklaus Wirth, 1934年2月15日 - 2024年1月1日)は、スイス計算機科学者プログラミング言語PascalModula-2などの開発や、ソフトウェア工学分野の開拓的研究で知られる。

略歴

編集
1969年に撮られたヴィルトの写真
提供:Robert M. McClure

1934年、スイスヴィンタートゥールに生まれる。高校時代にロケットを製造して校庭で打ち上げたところ、校長の前に落下したが、処分はされなかった[2]。1954年にスイス連邦工科大学チューリッヒ校(ETH)に入学、当時、ETHは1950年9月にコンラート・ツーゼ(Konrad Zuse)が開発した デジタル計算機「Zuse Z4」を1950年9月に導入して翌年には欧州で最初のプログラミング講座を開設していた。1950年から1955年にかけて応用数学研究所の教授であるエドゥアルド・シュティーフェルの下で大学院生だったアンブロス・スペイゼル(Ambrosius Paul Speiser)が「ERMETH英語版」を製作していた[2]

1959年、スイス連邦工科大学チューリッヒ校にて電気工学の学位を取得。1960年、カナダラバル大学英語版で理学修士号を得る。その後、カリフォルニア大学バークレー校でコンピュータ設計の先駆者ハリー・ハスキーの指導を受け、1963年に電気工学・計算機科学分野の博士号を得る。

1963年から1967年までスタンフォード大学およびチューリッヒ大学計算機科学分野の助教授を務めた。1968年にはスイス連邦工科大学チューリッヒ校情報科学科の教授となり、2年間のサバティカル休暇カリフォルニア州パロアルト研究所で過ごした。

1999年に退職。

2024年1月1日、死去[3][4]。89歳没。

業績

編集

その他

編集
  • ヴィルトの法則:(ユーザーエクスペリエンス的には)「ハードウェアによる速度向上よりもソフトウェアの(ソフトウェアの肥大化による)速度低下の方が大きい」
  • 「私の名前をヨーロッパ人はたいがい「ニクラウス・ヴィルト」と正しく発音してくれるが、アメリカ人は必ず「ニッケルズ・ワース」と発音する。つまり、ヨーロッパ人は名前呼びをして、アメリカ人は値呼びをしているわけだ」(後半の解説の部分は、関数の引数評価戦略についての専門用語、call by name(名前呼び)とcall by value(値呼び)に掛けたダジャレ。一般のアメリカ人の多くは、英語圏以外のヨーロッパ名でも英語綴りと解して読むことが多いという背景がある。さらに「ニッケル」は硬貨を材料の金属名で通称する米国の慣習(5セントのこと)と、英語ワース=「価値」=バリュー、というようにも掛けている。本人は、どちらの発音でも構わない、としているという)
  • フィリップ・カーン(カメラ付き携帯電話の発明家で、ボーランド社の設立者の一人)は、チューリッヒ工科大学在学中にヴィルトのもとで学んだ。カーンはPascalの素晴らしさをアンダース・ヘルスバーグに説き、ボーランドの最初の製品であるTurbo Pascalを世に送り出した。ヘルスバーグはPascalを発展させたDelphiをボーランドで開発したが、その後(本人によればボーランドの社内政治のせいで)マイクロソフトに移籍しており、C#などを開発している。

主著

編集
  • Program Development by Stepwise Refinement(1971年)ソフトウェア工学分野の古典。
  • 『系統的プログラミング/入門』(Systematic Programming: An Introduction, 1972年)訳:野下浩平筧捷彦武市正人、1975年。
  • 『アルゴリズム+データ構造=プログラム』(Algorithms + Data Structures = Programs, 1976年)訳:片山卓也、1981年。
  • 『翻訳系構成法序論』(Compilerbau: Eine Einführung, 1984年)訳:筧捷彦、1986年。
  • 『アルゴリズムとデータ構造』(Algorithms & Data Structures, 1986年) 訳:浦昭二国府方久史、1990年。(『アルゴリズム+データ構造=プログラム』の前半に手を加えたもの。[5]
  • 『ヴィルトのコンパイラ構成法』(Compiler Construction, 1996年)訳:滝沢徹牧野祐子、1997年。(原文は現在、PDF形式で無料配布。外部リンクを参照)

受賞歴

編集

関連項目

編集

脚注

編集

出典

編集
  1. ^ Niklaus Wirth 2004 Fellow” (英語). Computer History Museum. 2019年7月3日時点のオリジナルよりアーカイブ。2026年1月6日閲覧。
  2. ^ a b 岩山知三郎「プログラミング言語を追求し続けたコンピュータ科学者 ニクラウス・ヴィルト - 新テクノロジー・ビジョン 第45回」(PDF)『Open Enterprise Magazine』2008年10月号、ソキウス・ジャパン、2008年9月26日、20-23頁、 オリジナルの2017年5月29日時点におけるアーカイブ、2017年5月29日閲覧 
  3. ^ Niklaus Wirth ist tot: IT-Welt trauert um Erfinder von Pascal” (ドイツ語). winfuture.de (2024年1月3日). 2024年1月4日閲覧。
  4. ^ 【訃報】プログラミング言語「Pascal」の開発者ニクラウス・ヴィルト氏が89歳で死去、ソフトウェア設計のパイオニアとして複数のプログラミング言語を考案し1984年にチューリング賞を受賞」『GIGAZINE』2024年1月5日。2026年1月6日閲覧
  5. ^ 『アルゴリズムとデータ構造』訳者序文

外部リンク

編集

📚 Artikel Terkait di Wikipedia

抽象データ型

http://sunnyday.mit.edu/16.355/wirth-refinement.html  N.Gehani (1980), Program Development by Stepwise Refinement and Related Topics, http://www3.alcatel-lucent

トップダウン設計とボトムアップ設計

。ヴィルトはPascal言語の開発者であり、Program Development by Stepwise Refinement という論文が業界に影響を与えた。しかし、Program Development by Stepwise Refinement でも、必要とあらばトップまでも立ち戻ってや

段階的詳細化法

グラムを記述する手法である。プログラムの実装において抽象化の表現には関数が用いられる。 原典であるヴィルトのProgram Development by Stepwise Refinementを読むと、実際には以上のような説明はなされていない。最初の、詳細化する以前の状態は「定式化」ではないし、部分

構造化プログラミング

抽象化(abstraction)していくのではなく、逆に抽象的なプログラムから始めて詳細化(refinement)していくというやり方を示している。 詳細化の際には共同詳細化(joint-refinement)という考え方が示されている。これは抽象データ構造の詳細化と共にそれを扱う抽象ステートメント

分子力学法

(Molecular Mechanics program 2 or 3 or 4) MMFF94 (Merck Molecular Force Field 94) AMBER (Assisted Model Building and Energy Refinement) CHARMM (Chemistry

三酸化アンチモン

Oxford: Clarendon Press. ISBN 0-19-855370-6  ^ Svensson, C. (1975). “Refinement of the crystal structure of cubic antimony(III) oxide, Sb2O3”. Acta Crystallographica

力場 (化学)

^ Schaumann, T., Braun, W. and Wutrich, K. (1990). “The program FANTOM for energy refinement of polypeptides and proteins using a Newton-Raphson minimizer

米国慣用単位

59-5442, "Refinement of Values for the Yard and the Pound." 連邦官報. When reading the document note that 999,998 = 3937 × 254. ^ Laws and Metric Program. U.S