케네스 E.아이버슨
Kenneth E.케네스 유진 아이버슨 | |
---|---|
![]() | |
태어난 | |
죽은 | 2004년 10월 19일( | 83세)
시민권 | 캐나다어 |
모교 | 퀸즈 대학교 하버드 대학교 |
로 알려져 있다 | 프로그래밍 언어: APL, J |
어워드 | IBM 펠로우 해리 H. 구드 기념상 튜링상 컴퓨터 개척자상 |
과학 경력 | |
필드 | 수학 컴퓨터 공학 |
기관 | 하버드 대학교 IBM I. P. 샤프 어소시에이션스 Jsoftware 주식회사 |
논문 | 선형 미분방정식의 기계해법 – 동적 경제모델에 대한 응용 (1954) |
박사 어드바이저 | 하워드 에이켄 바실리 레온티에프 |
케네스 유진 아이버슨(Kenneth Eugene Iverson, 1920년 12월 17일 ~ 2004년 10월 19일)은 프로그래밍 언어 APL의 개발로 유명한 캐나다의 컴퓨터 과학자이다.1979년 튜링상(Turing Award)을 수상했다. "프로그래밍 언어와 수학적 표기법에 대한 선구적인 노력 덕분에 현재 컴퓨팅 분야가 APL로 알고 있는 것을 이끌어냈다. 인터랙티브 시스템의 구현, APL의 교육적 사용, 그리고 프로그래밍 언어 이론과 [1]실습에 기여한 공로로"
인생
켄 아이버슨은 1920년 12월 17일 캐나다 앨버타 중심부에 있는 마을 캠로즈 근처에서 태어났다.그의 부모는 노스다코타에서 앨버타로 온 농부들이었다. 그의 조상은 노르웨이 [2]트론하임에서 왔다.
제2차 세계 대전 동안, 그는 캐나다 육군과 그 [2][3]후 캐나다 공군에 복무했다.그는 퀸즈 대학교와 M.A.에서 학사 학위를 받았다.하버드 대학교에서 석박사 학위를 받았습니다.Harvard, IBM, I. P. Sharp Associates 및 Jsoftware Inc.(성: Iverson Software Inc.)에서 근무했습니다.
아이버슨은 2004년 10월 16일 새로운 J 연구실에서 컴퓨터 작업을 하던 중 뇌졸중으로 쓰러져 2004년 10월 [4]19일 83세의 나이로 사망했다.
교육
아이버슨은 1926년 4월 1일 원룸 학교에서 [3]처음 1학년으로 개학하여 3개월 후 2학년으로 진급하였고 1927년 6월 말에는 4학년으로 진급하였다.그는 대공황의 극심하고 가정농장에 할 일이 있어서 학교를 그만뒀고, 더 이상 학교를 다니면 교사가 될 수 있고, 되고 싶은 마음이 없었기 때문에 9학년을 마치고 학교를 떠났다.그는 17세 때 아직 학교를 나오지 않은 상태에서 시카고의 드포레스트 트레이닝 라디오 통신 강좌에 등록해 교과서에서 [3][5]독학으로 미적분을 배웠다.제2차 세계대전 중 캐나다 공군에 복무하면서 그는 고등학교 졸업장을 위한 통신 강좌를 수강했다.
전쟁이 끝난 후, 아이버슨은 전직 군인에 대한 정부 지원을 이용하여 온타리오주 킹스턴에 있는 퀸즈 대학에 입학했고, 공군 동료로부터 "기회를 잡지 못하면 머리를 쥐어짜겠다"[3]는 위협을 받았다.그는 1950년에 수학과 [2]물리학 학사 학위를 받은 최고의 학생으로 졸업했습니다.
하버드 대학에서 계속 교육을 받은 그는 수학부에서 시작해 1951년에 석사 학위를 받았습니다.그 후 그는 공학 및 응용 물리학부로 전환하여 Howard Aiken과 Wassily Leontief와 함께 일했습니다.
케네스 아이버슨은 아이켄의 대학원 공부를 "장학금 거래의 도구를 배운" "도제 같은 것"이라고 회상했다.모든 토픽은, 「사상의 명확성이나 표현등의 스킬의 개발의 목적 그 자체로서라기보다는, 보다 중점적으로 이용되고 있다」라고 한다.일단 그 프로그램에 입학하게 되면, 대학원생은 "입양" 의례를 받았다.그는 다른 대학원생들, 정규 직원들 또는 방문 학자들 사이에서 책상(또는 책상)을 받았다.이들 대부분은 컴퓨터 설계와 조립의 일부 측면에 관여하고 있었다.따라서 한 학생은 "학구적인 사업의 일부라고 느낄 수 있도록" 만들어졌고, "종종 처음으로, 그가 선택한 분야에서 더 경험이 많은 사람들과 쉽고 친밀하게 접촉할 수 있도록" 제공받았다.
--
아이켄을 인터뷰할 때, 나는 그에게 Tropp와 내가 그의 강의 노트를 볼 수 있는지 물어봤지만, 아이켄은 그가 강의를 반복하고 싶지 않기 위해 매년 말에 항상 그의 강의 노트를 파기했다고 대답했다.
--
Howard Aiken은 최초의 대규모 디지털 컴퓨터 중 하나인 Harvard Mark I을 개발한 반면, Wassily Leontief는 나중에 노벨상을 받게 될 경제 분석의 입출력 모델을 개발한 경제학자였습니다.Leontief의 모형은 큰 행렬을 필요로 했고 Iverson은 Harvard Mark IV 컴퓨터에서 이러한 행렬을 평가할 수 있는 프로그램을 연구했다.아이버슨은 1954년 [8][9]이 연구를 바탕으로 한 논문으로 응용수학 박사학위를 받았다.
하버드에서 아이버슨은 퍼남 펠로우 2회 [10][11]출신으로 앨버타 출신의 대학원생인 Eoin Whitney를 만났습니다.이것은 미래에 영향을 끼쳤다.
일하다.
하버드(1955년~1960년)
Iverson은, 세계 최초의 「자동 데이터 처리」[14][15][16]의 대학원 프로그램을 실시하기 위해서, 하버드 대학의 조교수로 재직했습니다.
많은 사람들은 아이켄이 과학적인 컴퓨터에만 관심이 있었다고 생각한다.이것은 단순히 그렇지 않았다.커피 한 시간 동안 에이켄은 박사학위를 막 마친 켄 아이버슨에게 고개를 돌려 이렇게 말했다. "이 기계들은 비즈니스에 매우 중요할 것이다. 그리고 나는 당신이 내년 가을에 비즈니스 데이터 처리 과정을 준비하고 가르쳐 주길 바란다."세계 어디에도 이런 코스는 없었다.켄은 수학자이기 때문에 자격이 있었다.나는 그 전망에 너무 흥분해서 즉시 켄의 대학원 조교가 되겠다고 자원했다.
--
이 시기에 Iverson은 데이터 처리, 강의 및 (Brooks와 함께) 자동 데이터 [17]처리의 다양한 주제를 기술하고 분석하기 위한 표기법을 개발했습니다.그는 기존의 수학적 표기법이 그의 요구를 충족시키지 못한다는 것을 발견하고 "경악"했고, 더 적합한 표기법의 확장을 연구하기 시작했다.특히, 그는 그의 논문 작업에 사용된 행렬 대수,[3] 텐서 분석에서 행렬과 고차원 배열의 체계적 사용, 그리고 맥스웰의 방정식, 함수 인수에 대한 고차 함수를 함수 결과와 함께 다루는 데 헤비사이드의 의미에서의 연산자를 채택했다.이 표기법은 1957년 McKinsey [3][18]& Company에서 6개월간의 안식년을 보내는 동안 비즈니스 세계에서도 실증되었습니다.이 표기법을 사용한 최초의 논문은 The Description of 유한 시퀀셜 프로세스(The Description of Finite Sequential Processs)로, 처음에는 Bell Labs에 보고 번호 23번이었으며 나중에 1960년 [12][19]8월 제4회 런던 정보 이론 심포지엄에서 수정되어 발표되었습니다.
아이버슨은 하버드에 5년 동안 머물렀지만 종신 재직권을 얻지 못했다. 왜냐하면 "그는 작은 [2]책 한 권밖에 출판하지 않았기 때문"이었다.
IBM (1960~1980)
Iverson은 1960년에 IBM Research에 입사하여 급여를 [3]2배로 늘렸습니다.Fred Brooks는 "경영진이 아이디어에 너무 굶주려 있기 때문에 분명히 미친 것이 아니라면 지지를 얻을 수 있을 것"이라고 충고했습니다.특히, 그는 내고 A프로그래밍 Language[19][20]과(브룩스와 함께)자동 데이터 Processing,[17]두권의 책과 표기 방법 하버드에서 개발하던 묘사했다 끝낼(오토메틱 데이터 프로세싱과 A프로그래밍 언어 하나의 책"로 시작될 때까지 분리로 판명된 물질 둘 다 크기와 수준에서 자라는 것을 허락 받았다.wise".[17][20])
IBM에서 Iverson은 곧 Adin Falkoff를 만났고, 그들은 이후 20년 동안 함께 일했다.A Programming Language의 2장은 IBM 7090 [19][20]컴퓨터를 설명하기 위해 Iverson의 표기법을 사용했습니다.1963년 초, 나중에 Iverson과 Ed Sussenguth가 합류한 Falkoff는 IBM System/360 컴퓨터에 대한 공식적인 설명을 만들기 위해 표기법을 사용하였습니다.[21]이 결과는 1964년 IBM Systems [22]Journal의 이중호에 발표되었으며, 그 후 "그레이 북" 또는 "그레이 매뉴얼"로 알려졌습니다.이 책은 IBM Systems [22]Research Institute의 컴퓨터 시스템 설계 강좌에서 사용되었습니다.형식적인 서술의 결과는 그것이 똑똑한 [3][23]젊은이들의 관심을 끌었다는 것이다.관심의 온상 중 하나는 스탠포드 대학이었는데, 스탠포드 대학에는 래리 브리드, 필 에이브럼스, 로저 무어, 찰스 브레너,[24] 마이크 [25][26]젠킨스가 포함되었고, 이들 모두는 나중에 APL에 공헌했다.360 시스템을 최초로 일반 고객에게 설치한 Pomona College의 지질학 책임자인 Donald McIntyre는 공식적인 [3][27]설명을 사용하여 Pomona에 배정된 IBM 시스템 엔지니어보다 더 전문적이 되었습니다.
Falkoff와 Iverson은 정식 설명이 완성됨에 따라 구현에 관심을 돌렸습니다.이 작업은 1965년 래리 브리드와 필 에이브람스가 프로젝트에 참여하면서 급속히 결실을 맺게 되었습니다.이들은 1965년 가을까지 IVSYS(Iverson 시스템용)라고 불리는 7090에 FORTRAN 기반 구현을 생산했으며, 처음에는 배치 모드로, 나중에는 1966년 초에 시간 공유 대화형 모드로 [24][28][29]구현했습니다.이어서, 혈통, 딕 Lathwell(임원회 대학의 앨버타), 로저 무어(나 P. 샤프 Associates의);[30]31973년에 "APL\360의 설계와 시행을 위한 노력, 단순함, 효율성, 신뢰성과 응답 시간 항의라도에 새로운 기준을 설정하여 그레이스 머레이 호퍼 상 받은 시스템/360구현을 생산했다.r나는nteractive systems."[31]360 구현 작업이 진행되는 동안 "Iverson 표기법"[29][32]은 Falkoff에 [33]의해 "APL"로 이름이 변경되었습니다.작업 공간 "1 cleanspace"는 1966-11-27 22.53.58 [23]UTC에 저장되었습니다. APL\360 서비스는 IBM 내에서 몇 주 전에[34] 시작되었으며 1968년 [28]IBM 외부에서 시작되었습니다.APL\360 구현에 대한 자세한 내용은 APL\360 사용자 매뉴얼의[35] 확인 및 부록을 참조하십시오.APL [21]설계'의 APL 개발 연표.
형식적인 기술, 특히 구현은 APL\360 [38]History, The Design of APL [21]및 The Evolution of APL에 [18]기술된 타이포그래피, 선형화, 구문 및 함수 정의에서의 통합 및 정규화 프로세스, 언어의 진화를 주도했습니다.이 시기의 두 논문인 평가 순서와[39] [40]언어로서의 대수학은 APL 표기법의 논증이다.
Falkoff와 Iverson은 다양한 대학과 IBM Systems Research [21][38]Institute에서 다양한 주제를 가르치기 위해 이 표기법을 사용했습니다.1964년 Iverson은 Fox Lane [33][41]고등학교와 이후 Swarthmore [3]고등학교의 상급생을 위한 한 학기 수업에서 이 표기법을 사용했습니다.APL이 출시된 후 첫 번째 응용 분야는 NASA Goddard에서 [38][42]시스템 설계의 정식 방법을 가르치는 것이었습니다.또한 호치키스 [24]학교, 로어 캐나다 대학,[43] 스카치 플레인스 고등학교,[44] 애틀랜타 [45][46]공립 학교 등에서도 사용되었습니다.한 학교에서는 학생들이 APL 컴퓨터 시간을 [23][47]늘리기 위해 퇴근 후 학교에 침입했고, 또 다른 학교에서는 APL 애호가들이 APL 시간을 [24]최대화하기 위해 신입생을 BASIC으로 안내했다.
1969년 Iverson과 APL 그룹은 IBM Philadelphia Scientific Center를 [28][38]출범시켰습니다.1970년에 그는 IBM [48]펠로우로 임명되었다.그는 IBM 펠로우로서 제공된 자금을 포모나에서[27] 온 Donald McIntyre와 여름 [23]학생으로 Jeff Shallit를 포함한 다양한 분야의 방문 교사와 교수들을 데려오는 데 사용했습니다.몇 달 동안 관람객들은 자신의 분야에서 열리는 박람회에 APL을 사용하기 시작했고, 나중에 그들이 그들의 [49]홈 기관에서 APL을 계속 사용하기를 희망했다.이 시기에 아이버슨의 연구는 회로 이론, 유전학, 지질학,[50][51][52][53] 미적분학 등의 공동 프로젝트를 포함한 여러 분야에 집중되었다.1974년 [28][33]PSC가 문을 닫았을 때, 그룹 중 일부는 캘리포니아로 옮겼고, Iverson을 포함한 다른 그룹은 동부에 남아 있다가 나중에 IBM Research로 다시 옮겼습니다.아이버슨은 1979년에 [1]튜링상을 받았다.
다음 표는 Iverson이 IBM에 재직하는 동안 작성 또는 공동 집필한 문서 목록입니다.그것들은 그의 작품의 두 가지 주요 가닥을 반영한다.
- 교육
- 언어 설계 및 구현
- 프로그래밍 언어[20]
- 프로그래밍 언어[62]
- 하드웨어, 소프트웨어 및 응용 프로그램의 공통 언어[63]
- 시스템 설계의 프로그래밍 표기법[64]
- 프로그래밍 언어의 형식주의[65]
- 구문 사양 방법[66]
- 시스템/360의 정식 설명[22]
- APL\360 사용자 매뉴얼[35]
- APL 시스템에서의 통신[67]
- APL의 설계[21]
- 해석 표기법으로서의 APL[68]
- APLSV 사용자 매뉴얼[69]
- APL 언어[70]
- 2개의 조합 연산자[71]
- APL의 진화[18]
- 연산자 및 함수[72]
- APL에서의 오퍼레이터 역할[73]
- 파생 연산자[74]
- 연산자[75]
- 사고의 도구로서의 표기법[1]
I. P. 샤프 어소시에이션스(1980년 ~ 1987년)
1980년 Iverson은 IBM을 떠나 APL 시분할 회사인 I. P. Sharp Associates로 [78][79]갔다.그는 IBM의 동료인 Paul Berry, Joey Tuttle, Dick Lathwell 및 Eugene McDonnell에 의해 수행되었습니다.IPSA에서는 APL 언어 및 시스템 그룹이 Eric Iverson(Ken Iverson의 아들)에 의해 관리되었습니다.APL 360의 실장 중 한 명인 Roger Moore는 부사장이었습니다.
Iverson은 연산자와 [72][80]함수에 제시된 라인에서 APL을 개발하고 확장하기 위해 노력했습니다.언어 작업은 1981년 Arthur Whitney와 Iverson이 IPSA의 OAG [2][11][83]데이터베이스와 동시에 APL로[81][82] 작성된 APL 모델을 제작하면서 가속화되었습니다.(아이버슨은 11살[11] 때 어인 휘트니의 아들인 아서 휘트니를 APL에 소개했고 1974년 그를 IPSA 캘거리 여름 학생 자리에 추천했다.)[23]모델에서 APL 구문은 11x5 테이블로 구동되었습니다.휘트니는 또한 [84]그 과정에서 순위 연산자를 발명했다.언어 디자인은 1983년 1월 합리화 APL[85], 1984년부터 1987년 사이 APL 언어 사전의 복수판 및 1987년 9월 APL[86] 사전에서 더욱 단순화 및 확장되었습니다.IPSA 내에서 "사전 APL"이라는 문구는 "사전"이라고 하는 APL 사전에서 지정된 APL을 나타내기 위해 사용되었습니다.사전에서 APL 구문은 9x6 표로 제어되며 해석 프로세스는 표 2에 정확하고 간결하게 기술되어 있으며 단어 형성(렉싱)을 위한 원시(모나딕 ,, APL에서 모델링)가 있다.
1970년대와 1980년대에 주요 APL 벤더는 IBM, STSC 및 IPSA였으며, 세 업체 모두 언어의 개발과 확장에 적극적이었다.IBM은 Jim [87][88][89]Brown의 연구에 기반한 APL2를 가지고 있었습니다.APL2에 대한 작업은 15년 [28]동안 간헐적으로 진행되었으며, 실제 코딩은 1971년에 시작되었으며 APL2는 1982년에 IPP(Installed User Program, IBM 제품 분류)로 제공되기 시작했습니다.STSC는 밥 [90][91]스미스에 의해 설계되고 구현된 NARS라고 불리는 실험적인 APL 시스템을 가지고 있었다.NARS와 APL2는 사전 [92]APL과 근본적인 면에서 다르고 서로 달랐다.
IP 샤프는 [94]1981년 복소수,[93] 밀폐(박스형) 배열, 일치 및 합성 연산자, [95]1982년 결정 연산자, 1983년 [96]순위 연산자, 링크 및 좌우 식별 함수 등 새로운 APL 아이디어를 단계적으로 구현했다.그러나 운영자의 영역은 여전히 원시 함수 또는 하위 집합으로 제한되었다.1986년 IPSA는 STSC의 구현을 기반으로 C로 작성된 [76][97]SAX, SHARP APL/Unix를 개발했습니다.언어는 사전에 명시된 대로 연산자 도메인에 대한 제한이 없었습니다.IP 내에서 SAX의 알파 버전을 사용할 수 있게 되었습니다.1986년 12월 또는 1987년 초쯤에 급상승했습니다.
교육 분야에서는 Iverson은 APL을 사용하여 IPSA 클라이언트를 가르치는 데 사용되는 A SHARP APL Minicourse와[98][99] T.H.의 컴퓨터 과학 강좌에 사용되는 Applied Mathematics for[100] Programmers 및 Mathematics and[101] Programming을 개발했습니다. 20대.
Iverson이 I. P. Sharp Associates에 있을 때 집필 또는 공저한 출판물:
- 언어 설계 및 구현
Jsoftware(1990~2004)

아이버슨은 1987년 I. P. 샤프 어소시에이츠에서 은퇴했다.그는 "직장"을 하는 동안에도 계속 바빴다.언어 디자인에 관해서, 이 시기에 그가 한 활동 중 가장 의미 있는 [110]것은 1988년의 「포크」의 발명이다.1978년 [72]"스칼라 연산자"에서 1982년 [81][85]"til" 연산자, 1984년 [105]결합 및 재형성 연산자,[86] 1987년 결합 및 교차 연산자, [111]1988년 "요크"를 거쳐 1988년 마침내 포크 연산자를 통해 미적분학과 같이 f+g를 쓰는 방법을 찾기 위해 고군분투했다.포크는 다음과 같이 정의됩니다.
(f g h) y | ←→ | (f y) g(h y) | |
x(fg h) y | ←→ | (x f y) g (x h y) |
또한 (f g p q r) ←→ (f g (p q r))이다.따라서 미적분처럼 f+g를 쓰려면 APL로 f+g를 쓰면 된다.아이버슨과 유진 맥도넬은 호주 시드니에서 열린 APL88 컨퍼런스로 가는 장거리 비행에 대한 세부사항을 생각해냈고 아이버슨은 [84][112][80]: §1.3, §3.8 낮잠에서 깨는 것에 대한 초기 아이디어를 생각해냈다.
Iverson은 1987년 이후의 작업에 대한 근거를 [15]다음과 같이 제시했습니다.
유급직에서 퇴직했을 때, 나는 이 문제[교습에 APL을 사용하는 것]에 주의를 돌려 곧 필요한 필수 도구는 다음과 같은 APL 방언이라는 결론을 내렸다.
- • '쉐어웨어'로 이용할 수 있으며, 학생 및 학교에서 구입할 수 있을 만큼 저렴합니다.
- • 표준 프린터로 인쇄 가능
- • 다양한 컴퓨터에서 실행
- • APL에서 최신 사고의 단순성과 일반성을 제공합니다.
Roger Hui는 [114]J의 구현 부록 A에서 J를 시작하게 된 마지막 추진력을 설명했습니다.
1989년 여름 주말 Arthur Whitney는 Killan Farm의 Ken Iverson을 방문하여 AT&T 3B1 컴퓨터에서 통역 파편을 한 페이지와 한 오후에 제작했습니다.이 인터프리터의 구성 및 프로그래밍 스타일에 대해 약 1주일 동안 연구하여 1989년 8월 27일 일요일 오후 4시경에 이 문서에서 설명하는 구현이 된 첫 번째 코드를 작성했습니다.아서의 한 페이지짜리 통역 단편은 다음과 같다.
Alberta 대학의 Whitney의 동급생인 Hui는 직장을 [3]그만둘 때 APL 언어 사전을 공부했고, 적어도 두 가지 [84]다른 방식으로 구문 분석 과정을 모델링했으며, 다양한 [115]응용 분야에서 사전 APL의 사용을 조사했습니다.또한 1987년 1월부터 1989년 8월까지 [76]SAX에 접속하여 그 후기에 일상적으로 [84]사용하였습니다.
J는 처음에 APL[86] 사전을 사양으로 삼았고 J 인터프리터는 사전의 표 2를 중심으로 구축되었다.C 데이터와 프로그램 구조는 C의 해석 테이블이 [84]사전의 해석 테이블에 직접 대응하도록 설계되었습니다.돌이켜보면, Iverson의 APL87 논문 APL87은 [106]5페이지에 걸쳐, APL 통역기를 쓰는 데 있어 모든 필수 단계, 특히 단어 형성과 파싱에 관한 부분을 규정했다.Arthur Whitney는, 「한 페이지」에 가세해, 원형이 선행 축을 향하도록 제안해, 그 합치(스칼라 확장의 일반화)는 [116]접미사가 아닌 접두사가 되어, 전체 배열 순서를 정의하도록 [117]제안해, J의 개발에 공헌했다.
목표 중 하나는 포크를 구현하는 것이었다.이것은 해석 테이블에 행을 1개 추가함으로써 비교적 간단한 것으로 판명되었습니다.포크를 구현하기 위한 선택은 우연이었고 운이 좋았다.포크가 암묵적 표현식(연산자 표현식)을 피연산자로 사용하지 않은 하나 또는 두 개의 인수를 포함하는 문장은 포크, 합성, 좌우 식별 함수 및 상수 함수를 사용하여 암묵적으로 쓸 수 있다는 것은 나중에야[118][119] 깨달았습니다.
J와 다른 APL 방언 사이의 두 가지 분명한 차이점은 다음과 같다: (a) 수학이나 컴퓨터 과학 대신 자연 언어로부터의 용어 사용: (실천은 APL 사전에서 시작됨) 명사, 동사, 부사, 알파벳, 단어 형성, 문장, 배열, 함수, 연산자, 집합, 어휘, 표현, ..., 그리고 (b)특수 기호 대신 7비트 ASCII 문자를 사용합니다.J와 APL의 다른 차이점은 APL 프로그래머[120] 및 APL과 [121]J의 J에 설명되어 있습니다.
J 소스 코드는 GNU General Public License 버전 3(GPL3) 또는 상용 [122]대체 소프트웨어에서 사용할 수 있습니다.
Eric Iverson은 개선된 SHARP APL/PC 제품을 제공하기 위해 1990년 2월에 Iverson Software Inc.를 설립했습니다.Iverson과 Hui는 1990년 5월에 Iverson Software Inc.에 입사했고, 후에 Chris Burke가 합류했습니다.그 회사는 곧 J사가 되었다.2000년 [84]4월에 Jsoftware Inc.로 사명을 변경.
Iverson이 Iverson Software Inc. 및 Jsoftware Inc.에 재직할 때 작성 또는 공동 집필한 출판물:
- 교육
- 언어 설계 및 구현
수상과 영예우
- IBM 펠로우, IBM, 1970[1][48]
- 1975년[48] IEEE 컴퓨터 협회 Harry H. Goode 메모리얼 어워드
- 1979년 미국[137] 국립공학아카데미 회원
- 1979년 컴퓨터[1] 기계 협회 튜링상
- IEEE Computer Society, 1982년[138] 컴퓨터 개척자상(차터 수상자)
- 1998년[139] 요크대학교 명예박사
「 」를 참조해 주세요.
레퍼런스
- ^ a b c d e Iverson, Kenneth E. (August 1980). "Notation as a Tool of Thought". Communications of the ACM. 23 (8): 444–465. doi:10.1145/358896.358899. Retrieved 8 April 2016.
- ^ a b c d e Hui, Roger, ed. (30 September 2005), Ken Iverson Quotations and Anecdotes, retrieved 12 February 2019
- ^ a b c d e f g h i j k Iverson, Kenneth E.; McIntyre, Donald E. (2008), Kenneth E. Iverson (Autobiography), retrieved 8 April 2016
- ^ Iverson, Eric B. (21 October 2004), Dr. Kenneth E. Iverson (J Forum message), retrieved 8 April 2016
- ^ March, Herman W.; Wolff, Henry C. (1917). Calculus. McGraw-Hill.
- ^ Cohen, I. Bernard (1999). Howard Aiken: Portrait of a Computer Pioneer. MIT Press. ISBN 978-0-262-03262-9.
- ^ a b Cohen, I. Bernard; Welch, Gregory W., eds. (1999). Makin' Numbers. MIT Press. ISBN 978-0-262-03263-6.
- ^ Iverson, Kenneth E. (1954). Machine Solutions of Linear Differential Equations – Applications to a Dynamic Economic Model (Ph.D. thesis). Harvard University. Retrieved 7 April 2016.
- ^ Hui, Roger (August 2012), "MSLDE", Jwiki Essay, retrieved 22 April 2016
- ^ Whitney, Arthur (August 2006), "Memories of Ken", Vector, 22 (3), retrieved 25 April 2016
- ^ a b c Cantrill, Bryan (February 2009). "A Conversation with Arthur Whitney". ACM Queue. 7 (2). Retrieved 7 April 2016.
- ^ a b Iverson, Kenneth E. (August 1960), "The Description of Finite Sequential Processes", Symposium on Information Theory, Royal Institution, London, retrieved 9 April 2016
- ^ Montalbano, Michael S. (October 1982), A Personal History of APL, retrieved 10 April 2016
- ^ Iverson, Kenneth E. (June 1954). Jacobson, Arvid W. (ed.). "Graduate Instruction and Research". Proceedings of the First Conference on Training Personnel for the Computing Machine Field. Wayne State University. Retrieved 9 April 2016.
- ^ a b c Iverson, Kenneth E. (December 1991). "A Personal View of APL". IBM Systems Journal. 30 (4): 582–593. doi:10.1147/sj.304.0582. Retrieved 9 April 2016.
- ^ Brooks, Frederick P. (August 2006). "The Language, the Mind, and the Man". Vector. 22 (3). doi:10.1111/mila.2007.22.issue-3. Retrieved 16 March 2018.
- ^ a b c d Brooks Jr., Frederick P.; Iverson, Kenneth E. (1963). Automatic Data Processing. Wiley. ISBN 978-0-471-10599-2.
- ^ a b c Falkoff, Adin D.; Iverson, Kenneth E. (August 1978). "The Evolution of APL". ACM SIGPLAN Notices. 13 (8): 47–57. doi:10.1145/960118.808372. S2CID 6050177. Retrieved 9 April 2016.
- ^ a b c Iverson, Kenneth E. (14 December 1983), Letter to J.K. Tuttle, retrieved 16 April 2016
- ^ a b c d Iverson, Kenneth E. (1962). A Programming Language. John Wiley & Sons. ISBN 978-0-471-43014-8. Retrieved 9 April 2016.
- ^ a b c d e Falkoff, Adin D.; Iverson, Kenneth E. (July 1973). "The Design of APL". IBM Journal of Research and Development. 17 (4): 324–334. doi:10.1147/rd.174.0324. Retrieved 9 April 2016.
- ^ a b c Falkoff, Adin D.; Iverson, Kenneth E.; Sussenguth, Edward H. (1964). "A Formal Description of System/360" (PDF). IBM Systems Journal. 3 (3): 198–261. doi:10.1147/sj.32.0198. Archived from the original on 13 August 2006.
{{cite journal}}
: CS1 maint: bot: 원래 URL 상태를 알 수 없습니다(링크). - ^ a b c d e Hui, Roger, ed. (September 2010), APL Quotations and Anecdotes, archived from the original on 5 July 2018, retrieved 9 April 2016
- ^ a b c d Breed, Larry (August 2006). "How We Got to APL\1130". Vector. 22 (3). Archived from the original on 18 March 2016. Retrieved 13 April 2016.
- ^ Jenkins, Michael A. (June 1970), "The Solution of Linear Systems of Equations and Linear Least Squares Problems in APL", Technical Report Number 320-2989, IBM Corp.
- ^ Jenkins, Michael A. (10 February 1972), "Domino – An APL Primitive Function for Matrix Inverse – Its Implementation and Applications", APL Quote Quad, 3 (4)
- ^ a b McIntyre, Donald B. (August 2006), "A Tribute to Ken Iverson", Vector, 22 (3), retrieved 25 April 2016
- ^ a b c d e Falkoff, Adin D. (December 1991). "The IBM Family of APL Systems". IBM Systems Journal. 30 (4): 416–432. doi:10.1147/sj.304.0416.
- ^ a b Abrams, Philip S. (17 August 1966), "An Interpreter for "Iverson Notation"" (PDF), Technical Report: CS-TR-66-47, Department of Computer Science, Stanford University, retrieved 17 April 2016
- ^ Falkoff, Adin D.; Iverson, Kenneth E. (16 October 1967), "The APL\360 Terminal System", Research Report RC-1922, IBM, retrieved 9 April 2016
- ^ ACM 그레이스 머레이 호퍼상(1973년):Breed, Lathwell, Moore, 2016년 4월 14일 회수.
- ^ Horvath, Robert W. (August 1966). Introduction to Iverson Notation. IBM Systems Development Division, Poughkeepsie, NY.
- ^ a b c McDonnell, Eugene, ed. (1981), A Source Book in APL, Introduction, APL Press, retrieved 19 April 2016
- ^ Breed, Larry (September 1991), "The First APL Terminal Session", APL Quote Quad, 22 (1): 2–4, doi:10.1145/138094.140933, S2CID 43138444
- ^ a b Falkoff, Adin D.; Iverson, Kenneth E. (1968). APL\360 User's Manual (PDF). IBM. Retrieved 11 April 2016.
- ^ a b Hui, Roger (11 October 2014), Sixteen APL Amuse-Bouches, retrieved 12 April 2016
- ^ Perlis, Alan J. (29 March 1978), "Almost Perfect Artifacts Improve only in Small Ways: APL is more French than English", APL 78 Conference Proceedings, retrieved 12 April 2016
- ^ a b c d Falkoff, Adin D. (July 1969), "APL\360 History", Proceedings of the APL Users Conference at SUNY Binghamton, retrieved 9 April 2016
- ^ Iverson, Kenneth E. (1966), Conventions Governing Order of Evaluation (Appendix A of Elementary Functions: An Algorithmic Treatment), Science Research Associates, retrieved 16 April 2016
- ^ Iverson, Kenneth E. (1972), Algebra as a Language (Appendix A of Algebra: An Algorithmic Treatment), Addison-Wesley, retrieved 16 April 2016
- ^ a b Iverson, Kenneth E. (March 1966). Elementary Functions: An Algorithmic Treatment. Science Research Associates.
- ^ McDonnell, Eugene (December 1979), "The Socio-Technical Beginnings of APL", APL Quote Quad, 10 (2): 13, doi:10.1145/586148.586155, S2CID 18025422, retrieved 24 April 2016
- ^ Goldsmith, Leslie H., Hui, Roger (ed.), APL Quotations and Anecdotes, archived from the original on 5 July 2018, retrieved 13 April 2016
- ^ McDonnell, Eugene (September 1980). "Recreational APL, Pyramigram". APL Quote Quad. 11 (1). Retrieved 13 April 2016.
- ^ "APL in the Atlanta Public Schools", SHARE*APL\360 Newsletter (3), October 1969
- ^ APL IV: Fourth International APL Conference, June 1972, retrieved 29 April 2016
- ^ Biancuzzi, Federico; Warden, Shane (March 2009). Masterminds of Programming. O'Reilly Media. Archived from the original on 5 July 2018. Retrieved 13 April 2016.
- ^ a b c "Iverson Receives Harry Goode Award". APL Quote Quad. 6 (2). June 1975. Retrieved 8 April 2016.
- ^ Berry, Paul (August 2006), "Expository Programming", Vector, 22 (3), retrieved 25 April 2015
- ^ Berry, Paul; Bartoli, G.; Dell'Aquila, C.; Spadavecchia, V. (March 1973). "APL and Insight". TR No. CRB 002/513-3502. IBM Corp.
- ^ Spence, Robert (March 1973). Resistive Circuit Theory. IBM.
- ^ Orth, Donald L. (1976). Calculus in a New Key. APL Press. ISBN 978-0-917326-05-9.
- ^ Berry, Paul; Thorstensen, John (1973). "Starmap". TR No. 02.665. IBM Corp.
- ^ Iverson, Kenneth E. (1969), The Use of APL in Teaching, IBM Pub. No. G320-0996, retrieved 15 April 2016
- ^ Berry, Paul; Falkoff, Adin D.; Iverson, Kenneth E. (24 August 1970). "Using the Computer to Compute: A Direct but Neglected Approach to Teaching Mathematics". IFIP World Conference on Computer Education.
- ^ Iverson, Kenneth E. (1972), Algebra: An Algorithmic Treatment, Addison-Wesley
- ^ Iverson, Kenneth E. (January 1972), "APL in Exposition" (PDF), Technical Report Number RC 320-3010, IBM Philadelphia Scientific Center, retrieved 9 April 2016
- ^ Iverson, Kenneth E. (March 1973), "An Introduction to APL for Scientists and Engineers", Technical Report Number RC 320-3019, IBM Philadelphia Scientific Center, retrieved 9 April 2016
- ^ Iverson, Kenneth E. (July 1972), "Introducing APL to Teachers", Technical Report Number RC 320-3014, IBM Philadelphia Scientific Center, retrieved 9 April 2016
- ^ Iverson, Kenneth E. (1976), Elementary Analysis, APL Press
- ^ Iverson, Kenneth E. (September 1978). "Programming Style in APL". Proceedings of an APL Users Meeting. I. P. Sharp Associates. Retrieved 9 April 2016.
- ^ Iverson, Kenneth E. (May 1962). "A Programming Language". Proceedings of the AFIPS Spring Joint Computer Conference, San Francisco. Retrieved 13 April 2016.
- ^ Iverson, Kenneth E. (December 1962). "A Common Language for Hardware, Software, and Applications". Proceedings of the AFIPS Fall Joint Computer Conference, Philadelphia. Retrieved 13 April 2016.
- ^ Iverson, Kenneth E. (June 1963). "Programming Notation in System Design". IBM Systems Journal. 2 (2): 117–128. doi:10.1147/sj.22.0117. Retrieved 13 April 2016.
- ^ Iverson, Kenneth E. (February 1964). "Formalism in Programming Languages". Communications of the ACM. 7 (2): 80–88. doi:10.1145/363921.363933. S2CID 14145756. Retrieved 13 April 2016.
- ^ Iverson, Kenneth E. (October 1964). "A Method of Syntax Specification". Communications of the ACM. 7 (10): 588–589. doi:10.1145/364888.364969. S2CID 194665.
- ^ Falkoff, Adin D.; Iverson, Kenneth E. (May 1973). "Communication in APL Systems". Technical Report 320-3022. IBM Philadelphia Scientific Center.
- ^ Iverson, Kenneth E. (1973). APL as an Analytic Notation. IBM Philadelphia Scientific Center.
- ^ Falkoff, Adin D.; Iverson, Kenneth E. (1973). "APLSV User's Manual" (PDF). Sh20-1460. IBM Philadelphia Scientific Center. Retrieved 16 April 2016.
- ^ Falkoff, Adin D.; Iverson, Kenneth E. (March 1975). APL Language (Form No. GC26-3847) (PDF). IBM.
- ^ Iverson, Kenneth E. (September 1976), "Two Combinatoric Operators", APL 76 Conference Proceedings
- ^ a b c Iverson, Kenneth E. (26 April 1978), "Operators and Functions", Research Report #RC7091, IBM, retrieved 9 April 2016
- ^ Iverson, Kenneth E. (June 1979), "The Role of Operators in APL", APL 79 Conference Proceedings, retrieved 10 April 2016
- ^ Iverson, Kenneth E. (June 1979), "The Derivative Operator", APL 79 Conference Proceedings
- ^ Iverson, Kenneth E. (October 1979). "Operators". ACM Transactions on Programming Languages and Systems. 1 (2): 161–176. doi:10.1145/357073.357074.
- ^ a b c Steinbrook, David H. (1986). SAX Reference. I. P. Sharp Associates.
- ^ Hui, Roger (August 2010). "On Average". Vector. 22 (4). Retrieved 12 April 2016.
- ^ IPSA (January 1980). "Dr. Kenneth E. Iverson" (PDF). The I.P. Sharp Newsletter. 8 (1). Retrieved 8 August 2019.
- ^ Hui, Roger, ed. (14 May 2009), Eugene McDonnell Quotations and Anecdotes, retrieved 5 April 2016
- ^ a b Hui, Roger; Kromberg, Morten (June 2020). "APL Since 1978". Proceedings of the ACM on Programming Languages. 4 (HOPL): 1–108. doi:10.1145/3386319. S2CID 218517570.
- ^ a b c Iverson, Kenneth E. and Arthur T. Whitney (September 1982), "Practical Uses of a Model of APL", APL 82 Conference Proceedings, retrieved 10 April 2016
- ^ a b Iverson, Kenneth E. (March 1983), "APL Syntax and Semantics", APL 83 Conference Proceedings, retrieved 10 April 2016
- ^ A Celebration of Kenneth Iverson, Computer History Museum, 30 November 2004, retrieved 17 April 2016
- ^ a b c d e f Hui, Roger (November 2014), Remembering Ken Iverson, retrieved 10 April 2016
- ^ a b c Iverson, Kenneth E. (6 January 1983), Rationalized APL, I. P. Sharp Associates, retrieved 10 April 2016
- ^ a b c d Iverson, Kenneth E. (September 1987), "A Dictionary of APL", APL Quote Quad, 18 (1): 5–40, doi:10.1145/36983.36984, S2CID 18301178, retrieved 10 April 2016
- ^ Brown, James A. (1971). A Generalization of APL (Ph.D. thesis). Department of Computer and Information Sciences, Syracuse University.
- ^ Brown, James A. (1984), "The Principles of APL2", Technical Report 03.247, IBM Santa Teresa Laboratory
- ^ Brown, James A. (1988), "APL2 Programming: Language Reference", Sh20-9227, IBM Corporation
- ^ Smith, Robert A. (September 1981). "Nested Arrays, Operators, and Functions". APL 81 Conference Proceedings.
- ^ Cheney, Carl M. (1981), APL*PLUS Nested Array System (PDF), STSC, Inc., retrieved 19 April 2016
- ^ Orth, Donald L. (December 1981). "A Comparison of the IPSA and STSC Implementations of Operators and General Arrays". APL Quote Quad. 12 (2): 11. doi:10.1145/586656.586662. S2CID 1642446. Retrieved 13 April 2016.
- ^ McDonnell, Eugene (20 June 1981). "Complex Numbers". SATN 40, I. P. Sharp Associates. Retrieved 11 April 2016.
- ^ a b Iverson, Kenneth E. (20 June 1981). "Composition and Enclosure". SATN 41, I. P. Sharp Associates. Retrieved 11 April 2016.
- ^ a b Iverson, Kenneth E. (1 April 1982). "Determinant-Like Functions Produced by the Dot-Operator". SATN 42, I. P. Sharp Associates. Retrieved 11 April 2016.
- ^ a b Bernecky, Robert; Iverson, Kenneth E.; McDonnell, Eugene; Metzger, Robert; Schueler, J. Henri (2 May 1983). "Language Extensions of May 1983". SATN 45, I. P. Sharp Associates. Retrieved 11 April 2016.
- ^ Tuttle, Joey K. (August 2006), "What's Wrong with My Programming?", Vector, 22 (3), retrieved 25 April 2016
- ^ a b Iverson, Kenneth E. (6 October 1980), "The Inductive Method of Introducing APL", 1980 APL Users Meeting Proceedings, retrieved 10 April 2016
- ^ a b Iverson, Kenneth E. (January 1981). A SHARP APL Minicourse. I. P. Sharp Associates.
- ^ a b Iverson, Kenneth E. (1984). Applied Mathematics for Programmers. I. P. Sharp Associates.
- ^ a b Iverson, Kenneth E. (July 1986). Mathematics and Programming. I. P. Sharp Associates.
- ^ Bernecky, Robert; Iverson, Kenneth E. (6 October 1980), "Operators and Enclosed Arrays", 1980 APL Users Meeting Proceedings, retrieved 10 April 2016
- ^ Iverson, Kenneth E. (October 1980). "Direct Definition". SATN 36, I. P. Sharp Associates.
- ^ Iverson, Kenneth E.; Wooster, Peter K. (September 1981), "A Function Definition Operator", APL 81 Conference Proceedings, 12: 142–145, doi:10.1145/390007.805349
- ^ a b Iverson, Kenneth E.; Pesch, Roland H.; Schueler, J. Henri (June 1984), "An Operator Calculus", APL 84 Conference Proceedings, retrieved 10 April 2016
- ^ a b Iverson, Kenneth E. (May 1987), "APL87", APL 87 Conference Proceedings, retrieved 10 April 2016
- ^ Hagamen, W.D.; Berry, P.C.; Iverson, K.E.; Weber, J.C. (August 1989), "Processing Natural Language: Syntactic and Semantic Mechanisms", APL Quote Quad, 19 (4): 184–189, doi:10.1145/75144.75170, ISBN 0897913272, S2CID 14004227
- ^ Hui, Roger (3 December 2014). "Ken Iverson's Favorite APL Expression?". Dyalog Blog. Retrieved 12 April 2016.
- ^ Dyalog APL Language Reference (version 14.0 or later) (PDF), Dyalog Limited, 2014, retrieved 16 April 2016
- ^ a b Iverson, Kenneth E. and Eugene McDonnell (August 1989), "Phrasal Forms", APL 89 Conference Proceedings, retrieved 10 April 2016
- ^ a b Iverson, Kenneth E. (September 1988). "A Commentary on APL Development". APL Quote Quad. 19 (1): 3–8. doi:10.1145/379279.379330. S2CID 18392328. Retrieved 13 April 2016.
- ^ Hodgkinson, Rob (19 October 2017), J Programming Forum post
- ^ a b Hui, Roger; Iverson, Kenneth E.; McDonnell, Eugene; Whitney, Arthur (July 1990), "APL/?", APL 90 Conference Proceedings, retrieved 10 April 2016
- ^ Hui, Roger (27 January 1992). An Implementation of J (PDF). Iverson Software Inc. Retrieved 10 April 2016.
- ^ Hui, Roger (May 1987). "Some Uses of { and }". APL 87 Conference Proceedings. Retrieved 15 April 2016.
- ^ Hui, Roger (June 1995). "Rank and Uniformity". APL 95 Conference Proceedings. Retrieved 15 April 2016.
- ^ Hui, Roger (27 January 2006), "The TAO of J", J Wiki Essay, retrieved 24 May 2016
- ^ a b Hui, Roger; Iverson, Kenneth E.; McDonnell, Eugene (August 1991), "Tacit Definition", APL 91 Conference Proceedings, retrieved 10 April 2016
- ^ Cherlin, Edward (August 1991). "Pure Functions in APL and J". APL 91 Conference Proceedings.
- ^ Burke, Chris; Hui, Roger (September 1996). "J for the APL Programmer". APL Quote Quad. 27 (1): 11–17. doi:10.1145/1151395.1151400. S2CID 9203778. Retrieved 14 April 2016.
- ^ Burke, Chris (2 March 2005), APL and J (PDF), retrieved 16 April 2016
- ^ J Source, Jsoftware, Inc., retrieved 15 April 2016
- ^ Iverson, Kenneth E. (1991). Tangible Math. Iverson Software Inc.
- ^ Iverson, Kenneth E. (1991). Programming in J. Iverson Software Inc.
- ^ Iverson, Kenneth E. (1991). Arithmetic (PDF). Iverson Software Inc. Retrieved 10 April 2016.
- ^ Iverson, Kenneth E. (1993). Calculus (PDF). Iverson Software Inc. Retrieved 10 April 2016.
- ^ Iverson, Kenneth E. (1995). Concrete Math Companion (PDF). Iverson Software Inc. Retrieved 10 April 2016.
- ^ Iverson, Kenneth E. (1996). Exploring Math (PDF). Iverson Software Inc. Retrieved 10 April 2016.
- ^ Burke, Chris; Hui, Roger; Iverson, Kenneth E.; McDonnell, Eugene; McIntyre, Donald B. (1996). J Phrases. Iverson Software Inc. Retrieved 10 April 2016.
- ^ Burke, Chris; Hui, Roger; Iverson, Eric; Iverson, Kenneth E.; Iverson, Kirk (1998), ICFP '98 Contest Winners, retrieved 15 April 2016
- ^ Iverson, Kenneth E. (1999). Math for the Layman. JSoftware Inc. Retrieved 10 April 2016.
- ^ Hui, Roger; Iverson, Kenneth E. (1991). "J Introduction and Dictionary". Jsoftware Inc. Retrieved 9 April 2016.
{{cite journal}}
:Cite 저널 요구 사항journal=
(도움말) - ^ Iverson, Kenneth E. (March 1994). "Revisiting Rough Spots". APL Quote Quad. 24 (3): 13–16. doi:10.1145/181983.181986. S2CID 2140469. Retrieved 13 April 2016.
- ^ Iverson, Kenneth E. (1996), Computers and Mathematical Notation, Iverson Software Inc., retrieved 10 April 2016
- ^ Hui, Roger; Iverson, Kenneth E. (January 1998), "Mathematical Roots of J", APL 97 Conference Proceedings: 21–30, doi:10.1145/316689.316698, S2CID 2317632
- ^ Iverson, Kenneth E. (August 2006), "APL in the New Millennium", Vector, 22 (3), retrieved 25 April 2016
- ^ NAE Members Directory, National Academy of Engineering, retrieved 22 April 2016
- ^ Computer Pioneer Award (Charter Recipient), IEEE Computer Society, 1982, retrieved 8 April 2016
- ^ Drummond, B. (11 June 1998), Citation for Dr. Kenneth Iverson, York University, retrieved 8 April 2016
외부 링크
- Kenneth E의 작품. 오픈 라이브러리의 Iverson
- 케네스 유진 아이버슨의 생애 축하
- 추도곡집
- Iverson 시험
앨버타 대학의 고등학생을 위한 프로그래밍 대회 - 켄 아이버슨의 인용과 일화
아이버슨이 사람으로서 어떤 사람인지, 함께 일하는 사람인지, 그가 공부하고 일하는 환경, 그의 인생관, 그의 유머감각 등에 대한 삽화. - APL 견적 및 일화
아이버슨, 그의 동료 및 그의 지적 후손의 스케치