レスリー＝ランポートの情報 （LeslieLamport）
芸能人・有名人Wiki検索（誕生日、出身地）

レスリー＝ランポートのプロフィール Wikipedia（ウィキペディア）

レスリー・B・ランポート（Leslie B. Lamport、1941年2月7日 - ）は、アメリカ合衆国の計算機科学者である。

分散システムの先駆的な研究で知られる。文書作成システムLaTeXの最初の開発者であり、その最初のマニュアルの著者でもある。ランポートは、自律的に動作する複数のコンピュータがメッセージをやり取りして相互に通信を行う分散コンピューティングシステムの一見するとカオスな振る舞いに、明確でWell-definedな一貫性を課したことで、2013年のチューリング賞を受賞した。彼は、実際の分散システムの品質を向上させるための重要なアルゴリズムを考案し、その形式モデルと検証プロトコルを開発した。これらの貢献は、コンピュータシステムの正確性、性能、信頼性の向上につながっている。

ブロンクス科学高校を卒業した。マサチューセッツ工科大学で1960年に数学の学士号を、ブランダイス大学で1963年に数学の修士号、1972年に数学のPh.D.を取得した。彼の博士論文は解析的偏微分方程式の特異点に関するものであった。

キャリアと研究

1970年から1977年までマサチューセッツ・コンピュータ・アソシエイツ（英語版）(COMPASS)、1977年から1985年までSRIインターナショナル、1985年から2001年までデジタル・イクイップメント・コーポレーション（DEC、1998年にコンパックにより吸収合併）に計算機科学者として在籍した。2001年にカリフォルニア州マウンテンビューにあるマイクロソフトリサーチに入社した。

分散システム

ランポートの研究は、分散システムの理論の基礎の構築に貢献してきた。彼の注目すべき論文には、以下のものがある。

"Time, Clocks, and the Ordering of Events in a Distributed System", - 2000年のダイクストラ賞（英語版）を受賞

"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs" - 逐次一貫性の表記法を定義した。

"The Byzantine Generals' Problem"

"Distributed Snapshots: Determining Global States of a Distributed System"

"The Part-Time Parliament"

これらの論文は、論理クロック（英語版）（およびHappened-Before関係（英語版））やビザンチン障害などの概念に関連している。これらの論文は、計算機科学の分野で最も引用されている論文の一つであり、分散システムにおける多くの基本的な問題を解決するための、以下に掲げるアルゴリズムを記述している。

合意のためのPaxosアルゴリズム

コンピュータシステムにおける同時に同じリソースを必要とする複数のスレッドの相互排除のためのパン屋のアルゴリズム

一貫性のあるグローバルな状態（スナップショット）を決定するためのチャンディ＝ランポートのアルゴリズム（英語版）

デジタル署名のプロトタイプの1つであるランポート署名

LaTeX

1980年代初頭にドナルド・クヌースがTeXの初版をリリースしてから、ランポートは本を書きたいという個人的な欲求から、それが後に標準のマクロパッケージになることを期待して、TeXをベースにしたマクロのセットの作成を始めた。この一連のマクロは後にLaTeXとして知られるようになった。ランポートは1983年にアディソン-ウェスリー（英語版）の編集者であるピーター・ゴードンから、LaTeXのユーザーマニュアルを書籍化することを提案された。

1984年9月、ランポートはLaTeXのバージョン2.06aをリリースし、1985年8月にはランポートによるLaTeXの最後のバージョンであるLaTeX 2.09がリリースされた。1986年にランポートによる初のLaTeXユーザーマニュアルLaTeX: A Document Preparation Systemが刊行された。1989年8月21日、スタンフォード大学で開かれたTeXユーザーグループの会議で、ランポートはLaTeXのメンテナンスと開発をフランク・ミッテルバッハに移管することに同意した。ミッテルバッハはクリス・ローリー、Rainer SchöpfとともにLaTeX3チームを結成し、1994年にLaTeXの現在のバージョンであるLaTeX 2eをリリースした。

時相論理

ランポートは時相論理の研究でも知られており、アクションの時相論理（英語版）(TLA)を導入した。

最近の彼の貢献の中には、並行・反応型システムを指定・推論するための言語であるTLAがある。彼は著書Specifying Systems: The TLA Language and Tools for Hardware and Software Engineersでこの言語について記述しており、この言語を「数学に対する技術者の反感を払拭するためのドン・キホーテ的（英語版）な試み」と定義している。

賞と栄誉

2003年 - レンヌ第1大学（英語版） 名誉博士号

2003年 - クリスティアン・アルブレヒト大学キール 名誉博士号

2004年 - IEEEエマニュエル・R・ピオレ賞（英語版）

2004年 - スイス連邦工科大学ローザンヌ校(EFPL) 名誉博士号

2005年 - ダイクストラ賞（英語版） 論文"Reaching Agreement in the Presence of Faults"に対して

2006年 - ルガーノ大学（英語版） 名誉博士号

2007年 - ナンシー大学 名誉博士号

2008年 - IEEEジョン・フォン・ノイマンメダル

2011年 - 米国科学アカデミー会員

2013年 - チューリング賞 「分散・並行システムの理論と実践への基本的な貢献、特に因果性と論理クロック、安全性と生存性、複製状態機械（英語版）、逐次一貫性などの概念の発明に対して」

2014年 - ACMフェロー

2019年 - コンピュータ歴史博物館フェロー（コンピュータの殿堂）

2019年 - C&C賞

2001年、ランポートの60歳の誕生日を記念して、第20回分散コンピューティングの原理に関するシンポジウム（英語版）(PODC 2001)で一連の講演が企画された。