J 언어로 된 엔트로피 수식

Question

저는 J 프로그래밍 언어로 약간 연주하고 있습니다. 확률 목록에서 엔트로피를 계산하기 위해 동사를 만들려고했습니다 (이벤트의 결과, 수식은 파이썬에서 이와 같을 것입니다)./pesudocode : -sum([p*log(p,2) for p in ps])).

내가 구성 (@:) 작동을 사용하려고했습니다 버전,하지만 & 포크 다른 일을하고있는 것 같다 후크를 기반으로 한, 그리고 그것이 무엇을을하고 왜 나는 약 신경. 나는 후크 및 포크 포크로 일하는 것을 시도하고있어,이 경우는 나의 직감이 잘못되었다는 것을 증명한다. 여기

코드입니다 :

probs =: 0.75 0.25 NB. probabilties 
    entropy =: +/ @: (- * 2&^.) 
    entropyWrong =: +/ (- * 2&^.) 
    entropy probs   NB. this is correct 
0.811278 
    entropyWrong probs NB. this is wrong! 
1.06128 1.25 
0.561278 0.75 
    NB. shouldn't the following be the same as above (wrong)? 
    +/ (- * 2&^.) probs 
0.811278 

내 질문의 요점은하지 그렇지 않은 이유는 "JS에서 확률의 엔트로피를 계산하는 방법"하지만 "왜 위의 entropyWrong이 무엇을하지 않습니다 및 분명히 옳은 일을 수행한다 "는 내용이다"와 같은이.

Answer 1

entropyWrong 정의는 monadically 사용하는 훅입니다.

entropyWrong =: +/ (- * 2&^.) 

하는 경우 모나드 후크는 (u v) y으로 표시되며 +/은 u이고 (- * 2&^.)은 v입니다. v는 포크입니다. 물론 y는 probs, 명사 인수입니다.

J는 y u v y에 해당하는 것으로 모나 딕 후크의 동작을 정의하므로 u가 y를 왼쪽 인수로, v y를 오른쪽 인수로 사용하여 2 진수가됩니다. 이는 J의 오른쪽에서 왼쪽 실행 명령과 일치합니다.

그런데 포크는 (f g h) y으로 정의됩니다. 여기서 f, g 및 h는 동사이므로 결과는 (f y) g h y입니다. 각 동사는 포크의 타인이라고 기술 할 수 있고 중간 타인 g는 다 이디식이고 f와 h는 모 닛식 일 때 포크를 모나드 적으로 적용 할 수 있습니다.

entropy =: +/ @: (- * 2&^.) 뭔가 다른 것을하고 있습니다. 엔트로피는 형태 u @: v에 그 동사 [:를 사용하여 당신이 엔트로피 @:의 사용을 제거하려는 경우 유

, 당신이 할 수있는 포크 V의 결과를 복용하고 동사에 monadically을 적용하고 . 포크의 왼쪽 구속으로 사용하면 [:은 아무런 결과도 반환하지 않으며 2 진수 대신 모나 딕 중심 타인을 만듭니다.

entropy2=: [: +/ (- * 2&^.) NB. with three verbs this is now a fork 
    probs =: 0.75 0.25 
    entropy2 probs 
0.811278