검색 결과

...스. 2015년 8월 27일.</ref><ref>[http://www.itworld.co.kr/news/97950 함수 언어 : 3대 함수 언어 전문가가 말하는 정체와 역할]. ITWorld. 2016년 2월 19일.</ref> 형식화되지 않은 [[람다 대수]]에서 모든 함수들은 고차 함수이다. 대부분의 [[함수형 프로그래밍]] 언어를 파생시키는 [[형식화된 람다 대수]]에서 하나의 함수를 인수로 취하는 고차 함수들은 <math>(\tau_1\to\tau_2 ...

...[[역폴란드 표기법|후위 표기법]](예: 2 2 '''+''')에 비해 컴퓨터가 [[구문 분석]]하기에 더 어렵다. 그러나 많은 [[프로그래밍 언어]]들이 친숙성 때문에 이를 사용한다. 중위 표기법은 산술에서 더 많이 사용되며, 예를 들어 5 '''×''' 6과 같은 형태로 나 ...이름이 특정 연산을 나타내고, 그 인수들이 피연산자가 된다. 이러한 함수 표기법의 예로는 '''S'''(1, 3)가 있으며, 여기서 함수 S는 덧셈("합")을 나타낸다. {{nowrap|1=S(1, 3) = 1 + 3 = 4}} ...

{{프로그래밍 패러다임}} ...성, 결정문제, 함수정의, 함수응용과 재귀를 연구하기 위해 개발된 형식체계인 [[람다 대수]]에 근간을 두고 있다. 다수의 함수형 [[프로그래밍 언어]]들은 [[람다 계산]]을 발전시킨 것으로 볼 수 있다. ...

'''C 수식 함수'''는 기초 수식 함수들을 구현하는 [[C 프로그래밍 언어]]의 [[표준 라이브러리]] 안의 함수들의 모임이다.<ref name="c99">{{서적 인용| url=http://www.ope == 함수 개요 == ...

...{{llang|en|Kenneth Eugene Iverson}}, 1920 ~ 2004)이 1962년에 [[APL (프로그래밍 언어)|프로그래밍 언어 APL]]에서 이와 같은 표기법을 사용하였다.<ref>{{서적 인용|이름=Kenneth Eugene|성= Iverson|제목= * [[불 함수]] ...

...rphism|파라메터 다형성]]을 구현하는데 사용되는 생성자 타입을 구분하는데 사용된다. 종(kind)은 [[하스켈]]과 [[스칼라 (프로그래밍 언어)|스칼라]]와 같이, 타입 시스템이 프로그래밍의 접근 방식으로 파라메터 다형성을 설명하는 언어에서, 명시적 혹은 암시적으로 나타난 ...든 데이터 타입의 종류이며, 이러한 맥락에서 더 나은 타입이라고 한다. 이것은 보통 [[함수형 프로그래밍|함수형 프로그래밍 언어]]의 함수 타입을 포함한다. ...

| programming language = [[C (프로그래밍 언어)|C]]/[[C++]], MATLAB [[파일:MATLAB_surf_sinc3D.svg|섬네일|400px|다음 식으로 표현되는 비정규화된 [[싱크 함수]]의 3차원 표면 플롯. ...

{{프로그래밍 언어 정보 | 패러다임 = [[사건 기반 프로그래밍]] ...

'''새몬 매핑'''({{lang|en|Sammon's mapping}})은 고차원 자료를 저차원으로 [[함수|사상]]하는 [[알고리즘]]이다. '''새몬 사상''' 또는 '''새몬 사영'''({{lang|en|Sammon's projection 새몬 사영은 통계 컴퓨팅용 언어인 [[R 프로그래밍 언어|R]]의 MASS 패키지와, [[MATLAB]]의 패키지인 [http://www.cis.hut.fi/projects/somtool ...

{{다른 뜻|매개변수 (컴퓨터 프로그래밍)||컴퓨터 프로그래밍}} ...(媒介變數), '''파라미터'''(parameter), '''모수'''(母數)는 [[수학]]과 [[통계학]]에서 어떠한 시스템이나 [[함수]]의 특정한 성질을 나타내는 변수를 말한다. 일반적으로는 θ라고 표현되며, 다른 표시는 각각 독특한 뜻을 지닌다. 함수의 수치를 정해진 ...

=== 에라토스테네스의 체를 프로그래밍 언어로 구현 === /* 만일 n이 1보다 작거나 같으면 함수 종료 */ ...

예를 들어, 세 개의 인수를 가지는 함수<math>f</math>를 커링하면 다음과 같은 세 개의 함수가 만들어진다. [[분류:고차 함수]] ...

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

...optimization 또는 mathematical programming}})는 특정의 [[집합]] 위에서 정의된 [[실수]]값, [[함수]], [[정수]]에 대해 그 값이 최대나 최소가 되는 상태를 해석하는 문제이다. '''수리 계획''' 또는 '''수리 계획 문제'''라 :''수식:'' [[함수]] ''f'' : ''A'' <math>\to</math> '''R''' 어떤 [[집합]] ''A''에서 [[실수]] x 에 대해 ...

...곧바로 추상 문법 트리로 구문 분석되며, 사실 동일하게 전단사 함수를 정의할 수 있다. 그런 이유로, [[리스프]](Lisp)와 관련 프로그래밍 언어들은 그들의 전체 문법을 전위 표기법의 측면에서 정의한다(그리고 다른 언어들은 후위 표기법을 사용한다). 간단한 산술 연산자는 (적어도 산술적인 측면에서) 모두 바이너리 함수(두 개의 인자를 갖는 함수)이기 때문에, 어떠한 전위 표현도 모호하지 않으며, 전위 표현식을 괄호로 묶는 것은 불필요하다. 그것으로 봤을 때, 이전 표현식은 다음 ...

...'공변성'''({{llang|en|Covariance}})과 '''반공변성'''({{llang|en|Contravariance}})은 프로그래밍 언어가 타입 생성자({{llang|en|type constructor}})에 있어 서브타입을 처리하는 방법을 나타내는 것으로, 더 복잡 ...생성자가 공변하기 때문이다. 그러나 {{code|동물 -> 문자열 함수}}는 {{code|고양이 -> 문자열 함수}}의 서브타입이다. 함수 타입 생성자는 인자 타입에 있어 반공변하기 때문이다. ...

...상태를 알아 낼 수 있으며, 그 뒤에 나올 난수를 예측해 낼 수 있다. 암호학적으로 안전한 유사난수 생성기를 얻기 위해서는 [[해시 함수]]를 사용해야 하지만 난수의 생성 속도가 낮아진다. 또는 [[블룸 블룸 슙]](BBS)과 같이 암호학적으로 안전하게 설계된 생성기를 쓸 ...p://www.math.sci.hiroshima-u.ac.jp/~m-mat/MT/emt.html 메르센 트위스터 홈페이지] ([[C (프로그래밍 언어)|C]], [[포트란]] 등의 구현 제공) ...

...가 달라지지 않는 성질을 의미한다. 멱등법칙의 개념은 [[추상대수학]](특히, [[사영작용소]]·[[폐포연산자]] 이론)과 [[함수형 프로그래밍]]([[참조 투명성]]의 성질과 관련된)의 여러 부분에서 사용하고 있다. * 어떤 [[단항연산]](또는 [[함수]])은 어느 값에라도 두 번 적용되었을 때, 한 번 적용했을 때와 같은 결과를 주는 경우, 즉 {{nowrap|''f''(''f''(' ...

...''λ-대수''' 또는 '''람다 계산'''(λ計算) 또는 '''람다 계산법'''(λ計算法)은 [[추상화 (컴퓨터 과학)|추상화]]와 함수 적용 등의 [[논리 연산]]을 다루는 [[형식 체계]]이다.<ref name="Mazzola">{{서적 인용 ...변경하는 변환으로서 [[이름 충돌]]을 방지하기 위해 사용되며, [[드 브루인 첨수]]를 사용할 경우 이는 필요 없다. 베타 축약은 함수 적용을 적절한 치환 연산 결과로 대신하는 변환이며, 베타 축약에 대한 주어진 항의 표준형이 (존재할 경우) 알파 동치 아래 유일하다는 ...

====함수 (프로그래밍) 예제==== ...