レスリー＝ランポートの情報 （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つであるランポート署名

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)で一連の講演が企画された。

^ レスリー・ランポート - Mathematics Genealogy Project

^ Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. ISBN 978-0-201-15790-1. https://archive.org/details/latex00lesl 2019年6月20日閲覧。 

^ “The Definitive, Non-Technical Introduction to LaTeX, Professional Typesetting and Scientific Publishing” (英語). Math Vault (2015年9月5日). 2019年7月19日閲覧。

^ Lamport, Leslie (2013年). “Leslie Lamport - A.M. Turing Award Winner”. ACM. http://amturing.acm.org/award_winners/lamport_1205376.cfm 

^ レスリー・ランポート - ACM Digital Library

^ Lamport, L. (1978). “Time, clocks, and the ordering of events in a distributed system”. Communications of the ACM 21 (7): 558–565. doi:10.1145/359545.359563. http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf. 

^ 著作一覧 - Microsoft Academic Search.

^ Savage, N. (2014). “General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended”. Communications of the ACM 57 (6): 22–23. doi:10.1145/2601076. 

^ Hoffmann, L. (2014). “Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems”. Communications of the ACM 57 (6): 112–ff. doi:10.1145/2601077. 

^ Lamport, Leslie (2006年12月19日). “My Writings”. 2007年2月2日閲覧。

^ Lamport, Leslie (1972). The Analytic Cauchy Problem with Singular Data. http://research.microsoft.com/users/lamport/pubs/pubs.html#thesis 2007年2月2日閲覧。. 

^ Neiger, Gil (2003年1月23日). “PODC Influential Paper Award: 2000”. 2013年7月9日時点のオリジナルよりアーカイブ。2007年2月2日閲覧。

^ Lamport, Leslie (1979). “How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Program”. IEEE Trans. Comput. 28 (9): 690–691. doi:10.1109/TC.1979.1675439. ISSN 0018-9340. http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html#multi. 

^ Lamport, Leslie; Robert Shostak; Marshall Pease (July 1982). “The Byzantine Generals Problem”. ACM Transactions on Programming Languages and Systems 4 (3): 382–401. doi:10.1145/357172.357176. http://research.microsoft.com/users/lamport/pubs/pubs.html#byz 2007年2月2日閲覧。. 

^ Chandy, K. Mani; Leslie Lamport (February 1985). “Distributed Snapshots: Determining Global States of a Distributed System”. ACM Transactions on Computer Systems 3 (1): 63–75. doi:10.1145/214451.214456. http://research.microsoft.com/users/lamport/pubs/pubs.html#chandy 2007年2月2日閲覧。. 

^ Lamport, Leslie (May 1998). “The Part-Time Parliament”. ACM Transactions on Computer Systems 16 (2): 133–169. doi:10.1145/279227.279229. http://research.microsoft.com/users/lamport/pubs/pubs.html#lamport-paxos 2007年2月2日閲覧。. 

^ “Most cited articles in Computer Science” (September 2006). 2007年10月8日閲覧。

^ Lamport, Leslie. “How (LA)TEX changed the face of Mathematics”. 2020年4月26日閲覧。

^ “The Writings of Leslie Lamport”. lamport.azurewebsites.net. 2019年7月19日閲覧。

^ “TeX, LaTeX, and AMS-LaTeX” (1998年12月3日). 1998年12月3日時点のオリジナルよりアーカイブ。2019年7月19日閲覧。

^ Lamport, Leslie (1990-04-01). A Temporal Logic of Actions. http://research.microsoft.com/users/lamport/pubs/pubs.html#old-tla-src 2007年2月2日閲覧。. 

^ Lamport, Leslie (May 1994). “The Temporal Logic of Actions”. ACM Transactions on Programming Languages and Systems 16 (3): 872–923. doi:10.1145/177492.177726. http://research.microsoft.com/users/lamport/pubs/pubs.html#lamport-actions 2007年2月2日閲覧。. 

^ Lamport, Leslie (2002). Specifying Systems: The TLA Language and Tools for Hardware and Software Engineers. Addison-Wesley. ISBN 978-0-321-14306-8. http://research.microsoft.com/users/lamport/tla/book.html 2007年2月2日閲覧。 

^ “The International Conference on Dependable Systems and Networks keynote speaker biography”. 2007年3月6日閲覧。

^ “IEEE Emanuel R. Piore Award Recipients es”. IEEE. 2010年11月24日時点のオリジナルよりアーカイブ。2010年12月31日閲覧。

^ Pease, Marshall; Robert Shostak; Leslie Lamport (April 1980). “Reaching Agreement in the Presence of Faults”. Journal of the Association for Computing Machinery 27 (2): 228–234. doi:10.1145/322186.322188. http://research.microsoft.com/users/lamport/pubs/pubs.html#reaching 2007年2月2日閲覧。. 

^ “Edsger W. Dijkstra Prize in Distributed Computing: 2005”. 2007年2月2日閲覧。

^ “IEEE John von Neumann Medal Recipients”. IEEE. December 31, 2010閲覧。

^ Members and Foreign Associates Elected Archived May 7, 2011, at the Wayback Machine., National Academy of Sciences, May 3, 2011.

^ “Turing award 2013”. ACM. 2020年4月26日閲覧。

^ ACM Names Fellows for Innovations in Computing Archived 2015-01-14 at the Wayback Machine., Association for Computing Machinery, January 8, 2015.

^ “Fellow Awards - CHM”. コンピュータ歴史博物館. 2020年4月26日閲覧。

^ “PODC 2001: Lamport Lecture Series”. 2009年7月2日閲覧。

Leslie Lamport's Home Page 公式ウェブサイト

表

話

編

歴

e-upTeX

eTeX

pTeX

LuaTeX

Omega|Aleph

pdfTeX

XǝTeX

ConTeXt

LaTeX

Texinfo

PSTricks

AmS-LaTeX

数学

ArabTeX

アラビア文字

CircuiTikZ（英語版）

電気回路

emath

数学

FarsiTeX（英語版）

ペルシア文字

mhchem

化学式

MusiXTeX

楽譜

TIPA

音声記号

XϒMTeX

化学式

MacTeX

MiKTeX

teTeX

TeX Live

W32TeX

Kile

LyX

TeXShop

Texmaker

TeXstudio

TeXworks

WinShell

ShareLaTeX

Babel（ドイツ語版）|polyglossia

Beamer

BibTeX

文献

dviout

dvipdfm

dvips

KETpic

PGF/TikZ

TeXPoint

ChkTeX

Computer Modern

DVI

METAFONT

MetaPost

TeX ディレクトリ構造（英語版）

WEB

CWEB（英語版）

CTAN

TeXConf

TeXユーザの集い

TUG (TeX Users Group)

TUGboat（英語版）

TPJ（英語版）

DANTE（英語版）

ドナルド・クヌース

レスリー・ランポート

奥村晴彦

コンピュータ

カテゴリ

拡張機能の一覧

TeX エディタの比較（英語版）

TeX/LaTeX入門

TeX Wiki

表

話

編

歴

アラン・パリス (1966)

モーリス・ウィルクス (1967)

リチャード・ハミング (1968)

マービン・ミンスキー (1969)

ジェームズ・H・ウィルキンソン (1970)

ジョン・マッカーシー (1971)

エドガー・ダイクストラ (1972)

チャールズ・バックマン (1973)

ドナルド・クヌース (1974)

アレン・ニューウェル / ハーバート・サイモン (1975)

マイケル・ラビン / デイナ・スコット (1976)

ジョン・バッカス (1977)

ロバート・フロイド (1978)

ケネス・アイバーソン (1979)

アントニー・ホーア (1980)

エドガー・F・コッド (1981)

スティーブン・クック (1982)

ケン・トンプソン / デニス・リッチー (1983)

ニクラウス・ヴィルト (1984)

リチャード・カープ (1985)

ジョン・ホップクロフト / ロバート・タージャン (1986)

ジョン・コック (1987)

アイバン・サザランド (1988)

ウィリアム・カハン (1989)

フェルナンド・J・コルバト (1990)

ロビン・ミルナー (1991)

バトラー・ランプソン (1992)

ユリス・ハルトマニス / リチャード・スターンズ (1993)

エドワード・ファイゲンバウム / ラジ・レディ (1994)

マヌエル・ブラム (1995)

アミール・プヌーリ (1996)

ダグラス・エンゲルバート (1997)

ジム・グレイ (1998)

フレデリック・ブルックス (1999)

アンドリュー・チーチー・ヤオ (2000)

オーレ＝ヨハン・ダール / クリステン・ニゴール (2001)

ロナルド・リベスト / アディ・シャミア / レオナルド・エーデルマン (2002)

アラン・ケイ (2003)

ヴィントン・サーフ / ロバート・カーン (2004)

ピーター・ナウア (2005)

フランシス・E・アレン (2006)

エドムンド・クラーク / アレン・エマーソン / ジョセフ・シファキス (2007)

バーバラ・リスコフ (2008)

チャック・サッカー (2009)

レスリー・ヴァリアント (2010)

ジューディア・パール (2011)

シャフィ・ゴールドワッサー / シルビオ・ミカリ (2012)

レスリー・ランポート (2013)

マイケル・ストーンブレーカー (2014)

マーティン・ヘルマン / ホイットフィールド・ディフィー (2015)

ティム・バーナーズ＝リー (2016)

ジョン・ヘネシー / デイビッド・パターソン (2017)

ヨシュア・ベンジオ / ジェフリー・ヒントン / ヤン・ルカン (2018)

エドウィン・キャットマル / パット・ハンラハン (2019)

アルフレッド・エイホ / ジェフリー・ウルマン (2020)

ジャック・ドンガラ (2021)

ロバート・メトカーフ (2022)

アヴィ・ヴィグダーソン (2023)

コンピュータ

カテゴリ

FAST

ISNI

VIAF

WorldCat

ノルウェー

フランス

BnF data

ドイツ

イタリア

イスラエル

アメリカ

日本

ポーランド

計算機協会

CiNii Books

CiNii Research

DBLP

MathSciNet

Mathematics Genealogy Project

Scopus

zbMATH

IdRef

20世紀の数学者

21世紀の数学者

アメリカ合衆国の計算機科学者

アメリカ合衆国の数学者

並行・並列・分散コンピューティング関連の研究者

形式手法の人物

TeX

ACMフェロー

アメリカ芸術科学アカデミー会員

米国科学アカデミー会員

フォン・ノイマンメダルの受賞者

チューリング賞受賞者

マイクロソフトリサーチの人物

SRIインターナショナルの人物

コンピュータ歴史博物館フェロー

ディジタル・イクイップメント・コーポレーションの人物

ニューヨーク州の数学者

ダイクストラ賞の受賞者

C&C賞の受賞者

マサチューセッツ工科大学出身の人物

ブランダイス大学出身の人物

ブロンクス科学高等学校出身の人物

ニューヨーク市出身の人物

1941年生

存命人物

Webarchiveテンプレートのウェイバックリンク

FAST識別子が指定されている記事

ISNI識別子が指定されている記事

VIAF識別子が指定されている記事

WorldCat Entities識別子が指定されている記事

BIBSYS識別子が指定されている記事

BNF識別子が指定されている記事

BNFdata識別子が指定されている記事

GND識別子が指定されている記事

ICCU識別子が指定されている記事

J9U識別子が指定されている記事

LCCN識別子が指定されている記事

NDL識別子が指定されている記事

PLWABN識別子が指定されている記事

ACM-DL識別子が指定されている記事

CINII識別子が指定されている記事

CRID識別子が指定されている記事

DBLP識別子が指定されている記事

MATHSN識別子が指定されている記事

MGP識別子が指定されている記事

Scopus識別子が指定されている記事

ZBMATH識別子が指定されている記事

SUDOC識別子が指定されている記事