equality

1열

2답변

참조가 C++의 특정 객체를 가리키고 있는지 확인하십시오.

참조가 C++의 특정 객체를 가리키는 지 어떻게 확인할 수 있습니까? int x(0); int& xR = x; if(xR == x) { //xR is refering to x } else { //xR is not refering to x }

c++ reference equality 2017-11-10

---

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

equality coq 2017-11-11

---

5열

1답변

Haskell 행렬 평등 실패

일부 양자 변환 행렬을 구현하기 위해 Haskell을 사용하는 것이 엉망입니다. 나는 square matrix가 unitary인지 아닌지를 테스트하기위한 함수를 가지고있다. 역행렬과 adjoint 행렬을 만들고 둘 다 테스트하면된다. 랩가 어느 값을 테스트하는데 사용되는 간단한 함수 인 함수가 다음과 같다 는 역로부터 반환. 행렬은 다음과 같이하기 때 진정

haskell matrix equality 2017-11-14

---

1열

1답변

어떻게 'String # reverse'가 non-'String '객체를 반환 할 수 있습니까?</p> <pre><code>class Word < String end w = Word.new("level") y = w.reverse y.class # => Word </code></pre> <p>1) 어떻게 이런 일이 가능 :

나는 클래스 Word이? Word#reverse은 String을 반환하는 String#reverse을 상속하므로 String을 반환해야합니다. 따라서 둘은 magic과 동일한 방법을 가지고 class Word < String attr_accessor :s def magic @s = Time.now end end y

ruby equality return-type 2017-11-14

---

-1열

1답변

.NET Delegate 이상한 최적화

.NET Reference 소스를 탐색하면서 https://referencesource.microsoft.com/#mscorlib/system/delegate.cs,196에서 복사 된 다음 코드 조각을 찾았습니다. public static Delegate Combine(Delegate a, Delegate b) { if ((Object)

c# equality 2017-11-15

---

0열

2답변

파이썬은 문자열을 비교하지 못합니다.

저는 파이썬에서 이상한 문제에 직면하고 있습니다. 나는 미로가있다. x는 벽을 의미하고, g는 목표이고, s는 출발점이며, 숫자는 하나의 숫자에서 다른 숫자로 이동하는 포털이다. (예를 들어, 2로 가면 당신을 기타 2). xxxxxxxxxxxxxxxxxxxx x2 x x xxx x x 1 x xxxxx x x s x x x x x

python equality boolean-expression 2017-11-24

---

7열

2답변

Julia 배열의 모든 요소가 같은지 확인하십시오

배열 arr의 모든 요소가 동일한 지 여부를 테스트 할 수있는 가장 짧은 방법은 all(arr[1] .== arr)입니다. 이것이 확실히 짧은 동안, 그것은 조금 우아하지 않은 것처럼 보인다. 이 작업을 수행하는 내장 함수가 있습니까? ==(arr...) 행에 뭔가있는 것으로 의심 되나, == 연산자는 두 개의 인수 만 취할 수 있기 때문에 작동하지 않습니

arrays julia-lang equality 2017-11-30

---

0열

2답변

Typescript (각도 4의 경우)에서 문자열 동일성을 확인하는 올바른 방법은 무엇입니까

각도 4에서 현재 URL을 확인하고 "/ login"과 같은지 확인하려면 특정 양식을 제출해야합니다. 다음은 코드입니다. let responseString=this.router.url; console.log(responseString); if (responseString.match("/login")==null) this.submitForm();

string angular typescript equality 2017-12-01

---

1열

2답변

프롤로그 : 문자열의 첫 번째와 마지막 문자가 좌우의 괄호 ('{'& '}')인지 확인합니다.

저는 프롤로그를 처음 사용하는 사람이므로 매우 익숙하지 않습니다. SWI-prolog에서 swipl을 사용하고 있습니다. 문자열이 구불 구불 왼쪽 브래킷으로 시작 ('{')과 오른쪽 구불 구불 한 브래킷 (로 끝나는 '}'나는 온라인 읽고 일부 answers 프로그램에 저를 이끌어가} 경우 나는 확인하려면 . 문자열이 왼쪽 구불 구불 브래킷로 시작하는지 확

string prolog equality 2017-12-03

---

7열

2답변

패턴 일치로 생성 된 함수가 Eq 유형 제약 조건을 가지고 있지만 데이터 생성자를 사용하지 않는 이유는 무엇입니까?

이유 ghci는 I가 패턴 매칭을 통해 제작이 함수 matchInt의 형태 서명에 equality type 제약을 나열 않는다 : 단순 데이터 생성자를 사용할 때 이에 $ ghci GHCi, version 8.2.1: http://www.haskell.org/ghc/ :? for help Prelude> :{ Prelude| matchInt 1 = 3

haskell equality typeclass ghci algebraic-data-types 2017-10-25

---