컴퓨터 공학을 시작할 때 기발한 제목을 좋아했지만 결국 지루해졌습니다. 일부 저자는 영리하고 기억하기 쉬우 며 관련성 높은 제목을 작성하지만 재미있는 제목을 사용하려고 시도하면 불필요하게 길고 유익하지 않고 어색한 문구가 만들어 져서 기억하기가 어렵습니다.
1977 년 Pnueli의 The Temporal Logic of Programs 와 같은 논문이 있습니다.이 논문 은 절대적으로 간단하지만 기억하기 쉽습니다. 나는 당신이 그런 의미에서 기억에 남는 것을 의미하지 않았다고 추측하고 있습니다.
레슬리 람보 르트 (Leslie Lamport)에는 기억에 남을만한 제목의 여러 논문이있어 재미 있으려고 노력하지는 않습니다. 당신이 원하는 종류의 제목은 많으며, 내가 읽고 기억 한 논문이나 중요한 것으로 여겨지는 논문조차도 원격으로 포괄적 인 목록을 갖는 것이 가능하지 않다고 생각합니다. 그럼에도 불구하고, 적절한 곳에 그룹화하여 몇 가지를 상기시켜 드리겠습니다.
레슬리 람보 르트의 글
람 포르 트는 여기에 다양한 논문 뒤에 숨겨진 이야기를 설명합니다 . 그는 많은 제목을 가지고 있지만 모든 제목 (또는 논문)이 잘 수신 된 것은 아닙니다.
분산 시스템에서의 시간, 시계 및 이벤트 순서 , 1978 년 Lamport, 분산 시스템 의 고전 논문. 제목은 논문의 다이어그램 이미지를 불러 일으키며, 특수 상대성 다이어그램을 연상시킵니다.
'때때로'는 가끔 'Not Never'입니다 (Lamport, 1980). 이것을 읽으면서 나는 암시되는 시간적 논리 정리를 즉시 해결합니다.
비잔틴 장군 문제 , Lamport, Pease, Shostak, 1982
- "EWD 1013" , 1988. Dijkstra만이 EWD를 작성했기 때문에 주목할 만하다.
- 자동차에서 프로그램을 말하는 방법 , 1996
- Part-Time Parliament , Lamport, 1998. Paxos로 잘 알려져 있습니다. 이 백서의 이야기와 그에 포함 된 알고리즘에 대해서는 그의 페이지를 참조하십시오.
유해한 것으로 간주되는 논문 제목
(@Bakuriu 및 @ Kaj_Sotala에게 감사의 말을 전합니다)
Edsger Dijkstra 는 ACM의 커뮤니케이션에 Goto 성명서 (EWD 215)를 제출 했으며 최종 타이틀은 편집자 Niklaus Wirth에 의해 아래의 유명한 타이틀로 수정되었습니다. 이 제목은 일련의 답변을 낳았습니다. 이러한 제목은이 언어 로그 기사 에서 지적한 바와 같이 이미 저널리즘에 존재했습니다 . 특히, "X는 유해한 것으로 간주", "유해한 것으로 간주", "유해한 것으로 간주"와 함께 "X는 유해한 것으로 간주 됨"에 대한 재귀 적 반응은 1950 년대 초반에 발견 될 수 있습니다 ( Language log , A Roguish Chrestomathy ). 이 특정한 경우에, 우리는이 제목들을 얻었습니다.
- 1968 년 유해하다고 간주되는 진술로 이동
1974 년 Knuth Statements로 이동하여 구조화 된 프로그래밍 (Structured Programming) . 그는 Dijkstra의 개인 커뮤니케이션을 인용합니다.
"[문장으로 이동]에 대해 끔찍하게 독단적이라고 믿는 함정에 빠지지 마십시오. 나는 프로그래밍의 개념적 문제가 해결 될 수있는 것처럼 다른 사람들이 종교를 만들어 내고 있다는 불편한 느낌을받습니다. "단순한 코딩 규칙에 의한 단일 트릭!" -1973 년 Edsger Dijkstra
"1971 년 IFIP 총회에서 나는 일본의 고이 에이치 박사를 만나서 기뻤습니다. 그는 그가 항상 제거되고 있다고 기뻐했습니다." -크 누스
"고토는 유해한 것으로 간주 됨" , 1987 년 루빈
"" "GOTO는 유해한 것으로 간주 됨"유해한 것으로 간주 됨 "" 1987 년에 출판 된 Moore, Musciano, Liebhaber, Lott 및 Starr의 답변 모음.
다소 실망스러운 서신 에서 1987 년 Dijkstra는 다음과 같이 끝납니다.
분명히, 나의 우선 순위는 모든 사람이 공유하지는 않습니다. Rubin의 서한과 그로 인해 발생한 5 가지 반응의 대부분은 악용 된 것보다 무시되는 것처럼 보이는 모든 종류의 "프로그래밍 언어 기능"의 관점에서 수행되었습니다. 전체 통신은 마치 정체가 컴퓨팅 직업의 주요 특징 인 것처럼 20 년 전의 지적 환경을 생생하게 상기시키는 수준에서 수행되었으며, 이는 실망스러운 일이었습니다. -1987 년 Dijkstra
그 이후로 수많은 "X 유해한 것으로 간주되는"타이틀이있었습니다 ( Google Scholar 참조 ).
논리, 프로그래밍 언어 및 의미
이것들은 기억하기 쉬운 제목을 가진 논리 및 의미론의 다양한 논문입니다. 시간을 찾으면 확장 해 보겠습니다.
- 차세대 700 프로그래밍 언어 , Landin, 1966
- Scott은 항상 냉정한 것은 아닙니다 , Johnstone, 1981
- 공정성, 정의 및 공정성 : 동시 종료의 윤리 , Lehmann, Pnueli, Stavi, 1981
- 사람들이 컴퓨터를 사용할 수 없다고 생각하는 이유 , Minsky, 1990
- 시간 엄수의 휴식 , Alur, Feder, Henzinger, 1991 의 이점
- 바나나, 렌즈, 봉투 및 철조망을 이용한 기능적 프로그래밍 , Meijer, Fokkinga, Paterson, 1991
- 한번에 , Kupferman 및 Pnueli 1995
- 옛날 옛적에 , Turner, Wadler, Mossin, 1995
- 불완전한 Informatio , Kupferman 및 Vardi 와의 합성 , 1997 ( 'n'누락 통지)
- Bisimulation의 기쁨 , 스털링, 1998
- 선사 시대부터 포스트 모던 적 상징적 모델 확인까지 , Henzinger, Kupferman, Qadeer, 1998
- 원스 어 폰드 다형성 타입 , Wansborough and Peyton Jones, 1999
- 게으른 추상화 , Henzinger, Jhala, Majumdar, Sutre, 2002
- 코끼리의 스케치 : 토포스 이론 개론 vol. 1 , 존스톤, 2002
- 진공 청소 CTL 공식 , Purandare and Somenzi, 2002
- 그들에게 모든 공동 Buching , Kupferman 및 Boker, 2011
- 2013 소수의 가격 , Abdulla, Haziza, Holik