programtip

Coq와 같은 비 튜링 완전한 언어의 실질적인 한계는 무엇입니까? 튜링이 아닌 완전한 언어가 있고 내가 대학에서 Comp Sci를 공부하지 않았기 때문에 누군가 튜링 불완전한 언어 (예 : Coq )가 할 수없는 것을 설명 할 수 있습니까? 아니면 완전성 / 불완전 성이 실질적인 실질적인 관심 이 없는가 (즉, 실제적으로 큰 차이가 없는가)? 편집 -나는 X 또는 그와 비슷한 것으로 인해 비 튜링 완전한 언어로 해시 테이블을 만들 수 없다는 줄을 따라 대답을 찾고 있습니다 ! 먼저, 우리가 "계산"이라고 부르는 것은 무엇이든 Turing 기계 (또는 다른 많은 동등한 모델)로 수행 할 수 있다고 말하는 Church-Turing 논문에 대해 이미 들어 보셨을 것입니다. 따라서 Turing-complete ..

중첩 된 셸을 실행 중인지 어떻게 알 수 있습니까? * nix 셸 (보통 bash)을 사용할 때 나는 종종 작은 작업 (보통 다른 디렉터리에 있음)을 처리 할 수있는 하위 셸을 생성 한 다음 종료하여 부모 셸의 세션을 다시 시작합니다. 가끔은 중첩 된 셸을 실행 중인지 아니면 최상위 셸에서 실행 중인지 추적하지 못하며 실수로 추가 하위 셸을 생성하거나 실수로 최상위 셸을 종료합니다. . 중첩 된 셸에서 실행 중인지 확인하는 간단한 방법이 있습니까? 아니면 완전히 잘못된 방식으로 (하위 셸을 생성하여) 문제를 해결하고 있습니까? $SHLVL변수는 쉘 중첩 수준을 추적 : $ echo $SHLVL 1 $ bash $ echo $SHLVL 2 $ exit $ echo $SHLVL 1 하위 쉘을 생성하는 대신 ..

고유 한 솔루션으로 스도쿠 보드를 생성하는 방법 고유 한 솔루션으로 스도쿠 보드를 어떻게 생성합니까? 내가 생각한 것은 임의의 보드를 초기화하고 일부 번호를 제거하는 것입니다. 하지만 내 질문은 솔루션의 고유성을 어떻게 유지합니까? 쉬운: 효율적인 역 추적 알고리즘으로 모든 솔루션을 찾으십시오. 솔루션이 하나만 있으면 완료된 것입니다. 그렇지 않으면 솔루션이 둘 이상인 경우 대부분의 솔루션이 다른 위치를 찾으십시오. 이 위치에 숫자를 추가하십시오. 1로 이동합니다. 이것보다 훨씬 더 빠른 해결책을 찾을 수 있을지 의문입니다. 내 자신의 SuDoKu 프로그램이 수행하는 방식은 다음과 같습니다. 완전하고 유효한 보드 (81 개의 숫자로 채워짐)로 시작하십시오. 모든 81 개의 셀 위치 목록을 만들고 무작위로..

CSS를 사용하여 콘텐츠 주위에 원을 만드는 방법은 무엇입니까? 이렇게 이 코드만으로 1 http://jsfiddle.net/MafjT/ 이 CSS를 사용할 수 있습니다. span { display: block; height: 60px; width: 60px; line-height: 60px; -moz-border-radius: 30px; /* or 50% */ border-radius: 30px; /* or 50% */ background-color: black; color: white; text-align: center; font-size: 2em; } 원을 원하기 때문에 너비, 높이 및 줄 높이에 동일한 값을 설정해야합니다 (텍스트를 세로로 가운데 맞추기 위해). 또한 해당 값의 절반을 테두리 반경..

`sizeof`가 * 정말 *`std :: size_t`로 평가됩니까? 할 수 있습니까? 다음 표준 구절을 따르십시오. [C++11: 5.3.3/6]:sizeof및 의 결과는 sizeof...유형 상수입니다 std::size_t. [참고 : std::size_t 표준 헤더 (18.2)에 정의되어 있습니다. —end note] 지금: [C++11: 18.2/6]:형식 size_t은 개체의 크기 (바이트)를 포함 할 수있을만큼 큰 구현 정의 부호없는 정수 형식입니다. 물론,이 구절은로 size_t정의 된 별칭을 요구하지 않지만 typedef표준 헤더 에서 사용할 수 있도록 명시 적으로 명시되어 있기 때문에 포함하지 않으면 사용할 수 있는 모든 보장을 제거해야한다는 것을 읽을 수 있다고 생각 size_t합니다..

생성자에 NULL 전송 생성자가 매개 변수로 실행되는 이유를 이해할 수 Double[]없습니까? using System.Collections.Generic; using System.Linq; using System.Text; namespace MyConsoleApp { class Program { static void Main(string[] args) { D myD = new D(null); Console.ReadLine(); } } public class D { public D(object o) { Console.WriteLine("Object"); } public D(double[] array) { Console.WriteLine("Array"); } public D(int i) { Console...

사전에서 비교할 때 키를 선택하기 위해 Python 3.5가 선택한 사항 다음과 같이 사전을 구성 할 때 : dict = { True: 'yes', 1: 'No'} 대화 형 Python 인터프리터에서 실행하면 dict가 다음과 같이 표시됩니다. dict = {True: 'No'} I의 값을 이해 True하고 1숫자 형식을 비교하면, 좁은 타입 (부울 정수의 자식) 다른 유형으로 확대되기 때문에, 강압 형 때문에 동일하다. 그래서 나는 우리가 입력 한 문서에서 이해되는 True == 1파이썬 변환 True에를 1와 비교합니다. 내가 이해하지 못하는 것은 True이 대신 키로 선택된 이유 입니다 1. 내가 뭔가를 놓치고 있습니까? 사전은 해시 테이블로 구현되며 여기에 키 / 값을 추가 할 때 두 가지 중요한..

명령 패턴 : 명령에 매개 변수를 전달하는 방법은 무엇입니까? 내 질문은 다음과 같은 추상화 (C # 코드)가있는 명령 패턴과 관련이 있습니다. public interface ICommand { void Execute(); } 애플리케이션에서 엔티티를 삭제하는 것을 목표로하는 간단한 구체적인 명령을 보겠습니다. Person예, 예. 나는거야 DeletePersonCommand, 어떤 구현을 ICommand. 이 명령은 메서드가 호출 Person될 때 삭제하기 위해 매개 변수로 삭제 해야합니다 Execute. 매개 변수화 된 명령을 관리하는 가장 좋은 방법은 무엇입니까? 명령을 실행하기 전에 매개 변수를 명령에 전달하는 방법은 무엇입니까? 생성자 또는 setter 주입 (또는 이와 동등한 방법)을 통해 매..

정수를 십진수로 풀 수없는 이유는 무엇입니까? 나는 한 IDataRecord reader나는 다음과 같이에서 소수를 검색하는거야 것을 : decimal d = (decimal)reader[0]; 어떤 이유로 "지정된 캐스트가 유효하지 않습니다"라는 잘못된 캐스트 예외가 발생합니다. 내가 할 때 reader[0].GetType()그것이 Int32라고 알려줍니다. 내가 아는 한, 이것은 문제가되지 않는다 .... 나는 잘 작동하는이 스 니펫으로 이것을 테스트했습니다. int i = 3750; decimal d = (decimal)i; 이로 인해 독자에 포함 된 정수를 십진수로 풀지 못하는 이유가 궁금해졌습니다. 왜 이런 일이 발생하는지 아는 사람이 있습니까? 내가 놓친 미묘한 것이 있습니까? 값 형식을 원래..

문자열이 try-catch없이 Long으로 구문 분석 가능한지 확인하십시오. Long.parseLong("string")문자열을 long으로 파싱 할 수없는 경우 오류가 발생합니다. 사용하는 것보다 빠르게 문자열의 유효성을 검사하는 방법이 try-catch있습니까? 감사 다소 복잡한 정규식을 만들 수는 있지만 그만한 가치는 없습니다. 여기서 예외를 사용하는 것은 절대적으로 정상입니다. 이것은 자연스러운 예외적 인 상황입니다. 문자열에 정수가 있다고 가정하지만 실제로는 다른 것이 있습니다. 예외가 발생하고 적절하게 처리되어야합니다. parseLong코드 내부를 살펴보면 다양한 확인 및 작업이 있음을 알 수 있습니다. 파싱하기 전에 모든 작업을 수행하려면 성능이 저하됩니다 (그렇지 않으면 중요하지 않기 때문..