Мені подобалися химерні заголовки, коли я починав займатися інформатикою, але з часом набрид. Деяким авторам вдається писати розумні, пам’ятні та актуальні заголовки, але більшість спроб смішних заголовків призводять до зайвих довгих, неінформативних та химерних фраз, які мені важко запам’ятати та шукати.
Є такі документи, як Пнуелі «Темпоральна логіка програм 1977 року», що абсолютно просте, але мені легко запам’ятати. Я здогадуюсь, ви не мали на увазі пам’ятного в цьому сенсі.
У Леслі Лампорт є кілька робіт із пам’ятними назвами, які не вражають мене, як намагаються бути смішними. Титулів такого типу, які ви хочете, численні, і я не думаю, що цілком можливо, щоб було далеко вичерпний перелік, навіть прочитаних і запам’ятовуваних робіт або навіть тих, які вважаються значущими. Тим не менш, дозвольте згадати декілька, згрупувавши їх, де це доречно.
Питання Леслі Лампорт
Лампорт описує історію за різними паперами тут . У нього багато пам’ятних назв, хоча не всі титри (або папери) були добре сприйняті.
Час, годинник та впорядкування подій у розподіленій системі , Лампорт, 1978, класичний документ у розподілених системах. Заголовок наводить зображення діаграм у статті, вони самі нагадують спеціальні діаграми відносності.
"Колись" - це іноді "Ніколи" , Лампорт, 1980. Читаючи це, я одразу опрацьовую часові логічні теореми, на які натякають.
Проблема візантійських генералів , Лампорт, Піс, Шостак, 1982 рік
- "EWD 1013" , 1988. Помітний тим, що лише Дайкстра писав ЕРД.
- Як розповісти програму з автомобіля , 1996 рік
- Парламент за сумісництвом, Лампорт, 1998. Більш відомий як Паксос. На його сторінці див. Історію цього документу та алгоритм, який він містить.
Заголовок статті вважається шкідливим
(дякую @Bakuriu та @ Kaj_Sotala, коментарі яких змусили мене розширити цю точку)
Едсгер Дайкстра подав «Справу проти заяви Goto» (також EWD 215) до «Комунікацій АСМ», а остаточний заголовок редактором Ніклаусом Віртом було змінено на відомий заголовок, поданий нижче. Ця назва породила низку відповідей. Такі назви вже існували в журналістиці, як зазначено в цій статті журналу Мова . Зокрема, рекурсивні відповіді на "X вважаються шкідливими" із "X вважаються шкідливими", вважаються шкідливими "можна знайти ще в 1950-х роках ( журнал мови , A Roguish Chrestomathy ). У цьому конкретному випадку ми отримали ці назви.
- Перейти до заяви, що вважається шкідливою , 1968 рік
Структуроване програмування з „Go to Statements” , Knuth, 1974, це спокійна, красива стаття. Він цитує особисте спілкування Дейкстри:
"Будь ласка, не потрапляйте в пастку вірити, що я страшенно догматичний щодо [ідучи на висловлювання]. У мене незручно відчувати, що інші роблять з цього релігію, ніби концептуальні проблеми програмування можуть бути вирішені єдиний трюк, простою формою дисципліни кодування! " - Edsger Dijkstra, 1973
"На Конгресі IFIP у 1971 році я мав задоволення зустрітися з доктором Японії Ейічі Гото, який весело скаржився, що його завжди усувають". - Кнут
"Гото вважається шкідливим" вважається шкідливим , Рубін, 1987 рік
"" "GOTO вважається шкідливим" вважається шкідливим "вважається шкідливим?" , збірка відповідей Мура, Мускано, Лібхабера, Лотта і Старра, опублікована в 1987 році.
На дещо невтішному листуванні Dijkstra 1987 року, яке закінчується цим:
Очевидно, що мої пріоритети ділиться не всіма, оскільки Рубін лист і більшість з п'яти реакцій, які він викликав, були проведені замість цього з точки зору всіляких "функцій мови програмування", які здаються краще ігнорованими, ніж використаними. Все листування велося на рівні, який яскраво нагадував мені інтелектуальний клімат двадцяти років тому, ніби застій є головною характеристикою обчислювальної професії, і це було розчаруванням. - Dijkstra, 1987
З тих пір було чимало назв "X вважається шкідливим" (див. Google Академія ).
Логіка, мови програмування та семантика
Це різні статті з логіки та семантики із пам’ятними назвами. Я розширюся на них, коли знайду час.
- Наступні 700 мов програмування , Landin, 1966
- Скотт не завжди тверезий , Джонстоун, 1981 рік
- Безсторонність, справедливість та справедливість: етика одночасного припинення , Леман, Пнуелі, Ставі, 1981
- Чому люди думають, що комп'ютери не можуть , Мінський, 1990
- Переваги розслаблюючої пунктуальності , Алур, Федер, Хензінгер, 1991
- Функціональне програмування з бананами, лінзами, конвертами та колючим дротом , Meijer, Fokkinga, Paterson, 1991
- Раз і назавжди, Купферман і Пнуелі, 1995 рік
- Колись тип , Turner, Wadler, Mossin, 1995
- Синтез з неповною інформацією , Купферман та Варді, 1997 (повідомлення пропущено 'n')
- Радості бисимуляції , Стірлінг, 1998
- Від доісторичної до постмодерної перевірки символічної моделі , Henzinger, Kupferman, Qadeer, 1998
- Колись поліморфний тип , Вансборо та Пейтон Джонс, 1999
- Ледача абстракція , Хензінгер, Джала, Мажумдар, Сутре, 2002
- Ескізи слона: Теорія топосу Компендіумм том. 1 , Джонстоун, 2002
- Формули вакуумного очищення CTL , Purandare і Somenzi, 2002
- Co-Buching Them All , Купферман та Бокер, 2011 рік
- Все за ціну небагатьох , Абдулла, Хазіза, Холік, 2013