レスリー・ランポート
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/27 01:53 UTC 版)
レスリー・B・ランポート(Leslie B. Lamport、1941年2月7日 - )は、アメリカ合衆国の計算機科学者である。
|
- ^ レスリー・ランポート - Mathematics Genealogy Project
- ^ Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. ISBN 978-0-201-15790-1 2019年6月20日閲覧。
- ^ a b “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
- ^ レスリー・ランポート - ACM Digital Library
- ^ a b 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 .
- ^ 著作一覧 - 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.
- ^ a b c d e f g Lamport, Leslie (2006年12月19日). “My Writings”. 2007年2月2日閲覧。
- ^ Lamport, Leslie (1972). The Analytic Cauchy Problem with Singular Data 2007年2月2日閲覧。.
- ^ Neiger, Gil (2003年1月23日). “PODC Influential Paper Award: 2000”. 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 .
- ^ 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 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 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 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日閲覧。
- ^ a b “The Writings of Leslie Lamport”. lamport.azurewebsites.net. 2019年7月19日閲覧。
- ^ “TeX, LaTeX, and AMS-LaTeX” (1998年12月3日). 2019年7月19日閲覧。
- ^ Lamport, Leslie (1990-04-01). A Temporal Logic of Actions 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 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 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年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 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日閲覧。
- 1 レスリー・ランポートとは
- 2 レスリー・ランポートの概要
- 3 外部リンク
固有名詞の分類
20世紀の数学者 | デニス・ゲイツゴリ ポール・パンルヴェ レスリー・ランポート 廣瀬健 志賀徳造 |
21世紀の数学者 | ゴ・バオ・チャウ デニス・ゲイツゴリ レスリー・ランポート 志賀徳造 ピーター・サルナック |
アメリカ合衆国の数学者 | エドワード・カスナー フィリップ・J・デイヴィス レスリー・ランポート ピーター・サルナック ジョージ・ルスティック |
Weblioに収録されているすべての辞書からレスリー・ランポートを検索する場合は、下記のリンクをクリックしてください。
全ての辞書からレスリー・ランポートを検索
- レスリー・ランポートのページへのリンク