맨위로가기

존 배커스

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
목차

1. 개요

존 배커스는 미국의 컴퓨터 과학자이다. 펜실베이니아에서 태어나 1950년 IBM에 입사하여 프로그래밍 언어 개발에 기여했다. 그는 IBM에서 SSEC를 이용한 업무를 시작으로, 1953년 IBM 컴퓨터에서 작동하는 최초의 고수준 언어인 Speedcoding을 개발했다. 1954년에는 IBM 704 컴퓨터를 위한 FORTRAN을 설계하고 개발했으며, ALGOL 58 개발에 참여하여 바커스-나우르 표기법(BNF)을 고안했다. 또한 함수 수준 프로그래밍 언어 FP를 연구했으며, 튜링상, 미국 국가 과학상, 찰스 스타크 드레이퍼 상 등을 수상했다.

더 읽어볼만한 페이지

  • 필라델피아 출신 수학자 - 루이스 모델
    루이스 모델은 20세기 영국의 수학자로, 수론과 수의 기하학 분야에 기여했으며, 타우 함수의 곱셈적 성질 증명, 모델 정리와 모델 추측 공식화에 기여하고 디오판토스 방정식에 대한 저서를 출판하는 등 수론 연구에 매진하며 학문 발전에 헌신했다.
  • 필라델피아 출신 수학자 - 리처드 가필드
    리처드 가필드는 《매직 더 개더링》을 개발한 미국의 게임 디자이너이자 수학자이며, 위자드 오브 더 코스트에서 활동했고 현재는 독립 디자이너이자 워싱턴 대학교에서 게임 디자인을 가르친다.
  • 포트란 - OpenMP
    OpenMP는 공유 메모리 병렬 시스템에서 병렬 프로그래밍을 지원하는 API로, 컴파일러 지시문, 라이브러리 루틴, 환경 변수 등을 통해 병렬 영역 설정, 작업 분담, 데이터 관리, 스레드 동기화 등을 수행하며, 점진적인 병렬화가 가능하고 이식성이 높다.
  • 포트란 - OpenACC
    OpenACC는 지시어를 사용하여 병렬 프로그래밍을 수행하는 방법으로, OpenMP와 유사하게 작동하며 런타임 라이브러리를 포함하고, `#pragma acc parallel`, `#pragma acc kernels`, `#pragma acc data`, `#pragma acc loop` 등의 주요 지시어를 통해 하드웨어 가속을 제어한다.
  • 프로그래밍 언어 연구자 - 에츠허르 데이크스트라
    네덜란드 출신의 컴퓨터 과학자이자 수학자인 에츠허르 데이크스트라는 데이크스트라 알고리즘 개발, 구조적 프로그래밍 옹호, 세마포어 개념 연구, THE 운영체제 개발 참여 등 컴퓨터 과학의 다양한 분야에 큰 공헌을 했다.
  • 프로그래밍 언어 연구자 - 니클라우스 비르트
    스위스의 컴퓨터 과학자 니클라우스 비르트는 ALGOL W, 파스칼, 모듈라-2, 오베론 등의 프로그래밍 언어와 오베론 운영체제 설계, 컴파일러 설계 및 소프트웨어 개발 방법론에 기여했으며, "알고리즘 + 데이터 구조 = 프로그램" 저술과 "Program Development by Stepwise Refinement" 논문을 통해 컴퓨터 과학 교육에 혁신적인 영향을 미치고 1984년 튜링상을 수상했다.
존 배커스 - [인물]에 관한 문서
기본 정보
이름존 워너 배커스
원어 이름John Warner Backus
출생지델라웨어주윌밍턴
사망지오리건주애슐랜드
학력
모교컬럼비아 대학교 (B.S. 1949, M.S. 1950)
기타버지니아 대학교
피츠버그 대학교
하버퍼드 칼리지
경력
직업컴퓨터 과학자
소속IBM
근무 기관IBM 알마덴 연구소
업적
주요 업적Speedcoding(스피드코딩)
포트란
알골
바쿠스-나우르 표기법
수상
수상 내역미국 국가 과학 훈장 (1975년)
튜링상 (1977년)
찰스 스타크 드레이퍼 상 (1993년)
가족 관계
배우자
자녀2명

2. 생애

존 배커스는 펜실베이니아 주필라델피아에서 태어나 델라웨어 주윌밍턴에서 자랐다. 포츠타운의 힐 스쿨에서 공부했지만, 성실한 학생은 아니었다[20]。 버지니아 대학교에서 화학을 공부하려다 실패하고 미국 육군에 입대했다[20]。 하버포드 대학교에서 의학을 공부하던 중[21], 두개골 골종양 진단을 받았지만, 성공적으로 수술을 받았다. 머리에 플레이트를 삽입했고, 9개월 만에 의학을 포기했다. 이후 자신이 설계한 플레이트로 교체하는 수술을 받았다[22]。

뉴욕 시로 이주하여 라디오 기술자 훈련을 받던 중 수학에 재능이 있음을 발견했다. 1949년 컬럼비아 대학교에서 수학 석사 학위를 취득하고, 1950년 IBM에 입사했다. IBM에서 처음 3년간 SSEC 관련 업무를 수행했다. 첫 번째 주요 프로젝트는 달의 위치를 계산하는 프로그램을 만드는 것이었다. 1953년에는 프로그래밍 언어 스피드코딩을 개발했는데, 이는 IBM 컴퓨터에서 작동하는 최초의 고수준 언어였다[23]。

1954년 배커스는 프로그래밍의 어려움을 해결하기 위해 팀을 꾸려 IBM 704 컴퓨터용 FORTRAN을 설계하고 개발했다. FORTRAN은 널리 사용된 세계 최초의 고수준 프로그래밍 언어가 되었다.

1950년대 후반, 배커스는 ALGOL 58을 개발한 국제 위원회에서 활동했다. ALGOL은 알고리즘 기술의 세계적인 표준이 되었다. 1959년 국제 연합 교육 과학 문화 기구 보고서에서 ALGOL 58의 언어 사양을 기술하기 위해 바커스-나우르 표기법(BNF)을 고안했다. BNF는 문맥 자유 언어 형식 언어의 형식 문법을 기술할 수 있으며, 이후 프로그래밍 언어 개발에 큰 영향을 주었고, 이 공헌으로 튜링상을 수상했다.

이후 그는 함수 수준 프로그래밍 FP 연구에 매진했다. 이는 튜링상 수상 강연 "프로그래밍은 폰 노이만 스타일에서 해방될 수 있는가?"(Can Programming be Liberated from the von Neumann Style?)에서 언급되었다. 이 강연은 FORTRAN을 만든 것에 대한 배커스의 사과로 여겨지기도 하며, 함수형 언어 연구를 활성화하는 결과를 낳았다. FP 인터프리터는 4.2BSD에 구현되었다. FP는 케네스 아이버슨의 APL의 영향을 받았으며, 표준적이지 않은 문자도 사용했다. 이후 배커스는 FP 언어의 후계인 FL 개발에 주력했다. FL은 IBM 내부 프로젝트였고, 프로젝트 종료와 함께 개발이 중단되었으며, 논문도 거의 발표되지 않았다. 그러나 이 언어의 혁신적인 아이디어들은 아이버슨의 J 언어에 구현되었다.

배커스는 1963년 IBM 펠로우가 되었다[24]。 1993년 찰스 스타크 드레이퍼 상을 받았다[25]。 1991년 은퇴했고, 2007년 3월 17일 오리건 주 애쉴랜드에서 사망했다[20]。

2. 1. 어린 시절과 교육

존 배커스는 1924년 펜실베이니아주 필라델피아에서 태어나 델라웨어주 윌밍턴에서 성장했다.[5] 그는 펜실베이니아 주 포츠타운에 있는 힐 스쿨에서 공부했지만, 학업에 충실한 학생은 아니었던 것으로 보인다.[6] 버지니아 대학교에 입학하여 화학을 전공했으나, 수업에 어려움을 겪었고 출석 부족으로 1년도 채 되지 않아 퇴학당했다.[7] 이후 제2차 세계 대전 중 미 육군에 징집되어[6] 조지아주 포트 스튜어트에 주둔한 대공포 부대를 지휘하며 병장 계급까지 받았다.[7]

군 적성 검사에서 높은 점수를 받은 그는 피츠버그 대학교에서 공학을 공부하게 되었다.[7] 이후 하버포드 대학교의 예과 과정으로 전학했다.[8] 병원 인턴십 중, 두개골 골종양 진단을 받았으나 수술은 성공적으로 끝났고, 머리에 판이 설치되었다. 이후 플라워 앤드 피프스 애비뉴 의과 대학으로 옮겨 의학을 공부하려 했지만, 흥미를 느끼지 못하고 9개월 만에 자퇴했다.[7] 그는 곧 자신이 직접 디자인한 금속판으로 머리의 판을 교체하는 두 번째 수술을 받았고,[9] 1946년 미 육군에서 명예 제대했다.[7]

2. 2. IBM 입사와 초기 경력

뉴욕시로 이주한 후, 라디오 기술자로 훈련받았고, 수학에 관심을 갖게 되었다. 1949년에 컬럼비아 대학교에서 수학 학사 학위를, 1950년에 석사 학위를 취득했으며,[7][10] 1950년 IBM에 입사했다. IBM에서 처음 3년 동안 선택 순차 전자 계산기(SSEC)를 연구했으며, 첫 번째 주요 프로젝트는 달의 위치를 계산하는 프로그램을 작성하는 것이었다. 1953년 IBM 701 컴퓨터용 소프트웨어 개발을 지원하기 위해 IBM 컴퓨터용으로 만들어진 최초의 고급 언어인 스피드코딩 언어를 개발했다.[11]

3. FORTRAN 개발

1954년 배커스는 IBM 704 컴퓨터용 Fortran을 정의하고 개발하기 위해 팀을 구성했다. Fortran은 최초의 고급 프로그래밍 언어 중 하나로 널리 사용되었다.[12] 이 언어는 과학자를 비롯한 많은 사람들이 컴퓨터 기계에 대한 깊은 지식 없이도 컴퓨터를 실용적이고 접근 가능한 기계로 사용할 수 있게 하였다.[12]

4. 배커스-나우르 표기법(BNF)

존 배커스는 ALGOL 58과 ALGOL 60을 개발한 국제 위원회에서 활동했다. ALGOL 60은 알고리즘 발표에 있어 빠르게 전 세계적인 표준이 되었다. 배커스는 바커스-나우르 표기법(BNF)을 개발하여 유네스코의 ALGOL 58 보고서에 발표했다. 이는 문맥 자유 프로그래밍 언어를 설명할 수 있는 공식적인 표기법으로, 컴파일러 개발에 중요한 역할을 했다. Lisp와 APL 등에서 이 접근 방식에서 벗어난 몇 가지 시도가 있었지만, 1970년대에 이르러 컴퓨터 언어에 대한 바커스-나우르 문맥 자유 명세는 yacc와 같은 자동 컴파일러 생성기의 개발에 따라 매우 표준화되었다.

이러한 기여로 배커스는 1977년 튜링상을 수상했다.

5. 함수 수준 프로그래밍(FP, FL)

배커스는 폰 노이만 프로그래밍 언어의 한계를 극복하기 위해 함수 수준 프로그래밍 언어인 FP를 연구했다.[1] 1977년 튜링상 수상 강연에서 "프로그래밍은 폰 노이만 프로그래밍 언어에서 벗어날 수 있는가?"라는 주제로 FP를 설명했다.[1] 이는 포트란을 만든 것에 대한 배커스의 사과로 여겨지기도 하지만, FP 언어 자체에 대한 관심보다는 함수형 프로그래밍 연구를 촉진하는 계기가 되었다.[1] 배커스가 함수 수준 프로그래밍 스타일을 공개했을 때, 그의 메시지는 대부분 전통적인 함수형 프로그래밍 스타일 언어와 동일한 것으로 오해되었다.[13]

FP는 케네스 아이버슨의 APL에 크게 영감을 받았으며, 비표준 문자 인코딩을 사용하기도 했다. FP 인터프리터는 4.2BSD 유닉스 운영 체제와 함께 배포되었지만, 언어 구현은 상대적으로 적었고, 대부분 교육 목적으로 사용되었다.

배커스는 말년에 FP의 후속 언어인 FL(Function Level) 개발에 매달렸다. FL은 IBM의 내부 연구 프로젝트였으며, 프로젝트가 종료되면서 언어 개발도 중단되었다. 이를 기록한 논문은 몇 편 남아있지만, 논문에서 설명된 컴파일러의 소스 코드는 공개되지 않았다. FL은 1980년대에 개발된 함수형 프로그래밍 언어와 대립점에 있었는데, 대부분 APL과 같이 기본 연산의 연결이 아닌 람다 계산법과 정적 타입 시스템을 기반으로 했다. 이 언어의 많은 아이디어는 현재 아이버슨의 APL 후속작인 J 프로그래밍 언어 버전에서 구현되었다.

6. 수상 경력 및 영예



1977년 튜링상 수상 이유는 다음과 같다.

: ''특히 FORTRAN 연구를 통해 이루어진, 실용적인 고급 프로그래밍 시스템 설계에 대한 심오하고 영향력 있는 지속적인 공헌에 대하여. 그리고 프로그래밍 언어 사양 기술의 형식적 기법에 대한 영향력 있는 출판에 대하여.''[31]

7. 평가와 영향

존 배커스는 IBM 704 컴퓨터용 Fortran을 정의하고 개발하기 위해 팀을 구성하였는데, Fortran은 광범위하게 사용된 최초의 고급 프로그래밍 언어였다. 이 언어는 과학자 및 기타 사람들이 기계에 대한 깊은 지식을 갖출 필요 없이 컴퓨터를 실용적이고 접근 가능한 기계로 만드는데 기여하였다.[12]

존 배커스는 ALGOL 58과 매우 영향력 있는 ALGOL 60을 개발한 국제 위원회에서 활동했으며, ALGOL 60은 알고리즘을 발표하는 데 있어 빠르게 전 세계적으로 사실상의 표준이 되었다. 배커스는 바커스-나우르 표기법(BNF)을 개발하여 유네스코의 ALGOL 58 보고서에 발표했다. 이는 모든 문맥 자유 프로그래밍 언어를 설명할 수 있는 공식적인 표기법이었으며, 컴파일러 개발에 중요한 역할을 했다. 1970년대에 이르러 컴퓨터 언어에 대한 바커스-나우르 문맥 자유 명세는 yacc와 같은 자동 컴파일러 생성기의 개발에 따라 매우 표준화되었다.

이러한 기여로 배커스는 1977년 튜링상을 수상했다.

참조

[1] 논문 Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs 1978-08
[2] 웹사이트 W. Wallace McDowell Award https://web.archive.[...] 2008-04-15
[3] 웹사이트 The President's National Medal of Science: John Backus https://www.nsf.gov/[...] National Science Foundation 2007-03-21
[4] 웹사이트 ACM Turing Award Citation: John Backus http://www.acm.org/a[...] Association for Computing Machinery 2007-03-22
[5] 웹사이트 John Backus http://www.thocp.net[...] 2016-04-28
[6] 뉴스 John W. Backus, 82, Fortran Developer, Dies https://www.nytimes.[...] 2007-03-21
[7] 웹사이트 John Backus - A.M. Turing Award Laureate http://amturing.acm.[...] 2018-05-04
[8] 웹사이트 Inventor of the Week Archive John Backus https://web.archive.[...] 2011-08-25
[9] 웹사이트 Oral History of John Backus http://archive.compu[...] 2009-08-17
[10] 웹사이트 John Backus http://www.columbia.[...] 2021-10-02
[11] 논문 The History of Language Processor Technology in IBM 1981-09
[12] 웹사이트 John Backus Lemelson https://lemelson.mit[...] 2023-02-07
[13] 서적 Conception, Evolution, And Application Of Functional Programming Languages 1989
[14] 웹사이트 John Backus http://archive.wikiw[...] 2007-03-21
[15] 웹사이트 Book of Members, 1780–2010: Chapter B http://www.amacad.or[...] American Academy of Arts and Sciences 2011-04-28
[16] 웹사이트 John Backus http://www.thocp.net[...] 2008-04-15
[17] 웹사이트 Recipients of the Charles Stark Draper Prize https://web.archive.[...] 2007-03-26
[18] 웹사이트 Fellow Awards 1997 Recipient John Backus https://web.archive.[...] 2008-04-15
[19] 뉴스 ジョン・バッカス氏死去／コンピューター言語の開発者 https://www.shikoku-[...] 四国新聞社 2017-03-21
[20] 뉴스 John W. Backus, 82, Fortran Developer, Dies https://www.nytimes.[...] 2007-03-20
[21] 웹사이트 Inventor of the Week Archive John Backus http://web.mit.edu/i[...] 2006-02
[22] 웹사이트 Oral History of John Backus http://archive.compu[...] 2006-09-25
[23] 논문 The History of Language Processor Technology in IBM 1981-09
[24] 웹사이트 John Backus http://www-03.ibm.co[...]
[25] 웹사이트 Recipients of the Charles Stark Draper Prize http://www.nae.edu/A[...]
[26] 웹사이트 John Warner Backus - 1967 W. Wallace McDowell Award Recipient http://www.computer.[...]
[27] 웹사이트 The President's National Medal of Science: John Backus http://www.nsf.gov/o[...] National Science Foundation
[28] 웹사이트 Book of Members, 1780–2010: Chapter B http://www.amacad.or[...] American Academy of Arts and Sciences
[29] 웹사이트 John Backus http://www.thocp.net[...]
[30] 웹사이트 Fellow Awards 1997 Recipient John Backus http://www.computerh[...]
[31] 웹사이트 1977 – John Backus See the ACM Author Profile in the Digital Library http://awards.acm.or[...]
[32] 문서 IBM 알마덴 연구소
[33] 웹인용 John Backus 1997 Fellow https://web.archive.[...] 2016-09-20
[34] 웹인용 W. Wallace McDowell Award https://web.archive.[...] 2008-04-15
[35] 웹인용 The President's National Medal of Science: John Backus http://www.nsf.gov/o[...] National Science Foundation
[36] 웹인용 ACM Turing Award Citation: John Backus http://www.acm.org/a[...] Association for Computing Machinery 2007-03-22


본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com