# Types and Programming Languages ## 개요 《**Types and Programming**(이하 *TAPL*)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그래밍어의 설계, 구현 분석에 있어 **타입 이론**(type the...
검색 결과
"D "에 대한 검색 결과 (총 1115개)
# World Health Assembly ##요 **World Health Assembly**(세계보건총회, 이하 WHA)는 **세계보건기**(World Health Organization, WHO)의 최고 의사결정 기구, 전 세계 194개 회원국이 참여하는 국제 보건 분야의심 회의체이다. 매년 5 스위스 제네바에 위치한 WHO 본부에서 개최되며 글로...
# 3D 재성 ## 개요 **3D 재구성**(3D Reconstruction)은 2차원(2D)상 또는 영상 시퀀스로부터 물체나 장면의 3차원 구조 복원하는 기술로, 컴퓨터 비전, 의료 영상, 로봇 공학, 증강 현실(AR), 가상 현실(VR), 자율주행 등 다양한 분야에서 핵심적인 역할을 수행한다. 이 기술은 단일 카메라, 스테레오 카메라, 또는 다중 뷰...
# Medtronic MiniMed 780G ## 개요**Medtronic MiniMed 80G**는 세계적인 의기기 기업 메드트로닉edtronic)이발한 최신 세대 인슐린 펌 시스템으로 1형 당뇨병 환자 및 일부 2형 당뇨 환자를 위한 첨단 자동화된 인슐린 공 장치입니다. 이 시스템은 **자동 인슐린 조 기능(Automated Insulin Delive...
# Medtronic Mini 780G ## 개요**Medtronic MiniMed780G**는 세계적인료기기 기 메드트로닉edtronic) 개발한 최신형 인슐린 펌프 시스템으로, 1형 당뇨병 환자들의 혈당 관리를 자동화하고 보다 편리하게 해주는 **첨단 폐쇄 루프 시스템**(Closed-Loop System)이다. 이 시스템은 실시간 혈당 모니터링과 인...
Adjusted R-s ## 개요**Adjusted R-squared수정된 결정계수)는귀분석에서 모의 적합도를 평가하는 지표 중 하나로, 일반적인 **R-squared**(결계수)의계를 보완하기 위해 제안된 통계량이다. R-squared 독립변수들이 종속변수를 잘 설명하는지를 나타내는 값이지만, 독립변수를 추가할수록 무조건 증가하는 성향이 있어 모델의 과...
# Intel 64 IA-32 Architectures Software Developer’s **Intel 4 and IA-3 Architectures Software Developer Manual**은 인텔 제공하는 공식술 문서로, Intel 64 및 IA-32 아키텍처 기 프로세서 소프트웨어발에 필요한 모든 기술 사과 프로그래밍 가이드를 포괄적으로 다...
# PID 제어기 ## 개요 PID 제어기(PID Controller, Proportional-Integral-Derivative Controller)는 제어공학에서 가장 널리 사용되는 피드백 제어기 일종으로, 시스템의 출력이 목표값(Setpoint)에 빠르고 정확하게 수렴하도록 제어 입력을 조정하는 장치입니다. PID 제어기는 비례(P), 적분(I),...
# Simultaneous Localization and Mapping ## 개요 **Simult Localization and Mapping**(AM, 동시 위치 추 및 맵핑) 로보틱스야에서 자율 내비게이션을 실현하기 핵심 기술 중 하나이다. 로봇이 사전에 알지 못하는 환경을 탐색할 때, 자신이 어디에 있는지를 추정(**자기 위치 추정, Localiz...
# Grouped Bar Chart ## 개요 **Grouped Bar Chart**(룹 바 차트 또는 **Clustered Bar**(클러스터 바 차트)는 두 개 이상의 범주형 변수에 대한 데이터를하기 위해 사용되는 시각화 도구입니다. 이 차트는 여러 그룹의 데이터를 인접한 막대 형태로 나란히 배치하여, 동일한 범주 내에서 서로 다른 항목 간의 비교를...
# Credit-Based Shaping **Credit-Based Shaping**(크레딧 기반 대역폭어)은 실시간 네트워크 통신, 특히 **IEEE 8021Qav** 표준에서 정의된 **Time-Sensitive Networking**(TSN) 환경에서 사용되는 대역폭 관리 기법 중 하나입니다. 이 기법은 특정 트래픽 클래스(예: 오디오/비디오 스트림...
# Global Vectors for Word Representation**Global Vectors for Word RepresentationGloVe) 단어를 고차 벡터 공간에 표현하는 대표적인 **언어 모델링 기법** 중 하나로, 단어 간의 의미적 관계를 수치적으로 포착하는 데 목적을 둔다. GloVe는 분포 가설(Distributional Hypot...
# Speech and Language Processing ## 개요 **Speech and Language Processing**(음성 및 언어 처리)은 자연어를 기계가 이해하고 생성할 수 있도록 하는 컴퓨터 과학의 한 분야로, 인공지능, 언어학, 음성 공학, 정보 기술 등 다양한 학문이 융합된 학제적 연구 영역이다. 이 분야는 텍스트 기반의 언어 처...
# Masked Language Model ##요 **Masked Language Model**(MLM, 마스크된 언어 모델)은 자연어 처리(NLP) 분야에서 대표적인 언어 모델링 기법 중 하나로, 입력 문장의 일부 단어를 임의로 "마스킹"하여, 모델이 해당 위치의 원래 단어를 예측하도록 학습하는 방식이다. 이 기법은 주로 **BERT**(Bidirec...
# Software-Defined Networking **Software-Defined Networking**(SDN 소프트웨어 정의트워킹)은 네트크 인프라의 제어 평면(control plane)과 데이터 전달 평면(data plane)을 분리하여, 중앙 집중식으로 네트워크를 프로그래밍하고 관리할 수 있도록 하는 혁신적인 네트워크 아키텍처입니다. 전통적인...
# InfiniBand 카드 ## 개요 InfiniBand 카드는 고성능 컴퓨팅(HPC), 대규모 데이터 센터, 클라우드 인프라 및 슈퍼컴퓨터 환경에서 네트워크 통신을 위한 고속 데이터 전송을 가능하게 하는 전문 하드웨어 장치입니다. InfiniBand는 고대역폭, 저지연, 고가용성의 특성을 지닌 네트워크 아키텍처로, 특히 데이터 집약적인 작업에서 뛰어...
# Detached HEAD 상태 ## 개요 Git은 분산 버전 관리 시스템(DVCS)로서, 소트웨어 개발 과정에서 코드의 변경 이력을 체계적으로 추적하고 관리할 수 있게 해줍니다. Git을 사용하다 보면 가끔 **Detached HEAD 상태**(분리된 HEAD 상태)라는 메시지를 마주할 수 있습니다. 이 상태는 Git에서 흔히 발생하는 개념이지만, ...
# TCP Offload Engine ## 개요 **TCP Offload**(이하 TOE)은 네트크 처리를 위한 하드웨어 기 기술로,/IP 스택의 일부 또는를 네트워 인터페이스 카드(N)와 같은 전용 하드웨어 이관함으로써 호스트 CPU의 부담을 줄이는 것을 목적으로 한다.E는 특히 고대역폭, 저지연 네트워크 환경에서 네트워크 처리 성능을 극대화하기 위해...
# K-Fold Cross- **K-Fold Cross-Validation**(K-겹 교차 검증)은 머신러닝과 통계 모델의 성능을 평가하기 위해 널리 사용되는 기입니다. 이 방법은 데이터를 여러 개의 부분으로 나누어 반복적으로 훈련과 검증을 수행함으로써 모델의 일반화 능력을 더 정확하게 평가할 수 있도록 도와줍니다. 특히, 데이터셋의 크기가 제한적일 때 ...
K-Fold 타 인코딩 개요 **K-Fold 타겟 인코딩**(K-Fold Target Encoding)은 범주형 변수(Categorical Variable)를 수치형 변수로 변환 고급 인코 기법 중 하나로, 특히 **과적합**(Overfitting) 방지하기 위해계된 방법입니다. 범주형 변수의 카테고리를 해당테고리에하는 타겟 변수의 평균값으로 대체하는...