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

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

7
TCSにドキュメンテーション前のポジションはありますか？
博士号を取得する前に、研究を記録した最近卒業した学士号または修士号の学生が研究者として働くためのポジションはありますか？ TCSには、博士号を取得したばかりの卒業生が教員職に応募する前に研究を行うためのポスドクの文化があります。学士号または修士号の学生が博士号を申請する前に研究を行うための同様のメカニズムはありますか？特に、彼らがすでに研究記録を持っている場合（たとえば、いくつかの発表された論文）。私はそのような役職について聞いたことがありますが、通常、それらはあなたの現在または将来の監督者を通じています。これらの個人的なつながりよりも正式な、業界または大学/研究センターでの他のオプションはありますか？ このようなポジションの目標は、フィールドで、または長期にわたってコミットする前に博士号取得を検討している研究所で働くことです。 関連する質問： コンピュータサイエンティストの修士号を取得している場合、どのようなキャリアオプションがありますか？ 異なるPhDプログラム間の決定 編集： いくつかの回答をした後、純粋に（またはほぼ完全に）研究の立場であるという点で、ポスドクに類似することに関心があることを強調したいと思います。PhDアプリケーションの準備のためにコースを受講するプログラムは、PhDアプリケーションの準備をすることではなく、研究を長期的にやりたいことを確実にするための研究を行うことなので、面白くありません。
2
暗号化の基礎に関するやる気を起こさせる講演
この質問は、高校一年生のための感動的な話と同じ要領です。私の博士号 顧問は、与えることを私に尋ねた感動の話新しい修士のために 学生。主題は暗号の基礎であり、Goldreichの本に最もよく示されています。講演には約1時間かかります。主な構成（一方向関数/置換、疑似ランダムジェネレーター、ゼロ知識証明、暗号化/署名方式など）を学生に理解してもらい、解決し、フィールドで未解決の問題。 とてもやる気のある話にしていきたいです。主な問題は2つあります。 暗号化の基礎には、計算量の理論を非常によく理解する必要があります。悲しいかな、修士号 学生はこの理論に関連するコースを通過していません。 修士課程のトピックとして、いくつかの問題を提示する必要があります。定説。フィールドには未解決の問題がたくさんありますが、それらのほとんどはM.Scにとって難しすぎます。学生。 提案は大歓迎です。さらに、私は同様の話へのポインターに非常に興味があります。 編集：ゴールドライヒの学生のリストは非常に刺激的であることがわかりました。他のそのようなリストを検索しますが、同様のリストを知っている場合は私を助けてください。参照：一般的な修士論文と研究の謎を解く：いくつかの修士論文の物語。
5
オートマトン理論/形式言語論文のトピック
こんにちは、私は現在、オートマトン理論のいくつかのブランチに関係する、または形式言語に関連する、しっかりした修士論文のトピックを見つけようとしています。許容できるトピックとは何か、野心的ではあるが同時に実行可能な何かについて、いくつかの良いアイデアを生み出そうとしています。 どんな提案でも大歓迎です！
1
プログラミング言語理論が答えようとしている「質問」とは何ですか？
私はしばらくの間、結合論理、ラムダ計算、関数型プログラミングなどのさまざまなトピックに興味があり、それらを研究してきました。ただし、「計算能力」の質問、つまりさまざまな制約で計算できる/できないものに答えようとする「計算理論」とは異なり、「プログラミング理論」の類似物を見つけるのに苦労しています。 ウィキペディアはそれを次のように説明しています： プログラミング言語理論（PLT）は、プログラミング言語とその個々の機能の設計、実装、分析、特性評価、および分類を扱うコンピュータサイエンスの一分野です。 これは、実際には特定されていない「すべて」を言うようなものです。 トピックの一般的な進行は通常、次のようになります。 組み合わせ論理>ラムダ計算>マーティンロフ型理論>型付きラムダ計算>（ここで何かが起こる）>開発されたプログラミング言語-CL / λとの接続がほとんどないλλ\lambda 私は、CL / λλ\lambda関連する根本的な「数学」と、チャーチ・ロッサーの定理を含む結果として出てくる興味深い証明を見ることができます。しかし、私はこのすべての事業の「最終目標」を理解するのに苦労していますか？あなたがそうするなら、PLT の聖杯は何ですか？今のところ、それは知的なかゆみを掻くだけのようですが、私は実際に研究/理論から実用的なものへの橋を渡ることはできません。 λλ\lambda
8
CS修士号または博士号を取得するには、どのような数学のコースを受講すればよいですか？
私は独学でプロのプログラマーです。私はそれはかなり得意ですが（Ruby、Unix、Clojure、Java、Objective-C）、今はCSでマスターまたはPhDプログラムを申請することで、次のレベルに引き上げようと考えています。この目標に備えるために、数学のどのトピックを勉強すればよいですか？
2
理論的なコンピューターサイエンスの未解決の問題を解決するための大規模なオンラインコラボレーション
Polymathプロジェクトでは、大規模なグループが未解決の問題に取り組んでいます。 このフレームワークではどのような問題が最も効果的であると思われますか？ 理論的なコンピューターサイエンスのpolymathプロジェクトに適した候補はありますか？ 数学の他の領域と比較して、Polymathプロジェクトが理論的なコンピューターサイエンスで成功する可能性を低くする障害はありますか？
1
パラメータ化された複雑性は複雑性理論の未来になるのでしょうか？
私はアルゴリズムと複雑さの理論に取り組む研究者であり、ある程度パラメータ化された複雑さを使用しています。私には、パラメータ化された複雑さの研究者は、研究論文の数に関して非常に活発である（私が他の人がそうでないことを意味するわけではない）ようです。通信の複雑さ、演算の複雑さなどの研究者も、さまざまなパラメータを大幅に使用していることがわかりました。 質問： パラメータ化された複雑性は複雑性理論の未来になるのでしょうか？未来とは、研究論文の数、その分野で働く研究者の数などを意味します。 私は世間知らずで、多くのことに気づいていないかもしれないことに注意してください。
1
スティーブンクックは、実際に証明する前に、SATがNPハードであることを示すことの重要性を理解しましたか？
私が正しく理解している場合、問題がNP困難であることを証明するには、NPにあるすべての可能な問題B iを選択し、各B iのインスタンスをマップする多項式時間計算可能関数を使用して、問題がAに減少することを証明する必要があります。Aのインスタンスに。あAAB私BiB_{i}あAAB私BiB_{i}あAA 最初のNPハード問題を見つけたら、削減を使用して、他の多くの問題がNP完全またはNPハードであることがわかります。しかし、これは状況次第だと思います。運が悪ければ、問題はすべてAに減少するかもしれませんが、Aはどこにも減少しないため、証明は本質的に役に立ちません。B私BiB_{i}AAAAAA 私の質問は、SAT問題がNP難しいことを示す背後にあるスティーブンクックの動機についてです。彼はこの問題の背後にある多くの可能性を見ましたか？この問題がNP困難であることを示した場合、他の多くの問題もNP困難であることが示される可能性があることを彼は知っていましたか？ 要するに、この証明の背後にある物語は何ですか？いくつかの基本的な複雑さの理論を研究した後、この証明はこの分野で最も重要なものの1つであるように思えます。
1
会議やワークショップでの話し合いを理解する
私はインドの大学院生です。著名な教授によるワークショップ、会議、招待講演への参加にとても興味があります。 いつものように話の終わりに何人かの人々は質問をし、スピーカーはそれらに答えます。しかし、私の問題は、質問と回答のほとんどを理解していないことです。質問してもスピーカーの答えがわかりません。 誰かが自分の経験と私の問題への提案を共有できますか？
3
他の人の作業をarXivに提出する
これは、arXivでの非独創的な作業を提出するための専門家のベストプラクティスであると人々が考えることを確立することを目的とした、やさしい質問です。 RobertSzelepcsényiによるシカゴ大学のウェブスペースに記事のドラフト[1]があり、卒業研究中に10年以上前に書いたようです。仕事は正しいようで、いくつかの非常に小さなエラーを法として、シカゴ大学がそのウェブスペースで何をするつもりかとは無関係に、私が参照したい結果が含まれています。その単一の場所でのみ利用できるようです。そして彼の結果を複製する公的に利用可能な作品はないようです。 一部はその正確さを確保するために、その草案の結果と動機を要約して、本質的には[1]の要約であり、うまくいけば、既存のドラフト。私は確かにこれらのノートを自分のウェブスペースにオンラインで配置できますが、現時点では、arXivが将来の参考のためにこのドラフトを提出する最も責任のある場所のようです。 質問。 正しい帰属を仮定し、これらの結果が他の方法で広く利用できないことを前提として、arXivでSzelepcsényiの結果のドラフトを提出しない特別な理由はありますか？ [1] 複合モジュラスを使用したLogspace MODクラス（暫定版） — Postscriptファイル
5
論文を書くのに十分な研究結果が得られたとき、および論文をどのジャーナルに投稿するかをどのように決定しますか
CSのいくつかの研究分野では、非常に興味深い結果が得られました。現在、それらの公開を検討しています。私たちのグループでは、哲学はすぐに小さなものを会議論文に掲載することですが、これは問題ありませんが、最善ではありません。現在、これらの「小さなもの」をさらに収集し、インパクトファクターが2を超えるJCR論文に掲載することを考えています。ここでの質問は、JCRジャーナルにまともな論文を作成するのに十分な資料がある場合、どのように決定するのですか？さらに、これが大丈夫だと思ったら、どのジャーナルに論文を投稿するかをどのように決めますか？ PS： JCRはJournal Citation Reportsを参照します。JournalCitation Reportsは、すべての科学分野で最も代表的で関連性の高いジャーナルとその影響要因に関する情報を収集する広範なリストです。
1
計算の複雑さの理論と複雑なシステムの理論の間に関係はありますか？
計算複雑性理論は、固有の難しさに従って問題を分類します。 複雑なシステム理論は、システムの個々の部品の特性から明らかに発生しない動作を示すシステムを扱います。例としては、カオスシステム、複雑な適応システム、非線形システムなどがあります。 これらの分野の間に正式な橋はありますか？ 価値のあることとして、セルオートマトンで暗号化を実行するという概念は新しいものではなく、今年の初めに Applebaum、Ishai、およびKushilevitzは計算の難しさを伴う「複雑さ」を識別しました。
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.