나는 스칼라를 배울 길을 걷고 있으며, 반항, 공변량, 불변 등을 이해하는 데 어려움을 겪고 있습니다. Why doesn't the example compile, aka how does (co-, contra-, and in-) variance work?에서 나는 다른 함수의 하위 유형으로 간주되는 방법을 배웠습니다. (정말 유용합니다!) 아래 코드는 내
특정 클래스에 대한 불변성을 결정하는 데 결정적인 절차가 있는지 또는 경우에 따라 변경되는지 궁금합니다. 은 분명히 그것은 내가 특정 클래스에 대한 최선의 불변을 결정하기 위해 다음과 같은 수 있습니다 가이드의 어떤 종류가 있는가, 특정 변수에 따라 달라 문을 필요로하지만 내 질문은? 그들이하도록하는 경우 계약 개념에 의해
나는 Theory of Computation 과정에서 반복 프로그램/함수의 정확성을 증명하는 개념을 파악하는 데 어려움을 겪고 있습니다. 좀 더 구체적으로, 나는 루프 불변성을 생각해 낼 수있는 방법을 모른다. 함수가 다중 루프 불변량을 가질 수 있다는 것을 이해하지만, 포스트 조건을 증명하는 데 도움이되는 것을 찾는 방법에 대한 완전한 신비가 있습니다.
과제에 대해 이진 검색을 사용하여 정수의 제곱근을 찾는 방법을 만들어야하며, 제곱 수가 아닌 경우 정수 s를 반환해야합니다. * s < = 번호 (15를 입력하면 3을 반환합니다). 나는 그것을 위해이 코드는 지금까지 public class BinarySearch {
/**
* Integer square root Calculates th
루프의 불변량을 찾으려고합니다. (예를 들어 다음 코드에서) 저는 일반적으로 불변량을 찾는 법을 정말로 모릅니다. 누군가 invariant를 찾는 방법을 알려주고 다음 코드를 찾을 때 도움이 될 수 있습니까? 감사 public static int div(int a, int b)
{
int q = 0;
while(a >= b)
{
DDD에서 첫 시도를하고 있으며 집계 디자인에 문제가 있습니다. 내 응용 프로그램에 3 개의 엔터티가 포함되어 있습니다. 그래프, 노드, 링크. 이 엔티티들은 각각 사용자가 수정할 수있는 이름 속성을 가지고 있습니다 (나는 '이름'을 엔티티 ID로 부적절하다고 생각합니다). 그래프에는 노드 모음이 포함되어 있고 노드에는 나가는 링크를 모아 놓은 집합이 있습
Daikon (가능성이 프로그램 불변성 검출기)를 사용하여 다른 방법으로 간단한 Java 클래스에 대한 불변 식을 생성합니다. 나는 다음과 같은 명령을 통해 달성이 클래스에서 몇 가지 방법을 생략하고 싶었 :이 도구는 또한, EXIT를 입력 같은 특정 지점에서 불변을 건너 뛸 수있는 옵션을 제공 java daikon.Chicory '--ppt-omit-pa
에필로에서 변경할 수없는 POINT 클래스를 만들려고합니다. 아래의 코드가 하나의 코드를 정의합니까? x 및 y 필드의 {NONE} 접근 용이성이면 충분합니까? x = x'과 같은 클래스 불변량에 무언가를 쓸 수 있습니까? 그렇지 않으면 어떻게 불변성을 얻을 수 있습니까? class POINT
create
make
feature
내 프로젝트는 잎의 모양 인식입니다. 데이터베이스에서 테스트 이미지와 이미지 사이의 거리를 계산하기 위해 피쳐 추출에 불변 순간 (Inariant Moments) 및 도시 블록 거리 (City Block Distance)를 사용합니다. 바스트는 내가 얻는 결과가 매우 나쁘다. 나는 그 인정이 단지 일치의 50 %를 얻지 못한다고 말할 수있다. 이것은 테스트
특정 데이터에 언어 구문을 사용하여 시행 할 수없는 invariant가있는 프로젝트가 있지만이를 유지 관리하도록 코드를 작성하려고합니다. 그들이 어떤 이유로 고장난다면 그것은 내 코드가 버그가 있음을 의미합니다. 나는 이러한 불변성이 깨 졌는지를 발견 할 수있는 위생 체크 코드를 가지고있다. 그러나 그러한 조건에 응답하는 표준 자바 접근법이 무엇인지 모르겠