두 개의 인수의 또 다른 함수를 취하여 그 함수가 연관 적인지 여부를 결정하는 더 높은 차수 함수을 구성 할 수 있습니까? 비슷한 질문이지만 commutativity와 같은 다른 속성에 대해서도 마찬가지입니다. 불가능할 경우 모든 언어로 자동화 할 수있는 방법이 있습니까? Agda, Coq 또는 Prolog 솔루션이있는 경우 관심이 있습니다. 모든 가능한
기계 튜링과 문제 해결에 관한 질문이 있습니다. 우리 ATM을 = 및 {M 튜링 기계 및 w이다 (M, w)의 입력} 있다고 가정 HALTtm = {(M, W) M은 튜링 기계이고는 입력 w와 정지 } 내가 HALTtm < = m 현금 지급기 내가 몇 가지 방법을 시도했지만 나는 그들이 지금까지 용액으로부터라고 생각 증명하려는 . 누구나 단서를 줄 수 있습
(이 질문에 대한 잘못된 사이트 인 경우 사과드립니다.하지만 여기에 떠있는 "이론적으로 충분하지 않은 CS 이론"CS 이론 질문이 많다는 점을 감안할 때 이것이 적합 할 것이라고 생각합니다. . NP, NP-하드의 정의에 대한 질문에). this answer에서 을 부적절한의 경우이 이동 주시기 바랍니다, 그리고 NP-완료, 제이슨 주장을하게 앞뒤가 맞지
Android 3.0 에뮬레이터에서 간단한 상태 표시 줄 알림 프로그램을 테스트하려고합니다. Eclipse에서 응용 프로그램을 실행하려고 할 때 가끔 apk can't be installed DDMS 로그를 확인할 때 메시지가 표시됩니다. Java outOfMemory 오류가 발생합니다. 내 응용 프로그램은 매우 단순한 하나의 자바 파일이지만. 가끔 내 에
for 루프에서 System.currentTimeMillis()을 사용하는 Java 코드의 다음 세그먼트를 살펴 보겠습니다. 위의 코드에서 package loops;
final public class Main
{
public static void main(String... args)
{
final long MAX_VAL=L