タグ付けされた質問 「research-practice」

理論における研究の*実践*に関する質問CS

6
CS論文の実証結果
私はCS分野に不慣れであり、私が読んだ論文の多くには経験的な結果がないことに気づきました(コードはなく、補題と証明だけです)。何故ですか?コンピュータサイエンスは科学であると考えると、科学的な方法に従うべきではないでしょうか。

2
論文を出版するには?
私の人生の大部分でソフトウェアエンジニアであるため、「アカデミック」な種類の論文を出版することから始める方法がまったくありません。私の最新の研究の中で、私が解決してきたタスクのための興味深いアルゴリズムを見つけました(金融市場でのいくつかの計算に関連して)。素晴らしい結果ではありませんが、同様のタスクを実行する人々にとって興味深いものになると思います。それを公開したいと思います。 私はもちろん仕事で研究論文を幅広く使用しているため、研究論文のスタイルに精通しています(Google Scholarとそこにいるすべての善良な人々に感謝します)。 LaTeXを使用すると、数学者の友人がたくさんいて、私の論文をチェックして、見栄えを良くすることができます。 しかし、次に何をすべきかはまったくわかりません!私はどの学術機関にも有名な研究機関にも所属していません。小さな地元の会社で働いています。この会社はいくつかの論文にその名前を載せることができますが、この名前は誰にも言いません。この分野で研究をしている人は誰も知りません。つまり、誰ともコミュニケーションを取ったことがありません。 紙を送る適切な場所を見つけるにはどうすればよいですか?何らかの推奨事項やレビューが必要ですか?それらを入手する方法と場所はどこですか?私のステップは何ですか?..あなたがプロの科学者であれば、これらすべてがあなたにとって絶対に明白なものであることを理解しますが、どこから始めればいいのか分かりません:)


1
議事録とジャーナルバージョンの間に必要なデルタ
最近、ジャーナルと議事録(SODA)のバージョンとの間に大きな違いがないという理由だけで、論文がジャーナル(TALG)から拒否されました。 私がジャーナルに投稿する主な理由は、徹底したレビュープロセスです。それ以外に、SODAの20ページの制限は、私が言いたいことすべてには十分すぎるほどです。実際、デイビッド・ジョンソンは、SODAの群衆に「ジャーナル版のために物を保存しない」ように繰り返し求めてきました。 何かアドバイス?

16
プレゼンテーションに使用するツールは何ですか?
この分野の人々(理論的なコンピューターサイエンス)がプレゼンテーションを作成するためにどのツールを使用するのか疑問に思っていました。多くのコンピューターサイエンスは論文を書くだけでなく、プレゼンテーションも行うので、これは重要なソフトな質問になると思いました。これは、論文を書くのにどのツールを使用するかという前の質問に触発されました。私が見た最も一般的なものは次のとおりです。 ビーマー Microsoft PowerPoint ラテックス GraphViz 私が見逃している他のトリックがあるかどうか疑問に思っていましたか?

5
コラボレーションのバージョン管理(単語レベルの差分を使用)
現在、ほとんどの論文は共同で書かれており、共同研究者はしばしば異なる場所にいます。私は常にドキュメントとコードにバージョン管理システムを使用しており、共同ソフトウェアプロジェクトにはバージョン管理も重要であると考えていますが、理論的には多くの研究者が共同論文の作成に使用を避けているようです。共同作業者に、バージョン管理(リビジョン管理)が連携するための良いアイデアであることを納得させるには、いくつかの前提条件があるようです。 改行や段落の特定の一連の規則について全員に心配させたり、タブ/スペースの変換を回避したりすることはできません。 誰かが小さな共有ドキュメントリポジトリの無料ホスティングを提供し、テキストレベルの差分を処理できるテキストドキュメントフレンドリーなバージョン管理(行ベースではない)を提供していますか? そうでない場合は、経験に基づいた他の提案を歓迎します(憶測を避けましょう)。 私はGit、Subversion、Mercurial、darcs、またはBazaarをwdiffで単語レベルの違いを処理するようにセットアップし、公開キー(たとえばssh経由)で保護されたアクセスをセットアップする簡単な方法を考えていました。しかし、私が見たバージョン管理プロバイダーはどれも、このようなものを提供していないようです。科学的なコラボレーションでは、これらの企業の多くが強調する「エンタープライズ」機能はあまり重要ではありません(多くのブランチ、tracとの統合、サードパーティによる監査、階層プロジェクトチーム)。しかし、ワードレベルの差分は重要であるように見えますが、サポートされていません。私の経験では、テキストファイルの行レベルの差分では、タブをスペースに変更したり、その逆の問題を引き起こしたりする段落やエディターの再フォーマットを避ける必要があります。また、多くの誤った編集の競合があるようです。 コラボレーション用のツールに関する関連する質問、およびTeX.SE上の関連する質問、LaTeXドキュメントのバージョン管理およびバージョン管理用のLaTeXパッケージに関する質問を参照してください。主要なバージョン管理システムの1つにすぎないホスティングプロバイダーの大規模なリストについては、SVNホスティング比較レビューチャートも参照してください。 編集: TeX.SEの質問「Subversionに最適なLaTeX対応diffおよびマージツール」に対するJukka Suomelaの回答は、これまでの最良の提案のようで、単語レベルでのデルタの解釈方法を網羅しています。さらに、Jukkaは、リポジトリ側の連続するバージョン間の違いが、競合の検出と変更のマージに使用されるユーザーレベルの違いとはどのように異なるかを説明しました。TeX.SEでのJukkaの回答は、同時編集とマージを明示的に除外し、代わりに従来のアトミック編集トークンに依存して編集の競合を回避しています。元の質問を明確化(および変更)しますが、行の違いではなく単語の違いに基づいて編集の競合を確実に解決する方法はありますか?言い換えれば、できますwdiffまたは行末の違いと空白の違いを無視できる方法と同様に、バージョン管理ツールの競合検出部分に同様のツールを統合しますか?

2
NP困難問題のNP硬度証明は寄与と見なされますか?
他の場所、例えば論文[XYZ]でNP困難であると主張されている問題を解決しています。[XYZ]で提供されるNP硬度は複雑で、高度な技術を使用します。いくつかの研究と作業の後、私はNP硬さの簡単で明確な証拠を与えることに成功しました。これが貢献と見なされるかどうか疑問に思っていますか?私は自分の仕事をやる気にしようとしていますが、同様の道を見つけることができませんでした。 これが尋ねるのにふさわしい場所なのか、学界に行くべきなのかわかりませんか?


7
研究データの整理
これは、あなたが何かをしたこと、なぜそれをしたのか、何が機能していないのかを追跡することが重要であると答えた、この精神の質問です。私はその目的のためにノートブックを個人的に使用しますが、いくつかの欠点があります。1つ目は多くのストレージサーフェスが必要で、2つ目は旅行中にデータにアクセスできず、最後に共同作業ができないことです。ただし、強力な利点があります。ノートブックは、実験ノートと同等のものとして使用できます(各ページに署名する人を見つける必要があります...)。 だから、私は他の研究者がその問題についてどのように進んでいるかを知ることに興味があります。たとえば、私が言及したすべての問題を解決する特定のソフトウェアはありますか?

1
リストに順番を維持
注文のメンテナンスの問題(または「リスト内の注文の維持」)は、操作をサポートすることです。 singleton:1つのアイテムでリストを作成し、そのポインターを返します insertAfter:アイテムへのポインターを指定すると、そのアイテムの後に新しいアイテムを挿入し、新しいアイテムへのポインターを返します delete:アイテムへのポインタを指定すると、リストから削除します minPointer:同じリスト内のアイテムへの2つのポインターを指定すると、リストの先頭に近い方を返します 私は、償却時間ですべての操作を実行するこの問題に対する3つの解決策を知っています。それらはすべて乗算を使用します。O (1 )O(1)O(1) Athanasios K. Tsakalidis:一般化リンクリストでの順序の維持 Dietz、P.、D. Sleator、リスト内の順序を維持するための2つのアルゴリズム Michael A. Bender、Richard Cole、Erik D. Demaine、Martin Farach-Colton、およびJack Zito、「リスト内の順序を維持するための2つの簡略化されたアルゴリズム」 A C 0にない算術演算を使用せずに、償却時間のリストで順序を維持できますか?O (1 )O(1)O(1)A C0AC0AC^0

1
アルゴリズムの設計と複雑さ-その「方法」でどう考えるか?
私の質問は一般的なものです:アルゴリズムの設計と複雑さの観点から考え始めるにはどうすればよいですか?アルゴリズム設計の大学院課程を受講します。私は以前に登録していましたが、それに追いつくことができなかったため、後で削除しました。このコースを必須条件として受講する必要があります。 このように考える「トリック」はありますか?私はこれが非常に大雑把に言っていることを知っていますが、時々新鮮な視点は主題について異なって考えるのに役立ちます。 このコース(および同様の理論的コース)で私が抱えている主な問題は、私が思いついた解決策が正しいことをどのようにして知ることができるかということです。特定のアルゴリズムが特定の方法で動作または動作することを「証明」する場合、特に理論的な部分はarbitrary意的であると思いますか? コースでは、標準テキスト「CLRSによるアルゴリズムの紹介」を使用します。 教科書/サイト/書籍/などはありますか?それはこの分野に自信を持つ方法を提供するかもしれない? 皆に感謝します、 ジェイソン・デイン

1
言語クラスの階層、クロージャーのプロパティなどを概説した本/調査紙はありますか
現在、レギュラー以上でコンテキストフリー以下の言語のクラスを含む形式言語の研究を行っています。私は、反転境界付きマルチカウンターマシン、シングルスタックカウンターマシン、決定論的CFLなどのようなものを見ています。 誰かがこれらの言語の特性を概説する良い本や調査論文を知っているのだろうかと思っています。私が見ているもののほとんどは、ホプクロフト・ウルマンの本、1979年版にさえ含まれるにはあまりにも曖昧すぎるか、あまりにも新しいものです。 主に、互いに含まれる言語クラス、これらの言語のクロージャープロパティ、およびこれらの言語の基本的な問題(F問題)の決定可能性を探しています。 このリファレンスで調べることのいくつかの例: 反転限定マルチカウンターマシンで受け入れられるすべての言語は、反転限定でない単一カウンターマシンでも受け入れられますか? 決定論的な反転境界MultiCounter言語は、左右の連結の下で閉じられていますか? シングルカウンターマシンの普遍性は決定可能です。 これらは単なる質問の例であり、日々の仕事で出てくる他の多くのものがあります。 出発点として、どの論文がオスカーイバラの「反転限界マルチカウンターマシンとその決定問題」を引用しているのかを追跡してみましたが、多くは見つかりませんでした。

3
理論的コンピューターサイエンスの研究には何が含まれますか?
理論的なコンピューターサイエンスの研究に含まれるものを理解しようとしています。理論的なコンピューター科学者は何をしますか? 私は、教育、大学院生の監督、資金の申請、学部の職務にかなりの時間が費やされていることを知っています。脇に置いて、研究時間をどのように費やしていますか?あなたが通常行う主な活動は何ですか?論文を読んだり、考えたり、会議を開いたり、文書を書いたりすると思います。他に何かありますか?

1
博士課程の開発; 文献レビュー戦術
正しい領域かどうかはわかりませんが、ここに行きます。 通信ネットワークの信頼と評判管理の博士号(グラフ理論、確率論的分析など)を始め、たくさんの本を読んでください。 誰もが学術的リーディングを管理するための最良の方法や、文献レビュー/進捗レポートなどについて注意すべきことをアドバイスできますか?

2
理論的なコンピューターサイエンスの未解決の問題を解決するための大規模なオンラインコラボレーション
Polymathプロジェクトでは、大規模なグループが未解決の問題に取り組んでいます。 このフレームワークではどのような問題が最も効果的であると思われますか? 理論的なコンピューターサイエンスのpolymathプロジェクトに適した候補はありますか? 数学の他の領域と比較して、Polymathプロジェクトが理論的なコンピューターサイエンスで成功する可能性を低くする障害はありますか?

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.