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

（ウィキペディアからコピーされたとしても）誰かがコンピューティングに適用されるトランザクションの簡単な（しかし、可能な限り単純ではない）説明を提供できますか？

114 database  concurrency  transactions  theory  failover 

RESTfulサービスを使用すると、リソースを作成、読み取り、更新、および削除できます。これは、データベースアセットのようなものを扱うときにうまく機能しますが、これはどのようにストリーミングデータに変換されますか？（またはそうですか？）たとえば、ビデオの場合、各フレームを1つずつクエリする必要があるリソースとして扱うのはばかげているようです。むしろ、ソケット接続をセットアップして一連のフレームをストリーミングします。しかし、これはRESTfulパラダイムを壊しますか？ストリームを巻き戻しまたは早送りしたい場合はどうすればよいですか？これはRESTfulパラダイム内で可能ですか？それで、ストリーミングリソースはどのようにRESTfulパラダイムに適合しますか？ 実装の問題として、私はそのようなストリーミングデータサービスを作成する準備ができています。それを確実に「最善の方法」で実行したいと考えています。この問題は以前に解決されていると思います。誰かが私に良い素材を指摘することはできますか？

101 rest  streaming  theory 

現在のところ、この質問はQ＆A形式には適していません。私たちは回答が事実、参考文献、または専門知識によってサポートされることを期待しますが、この質問はおそらく議論、議論、投票、または拡張された議論を誘います。この質問を改善でき、再開できると思われる場合は、ヘルプセンターにアクセスしてください。 8年前に閉鎖。 ゲッター/セッターメソッドではないオブジェクトメソッド内からオブジェクトのプロパティにアクセスするための「純粋な」または「正しい」方法は何ですか？ オブジェクトの外側からはゲッター/セッターを使用する必要があることは知っていますが、内側からは次のようにするだけです。 Java： String property = this.property; PHP： $property = $this->property; またはあなたはそうします： Java： String property = this.getProperty(); PHP： $property = $this->getProperty(); Javaが少しずれていても許してください。Javaでプログラミングしてから1年になります... 編集： 私がプライベートまたは保護された変数/プロパティのみについて話していると人々が想定しているようです。オブジェクト指向を知ったとき、それがパブリックであっても、すべてのプロパティにゲッター/セッターを使用するように教えられました（実際、変数/プロパティをパブリックにしないように言われました）。それで、私は最初から間違った仮定から始めるかもしれません。この質問に答える人々はおそらくあなたは公共の財産を持っているべきであり、それらはゲッターとセッターを必要としないと言っているようです上手。それはおそらく別の質問に適したトピックでしょう...

96 java  php  oop  theory 

コンピュータがユーザー提供の例によって正規表現を「学習」することは可能ですか？ 明確にするために： 正規表現を学びたくありません。 テキストからパーツを選択するか、開始マーカーまたは終了マーカーを選択することにより、ユーザーがインタラクティブに提供する例から正規表現を「学習」するプログラムを作成したいと考えています。 出来ますか？Googleで使用できるアルゴリズム、キーワードなどはありますか？ 編集：回答ありがとうございますが、この機能を提供するツールには興味がありません。論文、チュートリアル、ソースコード、アルゴリズム名などの理論的な情報を探しているので、自分で何かを作成できます。

94 regex  artificial-intelligence  theory  automata 

閉まっている。この質問はトピックから外れています。現在、回答を受け付けていません。 この質問を改善したいですか？ 質問を更新することがありますので、話題のスタックオーバーフローのため。 8年前に閉鎖されました。 この質問を改善する ＃505 xkcdのホバー「ジョーク」は、「Wolframのルール34でルール34を呼び出します」と宣伝しています。 私はインターネット用語でルール34が何であるかを知っており、Wolframが誰であるかをグーグルで調べましたが、Wolframのルール34が何であるかを理解するのに苦労しています。 では、この「ルール34」とは正確には何ですか？ これがコミックです：http：//xkcd.com/505/。

86 theory  cellular-automata 

実際の現代の正規表現は実際にどのクラスの言語を認識しますか？ 後方参照（例(.*)_\1）を持つ無制限の長さのキャプチャグループがある場合は常に、正規表現が非正規言語と一致するようになりました。しかし、これだけでは、次のようなものに一致するのに十分ではありませんS ::= '(' S ')' | ε—親のペアを一致させる文脈自由言語。 再帰的な正規表現（これは私にとっては新しいものですが、PerlとPCREに存在すると確信しています）は、少なくともほとんどのCFLを認識しているように見えます。 誰かがこの分野で何か研究をしたり読んだりしましたか？これらの「現代の」正規表現の制限は何ですか？彼らは、LLまたはLR文法のCFGよりも厳密に多いか厳密に少ないかを認識していますか？または、正規表現では認識できるがCFGでは認識できない言語とその逆の言語の両方が存在しますか？ 関連する論文へのリンクをいただければ幸いです。

83 regex  perl  theory  context-free-grammar  language-theory 

有向グラフが非巡回であるかどうかを確認するにはどうすればよいですか？そして、アルゴリズムはどのように呼び出されますか？参考にしていただければ幸いです。

82 algorithm  theory  directed-graph  directed-acyclic-graphs 

私はこの質問を見て、ポンピングの補題が何であるかについて興味がありました（ウィキペディアはあまり役に立ちませんでした）。 言語が特定のクラスに入るには、基本的には理論的な証明である必要があることを理解していますが、それを超えると、実際にはわかりません。 非数学者/計算機科学の博士号が理解できる方法で、かなり詳細なレベルでそれを説明しようとする人はいますか？

82 theory  proof  pumping-lemma