بيتر لاندين

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

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

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

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

في حوالي عيد الفصح عام ١٩٦١، عُرضت دورة تدريبية في لغة ALGOL 60 في برايتون ، إنجلترا، بإشراف بيتر نور ، وإدسكير دبليو . ديكسترا، وبيتر لاندين. ... هناك تعلمتُ لأول مرة عن الإجراءات التكرارية، ورأيتُ كيفية برمجة طريقة الفرز التي كنتُ أجد صعوبة بالغة في شرحها سابقًا. هناك كتبتُ الإجراء، الذي أطلقتُ عليه اسمًا متواضعًا هو QUICKSORT ، والذي بُنيت عليه مسيرتي المهنية كعالم حاسوب. لا بد من الإشادة بعبقرية مصممي ALGOL 60 الذين أدرجوا التكرار في لغتهم، مما مكّنني من وصف اختراعي للعالم بهذه الأناقة. لطالما اعتبرتُ أن الهدف الأسمى لتصميم لغات البرمجة هو تمكين الأفكار الجيدة من التعبير عنها بأناقة. ^{[ ١٠ ]}

شارك لاندين في وضع المعايير الدولية في البرمجة والمعلوماتية، كعضو في الاتحاد الدولي لمعالجة المعلومات (IFIP) مجموعة العمل 2.1 التابعة للاتحاد الدولي لمعالجة المعلومات بشأن اللغات والحسابات الخوارزمية، ^{[ 11 ]} والتي حددت وحافظت ودعمت لغات البرمجة ALGOL 60 و ALGOL 68. ^{[ 12 ]}

يُنسب إلى لاندين ابتكار آلة SECD ، وهي أول آلة مجردة للغات البرمجة الوظيفية ، ^{[ 13 ]} ولغة البرمجة ISWIM ، بالإضافة إلى تعريف قاعدة لاندين للنطاق الخارجي وصياغة مصطلح " السكر النحوي" . تسمح قاعدة النطاق الخارجي بتحديد نطاق التعريف باستخدام المسافات البيضاء، كما هو الحال في لغات مثل ميراندا ، وهاسكل ، وبايثون ، وإف شارب (باستخدام الصيغة المختصرة ). ووفقًا لجون سي. رينولدز ، فقد أشار لاندين إلى أن هدف بحثه هو "رواية قصص جميلة عن الحوسبة". ^{[ 14 ]}

عبارة أخرى من ابتكار لاندين هي "الـ 700 التالية..."، نسبةً إلى بحثه المؤثر " الـ 700 لغة برمجة التالية " . ^{[ 15 ]} تم اختيار الرقم "700" لأن لاندين قرأ في مجلة ACM أن هناك بالفعل 700 لغة برمجة موجودة آنذاك. ^{[ 16 ]} يبدأ البحث باقتباس: "... اليوم... 1700 لغة برمجة خاصة تُستخدم 'للتواصل' في أكثر من 700 مجال تطبيقي." ^{[ 17 ]} ويتضمن البحث أيضًا دعابة مفادها أن

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

إشارة إلى بحثه السابق. ^{[ 18 ]} هذا الحس الفكاهي الجاف يظهر في العديد من أبحاثه.

انخرط لاندين، وهو ثنائي الميول الجنسية، ^{[ 2 ]} في جبهة تحرير المثليين (GLF) خلال أوائل سبعينيات القرن العشرين. وقد اعتُقل مرةً واحدةً خلال مظاهرة مناهضة للأسلحة النووية. ^{[ 19 ]} كان لاندين مولعًا بركوب الدراجات، وكان يتنقل في أنحاء لندن على دراجته، ولم يتعلم قيادة السيارات قط. ^{[ 20 ]}

تحتفظ مكتبة بودليان في أكسفورد بأرشيف من المواد المتعلقة ببيتر لاندين. ^{[ 21 ]} ومنذ عام 2010، تُعقد ندوة بيتر لاندين السنوية في ديسمبر من كل عام، بتنظيم من المجموعة المتخصصة في الجوانب الرسمية لعلوم الحاسوب التابعة لجمعية علوم الحاسوب البريطانية (BCS) ورابطة علوم الحاسوب البريطانية (FACS) . ^{[ 22 ]} وقد ألقى الندوة الأولى عالم الحاسوب الأمريكي جون سي. رينولدز (1935-2013). ^{[ 23 ]} ويوجد مبنى بيتر لاندين في جامعة كوين ماري بلندن، يضم مرافق تعليمية وبحثية في علوم الحاسوب . ^{[ 24 ]}

• لاندين، بيتر ج. (1964). "التقييم الميكانيكي للتعبيرات" . مجلة الحاسوب . 6 (4). الجمعية البريطانية للحاسوب : 308-320 . doi : 10.1093/comjnl/6.4.308 .
• لاندين، بيتر ج. (فبراير 1965أ). "المراسلات بين لغة ALGOL 60 ورمز لامدا لتشرش: الجزء الأول" . مجلة اتصالات رابطة آلات الحوسبة . 8 (2). رابطة آلات الحوسبة : 89-101 . doi : 10.1145/363744.363749 . S2CID 6505810 . 
• لاندين، بيتر ج. (مارس 1965ب). "مقارنات بين لغة ALGOL 60 ورمز لامدا لتشرش: الجزء الثاني" . مجلة اتصالات رابطة آلات الحوسبة . 8 (3). رابطة آلات الحوسبة : 158-165 . doi : 10.1145/363791.363804 . S2CID 15781851 . 
• لاندين، بيتر ج. (29 أغسطس 1965). "تعميم القفزات والتسميات". بحث برمجة أنظمة UNIVAC (تقرير فني) .أُعيد نشرها في: لاندين، بيتر ج. (ديسمبر 1998). "تعميم القفزات والتسميات". الحوسبة الرمزية والحسابية من الرتبة العليا . 11 (2): 125-143 . doi : 10.1023/A:1010068630801 . S2CID 5579841 . 
• لاندين، بيتر جيه. (1966أ). ستيل، تي بي جونيور (محرر). "وصف رسمي للغة ألغول 60". لغات وصف اللغات الرسمية لبرمجة الحاسوب : 266-294 .
• لاندين، بيتر ج. (مارس 1966ب). "لغات البرمجة الـ 700 التالية" . مجلة اتصالات رابطة آلات الحوسبة . 9 (3). رابطة آلات الحوسبة : 157-166 . doi : 10.1145/365230.365257 . S2CID 13409665 . 

• عامل التشغيل J
• قائمة رواد علوم الحاسوب

• بورنات ، ريتشارد (23 سبتمبر 2009). "نعي بيتر لاندين" . الجارديان (  الطبعة النعي). ص.  34 . تم الاسترجاع 29 سبتمبر 2009 .
• بورنات، ريتشارد (17 سبتمبر 2009). "بيتر لاندين: عالم حاسوب ألهم جيلاً، 5 يونيو 1930 - 3 يونيو 2009" (ملف PDF) . الجوانب الرسمية للحوسبة . 21 (5). برلين: سبرينغر-فيرلاغ : 393-395 . doi : 10.1007/s00165-009-0122-y . ISSN 0934-5043 . S2CID 8870097 .  

• بيتر ج. لاندين في خادم DBLP Bibliography Server
• التحقق من البرامج ودلالاتها: العمل المبكر في Wayback Machine (تمت أرشفته في 26 سبتمبر 2007) ،ندوة جمعية الحفاظ على الحاسوب التابعة لـ BCS، متحف العلوم ، لندن، المملكة المتحدة، 5 يونيو 2001
• محاضرة تأبينية عن حياة لاندين ألقاها أوليفييه دانفي في المؤتمر الدولي لعلم النفس العائلي 2009
• محاضرة بيتر لاندين في مؤتمر التحقق من البرامج والدلالات: الأعمال المبكرة ، 2001 (فيديو)