메인내용

프로그램 작성 언어(형식적 서식 기술 언어 포함)의 의미를 형식적 체계로부터 파악하려는 연구를 총칭하는 용어. 주된 목적은 언어의 설계자, 언어 프로세서 작성자, 언어 이용자 3자 간에 공통적으로 지침이 되는 명백한 정의를 부여하고, 프로그램 작성 언어나 프로그램의 수학적인 이론화에 의한 프로그램의 형식적 증명에 대해 기초를 부여하는 데 있다. 이렇게 하기 위한 수단도 각양각색이어서 통일된 견해가 성립되기 어려운데, 그 대표적인 것을 들면 아래와 같다.㉠구문 지향 의미론:컴파일러를 강하게 의식한 의미론으로, 구문을 해석하거나 변환할 때마다 의미적 속성이나 의미가 있는 루틴을 할당하는 방법. 예를 들면, 생성 시스템, 속성 문법, W 문법 등이 있는데, 특히 W 문법은 반 비즌가르덴(van Wijngaarden)이 ALGOL 68의 언어 서식을 기술하는 데 사용하였다.㉡공리적 의미론:공리적인 논리 체계(공리와 추론 규칙)로부터 의미 기술을 부여받는 것. 프로그램을 증명하는 데 주된 관심이 있다. 프로이드 호아의 방법이 그 한 예이다.㉢조작적 의미론:추상 기계(抽象機械), 특히 상태 전이 기계를 상정하여 그 동작 계열을 부여함으로써 의미 기술을 부여하는 것. 튜링 기계, 란딘(Landin)의 SE-CD 기계, PL/1의 비엔나(Vienna) 정의법 등이 있다.㉣표시적 의미론:언어의 구성 요소로부터 어느 수학적 실체(정수, 집합, 함수 등)에 대한 사상(寫像)으로서 의미를 정의하는 입장. 수학적 구조가 풍부하다.㉤대수적 의미론:의미를 정의해야 할 언어를 어느 특별한 대수(代數)라 생각하고, 거기서 어느 대수에 대한 유일한 준동형 사상(準同形寫像)이 존재할 때 그 사상을 의미라고 정의하는 입장. 특히 추상 데이터형의 형식적 서식 기술의 분야에서 발전해 온 것이다.

생물학 데이터를 IT 기술로 분석하여 생명은 무엇인가를 연구하는 학문. 생명현상을 정보처리현상이라고 가정하고, 철학, 수학, 물리학, 전산학 등 각종 기술을 사용, 생명정보 데이터를 분석함으로써 정보처리에 필요한 화학적 에너지가 어떻게 처리되는지를 밝혀 낸다. BT와 IT의 융합 의미로 BIT라고도 하며, BIT는 생물종의 다양성 자원에 중점을 맞춘 생물다양성정보와 생물체로부터 도출되는 많은 화합물, 개체, 부산물들을 위주로 한 생물소재정보 그리고 유전정보들의 총합인 생물유전체정보 등 3가지 영역으로 구분된다.

종이로 된 증빙 서류와 회계 전표를 인터넷을 통해서 결재하는 프로세서를 의미하는 디지털 회계 시스템. 회계 문서의 생성부터 전달·보관까지 전자 문서화하는 시스템이다. 문서 처리의 소요 시간 단축, 증빙 및 회계 전표 보관 간소화, 신속한 결산 지원 등 회계 업무의 효율성을 기할 수 있어 대기업은 물론 제조업계에도 도입이 확산되고 있다.

마이크로소프트사가 1992년에 발표한 윈도즈 버전. 별도의 구내 정보 통신망(LAN) 소프트웨어를 추가하지 않고 이더넷(Ethernet) 방식의 LAN상에서 동작할 수 있도록 설계되어 있다.

모뎀이나 인터넷을 통해 원격의 데스크톱 컴퓨터를 제어할 수 있는 소프트웨어. 이 소프트웨어는 양쪽에 모두 설치되고 양쪽에서 동시에 같은 화면을 볼 수 있도록 운용된다. 데스크톱 공유 또는 원격 데스크톱 공유라 부르는 이 소프트웨어는 원격 데스크톱 제어는 물론이고 원격 사용자가 기술 지원 및 지시를 받는데 사용된다.