タグ付けされた質問 「history」

私は通常、空の文字列（空の単語または空の文字列）にシンボルを使用します。しかし、一部の人々は代わりにを使用することを知っています。λ εεε\varepsilonλλ\lambdaεε\varepsilon は「空」という言葉から派生したと思います。ただし、起源はわかりません。λεε\varepsilonλλ\lambda オートマトン理論には、オートマトンのイプシロン遷移があり、ラムダ遷移とも呼ばれます。たとえば、JFLAPソフトウェアは、デフォルトでイプシロン遷移のラベルにを使用します。λλ\lambda オリジンをグーグルで検索してcs.stackexchangeを検索しましたが、見つかりませんでした。誰もこれを説明するリファレンスを知っていますか？

14 formal-languages  automata  reference-request  notation  history 

文献は、プリミティブ乗算を備えたユニットコストRAMが不合理であることをかなり明確にしています。 チューリングマシンでは多項式時間でシミュレートできません 多項式時間でPSPACE完全問題を解くことができます ただし、このトピック（Simon 1974、Schonhage 1979）で参照できるすべての参照には、ブール演算、整数除算なども含まれています。 加算、乗算、および等式のみを持つRAMの「合理性」の結果はありますか？つまり、ブール演算、切り捨てられた整数除算、切り捨てられた減算などを持たないものはどれですか？ そのようなRAMはまだかなり「不合理」だと思うでしょう。主な赤旗は、線形時間で指数的に大きな整数を生成できることであり、乗算の畳み込みのような効果により、これは特に複雑になる可能性があります。ただし、これによりあらゆる種類の「不合理な」結果（チューリングマシンの指数関数的高速化、PSPACEとの不合理な関係など）が可能になることを示す結果は実際には見つかりません。 文献にはこのトピックに関する結果がありますか？

13 complexity-theory  reference-request  computation-models  history 

誰かがクライアントサーバーモデルの起源を知っているかどうか疑問に思っていました。この用語の由来はどこですか（紙、ソフトウェアアプリケーション、書籍）？

13 terminology  reference-request  distributed-systems  history 

ラプラス変換が画像処理の畳み込みに人気がないのはなぜですか？ほとんどの教科書は、フーリエ変換のみを変換します。

12 history  image-processing 

計算可能性理論は再帰理論とも呼ばれています。なぜそう呼ばれているのですか？なぜ再帰がこれほど重要なのでしょうか？

12 computability  terminology  history 

タイトルはすべてを語っていますが、定理の証明者がどのようにして「イザベル」と名付けられたのかがはっきりしないので、私は興味があります。人にちなんで名付けられましたか？一部のGoogle検索では見つけられませんでした。

11 history  automated-theorem-proving  isabelle 

職場では、動的言語に関する型情報を推論する必要があります。次のように、ステートメントのシーケンスをネストされたlet式に書き換えます。 return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then { T; Z } else { F; Z } 一般的なタイプ情報から始めて、より具体的なタイプを推測しようとしているので、自然な選択は絞り込みタイプです。たとえば、条件演算子は、trueブランチとfalseブランチの型の和集合を返します。単純なケースでは、非常にうまく機能します。 ただし、次のタイプを推測しようとしたときに、思わぬ障害に遭遇しました。 function …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

私はチューリングの「コンピューティング機械とインテリジェンス」の論文（https://www.csee.umbc.edu/courses/471/papers/turing.pdf）を読んでいて、彼が言う断片を見つけました： 私はマンチェスターのコンピューターに、わずか1,000ユニットのストレージを使用する小さなプログラムをセットアップしました。これにより、16桁の数字が1つ供給されたマシンが2秒以内に別のマシンに応答します。私は誰もがこれらの返信からプログラムについて十分に学ぶことを無視して、未知の値への返信を予測できるようにします。 それは私には機械学習の問題のように見えます:)しかし、私のAIへの関心を脇に置いて、私の質問は次のとおりです。 このプログラムが何をしていたのか誰か知っていますか？ 私は非常に好奇心が強いです。 PS：入力と出力の長さから見て、それは暗号化アルゴリズムだったと思いますが、実際のプログラムへの手がかりをいただければ幸いです。

10 algorithms  history 

いくつかの考えられる説明を聞いたので、信頼できる参照をお願いします。 更新05.19：私の学生の1人が彼の論文で名前が以下の説明（1）から来ていると書いたので、私は質問に興味があります。今までは説明（2）から来ると思った/聞いた。私は彼の論文で間違ったことを許すことと、それが正しいかもしれないならそれを削除するように彼に言ったことの両方に気分が悪いでしょう。 （1）区間内の整数の検索を考えます。質問を使用して、ステップ番号の桁の2進数を尋ねることでそれを見つけることができます。N I I T H[ 0 、2n − 1][0,2n−1][0,2^{n-1}]んnn私ii私トンの時間ithi^{th} （2）要素のサーチスペースがある場合、スペースの残りの部分を2つに繰り返し分割する質問によって未知の要素を見つけることができます。2ん2n2^n そして、はい、私は（2）が（1）と同じアルゴリズムを与えることができることを知っていますが、それはここでのポイントではありません。（2）は、より一般的な問題にも適用できます。

9 terminology  reference-request  history 

私がタイプ理論より先に進んでいる最先端技術について、これらの質問はすべてタイプの歴史に関連しています。 タイプのアイデアはどこから来たのですか？（ラッセルとホワイトヘッドが今日ラッセルのパラドックスとして知っている矛盾を回避する方法を提案するとき、すべてが始まるようです、私は正しいですか？） タイプの概念を検討する前に、似たようなものはありましたか？（たぶんセットの改良版ですが、ラッセルの明確な参照は見つかりません）。 最初に正式な条件にしたのは誰ですか？（ラッセルはこの1908年の論文を書いたのか、それとも？

8 type-theory  history 

私はgoogle scholarで参照を検索していて、最初の言及を1963年頃のどこかに限定しました。1949 年には非常に奇妙なジッタでした。 だから、私は引用のための間隔グラフを導入する元の紙を追跡しようとしていますが、それは今のところかなりとらえどころのないものでした。

7 graph-theory  reference-request  history 

私は現在、コンピューターサイエンスの学位論文のために、分散ハッシュテーブルの領域に関するトピックを研究しています。当然のことながら、私は質問に来ました。分散ハッシュテーブルという用語の由来です。（私はそれをハッシュテーブルの配布から単に導出することはロケット科学ではないことを知っていますが、誰かがどこかでそれを考え出したに違いありません）。 私が読んだほとんどの論文は、一貫したハッシュとそれを利用した最初のアルゴリズムの1つ（Chordなど）に関するオリジナルの論文を参照していました。私は80年代に分散データベースに関する多くの研究があったことを知っているので、この用語、またはおそらくその背後にある考えは、15年以上古いものである必要があると思います。 この質問の背後にある動機は、以前の日付と、おそらく同様のアイデアの別の用語を知っていると、私の研究のために収集できる有用な情報の範囲が広がる可能性があるということです。たとえば、他の人が私がしたいことと同じように何をしたか、どこで失敗したか。など 構造化オーバーレイネットワークを検索キーワードとして使用して、このトピックについてさらに詳しく調べようとしましたが、結果の定義/論文も非常に若いため、結局、研究トピックはそれほど古くないかもしれません。 分散ハッシュテーブルや構造化オーバーレイネットワークのトピックに関する以前の研究（90年代以前かもしれません）を知っている人はいますか？私がもっと歴史的な論文につながるようなキーワードを聞いてよかったです。

7 data-structures  terminology  distributed-systems  hash-tables  history 

私はmath.stackexchangeでこの質問をしましたが、ここにリダイレクトされました。 私の質問は、動的システムの分野（および最適制御などの関連分野）と（理論的）コンピュータサイエンスの間に歴史的な関係があるかどうかです。私がこの質問をする理由は、現在主に理論的なコンピューターサイエンスに焦点を当てていると考えられているいくつかの古い主要なジャーナルが、もともとコンピューターサイエンスと動的システムの両方に捧げられていたためです。 そのようなジャーナルの例としては、例えば、Journal of Computer and System Sciencesがあります。主にその始まり（しかし、私はこれらの時間を覚えるには若すぎます）で、コンピューターサイエンスとシステムサイエンスの両方に関する論文を発表しました。どちらの分野も等しく重要であるように思われました。さらに、ジャーナルInformation and Controlの名前も、最適な制御との関係を示唆しています。ただし、このジャーナルは常に理論的なコンピュータサイエンスと情報理論に焦点を当てていました。 したがって、これらのフィールド（今日では、私の知る限り、大幅に異なると見なされている）に共通点があるのか​​、またはこれらのフィールドを関連があると見なす目的があるのか​​と思います。

7 history