問題タブ [logic]

この問題の検索パラメーターを思い付くのに問題があるため、自分で答えを見つけることができません。

上記は、処理する必要がある 1 つの列の内容です。クエリの結果は、括弧内の部分のみになります。問題は、括弧内に 2 つの情報セットを保存する 1 つのプログラムがあることです。この場合、LATTER ( info 1 ) が最初の列に必要なものであり、さらにinfo 2の 2番目の列を追加する必要があります。

そのため、if 句と、たとえば左括弧の数を数えるための変数を組み合わせる必要があると想像しています。左括弧 = 2 の場合は .... そうでなければ、左括弧 = 1 の場合は ....

しかし、SQLでそれを行う方法がわかりません。また、例の情報1 / 2を分離する方法もわかりません。

この例の結果は次のようになります。

いつものように、ここでヒントを待ちながら答えを探してみます。ありがとう！

たとえば、次のようにします。

与えられたこの種のロジックをどこに置きますか？

推奨しますか：共有プロパティを持つ抽象クラス/インターフェースに共通のリファクタリング、CreateOrderTicketと呼ばれるメソッド

または、

CreateOrderTicketを公開する共通サービスの作成

明らかに3つのcreateOrderTicketメソッドは必要ありませんが、メソッドの追加、継承、オーバーロード、およびジェネリックの使用は、1つの動作を抽象化するためだけに高コストのように思われます。

簡単な例として、（現在）OrderItemベースクラスまたはインターフェイスがないと仮定します。

ヘルプ！！:)

psすべての継承オブジェクトに同じ名前を使用させることなくオーバーロードする方法はありますか？

ハングマンゲームを書いています。自分自身とゲーム ロジックの両方でロジック エラーが発生しています。Char 推測 (ユーザーが推測した文字) が、ベクターのguessArray の正しいメモリ スロットに追加されていません。word がユーザーによって入力された単語であるとします。

これは、guessArray が生の配列である場合に機能すると思います。これがベクトルで機能しない理由はありますか?

編集: このコードでの私の目的は、すべての推測されていないスペースと推測されたスペースを同じ for ループで数えることです。正しい出力が得られるように、以前の推測を「覚えておく」必要があるだけです。与えられた単語 = "アップルソース":

等

Lemme はシナリオを説明します: ファイルのすべてのメタデータ、つまり、タイトル、作成者、件名、およびカスタム属性を取得する必要があります (カスタム属性は固定されておらず、固定されておらず、任意の数値にすることができます)。

このStruvtureを保存するために、次のようなDBを設計しました：MainTable：FileID、FileName、Title、Author、Subject

およびカスタム属性を保存するには（番号と名前は固定されていないため）

(カスタム属性名の保存) テーブル AttrType: AttrID、AttrName、AttrType (文字列または数値)

(カスタム属性値を保存) およびテーブル AttrValues: FileID、AttrId、AttrValue。

これで、すべてのファイルのメタデータが nin ファイルに書き込まれ、適切なデータを適切なテーブルに配置できるように、いくつかのロジックを作成する必要があります。私は完全に立ち往生しています。どこから、どのように始めればよいかわかりません。私を助けてくれる人はいますか。

大変感謝しております。

クライアント側で行われるWebアプリケーションの作業はますます増えています。UI操作、入力事前検証（もちろん、検証の最後の手段としてではありません）、ウィジェット、エフェクトなど。

Javascript / GWT /その他で記述されたドメインロジックをクライアント側に配置することにした場合はどうなりますか？サーバーはデータベースインフラストラクチャを提供するだけです。

これはあなたにとって実行可能に聞こえますか？このアイデアに対する経験、アドバイス、意見はありますか？

編集：ざっと見てみると、php / python / java/whateverの1行なしでアプリケーション全体を作成できることがわかります。

私の論理では明らかなエラーだと確信していますが、何が間違っているのかわかりません。簡単に言えば、セキュリティ コードの配列リストがあり、セキュリティ コードの各組み合わせ間の相関関係を計算したいと考えています。私のコードは次のとおりです。

私が得る出力は -

----- GOOG
GOOG - GOOG - Correlation is 1.0000000000000002
GOOG - YHOO - Correlation is 0.6986623807707519
GOOG - MSFT - Correlation is 0.7275411317567286
GOOG - CSCO - Correlation is 0.8122979333663799
GOOG - AAPL - Correlation is 0.8217785260604609
GOOG - ADBE - Correlation is 0.6102679356472099
GOOG - DISH - Correlation is 0.644852624453125
GOOG - NSOL - Correlation is 0.11600387177879072
GOOG - SBUX - Correlation is 0.6694306410719489
GOOG - PSFT - Correlation is -0.09921822861087544 GOOG - XOM - Correlation
is 0.6728272039489009
GOOG - WMT - Correlation is 0.4004364090315347
GOOG - IBM - Correlation is 0.7559988282095168
GOOG - JPM - Correlation is 0.7085525367336528
GOOG - DNA - Correlation is 0.13628949379947575
GOOG - HPQ - Correlation is 0.7819350018750656
GOOG - KO - Correlation is 0.5700932682157461
GOOG - VZ - Correlation is 0.737881573641585
GOOG - INTC - Correlation is 0.7654127298771953
GOOG - SPY - Correlation is 0.8042488406758052
GOOG -PEP-相関は0.6297924741882344
GOOG -WFC -WFC-相関は0.5064491351161948 GOOG
-ABT-
相関
は0.238752389446595
GOOG -QCOM -COM -COM -COM -0.54 -COPATION IS 0.54 -COPREATION IS 0.54 -COPRICATION IS 0.54 -FOM COPREATION IS 0.54 -FOM COPREATION IS

しかし、私は決して得ません

YHOO - GOOG - 相関関係は....etc.etc.

これは単純なエラーだと確信しており、何らかの理由でそれを拾っていません。

相関計算を 2 回行っていることはわかっています。この部分が意図したとおりに機能するようになったら、これを修正します。

さらに情報を提供する必要がある場合はお知らせください。

次のような式の論理式パーサーを作成しようとしています：（（VariableA-> VariableB）AND NOT VariableC）パーサーは、変数の特定の値に対して結果がtrueかfalseかに関係なく、返すことができるはずです。

基本的に、式には変数、論理演算子（または、含意、等価、否定、括弧）のみが含まれます。

この種のパーサーを実装するための最良の方法は何ですか（ASTツリーまたは逆ポーランド記法を使用）？それとも、その仕事をすることができるいくつかのオープンソースパーサーがすでに存在しているのでしょうか？

私のSQLテーブルは（メッセージ、作成）のようなものです

互いに X 秒以内にある行を選択したい。最後のメッセージが NOW() から X 秒以内にあるとしたら、それを選択する必要があります。最後から 2 番目のメッセージが最後のメッセージから X 秒以内にある場合は、それも選択する必要があります。つまり、各行を次の行と比較してチェックする必要があります。最後の行については、NOW() と言ってチェックする必要があります。基本的に、メッセージの最後のセッションが必要です (つまり、X 秒以内の連続したメッセージが互いにリンクされていると仮定して、互いにリンクしたメッセージの最後のセット)

このための SQL クエリを作成する方法がわかりません。それは可能ですか？

どうぞよろしくお願いいたします。

質問

最も効率的な MGU アルゴリズムは何ですか? その時間複雑度は? スタックオーバーフローの回答で説明するのは簡単ですか?

Google で答えを見つけようとしていますが、ACM サブスクリプションを介してのみアクセスできるプライベート PDF を見つけ続けています。

SICP で 1 つのディスカッションを見つけました: here

「最も一般的な統一アルゴリズム」とは何かについての説明: 「自由変数」と「定数」を含む 2 つの式ツリーを取得します。たとえば、

次に、Most General Unifier アルゴリズムは、2 つの式を同等にする最も一般的なバインドのセットを返します。例えば：

「最も一般的な」とは、代わりに{x ↦ 1}and {z ↦ 1}and をバインドできることを意味しますが、それはe1and とe2同等になりますが、より具体的になります。

SICP の記事は、それがかなり高価であることを暗示しているようです。

情報については、私が尋ねている理由は、型推論にもこの「統一」アルゴリズムが含まれていることを知っており、それを理解したいからです。

次のステートメントの対比を構築しようとしています: A が 0 または B が 0 の場合、A*B は 0 です。

これが私の試みです: A*B が 0 でない場合、A は 0 ではないか、B は 0 ではありません。

元のステートメントは true ですが、A*B が非ゼロになるためには AとB の両方が非ゼロでなければならないため、対比は偽です...何か間違ったことをしていますか?