검색 결과

[[수학]]에서, 특히 [[선형대수학]]과 [[행렬|행렬 이론]]에서 [[행렬]]의 '''벡터화'''(Vector化, [[영어]]:Vectorization)는 행렬을 세로 벡터로 바꾸는 [[선형변환 ==프로그래밍 언어== ...

...n domain,부울 영역) 은 거짓 및 참을 포함하는 해석이 포함된 정확히 두 개의 요소로 구성된 집합이다. [[수리 논리학]] 및 이론 컴퓨터 과학에서 부울 도메인은 일반적으로 {0, 1},<ref>[[Dirk van Dalen]], ''Logic and Structur ...true ) 그러나 많은 프로그래밍 언어는 엄격한 의미에서 부울 데이터 유형 을 가지고 있지 않다. 예를 들어, [[C (프로그래밍 언어)|C]] 또는 [[BASIC]]에서 '''거짓'''은 숫자 0으로 표시되고 '''참'''은 숫자 1 또는 -1로 표시되며 이 값을 사용 ...

'''종'''(kind)는 [[수리논리학]] 및 [[컴퓨터 과학]]의 영역에서 [[형 이론]](타입 이론)으로 구분되어 있다. '''종'''(kind)이란 [[wikipedia:Type_constructor|타입 생성자]]같은 타입 혹은, ...|파라메터 다형성]]을 구현하는데 사용되는 생성자 타입을 구분하는데 사용된다. 종(kind)은 [[하스켈]]과 [[스칼라 (프로그래밍 언어)|스칼라]]와 같이, 타입 시스템이 프로그래밍의 접근 방식으로 파라메터 다형성을 설명하는 언어에서, 명시적 혹은 암시적으로 나타난다.< ...

'''치환성'''({{llang|en|substitutability}})은 [[객체 지향 프로그래밍]] 원칙이다. [[컴퓨터 프로그램]]에서 [[자료형]] <math>S</math>가 자료형 <math>T</math>의 서브타입라면 필 행동의 하위형화는 [[형 이론]]에서 인수형의 [[공변성과 반공변성 (컴퓨터 과학)|반공변성]]과 반환형의 [[공변성과 반공변성 (컴퓨터 과학)|공변성]]에 의존하여 ...

...와 '''참조 투명도'''는 [[컴퓨터 프로그램]]의 일부 속성이다.  프로그램 동작의 변경없이 관련 값을 대체할 수 있다면 [[식 (프로그래밍)|표현식]]을 참조 상 투명하다고 할 수 있다. 그 결과, 참조 상 투명한 함수를 [[Eval|평가]]하게 되면 동일한 인자에 대해 동 ...로지 참조 상 투명한 함수 만이 고려된다. 어떤 [[프로그래밍 언어]]들은 참조 투명성을 보장하기 위한 수단을 제공한다. 어떤 함수형 프로그래밍 언어들은 모든 함수에 대해 참조 투명성을 강제하기도 한다. ...

...'공변성'''({{llang|en|Covariance}})과 '''반공변성'''({{llang|en|Contravariance}})은 프로그래밍 언어가 타입 생성자({{llang|en|type constructor}})에 있어 서브타입을 처리하는 방법을 나타내는 것으로, 더 복잡 프로그래밍 언어의 [[자료형 체계]]에서 {{mvar|I}}를 타입 매개변수 하나를 받는 타입 생성자라고 할 때, ...

|언어=en ...기계]]와 동치이다. 람다 대수는 [[프로그래밍 언어 이론]]에서 중요한 역할을 하며, [[리스프]]를 비롯한 [[함수형 프로그래밍 언어]]의 기반이 된다. 람다 대수는 그 밖에도 [[논리학]], [[철학]],<ref>Coquand, Thierry, [http://plat ...

따라서, 플로이드-워셜 알고리즘을 이용해서 음수 [[순환 (그래프 이론)|사이클]]을 감지하기 위해서는, 경로 행렬의 대각 성분을 확인해서 음수가 나타나는지를 확인한다. 음수가 발견되면 적어도 하나 이상의 <math>n \cdot 2n^2 = 2n^3</math>이다. 따라서, 이 알고리즘의 [[계산 복잡도 이론|복잡도]]는 [[점근 표기법|<math>\Theta(n^3)</math>]]이다. ...

...to Philosophical Logic|출판사=Blackwell|isbn=978-0-631-20693-4|zbl=1003.03010|언어=en}}</ref> [[명제 논리]]와 달리 변수에 대하여 한정 기호를 사용할 수 있으나, [[2차 논리]]와 달리 변수들의 집합에 대 그렇다면, <math>(I,m,J,n)</math>으로 정의되는 '''1차 논리 언어''' <math>\mathcal L_{I,J}\subseteq\Sigma^*</math>는 특정한 문자열들의 집합이다. 이 문자열을 구 ...

다음 코드는 ''퀘이크 3 아레나''에 사용된 것으로, [[C (프로그래밍 언어)|C]] [[전처리]] 지시문을 생략했지만 본래의 정확한 주석까지 포함하였다.<ref name="quakesrc">{{웹 인용|url= [[파일:Invsqrt0-10000.svg|오른쪽|섬네일|libstdc의 역 제곱근과 [[휴리스틱 이론|휴리스틱]]적인 고속 역 제곱근의 차이.]] ...

..."과 영국의 "정치 산술(政治算術, Political Arithmetic, 정치 사회에 대한 수량적 연구 방법)"을 자연과학의 "확률 이론"과 결합하여, 수립한 학문에서 발전되었다.<ref>{{뉴스 인용|url=http://news.khan.co.kr/kh_news/khan * [[R (프로그래밍 언어)|R]]은 무료 공개 통계 프로그래밍 및 개발환경이다. S 언어에 바탕을 두고 개발되었으며, 학술적 목적으로 널리 사용된다. 새로 개발된 분석 방법들이 확장 패키지를 통해 ...

{{오토마타 이론}} 유한 상태 기계는 유한한 개수의 상태를 가질 수 있는 [[오토마타 이론|오토마타]], 즉 [[추상 기계]]라고 할 수 있다. 이러한 기계는 한 번에 오로지 하나의 상태만을 가지게 되며, [[현재 상태]](C ...

...호 배제]]를 해야 한다. 락은 한 개의 스레드가 락이 풀리기 전까지 변수를 제어하고 다른 스레드가 읽거나 쓰는 것을 막는 프로그래밍 언어 구조체다. 스레드는 락을 [[임계 구역]] (몇몇 변수를 접근할 수 있게 허용해 주는 프로그램 구역) 내에서 자유롭게 실행할 수 있게 병렬 프로그래밍 언어와 병렬 컴퓨터들은 반드시 [[일관성 모델]] (메모리 모델이라고도 불린다) 을 가지고 있어야 한다. 일관성 모델이란 [[컴퓨터 메 ...

...오 브레이먼(Leo Breiman)의 논문<ref name="breiman2001"/>에 상세히 설명되어 있으며, [[R (프로그래밍 언어)|R]]을 이용한 랜덤 포레스트 패키지<ref name="rpackage">{{웹 인용 ...and Regression by randomForest" R News (2002) Vol. 2/3 p. 18] ([[R (프로그래밍 언어)|R]]을 위한 랜덤 포레스트 패키지 사용에 대한 토론) ...

...은닉 마르코프 모형에 대한 연구가 활발히 진행되기 시작하였다. 1967년 [[앤드루 비터비]](Andrew Viterbi)는 [[동적 프로그래밍]]을 이용하여 관찰된 사건들이 도출될 확률이 가장 높은 은닉 상태들의 순서를 찾아내는 [[비터비 알고리즘]]을 발표하였다. ...행동을 하는지에 대해 알고 있다. 즉, 영희의 은닉 마르코프 모형의 모수는 모두 알려져있다는 것이다. 이 [[파이썬|파이썬 프로그래밍 언어]]로 다음과 같이 나타내 질 수 있다: ...

{{오토마타 이론}} {{인용문2|튜링의 논문은...기본적으로 현대 컴퓨터와 관련된 일부 프로그래밍 기술의 발견을 서술하고 있다.|민스키(1967) p.104}} ...

|언어=en ...b/20030501201647/http://www.nersc.gov/~dhbailey/ 베일리의 홈페이지] 에선 다양한 [[프로그래밍 언어]]를 이용해 구현한 실제 예를 볼 수 있다. ...

...>{{Rp|Chapter 7}}, 심리측정학의 Eckart–Young 이론 (Harman, 1960) 또는 Schmidt–Mirsky 이론, 기상 과학의 실증 직교 함수(EOF), 소음과 진동의 실증적 [[고유 함수]] 분해(Sirovich, 1987)와 실증적 요소 분석( ...] Mathematica documentation</ref> [[SciPy]], [[대화형 데이터 언어|IDL]] ([[대화형 데이터 언어]]), [[GNU 옥타브]], [[OpenCV]] 등과 같은 행렬 대수 시스템의 하위 컴포넌트로 구현되어있다. ...