1 계산 가능한 bijective 기능 만 구현할 수있는 프로그래밍 언어? f 가 계산 가능한 형용사 함수 인 경우에만 함수 구현 (또는 표현) 할 수있는 프로그래밍 언어 (또는 논리)가 있습니까?에프: N → Nf:N→Nf:\mathbb{N}\to \mathbb{N}에프ff 10 reference-request programming-languages logic reversible-computing
1 가역 컴퓨팅의 "입력 저장"방법에 대한 결함은 무엇입니까? 저는 가역 컴퓨팅에 관해 읽기 시작한 학부생입니다. Landauer의 원리로 인해 돌이킬 수없는 계산은 열을 소산합니다 (가역적 인 것은 열을 방출하지 않음). 나는 가역 컴퓨팅에 대해 들어 본 적이없는 교수님과 함께 연구했으며, 가역 컴퓨팅 이론이 왜 사소한 것이 아닌지 이해하기가 어려웠습니다. 그의 요점은 항상 입력을 저장할 수 있다는 것입니다. 즉 함수 … 9 computability reversible-computing