commutativity

2열

1답변

JavaScript에서 reduceRight의 네이티브 구현이 잘못되었습니다.

a 배열 요소에 대한 연관 작업 f의 경우 다음과 같은 관계가 유지되어야합니다. a.reduce(f)은 a.reduceRight(f)과 같아야합니다. 실제로 연관성과 교환 성 모두의 연산에 대해서는 사실입니다. 예를 들어 : var a = [1,2,3,4,5,6,7,8,9,0]; alert(a.reduce(add) === a.reduceRight

0열

1답변

잘못된 첨자 : maple17의 물리학 및 정류자

"Physics [Commutator]"에 대한 메이플 17 도움말의 첫 번째 예를 기반으로 다음을 시도했습니다. 누가 잘못 된 건지 알아? with(Physics); Setup(mathematicalnotation = true); e1:=[Z[1],Z[2]][-]; Error, invalid subscript Typesetting:-mam

0열

1답변

프롤로그에서 commutativity 구현 시도

기술 자료를 만들려고합니다. 내 문제는 terminal/1 및 connected/2 가지고 있는데 다음과 같은 규칙을 정의 : 지금 (내가 생각하는) 이해 이유로 connected(X,Y) :- connected(Y,X). , 이것은 무한 재귀 들어갔다. 그럼 검색해 보았는데 다음 질문을 발견했습니다 : Alternative to express "Com

1열

1답변

Z3에는 연관/교환 연산자 체인에서 하위 수식의 일치를 용이하게하는 기능이 있습니까?

사용자 정의 교환 및 연상 연산자 op가 있다고 가정 해 보겠습니다. 두 개 이상의 인수가있는 op를 사용 중이므로 아래 코드는 유효하지 않습니다. 잠시 동안 그것이 유효하고 "op가 적용되는 방식"이 의미가 없다고 가정 해 봅시다. (declare-sort T 0) (declare-fun op (T T) T) (declare-fun P (T) Bool

1열

3답변

프롤로그에서 분열의 환성

방금 프롤로그를 배우기 시작했고 이해하지 못하는 문제가 발생했습니다. 내가 물어 보면 : ?- fail; true. 프롤로그 답변 : 내가 예상 뭔가 true 입니다. 그러나, 경우 내가 물어 : ?- true; fail. 프롤로그 답변 : true ; false. .. 그리고 나는 이유를 이해하지 않습니다를. 분리 연산자는 교환 가능해

4열

1답변

곱셈은 교환 가능하지 않습니까?

ECMAScript 언어 사양 specifies은 곱셈 연산자가 교환 가능 (A * B == B * A)이라는 것을 나타냅니다. 그러나 A 나 B에 대입 연산자가 포함 된 경우에는 유지되지 않습니다. 예를 들어 나는 브라우저의 콘솔에 다음을 입력하면 : var x = 1; (x + 2) * ((x = 4) + 1); 15을 준다, 그러나 : var x

7열

2답변

연관성, commutativity 등에 대한 함수를 자동적으로 결정 론적으로 테스트

두 개의 인수의 또 다른 함수를 취하여 그 함수가 연관 적인지 여부를 결정하는 더 높은 차수 함수을 구성 할 수 있습니까? 비슷한 질문이지만 commutativity와 같은 다른 속성에 대해서도 마찬가지입니다. 불가능할 경우 모든 언어로 자동화 할 수있는 방법이 있습니까? Agda, Coq 또는 Prolog 솔루션이있는 경우 관심이 있습니다. 모든 가능한

1열

1답변

내부 조인의 연관성과 commutativity SQL

이 스키마가 있다고 가정 해 봅시다. Boats _____ bid bname Reserves ________ sid bid date Sailors _______ sid sname 내측 조인은 연관성과 교환 성이 있어야한다는 것을 알고 있습니다. 그러나 나는 왜 그런지 이해할 수 없습니다. SELECT sname, bname F

5열

2답변

Prolog에서 "Commutativity"를 표현할 수있는 대안은 무엇입니까?

은 Prolog 초보자로서 Prolog에서 교환 적 표현이 매우 직관적이지 않음을 알았습니다. family(X,Y) :- married(X,Y); relative(X,Y); father_son(X,Y). 나는 또한 "교환 법칙이 성립"하게하기 위해, 정의에 다음을 추가한다 : 나는 X와 Y를 표현하려는 경우 예를 들어 처

1열

1답변

부스트 제공은 make_zip_range입니까?

여기에 : https://stackoverflow.com/a/20703588/1593077 코멘트는 make_zip_iterator과 비슷한 유용한 구조를 제안합니다. 범위의 튜플을 취하여 새로운 범위를 만듭니다. begin() 및 end() 반복자가 적절한 zip 반복자입니다. 이제 구현하기가 너무 어렵지는 않지만, 이미 부스트가 이미 제공 한 것이 아닌