# Types and Programming Languages ## 개요 『**Types and Programming Languages**(이하 *TAPL*)』은 컴퓨터공학, 특히 프로그래밍 언어 이론과 형식 시스템(formal systems) 분야에서 가장 영향력 있는 학술 서적 중 하나이다. 저자인 **벤자민 C. 피어스**(Benjamin C. Pi...
검색 결과
"컴퓨터공학"에 대한 검색 결과 (총 4개)
# 레코드 ## 개요 **레코드**(Record)는 컴퓨터 과학과 데이터 구조 분야에서 데이터를 조직화하고 저장하는 기본 단위 중 하나로, 서로 관련된 여러 개의 데이터 필드(필드 또는 속성)를 하나의 논리적 단위로 묶어 표현하는 구조를 의미합니다. 레코드는 데이터베이스, 파일 시스템, 프로그래밍 언어 등 다양한 기술 분야에서 핵심적인 역할을 하며, 특...
# James F. Kurose James F. Kurose는 미국의 저명한 컴퓨터공학자이자 교육자로, 컴퓨터 네트워크 분야에서 세계적으로 널리 알려진 학자이다. 그는 특히 컴퓨터 네트워크의 교육과 연구에 있어 획기적인 기여를 하였으며, 전 세계 대학에서 교재로 사용되는 네트워크 관련 서적의 공동 저자로도 유명하다. Kurose는 오하이오주립대학교에서 학...
# Computer Networking: A Top-Down Approach ## 개요 *Computer Networking: A Top-Down Approach*는 컴퓨터 네트워크 분야에서 세계적으로 가장 널리 사용되는 교재 중 하나로, 제임스 F. 쿠로즈(James F. Kurose)와 케이스 W. 로스(Kevin W. Ross)가 공동 집필한 학술...