最も記憶に残るCS論文タイトル

50

MOでの実り多い質問に続いて、CSでいくつかの注目すべき論文名について議論する価値があると思いました。

私たちのほとんどが面白いタイトルの論文を読む（または少なくとも一見）に惹かれる（少なくとも会議で論文のリストを調べるたびにそうする）こと、あるいは貧弱な読書を避けることに魅力があるかもしれません。名前付き記事。

タイトル（および、必ずしもそうではないが、内容）のために、どの論文を覚えていますか？

私のお気に入りは、適切なTCS論文ではありませんが、「リレーショナルモデルは死んでおり、SQLは死んでおり、自分自身はそれほど気分が良くありません」です。。

soft-question  big-list 
— R B
ソース
5
— ジェニファーNg
6
MOについての質問はずっと前に閉じられましたが、これもそうすべきです。それは純粋に意見に基づいており、単なる大きなリストです。
— デビッドリチャービー14年
3
さて、私の知る限りでは、MOの質問は、9か月の活動を経てようやく終了しました。大きなリストが大きくなりすぎて、信号/ノイズ比が低下していたからです。
— エミルイェジャベク14年
6
これが馬鹿げたしゃれのタイトルまたは論文のトピックにわずかに関連する引用だけであるタイトルのコレクションになるならば、私はあまり幸せではありません。IMOには何らかの「品質」基準が必要です。たとえば、タイトルには実際にはゼロ以外の情報コンテンツが含まれている必要があります。
— サショニコロフ14
7
mathoverflowサイトの回答の1つは、次のリンクを指していました：www2.tcs.ifi.lmu.de/~jjohanns/cute.html、これは、タイトルのあるTheoretical Computer Scienceの論文のランダムなリストです。
— イマレット14年

回答:

37

これについてはしばらく前にTwitterで調査しました。結果はこちらです。私のお気に入りのいくつか：

— Sam Tobin-Hochstadt
ソース
9
フィリップ・ワドラーのタイトルはほとんど記憶に残るものです。私のお気に入りは、彼の論文「怠isは怠thanよりも優れています」とジェレミー・シークとのPOPL論文「三人組、非難ありとなし」です。
— ハックベネット14年
30

コンピューターサイエンスを始めたときは、風変わりなタイトルが好きでしたが、やがて退屈しました。一部の著者は、巧妙で記憶に残る関連性のあるタイトルを書くことができますが、面白いタイトルを試してみると、ほとんどの場合、不必要に長く、情報価値がなく、気味の悪いフレーズになります。

1977年に発表されたPnueliのThe Temporal Logic of Programsなどの論文があります。その意味であなたは覚えやすいという意味ではなかったと思います。

レスリー・ランポートには、面白いことをしようとして私を打たない記憶に残るタイトルの論文がいくつかあります。あなたが望む種類のタイトルは多数あり、私が読んで覚えている論文や重要と思われる論文であっても、遠隔的に包括的なリストを作成することは現実的ではないと思います。それにもかかわらず、私はいくつかを思い出させて、それらを適切にグループ化します。

レスリー・ランポートの著作

ランポートはここで様々な論文の背後にある物語を説明します。彼は多くの記憶に残るタイトルを持っていますが、すべてのタイトル（または論文）が好評を博しているわけではありません。

有害と考えられる論文のタイトル （@Bakuriuと@ Kaj_Sotalaのおかげで、このコメントでこの点を拡大できました）

Edsger Dijkstra は、ACMの通信にGoto Against the Gotoステートメント（EWD 215）を提出し、最終タイトルはエディターのNiklaus Wirthによって以下の有名なタイトルに変更されました。このタイトルは一連の返信を生み出しました。このようなログタイトルで指摘されているように、そのようなタイトルはすでにジャーナリズムに存在していました。特に、「Xは有害である」と「Xは有害である」、「有害である」との再帰的な応答は、1950年代に発見されました（言語ログ、A Roguish Chrestomathy）。この特定のケースでは、これらのタイトルを取得しました。

  • 1968年に有害とみなされる声明に進む

  • Go to Statements、Knuth、1974年の構造化プログラミングは、冷静に書かれた美しい記事です。彼はダイクストラの個人的なコミュニケーションを引用しています。

    「[go to statement]についてひどく独断的だと信じているというtrapに陥らないでください。プログラミングの概念的な問題はコーディングの規律の単純な形式による単一のトリック！」-1973年エドガー・ダイクストラ

    「1971年のIFIP会議で、私は日本の後藤栄一博士に会うことができました。-クヌース

  • 「有害と考えられる後藤」、有害と考えられる、ルービン、1987

  • 「「GOTOは有害とみなされます」「有害とみなされます」とは有害とみなされますか？」、1987年に公開されたムーア、ムシャーノ、リーブハーバー、ロット、スターの回答集。

  • ややがっかりした対応については、ダイクストラ、1987、これで終わります：

    明らかに、私の優先事項は誰もが共有しているわけではありません。Rubinの手紙とそれが引き起こした5つの反応のほとんどは、悪用されるよりも無視されると思われるあらゆる種類の「プログラミング言語機能」の観点から行われたためです。全体の通信は、20年前の知的環境を鮮明に思い出させるレベルで行われました。まるで停滞がコンピューター業界の大きな特徴であり、それは失望でした。-ダイクストラ、1987

それ以来、多数の「Xは有害と見なされる」タイトルがありました（Google Scholarを参照）。

ロジック、プログラミング言語、セマンティクス

これらは、記憶に残るタイトルを持つロジックとセマンティクスのさまざまな論文です。時間があるので、それらについて詳しく説明します。

— Vijay D
ソース
「有害と見なされるステートメントに移動する」に言及したので、「「GOTO有害と見なされる」と有害と見なされる」という応答、および「 '」GOTOと見なされる有害な」と題された反論のコレクションに言及する必要があります。有害ですか？」
— Kaj_Sotala 14年
1
あなたは「有害とみなさステートメントに行く」に言及ので、また、ダイクストラがなかったことに留意すべきでないそのタイトルを選択してください。それを強制的に変更したのは彼のエディターでした（ウィキペディアを読んでください）。元のタイトルは次のとおりです：Gotoステートメントに対するケース、これははるかに穏やかです。
— バクリウ14年
13

ミハイ・パトラスク、リアム・ロディティ。「距離は、Thorup-Zwickの限界を超えた神託です。」Foundation of Computer Science（FOCS）、2010年第51回IEEEシンポジウム。IEEE、2010年。

「ボールの成長方法」は元のタイトルでしたが、著者はそれを変更するように求められました。私はこの論文を読んで、実際に古いタイトルはあなたがアルゴリズムについてどう考えるかにぴったりだと思います。

— 2回転
ソース
11

それは最近の論文ですが、そのタイトルはよく頭に浮かびます：

Giovanni Viglietta：ゲームは大変な仕事ですが、誰かがやらなければなりません！理論計算。システム。54（4）：595-621（2014）

Vigliettaは、破壊可能なパス、キー、ドアなどの一般的な要素を使用して、ビデオゲームの計算の複雑さを研究するために使用できるいくつかのメタ定理を提示します。結果の中で、彼はそれらのメタ定理を適用して、パックマンの NP困難性を証明しています。

— マルツィオ・デ・ビアシ
ソース
7

レーンA.ヘマスパンドラとヘリバートフォルマー。「悪魔の表記法：#Pおよびその他の定義的な冒険を超えたクラスを数える。」ニュースレターACM SIGACT Volume 26 Issue 1、March 1995. Pages 2-13。

— Tayfun Pay
ソース
7

Cycle Killer ... Qu'est-ce que c'est？ハイブリダイゼーション数と有向フィードバック頂点セットの比較近似性について-SIAM J. Discrete Math。、26（4）

（トーキングヘッドへの参照-サイコキラー（qu'est-ce que c'est））

— オルフ
ソース
5

「骨の上の罪のない肉体の幾何学：関数呼び出しなしのreturn-into-libc（x86上）」

参照は、ボブディランの歌「トゥームストーンブルース」です。それは約64ビットのバッファオーバーフローですが、2つの罪のないプログラムを切断するイメージを呼び起こします。だから金属。

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

— 大菜
ソース
4

コナーマクブライドの論文タイトルのほとんどは非常に印象的です。彼の論文のタイトルは、私が依存型理論に関する非常に多くの論文を読んだ理由の1つと言えるでしょう。特に記憶に残るものは次のとおりです。

  • 「Do do do do do」S。Lindley、C. McBride＆C. McLaughlin、POPL 2017;
  • 「私の左側の道化師、右側のジョーカー（真珠）：データ構造の分析」、C。マクブライド、POPL 2008;
  • 「左からの眺め」C. McBride＆J. McKinna、JFP 14（1）（2004）;
  • 「動機による排除」C.マクブライド、タイプ2000。

ICFPおよびJFPで公開されている「機能性真珠」の多くには、「機能性真珠」の精神に沿った興味深いタイトルがあります。この目的に向けて、著者は興味深いタイトルを思いつくために一生懸命働いています。最近の候補者：

  • 「米田について知っておくべきこと：Profunctor Opticsと米田補題」、G。Boisseau＆J. Gibbons、ICFP 2018;
  • 「ああ、主よ、契約を誤解させないでください。」C。Dimoulas、M。New、R。Findler＆M. Felleisen、ICFP 2016;
  • 「2人が秘密を守ることができる。もし誰かがHaskellを使用していれば」A. Russo、ICFP 2015。
— xrq
ソース
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.