Backus, John

John Backus ( eng.  John Warner Backus [1] ; 3. joulukuuta 1924 - 17. maaliskuuta 2007 ) - yhdysvaltalainen tietojenkäsittelytieteilijä , ensimmäisen korkean tason ohjelmointikielen Fortran luojaryhmän johtaja, Backus-Naura-muodon keksijä - yksi yleisimmistä ja yleisimmistä muodollisten kielten syntaksin määrittelystä , Turing-palkinnon voittaja (1977).

Yhdysvaltain kansallisen tiedeakatemian jäsen ( 1974) [2] .

Elämäkerta

Syntynyt Philadelphiassa , varttui Wilmingtonissa , Delawaressa , valmistui Hill Schoolista Pottstownissa . _ _ Vuonna 1942 hän tuli Virginian yliopiston kemian laitokselle , mutta hänet erotettiin toisena vuonna opintojen puuttumisen vuoksi. Sen jälkeen hänet värvättiin Yhdysvaltain Tyynenmeren laivastoon , mutta lääkärintarkastuksessa hänellä todettiin kallonluun kasvain, joka leikattiin onnistuneesti luuimplanttiasennuksella.   

Palveltuaan armeijassa toisen maailmansodan aikana hän muutti New Yorkiin , jossa hän aloitti opinnot radiotekniikan koulussa kiehtoneena tehtävästä kehittää korkealaatuinen äänentoistolaite. Yksi tiedekunnista vakuutti Backuksen jatkamaan opintojaan, ja hän ilmoittautui Columbian yliopistoon ja ansaitsi matematiikan maisterin tutkinnon vuonna 1949.

Vuonna 1950 hänet palkkasi IBM , jossa hän johti pian ryhmää, joka kehitti Speedcoding - IBM 701 -tietokoneelle , ja osallistui myöhemmin tämän koneen parannetun version, IBM 704 -mallin, luomiseen . Vuonna 1953 hän ehdotti IBM 704 -tietokoneelle kielen luomista, joka mahdollistaa komentojen kirjoittamisen lähes tavallisessa algebrallisessa muodossa, ja kääntäjän sitä varten. Tämä ehdotus sai nopeasti tukea, sillä yritys etsi keinoja lisätä tietokoneidensa myyntiä ja pyrki siksi tekemään niistä houkuttelevampia, "ystävällisempiä" käyttäjälle. Tämän seurauksena vuosina 1954-1957 luotiin Fortran -kieli , joka on yleisesti tunnustettu historian ensimmäiseksi korkean tason ohjelmointikieleksi.

Myöhemmin hän osallistui aktiivisesti Fortranin kehittämiseen, osallistui Algolin luomiskomiteaan . Laatiessaan Algolia koskevaa raporttia hän kehitti erityisen määritelmäjärjestelmän, joka kuvaa muodollisesti ohjelmointikielen syntaksia , jonka hän esitteli Unescon konferenssissa Pariisissa vuonna 1959. Pian tätä merkintää kutsuttiin Backus-normaalimuodoksi; myöhemmin Peter Naur selvensi merkintää, ja muotoa kutsuttiin Backus-Naur-muodoksi (vaikka lyhenne pysyi samana - BNF).

Vuonna 1963 hänestä tuli IBM:n kunniajäsen ( englanniksi  IBM Fellow ). Vuonna 1975 hänelle myönnettiin US National Medal of Science .

Vuonna 1977 hänelle myönnettiin Turing-palkinto työstään Fortranin luomisessa ja hänen panoksestaan ​​ohjelmointikielten määrittelyn virallistamisessa. Turingin luento "Voiko ohjelmointi vapauttaa von Neumannin tyylistä?" [3] oli omistettu kombinatoriselle ohjelmoinnille ja esitteli siihen kielen FP , joka suurelta osin imee ajatuksia Iversonin APL :stä ja vaikutti kieliin, kuten Haskell ja J 1980-luvulla . 1980-luvun jälkipuoliskolla IBM kehitti yhdessä Almaden Research Centerin kollegoiden kanssa FL -kielen , joka kehittää FP:hen upotettuja kombinatorisen ohjelmoinnin ideoita.

Ennen eläkkeelle jäämistään vuonna 1991 hän työskenteli IBM:n tutkimuslaboratorioissa. Allekirjoitettu " Scientists' Warning to Humanity " (1992) [4] . Vuonna 1993 hänelle myönnettiin Draper-palkinto Fortranin luomisesta . Hän vietti viimeiset vuodet perheensä kanssa Ashlandissa , Oregonissa.

Muistiinpanot

1. ↑ John Warner Backus. Arkistoitu 20. maaliskuuta 2016 Wayback Machineen
2. ↑ John  Backus . nasonline.org. Haettu 4. heinäkuuta 2019. Arkistoitu alkuperäisestä 6. lokakuuta 2018.
3. ↑ John Backus. Onko mahdollista vapauttaa ohjelmointi von Neumannin tyylistä? Funktionaalinen tyyli ja vastaava ohjelmaalgebra // Turing Prize Lectures = Voiko ohjelmointia vapauttaa von Neumannin tyylistä? Funktionaalinen tyyli ja sen ohjelmien algebra. - M .: Mir , 1993. - S.  84 -158. - 560 s. - 2000 kappaletta.  — ISBN 5-03-002130-2 .
4. ↑ Maailman tutkijoiden varoitus ihmiskunnalle  (englanniksi)  (linkki ei saatavilla) . stanford.edu (18. marraskuuta 1992). Haettu 4. heinäkuuta 2019. Arkistoitu alkuperäisestä 6. joulukuuta 1998.

Linkit

• Leonid Chernyak. Perusperiaatteiden tarkistaminen – pysähtyneisyyden loppu? (linkki ei saatavilla) . Kustantaja "Avoimet järjestelmät". Haettu 28. syyskuuta 2013. Arkistoitu alkuperäisestä 30. syyskuuta 2007. (määrätön) 
• Juri Polunov. "Ensimmäinen yritys" . Virtuaalinen tietokonemuseo. Haettu: 28.9.2013. (määrätön)
• Persoonallisuudet. John Backus - Fortran-kielen  (uuspr.) luoja  // Informatiikka. - Ensimmäinen syyskuuta 2007. - T. 08 . Arkistoitu alkuperäisestä 23. lokakuuta 2013.

Temaattiset sivustot	Scopus zbMATH Avoinna Matematiikan historian arkisto MacTutor
Sanakirjat ja tietosanakirjat	Suuri tanskalainen Suuri katalaani Britannica (verkossa) Merkittävä nimitietokanta Treccani
Bibliografisissa luetteloissa LCCN : n92106806 NKC : xx0204479 NLP : A17170928 NUKAT : n2003031022 VIAF : 163243510 World Cat VIAF : 163243510