아마 그럴 것 qed
같지만 이것을 확인하거나 거부 할 출처를 찾을 수 없습니다.
또한 ed
유닉스의 전체 기간 동안 존재 해 왔으며 sam
1980 년대 초에 작성되었습니다. 벨 랩스에서 유닉스 시대부터 Plan9까지 대부분의 사람들이 사용한 것을 알고 있습니까?
타임 라인이 다음과 같다고 생각합니다.
qed
-> ed
-> sam
->acme
아마 그럴 것 qed
같지만 이것을 확인하거나 거부 할 출처를 찾을 수 없습니다.
또한 ed
유닉스의 전체 기간 동안 존재 해 왔으며 sam
1980 년대 초에 작성되었습니다. 벨 랩스에서 유닉스 시대부터 Plan9까지 대부분의 사람들이 사용한 것을 알고 있습니까?
타임 라인이 다음과 같다고 생각합니다.
qed
-> ed
-> sam
->acme
답변:
나는 당신의 조언 타임 라인이 맞다고 생각합니다.
유닉스 이전 (Unixplex Information and Computing Service를 대표하는 60 년대 유니 닉스라고 함) 초창기에 Bell Labs는 실패한 Multics Project (Multiplexed Information and Computer Services)에 중점을 두었습니다. Multics는 QED로 작성되었습니다.
실제로 QED는 Multics 이전에도 개발되었습니다. 이 문서는 SDS 940의 버클리 시분할 시스템을 위해 Butler Lampson과 Peter Deutsch에 의해 처음 작성되었습니다. C. ACM 10 # 12 (1967 년 12 월)의 논문 참조.
QED는 Ken Thompson에 의해 Multics의 프로젝트 팀으로 가져와 캐릭터 지향에서 라인 지향 (QED CTSS)으로 업그레이드했습니다.
나중에 Multics 프로젝트가 실패했을 때 Ken과 Ritchie는 Multics를 Uniics에 "포크 (fork)"했으며 QED는 나중에 ED와 VI에 도달하도록 지속적으로 개선되었습니다.
이 모든 것들과 훨씬 더 많은 것이 Ritchie 자신이 쓴 QED History에 관한 이 Bell Labs 논문에 잘 설명되어 있습니다 (!).
또한이 Bell Labs 링크 에서 Ken과 Ritchie가 Unics Project (!)를 위해 개선 한 QED 매뉴얼 (1970 년)을 다운로드 할 수 있습니다.
다른 개념들 중에서,이 QED 매뉴얼에서 기본 정규 표현식은 오늘날 우리가 사용하는 것과 같은 형식으로 설명 됩니다.
추신 : 나는이 모든 정보를 찾게되어 기쁘다는 것을 인정합니다!