항목
-
수식처리언어 symbolic and algebraic manipulation language생각되어 온 컴퓨터와 수학의 관계에 새 수법을 가지고 돌아온다고 하는 의미로 기대되고 있다. 이를 위한 언어는, 기호처리를 위해 만들어진 프로그램 언어 Lisp가 그 기반으로 되어 있다. 현재 잘 보급되어 있는 대표적인 언어 시스템으로서, 매사추세츠 공과대학에서 개발되어 온 MACSYMA, 유타 대학에서 개발된...
- 분야 :
- 프로그램 언어
-
인수결합 변수 속박, argument binding변수 호출로 실현되는 정보의 수수는 이름 호출로도 실현할 수 있다. 프로그램언어 마다 사용할 수 있는 인수 결합 방식에는 약간의 차이점이 있다. 한편, Lisp에 있어서는 인수결합을 λ속박 또는 λ결합이라고도 한다. 이것은 Lisp의 이론적 기반을 이루는 λ계산 이론에서 파생된 용어이다. 〈참조어〉 파라미터 인도...
- 분야 :
- 프로그램 언어, 프로그래밍
-
아톰 atomLisp의 프로그램에서 취급하는 데이터의 최소단위. S식을 구성하는 기본요소이다. 아톰에는 산술함수의 인자에 사용되는 수치 아톰과 식별자의 역할을 다하는 기호 아톰이 있다. 기호 아톰은 속성을 나타내는 데에 처리계 내부에서 속성의 이름과 값과의 쌍이 되는 리스트를 쓴다. 이것을 속성 리스트(property list...
- 분야 :
- 프로그램 언어
-
함수 프로그래밍 FP, functional programming하는 형태를 취하는 프로그램 언어에 의한 프로그래밍법. 이와 같은 언어를 함수언어(functional language) 또는 적용언어(applicative language)라고 한다. LISP나 PROLOG와 같은 언어가 그 예이다. 이와 같은 언어는 FORTRAN이나 Pascal과 같은 명령형 언어(imperative language)와 대비되는 것으로 인공 지능의 구명...
- 분야 :
- 프로그래밍
-
프롤로그 Prolog연구, 개발을 위한 언어로서 널리 쓰이고 있다. 자동 패턴 조회기능과 자동 백트랙(backtrack) 기능을 제어의 기본으로 삼고 있고, 다른 Algol계 언어나 Lisp와는 기본적으로 다르다. 한편, 제어기능이 특수하기 때문에 일반적인 프로그램에는 맞지 않으며, 범용 프로그램 언어인 Lisp와는 좋은 대조를 이룬다. 처리계...
- 분야 :
- 프로그램 언어, 소프트웨어 설계법, 인공지능
-
카 car리스트 처리용 언어 Lisp의 기본 연산 함수의 하나. Lisp의 기본 데이터인 S식은 처리계에서는 두 단어의 기억 단위로 실현되지만, 처리계가 최초로 실현된 IBM 709 컴퓨터에서 제1의 단어를 contents of the address register로서 참조한 데서 유래한다. (car e)에 의해 S식 e의 제1의 구성 요소를 꺼내는 연산을...
- 분야 :
- 프로그램 언어
-
자연언어 처리 natural language(processing of)분석 프로그램)와 컴파일러(번역 프로그램), 그리고 팽대한 지식 베이스를 갖추고, 단시간에 옳은 판단을 꺼내는 병렬연산기능 등을 가지지 않으면 안된다. LISP와 PROLOG 등의 처리에 적합한 하드웨어 구조를 가진 처리장치는 LISP 머신, PROLOG 머신 이라고 하여 이미 몇 개인가 상품화된 것도 있다. 이것들은 자연...
- 분야 :
- 프로그램 언어
-
초순환적 정의 metacircular definition기술될 경우, 그 프로그램 언어의 의미가 초순환적으로 정의된다고 한다. 언어의 의미를 초순환적으로 부여함으로써 그 언어의 의미의 기술을 자기 자신에게 폐쇄적으로 할 수 있어, 그 언어의 의미를 자기 증폭적으로 이해할 수 있다. 순 Lisp의 의미 기술은 순 Lisp 자신에 의해 부여되고 있는 초순환적 정의의 예이다.
- 분야 :
- 소프트웨어 기초, 소프트웨어 설계법
-
다양형 다상형, polymorphic type높다. 이와 같은 프로그램의 표현형식을 형다형태(type polymorphism)라 한다. 애드혹형 다양형은, 형의 실행시에 결정되는 것으로서 설계된 대화형 언어인 Lisp, APL, Smalltalk의 데이터나 함수에 볼 수 있는 형이다. 예컨대, Lisp의 함수 print는 입력 데이터의 형에 따라서 그 외부형식을 표시하는 애드혹 다양형의...
- 분야 :
- 소프트웨어 기초, 프로그램 언어, 프로그래밍, 소프트웨어 설계법
-
위치자/식별자 분리 프로토콜 Locator/Identifier Separation Pro..위치자/식별자 분리 프로토콜(LISP; Locator/Identifier Separation Protocol)은 “map-and-encapsulate” 프로토콜로, 현재 국제 인터넷 표준화 기구(IETF)의 LISP 워킹 그룹에서 개발되고 있다. “분리”뒤에 숨어 있는 기본적인 개념은 인터넷 아키텍처가 한 개의 IP 주소 공간에 두 개의 기능 - Routing Locator...도서 위키백과
-
특수 목적용 언어 special purpose oriented language특수한 문제를 기술하는데 편리하게 설계된 프로그램 언어. ① 리스트 처리용 언어 : IPL-V, L+, LISP, PLANNER, CONNIVER, ② 스트링 처리용 언어 : COMIT, SNOBOL, AMBIT, ③ 수식 처리용 언어 : FORMAC, MATHLAB, ALTRAN, FLAP, MACSYMA, ④ 시뮬레이션용 언어 : DYNAMO, GPSS, SIMSCRIPT, SOL, MILITRAN, SIMURA...
- 분야 :
- 프로그램 언어
