가장 기억에 남는 CS 논문 제목


49

MO에서 유익한 질문을 한 후에 CS에서 주목할만한 종이 이름을 논의하는 것이 가치가 있다고 생각했습니다.

우리 중 대부분은 흥미로운 제목의 논문을 읽거나 (또는 ​​적어도 회의에서 논문 목록을 검토 할 때마다 읽거나) 열악하게 읽는 것을 피할 수 있다는 점이 분명합니다. 명명 된 기사.

제목 (필요하지는 않지만 내용)으로 인해 어떤 논문을 기억하십니까?

내가 좋아하는 것은 적절한 TCS 논문이 아니지만 "관계형 모델이 죽었고 SQL이 죽었고 나 자신도 그렇게 기분이 좋지 않다"입니다. .



6
MO에 대한 질문은 오래 전에 종결되었으며이 역시 마찬가지입니다. 순전히 의견 기반이며 큰 목록입니다.
David Richerby

3
글쎄, 내가 볼 수있는 한, 큰 목록이 너무 커져서 신호 / 잡음 비율이 줄어들 기 때문에 MO에 대한 질문은 9 개월의 활동 후에 만 ​​마쳐졌습니다.
Emil Jeřábek

6
이것이 논문의 주제와 거의 관련이없는 멍청한 말장난이나 제목의 모음이되면 너무 행복하지 않습니다. IMO에는 "품질"기준이 있어야합니다. 예를 들어 제목에는 실제로 0이 아닌 정보 내용이 있어야합니다.
Sasho Nikolov

7
사이트가이 링크가 가리키는 mathoverflow에 대한 답변 중 하나 www2.tcs.ifi.lmu.de/~jjohanns/cute.html 받을 권리가있다, 여기에 귀여운 타이틀 이론 컴퓨터 과학 논문의 무작위 목록입니다.
imallett

답변:


36

나는 이것에 대해 트위터에서 설문 조사를했습니다 . 결과는 여기 입니다. 내가 좋아하는 몇 가지 :


9
필립와 들러의 거의 모든 타이틀이 기억에 남습니다. 내가 가장 좋아하는 것은 "논리가 게으름보다 낫다"는 그의 논문, 제레미 시크 (Jeremy Siek)가 쓴 POPL 논문, "3 인조, 비난, 비난"입니다.
Huck Bennett

29

컴퓨터 공학을 시작할 때 기발한 제목을 좋아했지만 결국 지루해졌습니다. 일부 저자는 영리하고 기억하기 쉬우 며 관련성 높은 제목을 작성하지만 재미있는 제목을 사용하려고 시도하면 불필요하게 길고 유익하지 않고 어색한 문구가 만들어 져서 기억하기가 어렵습니다.

1977 년 Pnueli의 The Temporal Logic of Programs 와 같은 논문이 있습니다.이 논문 은 절대적으로 간단하지만 기억하기 쉽습니다. 나는 당신이 그런 의미에서 기억에 남는 것을 의미하지 않았다고 추측하고 있습니다.

레슬리 람보 르트 (Leslie Lamport)에는 기억에 남을만한 제목의 여러 논문이있어 재미 있으려고 노력하지는 않습니다. 당신이 원하는 종류의 제목은 많으며, 내가 읽고 기억 한 논문이나 중요한 것으로 여겨지는 논문조차도 원격으로 포괄적 인 목록을 갖는 것이 가능하지 않다고 생각합니다. 그럼에도 불구하고, 적절한 곳에 그룹화하여 몇 가지를 상기시켜 드리겠습니다.

레슬리 람보 르트의 글

람 포르 트는 여기에 다양한 논문 뒤에 숨겨진 이야기를 설명합니다 . 그는 많은 제목을 가지고 있지만 모든 제목 (또는 논문)이 잘 수신 된 것은 아닙니다.

유해한 것으로 간주되는 논문 제목 (@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 참조 ).

논리, 프로그래밍 언어 및 의미

이것들은 기억하기 쉬운 제목을 가진 논리 및 의미론의 다양한 논문입니다. 시간을 찾으면 확장 해 보겠습니다.


당신이 "유해한 것으로 간주 문으로 이동"언급하기 때문에, 하나는 또한 언급 할 필요가 응답 유해 고려 ""GOTO는 유해 고려 "", 그리고 수집 카운터 응답 고려 제목 아래에 게시 " '"GOTO 유해 고려 "유해 고려를' 해로운?".
Kaj_Sotala

1
당신이 언급 이후 "유해한 것으로 간주 문으로 이동"또한 익스트라는 않았다는 것을 주목해야 하지 그 제목을 선택합니다. 그의 편집인이 그것을 강제로 바꿨습니다 ( wikipedia를 읽으십시오 ). 원래 제목이었다 : 고토 문에 대한 사례 훨씬 온화한입니다.
Bakuriu

13

Mihai Patrascu 및 Liam Roditty. "Thorup-Zwick 경계 너머의 거리 신탁." 2010 년 제 51 회 IEEE 심포지엄 컴퓨터 과학 (FOCS) 기초. IEEE, 2010.

" 당신의 공을 성장하는 방법 저자가 되었더라도"원래 제목이었다 변경에 질문 을. 나는 논문을 읽고 실제로 이전 제목이 알고리즘에 대한 생각에 실제로 부합한다고 생각합니다.


11

최근 논문이지만 제목이 종종 내 마음에옵니다.

Giovanni Viglietta : 게임은 어려운 일이지만 누군가해야합니다! 이론 계산. 시스. 54 (4) : 595-621 (2014)

Viglietta는 파괴 가능한 경로, 열쇠, 문 등과 같은 일반적인 요소를 사용하여 비디오 게임의 계산 복잡성을 연구하는 데 사용할 수있는 몇 가지 메타 정리를 제시합니다. 그 결과, 그는 이러한 메타 이론을 적용하여 Pac-Man 의 NP-hardness를 증명합니다 .




7

레인 A. 헤마 스판 드라와 허버트 볼머. " 사탄의 표기법 : #P와 그 밖의 정의 모험을 넘어서 계산 클래스. "뉴스 레터 ACM SIGACT Volume 26 Issue 1, March March. Pages 2-13.




5

"뼈에 무고한 살의 기하학 : x86에서 함수 호출없이 libc로 리턴"

Bob Dylan의 노래 "Tombstone Blues"를 참조하십시오. 약 64 비트 버퍼 오버플로이지만 무고한 프로그램을 두 개로 나누는 이미지를 불러옵니다. 그래서 금속.

https://dl.acm.org/citation.cfm?doid=1315245.1315313





4

Conor McBride의 논문 제목은 대부분 기억에 남습니다. 나는 그의 논문 제목이 종속 유형 이론에 대한 많은 논문을 읽은 이유 중 하나라고 말할 수 있습니다. 특히 기억에 남는 것들은 다음과 같습니다.

  • "해야 할 일"S. Lindley, C. McBride & C. McLaughlin, POPL 2017;
  • C. McBride, POPL 2008;
  • "왼쪽에서 본다"C. McBride & J. McKinna, JFP 14 (1) (2004);
  • "동기 제거"C. McBride, TYPES 2000.

ICFP와 JFP에 출판 된 많은 "기능성 진주"는 "기능성 진주"라는 정신으로 흥미로운 제목을 가지고 있으며, 이는 유익하고 간결하며 읽기에 흥미 롭습니다. 이를 위해 저자들은 흥미로운 타이틀을 만들기 위해 열심히 노력합니다. 최근 후보자 :

  • "요 네다에 대해 알아야 할 사항 : Profunctor Optics 및 Yoneda Lemma,"ICFP 2018; G. Boisseau & J. Gibbons;
  • "오 주여, 계약을 잘못 이해하지 마십시오."C. Dimoulas, M. New, R. Findler & M. Felleisen, ICFP 2016;
  • ICFP 2015.




1

"마법의 단어는 스쿼시 OSSIFRAGE입니다" 링크

Atkins, Graff, Lenstra 및 Leyland는 90 년대 초반 인터넷을 통해 협업하면서 90 년대 초 팩토링 알고리즘이있는 90 년대 초 컴퓨터를 사용하여 Rivest의 자리 숫자 를 인수하는 노력에 대해 설명합니다 .129

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.