بيتر لاندين

📅 آخر تحديث: ٥ أغسطس ٢٠٢٦
✍️ نُشر في: ٥ أغسطس ٢٠٢٦
📷 يحتوي على 3 صور
الموسوعة الحرة

بيتر لاندين
وُلِدّ
بيتر جون لاندين

( 1930-06-05 )5 يونيو 1930
شيفيلد ، ويست رايدينج أوف يوركشاير ، إنجلترا
مات3 يونيو 2009 (2009-06-03)(78 سنة)
المواطنةالمملكة المتحدة
تعليمكلية كلير ، جامعة كامبريدج
معروف بـISWIM ، مشغل J ، آلة SECD ، قاعدة التسلل ، السكر النحوي
المسيرة العلمية
الحقولعلوم الحاسوب والتعليم
المؤسساتكريستوفر ستراتشي ، مستشار كمبيوتر ، معهد
يونيفاك
ماساتشوستس للتكنولوجيا،
جامعة كوين ماري في لندن

كان بيتر جون لاندين (5 يونيو 1930 - 3 يونيو 2009 [1] [2] ) عالم كمبيوتر بريطانيًا . كان من أوائل من أدركوا أنه يمكن استخدام حساب لامدا لنمذجة لغة برمجة ، وهي الرؤية الأساسية لتطوير كل من البرمجة الوظيفية والدلالات الإشارية .

أكاديمي

وُلِد لاندين في شيفيلد ، حيث التحق بمدرسة الملك إدوارد السابع ؛ وتخرج من كلية كلير، كامبريدج . [2] ومن عام 1960 إلى عام 1964، كان مساعدًا لكريستوفر ستراتشي عندما كان الأخير مستشارًا مستقلاً للكمبيوتر في لندن . [3] نُشرت معظم أعماله خلال هذه الفترة والوقت القصير الذي عمل فيه في يونيفاك وفي معهد ماساتشوستس للتكنولوجيا في الولايات المتحدة، قبل توليه منصبًا في جامعة كوين ماري في لندن . خلال السبعينيات والثمانينيات، بذل جهوده في بناء قسم علوم الكمبيوتر في كلية كوين ماري، وتطوير الدورات، وتعليم الطلاب، كما هو موضح في مقدمة كتاب البرمجة من المبادئ الأولى . [4] عند تقاعده، تم تعيينه أستاذًا فخريًا للحوسبة النظرية في جامعة كوين ماري في لندن ، حيث تمت إعادة تسمية مبنى علوم الكمبيوتر في عام 2012 إلى مبنى بيتر لاندين تكريمًا له.

في ورشة عمل في متحف العلوم بلندن عام 2001، تحدث عن تاريخ دلالات البرمجة، حيث تحدث عن كيفية بدء مسيرته العلمية في علوم الكمبيوتر في أواخر الخمسينيات من القرن العشرين وكيف تأثر كثيرًا بدراسة لغة ليسب لجون مكارثي عندما كانت اللغة الأكثر استخدامًا هي فورتران . [5]

كان نشطًا في تعريف لغة البرمجة ALGOL . وهو مدرج ضمن أولئك الذين حضروا مؤتمر نوفمبر 1959 في باريس ، [6] ومؤتمر عام 1962، [7] [8] وذكره توني هوار كأحد الأشخاص الذين علموه ALGOL 60 وبالتالي سهّلوا له التعبير عن الخوارزميات التكرارية القوية:

"في حوالي عيد الفصح عام 1961، عُرضت دورة تدريبية حول ALGOL 60 في برايتون بإنجلترا، مع بيتر نور وإدسجر دبليو ديكسترا وبيتر لاندين كمدرسين. ... هناك تعلمت لأول مرة عن الإجراءات التكرارية ورأيت كيفية برمجة طريقة الفرز التي كنت قد وجدت صعوبة كبيرة في شرحها في وقت سابق. هناك كتبت الإجراء، المسمى بشكل غير متواضع QUICKSORT ، والذي تأسست عليه مسيرتي المهنية كعالم كمبيوتر. يجب أن يُنسب الفضل إلى عبقرية مصممي ALGOL 60 الذين أدرجوا التكرار في لغتهم ومكنوني من وصف اختراعي بأناقة للعالم. لقد اعتبرته الهدف الأعلى لتصميم لغة البرمجة لتمكين التعبير عن الأفكار الجيدة بأناقة." [9]

كان لاندين مشاركًا في المعايير الدولية في البرمجة والمعلوماتية، بصفته عضوًا في مجموعة عمل IFIP 2.1 التابعة للاتحاد الدولي لمعالجة المعلومات (IFIP) حول اللغات الخوارزمية وحساب التفاضل والتكامل، [10] والتي حددت وتحافظ على وتدعم لغات البرمجة ALGOL 60 و ALGOL 68. [ 11]

كان لاندين مسؤولاً عن اختراع المكدس والبيئة والتحكم وتفريغ آلة SECD ، وهي أول آلة مجردة للغة برمجة وظيفية ، [12] ولغة برمجة ISWIM ، وتحديد قاعدة Landin off-side وصياغة مصطلح syntactic sugar . تسمح قاعدة off-side بإعلان نطاق محدد باستخدام المسافات البيضاء كما هو الحال في لغات مثل Miranda و Haskell و Python و F# (باستخدام بناء الجملة الخفيف ).

عبارة أخرى نشأت من لاندين هي "السبعمائة لغة برمجة التالية..." بعد ورقته البحثية المؤثرة " السبعمائة لغة برمجة التالية " . [13] تم اختيار "700" لأن لاندين قرأ في مجلة ACM أن هناك بالفعل 700 لغة برمجة موجودة آنذاك. [14] تبدأ الورقة البحثية باقتباس "... اليوم ... 1700 لغة برمجة خاصة تستخدم "للتواصل" في أكثر من 700 مجال تطبيقي." [15] كما تتضمن النكتة التي تقول

الخطوة الأولى المحتملة في برنامج البحث هي 1700 أطروحة دكتوراه بعنوان "المراسلات بين x وترميز λ الخاص بـ Church ".

إشارة إلى ورقته السابقة. [16] يتم التعبير عن هذا الشعور الجاف بالفكاهة في العديد من أوراقه.

سياسي

كان لاندين، الذي كان مثليًا جنسيًا، [2] متورطًا في جبهة تحرير المثليين (GLF) خلال أوائل السبعينيات. وقد تم القبض عليه ذات مرة كجزء من مظاهرة مناهضة للطاقة النووية. [17] كان راكب دراجات متفانيًا وكان يتنقل في لندن على دراجته حتى أصبح من المستحيل عليه جسديًا القيام بذلك. [ بحاجة لمصدر ]

إرث

تحتفظ مكتبة بودليان في أكسفورد بأرشيف للمواد المتعلقة ببيتر لاندين. [18] منذ عام 2010، كانت هناك ندوة سنوية لدلالات بيتر لاندين تُعقد سنويًا في شهر ديسمبر من كل عام وتنظمها مجموعة BCS-FACS المتخصصة في الجوانب الرسمية لعلوم الحوسبة. [19] ألقى عالم الكمبيوتر الأمريكي جون سي رينولدز (1935-2013) الندوة الأولى. [20] يوجد مبنى بيتر لاندين في جامعة كوين ماري بلندن يضم مرافق التدريس والبحث لعلوم الكمبيوتر . [21]

منشورات مختارة

انظر أيضا

ملحوظات

  1. ^ بيتر لاندين، لامدا المطلقة ، 4 يونيو 2009.
  2. ^ abc Bornat 2009a
  3. ^ Hashagen, Ulf; Keil-Slawik, Reinhard; Norberg, Arthur L., eds. (5–7 April 2000). تاريخ الحوسبة: قضايا البرمجيات . المؤتمر الدولي حول تاريخ الحوسبة، ICHC 2000، منتدى متاحف هاينز نيكسدورف، بادربورن، ألمانيا. برلين: سبرينغر (نُشر في 29 يونيو 2013). ISBN 978-3-662-04954-9. OCLC  861966658.
  4. ^ Bornat, Richard (1987). Programming from First Principles . برنتيس هول . ISBN 978-0-13-729104-5.
  5. ^ Numerico, Teresa; Bowen, Jonathan P. (January–March 2002). "Program Verification and Semantics: The early work". IEEE Annals of the History of Computing . 24 (1): 90–92. مؤرشف من الأصل في 26 سبتمبر 2007.
  6. ^ "AB8 December 1959". ديسمبر 1959. مؤرشف من الأصل في 15 يونيو 2009.
  7. ^ باكوس، جي دبليو ؛ الأماكن القريبة : فان ويجنجاردن، أ . وودجر، م . نور، ص . باور, فلوريدا ; جرين، ج. كاتز، C .؛ مكارثي، ج . الأماكن القريبة : روتيسهاوزر، هـ . ساملسون، ك . فوكوا، ب. (1 يناير 1963). “تقرير منقح عن اللغة الخوارزمية ألغول 60”. الكتلة: العمل .
  8. ^ لاندين 1966أ
  9. ^ محاضرة جائزة تورينج التابعة لرابطة مكائن ​​الحوسبة: ملابس الإمبراطور القديمة. سي. أنتوني ر. هواري ، 1980، نُشرت في مجلة اتصالات رابطة مكائن ​​الحوسبة .
  10. ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 أغسطس 2016). "ملف تعريف مجموعة عمل IFIP 2.1". Foswiki . تم الاسترجاع في 10 سبتمبر 2020 .
  11. ^ سويرسترا ، دوايتسي. جيبونز, جيريمي ; ميرتنز ، لامبرت (2011-03-02). "ScopeEtc: IFIP21: Foswiki". فوسيكي . تم الاسترجاع في 10 سبتمبر 2020 .
  12. ^ Diehl, Stephan; Hartel, Pieter; Sestoft, Peter (2000). "Abstract machines for programming language implementation". Future Generation Computer Systems . المجلد 16. ص 739-751.
  13. ^ لاندين 1966ب
  14. ^ اتصال شخصي، سبتمبر 2007.
  15. ^ قضايا برمجيات الكمبيوتر، نشرة الجمعية الرياضية الأمريكية، يوليو 1965.
  16. ^ لاندين 1965أ
  17. ^ بورنات 2009ب
  18. ^ "أرشيف بيتر لاندين، عالم كمبيوتر وأكاديمي وناشط في مجال حقوق المثليين". أرشيفات ومخطوطات بودليان . المملكة المتحدة: مكتبات بودليان ، جامعة أكسفورد . تم الاسترجاع في 3 أغسطس 2022 .
  19. ^ "ندوة بيتر لاندين السنوية للدلالات في معهد BCS FACS". BCS-FACS . BCS، المعهد المعتمد لتكنولوجيا المعلومات . 2012. تم الاسترجاع في 4 ديسمبر 2012 .
  20. ^ "ندوة بيتر لاندين السنوية للدلالات". BCS-FACS . لندن، المملكة المتحدة: BCS، المعهد المعتمد لتكنولوجيا المعلومات . 6 ديسمبر 2010. مؤرشف من الأصل في 6 مارس 2012.
  21. ^ "مبنى بيتر لاندين". المملكة المتحدة: جامعة كوين ماري في لندن . تم الاسترجاع في 13 ديسمبر 2022 .

مصادر

تم الاسترجاع من "https://en.wikipedia.org/w/index.php?title=بيتر_لاندين&oldid=1250899877"
Original text
Rate this translation
Your feedback will be used to help improve Google Translate