equality

1熱

2答えて

参照がC++の特定のオブジェクトを指していることを確認する方法はありますか？私はこのような何か意味：彼らは同じアドレスを持つことになります int x(0); int& xR = x; if(xR == x) { //xR is refering to x } else { //xR is not refering to x }

3熱

1答えて

Streicher_K_ Axiomの使い方

誰かに簡単な例を教えてもらえますかStreicher_K_公理Coq.Logic.EqdepFactsから？はたぶん単純な事実を示すために：私もある、Streicher_K_でそれを証明する方法を見つけ試行錯誤によって Variable A:Type. Variable x:A. Axiom SK:Streicher_K_on_ A x (fun p:x=x => (eq_refl x) =

5熱

1答えて

ハスケル行列の等価性が失敗する

私はいくつかの量子変換行列を実装するためにHaskellを使いこなしています。私は逆行列と随伴行列を構築し、両方をテストすることによって、正方行列が単一であるかどうかをテストするように設計された関数を持っています。機能ラップが逆から返されたいずれかの値をテストするために使用される単純な関数であり、以下に示されています。それは、以下に示す行列を取得するときにtrueを返し、正常に動作しますいくつか

-1熱

1答えて

.NET Delegate奇妙な最適化

.NET参照ソースを参照しているうちに、https://referencesource.microsoft.com/#mscorlib/system/delegate.cs,196からコピーされた次のコードが見つかりました。 public static Delegate Combine(Delegate a, Delegate b) { if ((Object)a == nu

0熱

2答えて

Pythonは文字列の比較に失敗します

私はPythonで奇妙な問題に直面しています。私は迷路を持っています、壁のためのxの立場、gは目標です、そして出発点は数字です。数字はあなたをある数字から他の数字へと導くポータルです（例えば、2のいずれかに行くと、その他2）。 xxxxxxxxxxxxxxxxxxxx x2 x x xxx x x 1 x xxxxx x x s x x x x x xxxxxxx x

7熱

2答えて

Julia配列のすべての要素が等しいかどうか確認してください

配列arrのすべての要素が等しいかどうかをテストするための最短方法はall(arr[1] .== arr)です。これは確かに短いですが、それはちょっと面白くないようです。これを行う組み込み関数はありますか？ ==(arr...)の行に何かがあると思われますが、==オペレータは2つの引数しか取れないため、動作しません。私はジュリアがarr[1] == arr[2] == arr[3]のような式をどの

0熱

2答えて

Typescript（角4の場合）で文字列の等価性をチェックする正しい方法は何ですか

角4では、現在のURLをチェックしたい場合は「/ login」と等しい場合は特定のフォームを送信する必要があります。コードは次のとおりです。 let responseString=this.router.url; console.log(responseString); if (responseString.match("/login")==null) this.submitForm

1熱

2答えて

Prolog：文字列の最初と最後の文字が左右の角かっこ（ '{'＆ '}'）であることを確認する

私は非常にプロローグの新人です。 SWI-prologでswiplを使用しています。私は、文字列が波線左ブラケット（で始まるかどうかを確認したい「{」）と右の波線ブラケットで終わる（「}」} 私がオンライン読んでいるいくつかのanswersは、プログラムに私をリードしてきました start_left_squiggle([Letter|_]):- Letter = '{'. 。文字列

0熱

1答えて

Pylintは、このコードスニペットを考えてみましょう

「です」でリテラルに文字列を比較する文句： my_string = 'asdf' print(my_string is 'xfje') #R Pylintは、私がerror message wikiに見つけることができませんでした二行目、上の勧告R0123を返します。それの言及は、しかし、this part of the docsである：リテラルの比較（R0123）：あなたはしたくないものを

1熱

3答えて

C言語の文をJavaに変換する（Array [] []！= 0）

C言語のコードをJavaに変更していますが、これまで見たことのない文の構文があります。その意味は。 for (unsigned int i = 0; i < SIZE; i++) { count[2 * SIZE + 1] += grid[i][SIZE - 1 - i] != 0; } 2つの配列の要素を追加するとき、私は '！= 0'の後に来ることはありませんでした。この声明