タグ付けされた質問 「soft-question」

ソフトな質問とは、理論的なコンピュータサイエンスの問題ではなく、理論的なコンピュータサイエンスの分野に関する（主観的な）質問です。

3
Complexity Zooのバックアップ/交換はありますか？
これは技術的な質問ではありませんが、TCSコミュニティには確かに関連しています。不適切と思われる場合は、お気軽に閉じてください。 複雑動物園の Webページには、（http://qwiki.stanford.edu/index.php/Complexity_Zoo）確かに年間のTCSコミュニティに素晴らしいサービスをしています。どうやらかなり長い間ダウンしています。誰かがまだそれを維持しているのか、移動したのか、バックアップサーバーがあるのか​​、複雑なクラス、それらの関係と関連出版物への引用のこの素晴らしいデータベースを保存する他の計画があるのか​​、と思っていました。そうでない場合、代替として使用できる同等のWebページはありますか？ 更新（8月1日）：Zooはオンラインに戻りました。Scottは、将来の停止を避けるために、それをミラーリングするボランティアを探しています。
6
クイックレビューのあるジャーナル
背景：この質問の動機は2つあります。最初に、進行中の会議対ジャーナルの議論をよりよく理解するために、いくつかの難しい事実を得たいと思います。第二に、もしこの情報がどこかで利用可能であれば、レビューのために論文を提出するときに、より情報に基づいた決定を下すことができました。編集者がレフェリーの選択とシェパーディングで優れた仕事をしているジャーナルを歓迎します。 質問：一貫して高速なレビューを行っているTCSジャーナルはありますか？ ルール： 私は逸話的な証拠を探していません。「過去3年間の統計によると、提出物の98％がせいぜい4か月でレビューされた」などの難しい事実を確認したいと思います。 最初の提出から最初の決定までの時間のみが重要です。物理的なジャーナルを実際に印刷するのにかかる時間は気にしません。とにかく私たちの制御を超えています。 単なる一連の会議議事録であるジャーナルはカウントされません。私たちは皆、会議のレビューが速いことを知っています。 オープンアクセスのオンラインジャーナルはまったく問題ありません。 （そして、あなたの名前が何らかの形でそれに関連付けられている場合、あなたが恥ずかしいほどジャーナルが疑わしい場合、それを完全にスキップしましょう。）
6
あなたが割り当てた宿題を解決できないことに気付いたことがありますか？
この質問は、教師、学生アシスタント、家庭教師など、問題を割り当てる人々を対象としています。 これは、教授としての12年のキャリアの中で、私にほんの数回起こりました。その後、私はそれを解決できないことに気付きました。もっと恥ずかしいことはほとんどありません。 最近の例は次のとおりです。「有向グラフ長さが奇数であるかどうかを判断する線形時間アルゴリズムを与えます。」私はこの考えが些細なものだと考えましたが、後になって私のアプローチがうまくいかないことに気づきました。GGG 私の質問：あなたは「プロフェッショナル」なことだと思います： 解決するまで問題に執着し、生徒に何も言わないでください。 説明せずに問題をキャンセルし、あなたの人生に進みます。 cstheory.SEで支援を求めます（「これは宿題の問題ですか？」） 注：おそらく考えもしなかった実用的でレベルの高い提案を探しています。この状況を扱うことは自分の好みに大きく関係するので、私の質問には強い主観的要素があることに気づきました。
7
TCSで最も古い未解決の問題は何ですか？
この問題は、このMOの質問に触発されており、非常に興味深いと思いました。 TCSで最も古い未解決の問題は何ですか？ 明らかに、この質問には明確化が必要です。 まず、TCSとは何ですか？奇数の完全数の存在はTCSではないと思います。ヒルベルトの10番目の問題はTCS だと思います。「定規とコンパスでXを構築できますか」などの問題もTCSであると思います。これは、計算の制限されたモデルでアルゴリズムを求めているためです。TCSの問題を定義する厳密な方法はないかもしれませんが、あなたの判断を使用してください。おそらく、1つのテストは、「これが解決された場合、STOC / FOCSに表示される可能性が最も高いでしょうか。それを解決した研究者は、おそらく理論的なコンピューター科学者でしょうか？」 第二に、「最も古い」とは何ですか？私は日付で最古を意味します。記載された日付も検証可能である必要がありますが、私はこれがあまりにも難しいとは思わない。 第三に、「未解決の問題」とは何ですか？「未解決の問題」とは、特定の時点で特に未解決と見なされた問題を意味します。おそらく、それは未解決の問題のセクションの論文の最後に登場したか、一部の人々がそれに取り組んで失敗したという証拠があるかもしれませんし、研究されていることを示唆する誤った証拠があるかもしれません この基準に当てはまらないものの例：「ギリシャ人はオブジェクトXとYを研究しました。Zは明らかに中間オブジェクトであり、構築できるかどうか疑問に思いました。」その期間のZに関する文献がない場合、その期間の未解決の問題ではありません。 第四に、「問題」とはどういう意味ですか？私は特定の「はい/いいえ」の質問を意味し、「すべてのオブジェクトXをプロパティYで特徴付ける」のようなものではありません。そのような質問には満足のいく答えがないことが多いからです。多くの場合、質問が解決されたかどうかに関して意見の相違があります。ここではそのような質問に入らないようにしましょう。はい/いいえの質問ではないが、それが本当に開かれていることが明らかな場合、それも問題ありません。（これが明確でない場合、「問題」とは正式に述べられた問題を意味します。16世紀のギャンブルに関する民俗伝説をBPPとPSPACEに関する質問に変換しないでください。） 最後に、これは大きなリストの質問ではないため、既に投稿された回答よりも古いと思われる場合にのみ回答を投稿してください（または投稿された回答が他の条件を満たしていないと思われる場合-TCSではないなど）または開いていません）。これは、古い未解決の問題の無差別なコレクションではありません。
8
ダミー/教授向けの共同ツール
2つ以上の異なる機関の共著者がラテックスで論文を書いており、下書きを繰り返しメールで送信するよりもうまくやりたいとします。 彼らは、Dropboxアカウントを無料で開いてパスワードを共有し、自分のコンピューターの紙のバージョンとDropboxの紙のバージョンを同期できることに気付きました。ただし、2人が同じセクションを同時に編集している場合、互いの変更が上書きされます。 また、SVNやGitのようなバージョン管理システムには、並行変更をマージするためのツールがあり、それが合理的に機能すると聞いています。ただし、これらの製品のドキュメントは読みにくいため、論文を書く共著者の基本的なニーズよりも、変更を元に戻す方法やさまざまな「ブランチ」を管理する方法に重点を置いています。 このセットアップでバージョン管理システムを使用する方法について、簡単なステップごとの説明がありますか？ 中央リポジトリ ローカルコピー 「スマート」マージ 枝なし ？ 標準のバージョン管理システムのうち、最も使いやすいのはどれですか？（ここでは、理論的なコンピューターサイエンスの教授と話しています。） バージョン管理なしで、スマートマージと同期するだけの簡単なツールもありますか？ 逆に、バージョン管理システムを使用して単著の論文を書く人も、無制限に元に戻す機能は余分な複雑さの価値があると本当に感じていますか？
8
理論的なコンピューターサイエンス/研究に進む理由
現在、私は大学[コンピューターサイエンス]に進学しており、そこで研究を始める機会がたくさんあります。このウェブサイトを見つける前に、私はこの方法で進むつもりはありませんでした[おそらくAIで働きたいと思っていました。おそらくゲーム開発者です。] この「世界」に参加するよう説得してもらえますか？フォローできる「セグメント」は何ですか？コンピューター科学者や研究者が取り組んでいるトピックの種類について何かありますか？
4
ArXivで公開する最小の結果は何ですか？
本質的に、問題は次のとおりです。 ArXivの最小公開単位は何ですか？ 特に興味深いのは、量子コンピューティングなど、ArXivを広範囲に使用する分野です。しかし、他の分野やプレプリントサービス（ECCCやePrintなど）に関するコメントも歓迎します。 詳細な質問 これは、次の2つの質問に基づいています。 知っていることをいつ言うべきですか？ 論文を書くのに十分な研究結果がいつあるか、どのジャーナルに論文を提出するかをどのように決定しますか 特に、この答えに対する Jukka Suomelaのコメントについて： 結果をできるだけ早くArXivすることは良い考えだと思います。ArXiv原稿は、最小発行単位を構成する必要はないことに留意してください。会議やジャーナルの論文としては明らかに短すぎるとしても、2ページのプルーフをArXivに提出することはまったく問題ないと思います。他の人が解決したい未解決の問題を解決するだけで十分です。 私の分野（量子コンピューティング）では、ArXivで見るすべてのプレプリントは出版レベルのペーパーであり、早期にリリースされるため、会議の議事録やジャーナルのターンアラウンドを待つ必要はありません。出版物レベルではない何かを提出するのは恐ろしいことです。既存の作業の一部またはわずかな延長である結果を提出しても大丈夫ですか？興味深い可能性のある結果を掲載しても大丈夫ですか（つまり、あなたはそれらについていくつかの話をしましたが、誰もが眠りに落ちたわけではありません）。ArXivまたは同様のプレプリントサーバーで結果を共有するタイミングについてアドバイスはありますか？結果を早く共有することはあなたを傷つけますか？ 特定の背景 質問をより個人的なものにするために、さらなる動機付けを含めます。ただし、私（および他の人）が将来従うことができるより一般的なガイドラインを提供する回答を受け取ることを望んでいます。 私は既存の定理を拡張するユニタリーTデザインでいくつかの仕事をしました（ある意味では有用ですが、元の証明はわずかに修正する必要があるだけですので、新しいアイデアはありません;以前の論文の著者は、彼のコメントは「ああ、クールだ、それについては考えなかった」という線に沿っていた。それ」）、いくつかの簡単な結果を証明し、下限の代替証明を提供しました。 私は自分のウェブサイトに掲載するかなり詳細な論文を書きましたが、残念ながら私はそれがどのように大きな画像に収まるかを本当に理解するのに十分な分野で十分に読んでいません（そしてそれが最大の弱点だと思います簡単に克服できました）。私はテキストを主に一種の「私はこれに取り組んだ」メモとして、そして時々私はこのトピックについての講演をするので保持しています。私はかなり穏やかなイントロを作るので、友人にも一度役立ちましたので、彼は彼の作品のいくつかをデザインに関連付けるための基本的な出発点としてそれを使用しました（彼は論文の結果を使用していませんが、定義に関する講義ノートのように）。 これは私がArXivに載せるべき何かの例でしょうか？またはそれを私のウェブサイトに保持する適切な手段ですか？
7
理論上のCSを始めるにはどうすればよいですか？
私はコンピュータサイエンスを勉強している新入生で、理論的な理論に焦点を合わせて学界に進学したいと思っています。私はすでにこの質問で参照されている論文のいくつかを読んでおり、この質問は私をさらに確信させました。 学部生として、この分野に参加するために今何をすべきでしょうか？野外での研究の準備をするにはどうすればよいですか？
8
漸近的成長率のどの定義を教えるべきですか？
標準的な教科書または伝統に従うとき、私たちのほとんどは、アルゴリズムクラスの最初の数回の講義で、大オー表記法の次の定義を教えます おそらく、すべての量指定子を含むリスト全体を提供することもあります。f= O （g） IFF （∃ C > 0 ）（∃ N0≥ 0 ）（∀ N ≥ N0）（f（N ）≤ C ⋅ G（n ））。f=O（g） iff （∃c>0）（∃n0≥0）（∀n≥n0）（f（n）≤c⋅g（n））。 f = O(g) \mbox{ iff } (\exists c > 0)(\exists n_0 \geq 0)(\forall n \geq n_0)(f(n) \leq c \cdot g(n)). f= o （g） IFF （∀ C > …
3
拡張教会チューリング論文
このサイトで最も議論されている質問の1つは、教会とチューリングのテーゼを反証することの意味です。これは、DershowitzとGurevichが2008年にチャーチチューリングテーゼがシンボリックロジックの速報であるという証拠を公開したことも理由の1つです。 -恥知らずな自己宣伝- 私が書いたブログエントリ。） この質問は、Ian Parberryによって定式化された拡張チャーチチューリングテーゼに関するものです。 すべての「合理的な」機械モデルの時間は、多項式によって関連付けられています。 ジョルジオマリネのおかげで、私がしている、以前の紙、Dershowitzの共著者の1つ、と彼、Falkovichの博士課程の学生を学んだ証明公表ちょうどワークショップに現れた拡張チャーチ=チューリングのテーゼ、のの開発を計算モデル2011。 私は今朝、紙を印刷したばかりで、それ以上は何もしませんでした。著者は、チューリング機械はせいぜい多項式のオーバーヘッドで任意の逐次計算装置をシミュレートできると主張しています。量子計算と大規模並列計算は明示的に対象外です。私の質問は、論文の次の記述に関連しています。 推測され、広く信じられているように、使用するデータ構造に関係なく、すべての効果的な実装は、チューリングマシンによってシミュレートでき、時間の複雑さはせいぜい多項式オーバーヘッドであることを示しました。 だから、私の質問：これは、ランダム化のない「真の」逐次計算の場合でも、本当に「広く信じられている」のでしょうか？物事がランダムな場合はどうなりますか？実際にインスタンス化できる場合、量子コンピューティングは反例のようですが、反例となる量子よりも「弱い」可能性はありますか？
8
アランチューリングのコンピューターサイエンスへの貢献
（理論的）コンピューターサイエンスの先駆者の1人であるAlan Turingは、チューリングマシンの定義、教会チューリングの論文、決定不能性、チューリングテストなど、私たちの分野に多くの科学的な貢献をしました。ただし、彼の重要な発見は、私がリストしたものに限定されません。 彼の生誕100周年を記念して、彼の業績をより良く理解するために、コンピューターサイエンスへの彼の重要な貢献のより完全なリストを求めるのは良いことだと思いました。 それでは、コンピューターサイエンスに対するアランチューリングの重要な/影響力のある貢献は何ですか？
6
学術論文のコード
私の学歴では、さまざまなコンピューターサイエンスのトピックに関する学術論文をかなり読みました。その多くは実装とその実装の評価に関係していますが、実際に使用したコードを実際に公開しているものはほとんどありません。 私にとって、実際の実装を含めることの利点は、次のとおりです。 信頼または再現性の拡張（自分でテストするだけです！） あいまいさの明確化（特に非ネイティブスピーカーによって書かれた論文の場合） アプリケーションでのコードの再利用 それでは、実際にコードを含む論文が非常に少ないのはなぜですか？ 論文の背後にある組織が独自のアプリケーションで実装を利用することを意図している可能性があるため、それをリリースしたくないと思いますが、その場合はなぜ論文を書くのでしょうか？
12
理論計算機科学の代数指向ブランチ
私は代数の非常に強い基盤を持っています、すなわち 可換代数、 ホモロジー代数、 場の理論、 カテゴリー理論、 現在、代数幾何学を学んでいます。 私は数学の専攻で、理論的なコンピューターサイエンスに移行する傾向があります。上記のフィールドを念頭に置いて、どのフィールドが理論的なコンピューターサイエンスの最も適切なフィールドに切り替えられるでしょうか？つまり、上記の分野を追求することによって得られた理論と数学的成熟度は、どの分野で有利に使用できますか？
2
TCSはどのようにしてジャーナル指向ではなく会議指向になりましたか？
免責事項：私は自分の研究分野、すなわち形式的方法、意味論、プログラミング言語理論のみを保証することができます。規律の他の部分では状況が異なる可能性があります。 TCSはむしろ会議指向になっているようです。研究者は次の会議での出版を目指しています。ジャーナルバージョンが表示される場合があります。時々そうではありません。 他の学問分野（生物学、数学、私が推測する他のほとんどの分野）では、これは前代未聞です。会議論文の執筆に費やす労力ははるかに少ないですが、会議論文の数ははるかに少なくなります。「本当の取引」は雑誌の出版物です。 この状況が良いか悪いかを議論することは、火炎戦争につながる可能性があり、正確な答えはありません。代わりに、より事実に即した質問を試してみましょう。 どのようにして会議指向になりましたか？会議論文はどのようにこれほど多くの重量を増やしましたか？
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.