روبرت دبليو فلويد

روبرت دبليو فلويد ^{[ 1 ]} (وُلد باسم روبرت ويلوبي فلويد ؛ 8 يونيو 1936 - 25 سبتمبر 2001) كان عالم حاسوب أمريكيًا . تشمل إسهاماته تصميم خوارزمية فلويد-وارشال (بشكل مستقل عن ستيفن وارشال )، التي تُحدد بكفاءة جميع أقصر المسارات في الرسم البياني ، بالإضافة إلى عمله في مجال التحليل النحوي . كما نُسبت إليه خوارزمية فلويد لاكتشاف الدورات في التسلسلات. في ورقة بحثية واحدة، قدّم مفهومًا هامًا هو انتشار الخطأ في عرض الصور، والذي يُعرف أيضًا باسم التمويه فلويد-شتاينبرغ (مع أنه ميّز بين التمويه والانتشار). كان رائدًا في مجال التحقق من البرامج باستخدام التأكيدات المنطقية من خلال ورقته البحثية "إسناد المعاني للبرامج " عام 1967. وقد شكّل هذا العمل إسهامًا في ما أصبح يُعرف لاحقًا بمنطق هوار . حصل فلويد على جائزة تورينج عام 1978.

وُلد فلويد في مدينة نيويورك ، وأنهى دراسته الثانوية في سن الرابعة عشرة. وفي جامعة شيكاغو ، حصل على بكالوريوس الآداب في العلوم الإنسانية عام 1953 (عندما كان عمره 17 عامًا فقط) وبكالوريوس ثانٍ في الفيزياء عام 1958. وكان فلويد زميلًا في السكن الجامعي لكارل ساجان . ^{[ 2 ]}

انضم فلويد إلى هيئة التدريس في مؤسسة أرمور للأبحاث ( معهد إلينوي للتكنولوجيا حاليًا ) في معهد إلينوي للتكنولوجيا في خمسينيات القرن العشرين. وفي أوائل الستينيات، عمل كمشغل حاسوب، وبدأ بنشر العديد من الأبحاث، بما في ذلك أبحاث حول المترجمات (وخاصة التحليل النحوي ). كان رائدًا في قواعد أسبقية العمليات ، ويُنسب إليه الفضل في تأسيس مجال دلالات لغات البرمجة في كتابه "فلويد" (1967) . عُيّن أستاذًا مشاركًا في جامعة كارنيجي ميلون وهو في السابعة والعشرين من عمره، ثم أصبح أستاذًا متفرغًا في جامعة ستانفورد بعد ست سنوات. وقد حصل على هذا المنصب دون أن يحمل شهادة دكتوراه في الفلسفة .

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

تم انتخابه زميلاً في الأكاديمية الأمريكية للفنون والعلوم في عام 1974. ^{[ 5 ]}

حصل على جائزة تورينج في عام 1978 "لتأثيره الواضح على منهجيات إنشاء برامج فعالة وموثوقة، ولمساعدته في تأسيس المجالات الفرعية المهمة التالية في علوم الحاسوب: نظرية التحليل النحوي، ودلالات لغات البرمجة ، والتحقق التلقائي من البرامج ، وتوليف البرامج التلقائي ، وتحليل الخوارزميات ". ^{[ 6 ]}

عمل فلويد عن كثب مع دونالد كنوث ، ولا سيما بصفته المراجع الرئيسي لكتاب كنوث الرائد " فن برمجة الحاسوب" ، وهو الشخص الأكثر استشهادًا به في هذا العمل. شارك فلويد في تأليف كتاب " لغة الآلات: مقدمة في الحوسبة واللغات الرسمية " مع ريتشارد بيجل . ^{[ 7 ]} أشرف فلويد على سبعة طلاب حاصلين على درجة الدكتوراه. ^{[ 8 ]}

تزوج فلويد مرتين وانفصل عن زوجته الأولى جانا م. ماسون، ثم عن عالمة الحاسوب كريستيان فلويد ، وأنجب أربعة أطفال. في سنواته الأخيرة، عانى من مرض بيك ، وهو مرض تنكسي عصبي ، ولذلك تقاعد مبكراً عام 1994. ^{[ 6 ]}

كان من بين هواياته المشي لمسافات طويلة، وكان لاعبًا شغوفًا بلعبة الطاولة :

في إحدى المرات، علقنا في مطار أوهير بشيكاغو لساعات، ننتظر إقلاع رحلتنا، بسبب عاصفة ثلجية. وبينما كنا نجلس عند البوابة، سألني بوب، بشكل عفوي: "هل تعرف كيف تلعب الطاولة؟" أجبته أنني أعرف القواعد، ولكن لماذا يريد أن يعرف؟ قال بوب بما أن لدينا عدة ساعات للانتظار، فلنلعب بعض الجولات، بمبالغ صغيرة بالطبع. ثم مدّ يده إلى حقيبته وأخرج طقم طاولة.

علّمني والدي أشياء كثيرة. من بينها الحذر من أي شخص يقترح لعب البلياردو مقابل المال، ثم يفتح حقيبة سوداء ويبدأ بتجميع عصا البلياردو. ظننتُ أن هذه النصيحة تنطبق على كل من يسافر ومعه طقم طاولة زهر. أخبرتُ بوب أنني لن ألعب مقابل المال، مستحيل. ألحّ عليّ قليلاً، لكنه وافق في النهاية. ثم شرع في إعطائي درسًا مجانيًا في فن وعلم لعب طاولة الزهر.

كان قراري برفض اللعب معه على المال - مهما كانت قيمة الرهان - صائباً. كان الدرس ممتعاً. اكتشفت لاحقاً أنه كان يعمل لسنوات على تعلم اللعبة. كان يأخذ لعب الطاولة على محمل الجد، ويدرس اللعبة ورياضياتها، وكان شبه محترف. أعتقد أن الأمر كان أكثر من مجرد هواية. فكما كان بحثه، كان بوب يأخذ ما يفعله على محمل الجد، ومن المنطقي تماماً أن يكون بارعاً في الطاولة.

• فلويد، روبرت و. (1967). "إسناد معانٍ للبرامج" (ملف PDF) . في: شوارتز، ج. ت. (محرر). الجوانب الرياضية لعلوم الحاسوب . وقائع ندوة الرياضيات التطبيقية. المجلد  19. الجمعية الأمريكية للرياضيات. الصفحات 19-32 . ISBN  0821867288.
• فلويد، روبرت دبليو؛ كنوث، دونالد إرفين (1970). مسألة فرز بوز-نيلسون . ستانفورد، كاليفورنيا : قسم علوم الحاسوب، جامعة ستانفورد.
• فلويد، روبرت و.؛ سميث، آلان ج. (1972). دمج شريطين في زمن خطي . ستانفورد، كاليفورنيا : قسم علوم الحاسوب، جامعة ستانفورد. OCLC 71469179 . 
• فلويد، آر دبليو (1979). "نماذج البرمجة" . اتصالات رابطة آلات الحوسبة . 22 (8): 455. doi : 10.1145/359138.359140 .
• فلويد ، روبرت و.؛ أولمان، جيفري د. (1980). "تجميع التعابير النمطية في الدوائر المتكاملة". تقرير ناسا الفني للاستطلاع/الاستعمار رقم 81. مقاطعة فيرفاكس، فيرجينيا : فورت بيلفوار: مركز المعلومات التقنية الدفاعية: 12334. رمز Bibcode : 1980STIN...8112334F .
• فلويد، روبرت و.؛ بيجل، ريتشارد (1994). لغة الآلات: مقدمة في الحوسبة واللغات الرسمية . نيويورك: دبليو إتش فريمان وشركاه. ISBN 978-0-7167-8266-7.

• قائمة رواد علوم الحاسوب

• كنوت، دونالد إي. (ديسمبر 2003). "روبرت دبليو فلويد، في رثائه" . أخبار ACM SIGACT . 34 (4): 3-13 . doi : 10.1145/954092.954488 . S2CID 35605565 . 
• كنوت، دونالد إي. "قرار تذكاري: روبرت دبليو فلويد (1936-2001)" (ملف PDF) . نصب تذكارية لأعضاء هيئة التدريس بجامعة ستانفورد . الجمعية التاريخية لستانفورد. مؤرشف من الأصل (ملف PDF) بتاريخ 12 مارس 2012.

• نعي في تقرير ستانفورد ، 2003. (أرشيف 2016)
• روبرت دبليو فلويد في مشروع علم الأنساب الرياضي