백과

항목

• 참조 투명성 referential transparency

  일반적으로 식이나 기술의 일부를 그것과 등가인 것으로 바꾸어 기술하더라도 전체의 평가값이나 의미가 변하지 않는 성질. 프레게의 원리(Frege’sprinciple)라고 할 때도 있다. 함수형 프로그램은 일반적으로 이 성질을 지닌다. 함수형 프로그램에서는 식의 값이 그 식을 구성하는 각 원소의 값만으로 일의적으로 결정...

  분야 :

  소프트웨어 설계법

  도서 컴퓨터 정보용어대사전 | 태그 컴퓨터/정보통신
• 참조 투명성 Referential transparency, 参照..

  참조 투명성와 참조 투명도는 컴퓨터 프로그램의 일부 속성이다. 프로그램 동작의 변경없이 관련 값을 대체할 수 있다면 표현식을 참조 상 투명하다고 할 수 있다. 그 결과, 참조 상 투명한 함수를 평가하게 되면 동일한 인자에 대해 동일한 값을 반환해야 한다. 그러한 함수를 순수 함수라고 부른다. 참조상 투명하지 ...

  도서 위키백과
• 부작용 (컴퓨터 과학) (관련어 참조투명성) Side effect (computer scienc..

  출처 필요 컴퓨터 과학에서 함수가 결과값 이외에 다른 상태를 변경시킬 때 부작용이 있다고 말한다. 예를 들어, 함수가 전역변수나 정적변수를 수정하거나, 인자로 넘어온 것들 중 하나를 변경하거나 화면이나 파일에 데이터를 쓰거나, 다른 부작용이 있는 함수에서 데이터를 읽어오는 경우가 있다. 부작용은 프로그램...

  도서 위키백과
• 지시적 투명성 referential transparency

  말의 지시방법의 특징의 일종. 참조투명성이라고도 한다. “하나의 명사를 같은 개체를 지시하는 다른 명사로 치환한 결과 얻어지는 식은 참이다”라고 하는 라이프니츠의 법칙이 성립하는 문맥을, 지시적 투명성의 문맥이라고 한다. 예를 들면, the morning star(새벽녘의 금성)와 the evening star(저녁의 금성)은...

  분야 :

  계산언어학

  도서 컴퓨터 정보용어대사전 | 태그 컴퓨터/정보통신
• 가변 데이터형 mutable data type

  대한 데이터형. 배열, 레코드와 같은 구조형에 대하여, 그것이 부분적으로 갱신가능하다는 것을 명시할 때에 쓰인다. 함수형 언어와 같이 데이터의 참조투명성이 기본개념인 언어에서는 데이터의 값은 가변은 아니고, 값이 달라질 때는 새로운 데이터가 생성된다. 배열이나 레코드와 같은 구조 데이터의 일부 요소의 값...

  분야 :

  프로그램 언어, 소프트웨어 설계법

  도서 컴퓨터 정보용어대사전 | 태그 컴퓨터/정보통신
• 단일 대입규칙 single assignment

  결정할 수 없는데 대하여, 함수형 프로그램에서는 단일 대입규칙에 의하여 같은 문맥에서의 변수의 값은 일의적으로 결정할 수 있으므로, 참조투명성이 유지된다. 또, 변수의 정의와 참조 사이의 의존관계가 일의적으로 결정되므로 연산의 순서관계가 명백해져, 병렬처리를 하기 쉽게 된다. 〈참조어〉 다중 대입

  분야 :

  소프트웨어 설계법

  도서 컴퓨터 정보용어대사전 | 태그 컴퓨터/정보통신
• 함수형 프로그래밍 작용형 프로그래밍, functional programming

  유한개의 함수의 합성으로 임의의 횟수의 함수 적용이 기술되는 귀납적 함수의 개념이 중요하다. 함수형 프로그램은 일반적으로 작용적 구조나 참조투명성 등의 특징을 가지며, 또 대응하는 프로그램 대수를 구축하기 쉽다. 함수형 프로그래밍의 이론적 기초는 귀납적 함수론과 λ계산 모델, 항 재기록 계산 모델(항...

  분야 :

  소프트웨어 설계법

  도서 컴퓨터 정보용어대사전 | 태그 컴퓨터/정보통신
• 작용적 구조 applicative structure

  일반적으로 작용적 구조라고 한다. 함수형 프로그램에 나타내는 식은 상수 또는 변수 자신이거나 연산자와 피연산자로 분해되어, 식이 주어지면 연산자와 피연산자가 명확히 동정된다. 작용적 구조의 가장 중요한 성질은, 식의 값이 그 식을 구성하는 각 원소의 값에서만 일의로 결정된다는 점에 있다(참조 투명성 참고).

  분야 :

  소프트웨어 설계법

  도서 컴퓨터 정보용어대사전 | 태그 컴퓨터/정보통신
• 컴퓨팅 문서 색인 Index of computing articles, コンピュータ用語一覧

  문제 - 1NF - 제2정규형 - 제3정규형 - 제어 장치 - 제어 흐름 - 주밍 사용자 인터페이스 - 중앙 처리 장치 - 지니 - 직렬 회선 인터넷 프로토콜 - 참조 - 참조 투명성 - 창 관리자 - 초고밀도 집적 회로 - 촘스키 정규형 - 축소 명령어 집합 컴퓨터 - 취약점 공격 - 키메라 - 캐시 - 캘린더 (응용 소프트웨어) - 컨트롤...

  도서 위키백과
• 
  인도네시아 수하르토 정권의 몰락

  격렬한 저항에 밀려 사임했다. 수하르토는 1965년부터 33년 동안 장기 집권하며 자행한 철권통치와 부패로 악명이 높았다(인도네시아공산당의 쿠데타 참조). 공산당원 수십만 명을 학살했으며, 동티모르와 아체 등 소수 민족들의 독립 요구를 강하게 탄압했다. 수백억 달러의 부정 축재를 저질러 국제투명성기구에 의해...

  시대 :

  1998년 5월 21일

  국가/대륙 :

  아시아

  도서 세계사와 함께 보는 타임라인 한국사 5 | 태그 세계사
• 재진입성 Reentrancy (computing), リエントラント

  않은 함수를 스레드-안전하게 고치려면 경합 조건에서 공유 자원을 보호하도록 동기화 코드를 추가시키는 것과 같이 내부 구현만 수정하면 된다. 그러므로 재진입성은 스레드 안전성보다 더 강한 의미를 가진다: 모든 재진입 함수는 스레드-안전하지만, 모든 스레드 함수가 재진입이 가능한 것은 아니다. 참조 투명성

  도서 위키백과
• 클린 (프로그래밍 언어) Clean (programming language), Clean

  연구원 단체에 의해 개발되었다. 클린이라는 언어는 1987년에 처음 등장했으며 지금도 계속 개발되고 있다. 하스켈과 수많은 속성을 공유하고 있다: 참조 투명성, 리스트 캄프리헨션, 가드(guard), 쓰레기 수집, 고차 함수, 커링, 느긋한 계산법. 윈도우에서는 클린 배포판에 통합 개발 환경(IDE)이 포함되어 있다...

  도서 위키백과