나는 상태를 숨기지 않고 이전 출력에서 순수 함수처럼 계산할 수있는 좋은 의사 난수 생성기가 필요합니다. "좋은"에서 말 : 나는 어떤 매개 변수 2^n 반복 그것을 실행하는 (또는 그 중 일부 큰 부분 집합하는) 사이의 모든 또는 거의 모든 값을 포함해야한다는 등의 방법으로 생성 변수화 할 수 있어야합니다 0 및 2^n - 1입니다. 여기서 n은 출력
이 질문을 Code Review -area으로 옮기십시오. 아래의 코드가 쓰레기라는 것을 알고 있기 때문에 필자는 재 작성을 완료하기 위해 중요한 피드백을 원했습니다. 어떻게 파이썬에서 상수 세트를 쓸 수 있습니까? 따라서 범위에 A 인 경우 해당 상수를 반환합니다. [0,10] <-> a
]10,77] <-> b
]77,\inf[ <-> c
냄새가
다음과 같은 최상의 솔루션을 만들기 위해 문제가 있습니다. [0 ... N] 범위의 유한 음수가 아닌 정수가 있습니다. 이 집합의 각 숫자를 문자열로 표현하고 이러한 문자열을 원래 숫자로 역으로 변환 할 수 있어야합니다. 따라서 이것은 전체적인 기능이어야합니다. 추가 요구 사항은 다음과 같습니다 다수의 String 표현은 적어도 어느 정도 원래의 수를 당황
질문은 어떻게 agda에서 bijection을 정의합니까? 정의 : 우리는 알고 숫자 2 + 2 = 2 × 2 = 2^2 = 4
그. 마찬가지로, 우리는 ~ = B는 A와 B 사이의 전단 사 함수가되어 있다는 것을 의미 Bool + Bool ∼= Bool × Bool ∼= Bool → Bool
가 가 f : A → B 각 다른 역함수 g : B →
문자열 S와 숫자 L의 시퀀스가 len (S) = len (L) 인 경우를 가정 해 봅시다. 문자열의 문자와 시퀀스의 숫자 사이에 바이어스를 찾을 수있는 가장 깨끗한 방법은 각 문자가 하나의 숫자와 일치하도록하는 것입니다. 어쩌면, 예를 들어, "AABBCC는"115522과 일치해야하지만 123456 또는 111111 나는 두 dicts 및 루프와 복잡