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

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

4
技術的なバックグラウンドがなくてもプログラマーに簡単に説明できるTCSの興味深い結果
あなたは、いくつかのプロのプログラミングコース（/自己思考）を受講しているが、大学レベルの数学を勉強していないプログラマーと会うとします。 TCSの美しさを示すために、TCSから寄せられた素晴らしい結果/未解決の質問を集めて、簡単に説明したいと思います。 この目的に適した候補（IMHO）は、停止する問題を決定できないことを示します。もう1つは、比較ベースの並べ替えの実行時間の下限を示します（ただし、それは、私が理解することを期待しているものから少し押し出されています）。 また、Explain P = NP問題から10歳までのアイデアを使用することもできますが、それらのいくつかはそれに慣れていないことが前提です。 したがって、質問は次のとおりです。 （0.美しい） （せいぜい）高校の数学で説明可能。 （できれば）プロフェッショナルなプログラミングコース（C ++ / Java / Web /など）で表示するほど簡単ではありません。
1
計算機理論と分析力をより良いものに使用するにはどうすればよいですか？
学問以外では、私の「力」の用途は何ですか？論文の教育と出版以外に何ができますか？どこですべての力を適用できますか？ 議論のために：アルゴリズム/ TCSで博士号を取得し、多くの「もの」を学び、既存のアルゴリズムなどに画期的な限界を見つけたと仮定してください。また、アルゴリズム分析にも強い足がかりを持っています。 、近似/ランダム化アルゴリズム、数学プログラミングなど、 質問の背後にある理論的根拠：この分野の人々の非学歴のキャリアオプションに興味があり、一部の学生に「理論ではない」ことや、 、本質的外の世界に。 PS：学ぶべきことがたくさんあると答えてはいけません。トピックXXXを試してみてください。キャリア/プロの開発の観点から興味があります。Operations Research（OR）がIMOにのみ適しているようです。他にどんなオプションがありますか？
4
アランチューリングドキュメンタリー
アランチューリングの100歳の誕生日を祝うために、彼の人生についてのドキュメンタリーを見たいです。ただし、選択できるドキュメンタリーはいくつかあります。 アラン・チューリングに関するドキュメンタリーはどれがお気に入りですか？ 回答ごとに1つのドキュメンタリーのみを含めてください。
6
コンピュータサイエンスの大学院へのアドバイス
アドバイスやフィードバックを探しています。 背景：私は理論計算機科学（計算の複雑さ、グラフ理論、組み合わせ論）に興味がある学部の数学の学生です。コンピューターサイエンスの博士号を取得し、理論に焦点を当てたいと思います。 私のバックグラウンドは、コンピューターサイエンスの数学的に集中した分野にありますが、コンピューターサイエンスのより応用されたバックグラウンドが不足しています。具体的には、PhDプログラムの前提条件として、プログラミング、アルゴリズム、オペレーティングシステム、およびデータベースのコースを完了する必要があります。私はこれらのコースを卒業前に合わせることができません。これを改善するために、私は労働力を入力し、MSパートタイムを修了し（MSの費用を支払うことができます）、MS学位を取得したらフルタイムのPhDプログラムに入ります。 質問：学部課程を修了するとすぐに博士課程プログラムに入学するCS学生とは対照的に、博士課程プログラムに入学する前にパートタイムで修士課程を修了すると不利になりますか？私が働いている職務はCSに関連しており、CSプログラムに移行可能なスキルを与え、より集中的な研究に導くのに役立ちます。私はこの道が私にどんな種類の不利益も与えないことを願っています（博士課程プログラムへの受け入れという点で）。私はMS論文の追跡に興味があり、MSの学位を取得するのに少し時間がかかるかもしれないことを理解しています（パートタイムだからです）。述べたように、MSが完了すると、私はフルタイムの博士課程プログラムに入ります。 フィードバックとアドバイスを探しています。ご協力いただきありがとうございます！
3
会議論文の否定的なレビューを書く方法は？
これは、「論文を審議するにはどうすればよいですか？」という一般的な質問に関連しています。私は会議用の論文をレビューしていますが、この論文は公表するのに十分ではなく、技術的な詳細のいくつかに欠陥があるため、却下されるべきです。論文は間違っていませんが、正しい方法はあまり興味深いものではありません。そのような設定で否定的なレビューを書くにはどうすればよいですか？さらに重要なのは、非上級研究者としてこれをどのように行うのですか？ 例として、彼らは数値を通して議論の一部を作りますが、私は同じ結果を分析的に証明することができます。分析処理は、レビューに含めることができるものよりも長いです。著者のメールを知っています（レビュープロセスは両方の方法で盲目的ではありません）。これは会議ですので、改訂の時間はありません。彼らは自分の論文を拒否することに怒っていますか？レビューを受け取る前または後にメールで通知する必要がありますか？ 論文もまばらに引用されており、既存の文献とは強く結びついていません。関連する文献の多くの側面に精通しているので、さらに読む/参照する際にどの程度詳細に勧告する必要がありますか？ 一般的な質問を抽出するには： 若手研究者はどのようにして否定的なレビューを書きますか？ 標準のレビューには長すぎる特定の技術的なコメント/改善がある場合はどうすればよいですか？
7
数学的分析と計算の複雑さ？
計算の複雑さには、大量のコンビナトリクスと数論、確率論からのいくつかのイングリディエンス、および新たな量の代数が含まれます。 しかし、分析者である私は、この分野への分析の応用があるのか​​、それとも分析に触発されたアイデアがあるのだろうかと思います。これに少し対応するのは、有限群のフーリエ変換だけです。 手伝って頂けますか？
3
各提出後に不満を感じる
私は「トップ20」大学の3年生で、きめ細かい複雑さ（3-SUM、OV、および一般的な一般的な硬度の推測で遊ぶこと）に取り組んでいます。私はこの一年かそこらでかなり生産的であり、3論文が承認され、2論文が提出されました。私はかなり経験豊富な大学院生であり、これから説明しようとしていることは逸話ではありません。 提出するたびに、満足よりも不満が多くなります。問題の作業を開始する直前に、私とアドバイザーは、答える必要がある具体的な質問のリストを特定します。多くのことを考えた後、私たちは多くの幸福と満足感を与える非常に素晴らしい非自明な結果を持っています。すべての結果を書き始めると、必然的に、ポップアップが表示されますが、進行がはるかに困難になる、より興味深いバリエーションがいくつかあります。最初の多幸感ポイントの後、すべてが下り坂になっているように感じます。回答が必要なバリアントも非常に多く、明らかに問題が目前にありますが、私にはできません。私たちが論文を提出する頃には、その論文の結果がほとんど取るに足らないように思えてとてもがっかりしています。おそらくこれは単にトンネルのビジョンですが、私はすることができます これは毎回発生しており、これが一般的な感情かどうか疑問に思っています。理論コミュニティの他の人々も同じように感じていますか？これが学界全体の気持ちなのかどうかはわかりません。他の分野からの私の仲間の大学院生は、すべての提出後に月を越えています（しかし、これは単なる逸話です）。 編集-フロントページに別のソフトの質問があることがわかります。別のものを追加して申し訳ありません。そのホリデーシーズンと（だけ？）いくつかの飲み物の後、人はこれらのものについて熟考し始めます！
2
ラムダ計算は、計算可能性の直感的な概念をどの程度正確にキャプチャしますか？
私は何を、なぜ、どのように -calculusに巻き込もうとしていましたが、「なぜそれが機能するのか」を理解することができませんか？λλ\lambda 「直感的に」Turing Machines（TM）の計算可能モデルを取得します。しかし、この -abstractionは、私を混乱させます。λλ\lambda TMが存在しないと仮定しましょう-そして、計算可能性のこの概念をキャプチャする -calculusの能力について、どのようにして「直感的に」納得させることができますか。すべての機能とその構成可能性のために多数の機能を持つことは、どのように計算可能性を意味しますか？ここで何が欠けていますか？私はそのことについてアロンゾ教会の論文を読んでいますが、私はまだ混乱しており、同じものについてより「くすんだ」理解を探しています。λλ\lambda
3
TCS での
私は理論的なコンピューター科学者ではありません。私はカテゴリを使用した安定したホモトピー理論家です。カテゴリ理論とトポス理論の理論計算機科学への応用を見てきましたが、理論計算機科学で∞カテゴリ（そしてできれば私にとって安定ホモトピー理論）を使用できる方法があるかどうか疑問に思っていました。HoTT mughtはそのようなアプリケーションの1つであると思いますが、HoTTについてほとんど何も知らないので、私は非常に間違っているかもしれません。（したがって、TCSでHoTTがどのように使用されるのかもわかりません。）∞∞\infty∞∞\infty
7
制御理論と理論計算機科学の間の学際的なトピック
私は2年生で、TCSとはあまり関係のない修士課程に在籍していますが、願っています。基本的には制御理論、信号、システムに関するもので、高度なシステム（ロバスト、非線形、最適、確率）、高度な信号処理、凸最適化のクラスを取りました。 私は論文の論文に取り組むための良い領域を見つけようとしていますが、何らかの形でTCSの主題に関連することができるかどうか疑問に思っていました。 関係があると考えることができる唯一の領域は最適化ですが、私は特に何も心に留めておらず、主題全体が非常に興味深いものです。 両方の世界に属すると思われるトピックを共有できれば素晴らしいと思います。 PS：この質問はこのQ＆Aサイトの範囲外である可能性があります。したがって、終了する価値があると感じた場合、私は完全に同意します。ありがとう！
4
もっと「理論志向」になるには？
これについては、前もっておび申し上げます。閉じた正しい答えのないソフトな質問です。これはおそらく私の質問をするのに最適なフォーラムです。 私は、米国のトップ15の学校の理論グループの3年生です。これまでのところ、私はきちんとやっています。私はこれまでに第一著者の理論論文と第一著者の実用論文を持っています。私のアドバイザーは私のスキルを磨くのを手伝ってくれましたが、行き詰まってしまいました（そして無力になりました）。 これまでのところ、私の顧問は、常に正しい方向を示し、研究問題への答えを見つけるのに役立った正しい質問（抽象的すぎず、具体的すぎない）を提示する助け手と指導力でした。もっと「自立した」、つまり正しい質問をして結果を証明しようとすると、悲惨に失敗し、すぐに圧倒されたと感じます。私は理論博士課程の学生の成熟度をまだ持っていないように感じます。そこでは正しい質問を自問し、答えを出すことができます。言い換えれば、正しい定義といくつかの手持ちを考えると、私は物事を行うことができますが、そうでなければ、それは非常に困難になります。証拠を書くことになると、私のずさんなことも助けにはなりません。 スキルを磨き、物事をより早く把握し、手持ちをあまり必要としない「理論志向」になる方法についてのアドバイスを探しています。一つの答えは単に仕事を続け、経験が私を賢くすることを願うことですが、これがどのように機能するかはわかりません。私が持っている唯一の解決策は、実際に私の地域の最近の論文を調べて、できる限り詳細に証拠を手書きで書き、証拠を書くスキルを直し、直観を構築することです。 どんなアドバイスも非常に役立ちます。質問が不明な場合や詳細が必要な場合はお知らせください。
1
ジャーナルバージョンの会議論文エラーの修正
会議論文で、証明するために -completeness問題のを、私は「問題がであることは明らかである愚かな文を書いた N P。だから我々はそれがあることを証明する N Pは -hard」。実際、それはまったく明確ではありませんでした。それも未解決の問題のようです。主な結果は N P硬度であり、したがって多項式アルゴリズムを設計することが不可能な「困難」であるため、対象読者にとっては大した問題ではありません。N PNP\mathsf{NP}N PNP\mathsf{NP}N PNP\mathsf{NP}NPNP\mathsf{NP} しかし、もちろん、ジャーナル版の間違いを修正したいと思います。 私の質問は次のとおりです。ジャーナルペーパーで、会議バージョンの間違いを指摘して修正するにはどうすればよいですか。 「カンファレンス版に間違いがあります：...」と書くべきですか？または、会議のバージョンが間違っていたことを言わずに正しい結果を述べる必要がありますか？アドバイスは大歓迎です。
1
ジャーナルはTCSコミュニティにどのように役立ちますか？
過去には、ジャーナルは科学的/数学的な発見が広まり、吟味される主な方法でした。一部の地域では、まだそうです。ただし、（理論的な）コンピューターサイエンスでは、その役割はほぼ完全に会議とオープンなWebベースの普及（arxivや個人のホームページなど）によって実行されます。 TCSジャーナル（ToCやJACMなど）はまだありますが、それらは主に会議にすでに登場しており、通常はarxivプレプリントがある論文を公開しているようです。だから私は彼らがどのような価値を付加しているのか理解していない。 ジャーナルはTCSでどのような目的に使用されますか？ ジャーナルを支持する3つの議論を聞いたことがありますが、説得力のあるものは見つかりません。 ジャーナルは、会議よりもレビューの基準が高いと思われます。会議のレビューには時間的なプレッシャーがかかりますが、それでも同じレビュアーのプールです（そして、レビュアーが論文を読むために与えられる時間は、彼らが実際に論文を読むのに費やす時間とはほとんど相関がありません）。レビュアーとして、私はジャーナルのレビューリクエストを基本的に、カンファレンスの外部レビューとは異なる方法で扱いません。 ジャーナルバージョンは会議バージョンよりも高品質です。これは事実ですが、ほとんどの人はどちらも読まないので、意味がありません。論文を読みたいときは、それを検索して最も有望なリンクをクリックします。これはほとんどの場合、arxivバージョンです。したがって、私が論文のジャーナル版が存在する場合でも、それを読むことは非常にまれです。 ジャーナルは、論文が登場した会議の上に追加の質の高いシグナルを提供できます。これは、無駄であり、ごくわずかなシグナルに多くの労力を費やしているようです。 私は招待されたときだけTCSジャーナルに提出しました。このプロセスは余分な仕事を生み出し、何年も引きずるので、面倒です。したがって、私はそうでなければ提出する傾向はありません。提出する正当な理由はありますか？
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.