logic

2熱

5答えて

私は、古いサイトから新しいサイトの同等のページへの着信リンクのリダイレクトを処理するための正規表現をまとめています。着信リンク： /reservations/inn_details.asp?num=717 私はバックエンドでそれを行う必要はありませんので、私は正規表現で次のような状況に対処することができます願っていますリダイレクトされたリンク： /reservations/property-de

2熱

2答えて

Coqに∀x（P（x）とQ（x））を書くにはどうすればいいですか？

私はCoqを試していますが、私は何をしているのか完全にはわかりません。です： Theorem new_theorem : forall x, P:Prop /\ Q:Prop 相当： ∀x (P(x) and Q(x)) 編集：私は、彼らがいると思います。

4熱

8答えて

数式を個々の変数の式に変換するにはどうすればよいですか？

式を個々の変数の式に変換するにはどうすればよいですか？私は任意の式を処理できる機能を持っている、と私は、個々の変数の数式をさせていただきたいと思い c^2 = a^2 + b^2 ：私のような数学の方程式について考えています。上記の式は次のように生成します： a = (c^2 - b^2)^0.5 b = (c^2 - a^2)^0.5 c = (a^2 + b^2)^0.5 私もで始

2熱

3答えて

SQL関数質問

この問題の検索パラメータが問題になるため、私自身は答えを見つけることができません。以上は、私が扱う必要がある1つの列の内容です。クエリの結果は、カッコ内の部分のみである必要があります。問題は、カッコ内に2つの情報を保存するプログラムが1つあります。その場合、最初の列にLATTER（info 1）を追加し、さらに2番目の列をinfo 2に追加する必要があります。私は、たとえば、左括弧がいく

10熱

12答えて

複雑な「if」ロジックを支援するツールはありますか？

私の個人的なプログラミングの悪魔の1つは、常にif文（または同様のもの）によって制御される必要がある複雑なロジックです。必ずしも必ずしも複雑であるとは限りません。時には少数の州だけが説明される必要があります。開発者が設計時に「状態」を見て、コードを簡単にするためにコードをリファクタリングする対策を講じるためのツールやステップはありますか？私はそれらの線に沿って行列か何かを描くことを考えています.

0熱

1答えて

キャッシュクエリはORMで結果を返します - 任意のサブセットクエリを満たす

私はN/Hibernateが以前に見たクエリを満たすためにキャッシュを使用し、それをクエリキャッシュといいます。ただし、そのクエリのサブセットを満たすことはできますか？私はそれを理解する一般的な問題は決めることができないと思うので、私は想像しません。これを行う方法はありますか？ $ 20未満のすべてのウィジェットのクエリがあるとします。後で、$ 10以下のすべてのウィジェット用のクエリがあります

0熱

2答えて

PHP：オブジェクト内に疑似結合メソッドを作成する

クエリのような条件文を処理できるオブジェクトを作成しようとしています。これは、2つの条件を一緒に「結合」して、使用されている「結合」のタイプに基づいてそれらの間の依存関係を作成することができるためです。 public function addCondition (Condition $condition, $join = null) { $this->conditions[] = $c

2熱

2答えて

例外スタック内の特定の例外を見つけるためにどのように

は「SomeExceptionは」がされるタイプのものであり、私たちはex.InnerException.InnerException.InnerExceptionを想定してみましょう、私たちは特定の例外は「SomeException」例外スタックの一部であることを前提としていそうをしてみましょう例外スタック内の特定の例外タイプを見つけることを試みるC＃の組み込みAPIがありますか？例： S

7熱

9答えて

論理ステートメントを減らすには？

私は大学レベルのコースの1つでこのようなことをしていることを覚えていることができますし、何らかの種類の式があることを覚えていますが、私の心はそれを超えて失敗しています。文を考える：（OR BまたはD）AND（OR C）私はこれがに減少させることができることをかなり確信している：（AまたはBまたはDまたはc）しかし、私はそれをどのように証明するかについて覚えていません。多分それは一連のロジッ

-1熱

4答えて

三項演算子とA、B、C以外の場合C.重要な違いはありますか？

JavaScriptでこれを行うにはいくつかの方法があります。最も重要かつ最も読みやすいと柔軟はおそらくです：*割り当てると連携し、読みにくくているだけで、他の if (a){ //b } else { //c } 何かがされています var foo = 'c'; if (a){ foo = 'b'; } 私の主な質問は、しかし、についてです私が考