レスリー＝ランポートの情報（LeslieLamport） コンピューター工学者 芸能人・有名人Wiki検索[誕生日、年齢、出身地、星座]
レスリー＝ランポートさんについて調べます
|
■名前・氏名 |
|
レスリー＝ランポートの情報まとめ
レスリー＝ランポート(Leslie Lamport)さんの誕生日は1941年2月7日です。
卒業、現在に関する情報もありますね。レスリー＝ランポートの現在の年齢は84歳のようです。
レスリー＝ランポートのプロフィール 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” (2006年9月). 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. 2010年12月31日閲覧。 ^ 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
pTeX LuaTeX
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
CTAN TeXConf
TUG (TeX Users Group)
TPJ（英語版） DANTE（英語版） ドナルド・クヌース レスリー・ランポート 奥村晴彦
TeX エディタの比較（英語版）
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識別子が指定されている記事
2025/04/11 05:31更新
|
コンピュータ
カテゴリ
拡張機能の一覧
TeX/LaTeX入門Leslie Lamport
レスリー＝ランポートと同じ誕生日2月7日生まれの人
TOPニュース
レスリー＝ランポートと近い名前の人
注目の芸能人・有名人【ランキング】
話題のアホネイター
この記事は、クリエイティブ・コモンズ・表示・継承ライセンス3.0のもとで公表されたウィキペディアの項目「レスリー＝ランポート」を素材として二次利用しています。