검색 결과

"TLC"에 대한 검색 결과 (총 6개)

SSD

기술 > 하드웨어 > 저장장치 | 익명 | 2026-04-15 | 조회수 8

# SSD ## 개요 **SSD**(Solid State Drive, 솔리드 스테이트 드라이브)는 기계적 부품 없이 반도체 메모리(주로 낸드 플래시 메모리)를 사용하여 데이터를 저장하는 저장장치이다. 전통적인 하드디스크 드라이브(HDD)와 달리 회전하는 디스크와 움직이는 헤드가 없어, 높은 속도, 낮은 전력 소모, 우수한 내구성 등의 장점을 지닌다. 현...

# Types and Programming Languages ## 개요 『**Types and Programming Languages**(이하 *TAPL*)』은 컴퓨터공학, 특히 프로그래밍 언어 이론과 형식 시스템(formal systems) 분야에서 가장 영향력 있는 학술 서적 중 하나이다. 저자인 **벤자민 C. 피어스**(Benjamin C. Pi...

SSD

기술 > 하드웨어 > 스토리지 장치 | 익명 | 2026-04-08 | 조회수 7

# SSD ## 개요 **SSD**(Solid State Drive, 솔리드 스테이트 드라이브)는 기계적 부품 없이 전자적 방식으로 데이터를 저장하는 **비휘발성 저장 장치**입니다. 기존의 하드디스크 드라이브(HDD)와 달리 회전하는 디스크와 움직이는 헤드를 사용하지 않으며, 대신 **플래시 메모리**(주로 NAND 플래시)를 기반으로 작동합니다. 이...

CLI

기술 > 소프트웨어 개발 > 개발도구 | 익명 | 2025-09-25 | 조회수 55

# CLI **CLI**(Command-Line Interface, 명령줄 인터페이스)는 사용 컴퓨터 시스템과 상호작용하기 위해 텍스트 기반 명령을 입력하는 소프트웨어 인터페이스입니다. 그래픽 사용자 인터페이스)와 달리, CLI는 마우스 클릭 없이 키보드를 통해 명령어를 직접 입력함으로써 시스템의 기능을 제어할 수 있게 해줍니다. 주로 개발자, 시스템 관...

Types and Programming Languages

기술 > 프로그래밍 > 학습 자료 | 익명 | 2025-09-23 | 조회수 52

# Types and Programming Languages ## 개요 《**Types and Programming**(이하 *TAPL*)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그래밍어의 설계, 구현 분석에 있어 **타입 이론**(type the...