Роберт Флойд: Компьютер ғалымы және оның ғылыми еңбектері
Robert W. Floyd
Роберт Флойд (1936-2001) – Американдық ғалым, алгоритмдер (Floyd-Warshall, цикл табу), программалық қамтамасыздылықты тексеру және сурет өңдеудегі үлкен жетістіктерімен танымал.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Кіріспе
Американдық компьютер ғалымы (1936–2001)
American computer scientist (1936–2001)
Роберт В. Флойд (8 маусым 1936 – 25 қыркүйек 2001) – компьютер ғалымы. Оның еңбегіне Флойд-Уоршалл алгоритмін жасау (Стивен Уоршаллдан тәуелсіз), бұл алгоритм графтардағы ең қысқа жолдарды тиімді табуға мүмкіндік береді, сондай-ақ оның синтаксистік талдау жөніндегі жұмыстары кіреді. Флойдтың тізбекте циклдерді анықтау алгоритмі де оған жатқызылады. Бір жеке мақаласында ол кескіндерді көрсету үшін қателік таратудың маңызды тұжырымдамасын ұсынды, бұл Флойд-Штейнберг дитерингі деп те аталады (бірақ ол дитерингті таратудан ажыратты). 1967 жылы жарияланған «Бағдарламаларға мағына беру» атты еңбегімен логикалық тұжырымдарды қолдану арқылы бағдарламаны тексеру саласындағы алғашқы қадамдардың бірін жасады. Бұл кейіннен Хоар логикасының дамуына үлес қосты. Флойд 1978 жылы Тьюринг сыйлығына ие болды.
Robert W Floyd (June 8, 1936 – September 25, 2001) was a computer scientist. His contributions include the design of the Floyd–Warshall algorithm (independently of Stephen Warshall), which efficiently finds all shortest paths in a graph and his work on parsing; Floyd's cycle finding algorithm for detecting cycles in a sequence was attributed to him as well. In one isolated paper he introduced the important concept of error diffusion for rendering images, also called Floyd–Steinberg dithering (though he distinguished dithering from diffusion). He pioneered in the field of program verification using logical assertions with the 1967 paper Assigning Meanings to Programs. This was a contribution to what later became Hoare logic. Floyd received the Turing Award in 1978.
Өмір
Нью-Йорк қаласында туған Флойд 14 жасында орта мектепті бітірді. Чикаго университетінде ол 1953 жылы (17 жасында) гуманитарлық ғылымдар бакалавры (B.A.) дәрежесін, ал 1958 жылы физика бойынша екінші бакалавр дәрежесін алды. Флойд Карл Саганмен бірге колледжде оқыды. 1950 жылдары Флойд Иллинойс технология институтындағы Армоур зерттеу қорының (қазіргі IIT зерттеу институты) қызметкері болды. 1960 жылдардың басында компьютер операторы болып жұмыс істей бастаған ол көптеген мақалалар жариялады, оның ішінде компиляторлар (әсіресе синтаксистік талдау) туралы. Ол операторлық басымдық грамматикасын жасаушылардың бірі және бағдарламалау тілінің семантикасы саласын қалыптастыруға үлкен үлес қосты. 27 жасында Карнеги Меллон университетінің доценті болып тағайындалды, ал алты жылдан кейін Стэнфорд университетінің толық профессоры болды. Ол философия докторы (Ph.D.) дәрежесінсіз бұл лауазымға ие болды. Флойд Халықаралық ақпаратты өңдеу федерациясының (IFIP) 2.1-ші жұмыс тобының мүшесі болды, бұл топ алгоритмдік тілдер мен есептеулерді анықтап, қолдайды және ALGOL 60 және ALGOL 68 бағдарламалау тілдерін жаңартып отырады. 1974 жылы Америка өнер және ғылым академиясының мүшесі болып сайланды. 1978 жылы "тиімді және сенімді бағдарламалық құралдарды жасау әдістемелеріне айқын әсер еткені үшін және компьютер ғылымының келесі маңызды салаларын құруға көмектескені үшін: синтаксистік талдау теориясы, бағдарламалау тілдерінің семантикасы, автоматты бағдарламаны тексеру, автоматты бағдарлама синтезі және алгоритмдерді талдау" үшін Тьюринг сыйлығын алды. Флойд Дональд Кнутпен тығыз байланыста жұмыс істеді, әсіресе Кнуттың "Компьютерлік бағдарламалау өнері" атты еңбегінің басты рецензенты болды және осы еңбекте ең көп сілтеме жасалған автор. Ол Ричард Бейгельмен бірлесіп "Машиналар тілі: есептеу мүмкіндігі және формальды тілдерге кіріспе" оқулығын жазды. Флойд жеті Ph.D. түлектерін тәрбиеледі. Флойд екі рет үйленді және ажырасты, алғашқы әйелі Жана М. Мейсон, екіншісі – компьютер ғалымы Кристиан Флойд болды. Оның төрт баласы бар. Өмірінің соңғы жылдарында ол Пик ауруынан зардап шекті, бұл нейродегенеративті ауру, сондықтан 1994 жылы ерте зейнетке шықты.
Born in New York City, Floyd finished high school at age 14. At the University of Chicago, he received a Bachelor of Arts (B. A.) in liberal arts in 1953 (when still only 17) and a second bachelor's degree in physics in 1958. Floyd was a college roommate of Carl Sagan. Floyd became a staff member of the Armour Research Foundation (now IIT Research Institute) at Illinois Institute of Technology in the 1950s. Becoming a computer operator in the early 1960s, he began publishing many papers, including on compilers (particularly parsing). He was a pioneer of operator precedence grammars, and is credited with initiating the field of programming language semantics in He was appointed an associate professor at Carnegie Mellon University by the time he was 27 and became a full professor at Stanford University six years later. He obtained this position without a Doctor of Philosophy (Ph. D.) degree. He was a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68. He was elected a Fellow of the American Academy of Arts and Sciences in 1974. He received the Turing Award in 1978 "for having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms". Floyd worked closely with Donald Knuth, in particular as the major reviewer for Knuth's seminal book The Art of Computer Programming, and is the person most cited in that work. He was co author, with Richard Beigel, of the textbook The Language of Machines: an Introduction to Computability and Formal Languages. Floyd supervised seven Ph. D. graduates. Floyd married and divorced twice, first with Jana M. Mason and then computer scientist Christiane Floyd, and he had four children. In his last years he suffered from Pick's disease, a neurodegenerative disease, and thus retired early in 1994.