Types and Programming Languages 개요 《Types and Programming(이하 TAPL)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그래밍어의 설계, 구현 분석에 있어 타입 이론(type theory)의 기초를 깊이 있게 다…
검색 결과
"G"에 대한 검색 결과 (총 4287개)
USB Battery Charging 1.2 개요 USB Charging 1.2(이 BC 1.2)는 USBers Forum(USBIF)에서 210년에 발표한 기술 표준으로, 인터페이스를 통해 기의 배터리를 보다 효율적이고 빠르게 충전할 수 있도록 설계된 규격입니다. 이 표준은 기존 2.0 및 USB 3.0의 전력 공급 한계를 보완하며, 특히 모바일 기기의 …
Gender Bias Score 개요 Gender Bias Score(성별 편향 점)는 인공지능 모델, 특히 자연어 처리(NLP) 모델이나 이미지 생성 모델에서 성별에 기반한 편(bias)의를 정량적으로 평가하기 위해 사용되는표입니다. 이 점수는 모델이 특정 성별에 대해 불균형한, 과도한 일반화, 혹은 사회적으로 문제가 되는 고정관념(stereotype)을…
git switch 개요 git switch는 Git 2.23 버에서 도입된령어로, 브랜치 전환 switching)을 보다 명하고 직관적으로 수행하기 위해 추가되었습니다. 기존에는 git checkout 명령어를 사용하여 브랜치 전환 파일 복원 두 가지 목적을 동시에 사용했지만, 이로 인해령어의 의미가 모호해질 수 있었습니다. git switch는 브랜치 …
LightGBM GBM은 마이크로소프트에서 개발한성능의 경량 그래디언트 부스팅 프레임워크로, 대규모 데이터셋을 빠르고 효율적으로 처리할 수 있도록 설계된 지도 학습 알고리즘. 특히 분류, 회귀, 순위 예 등의 머신러 태스크에서 뛰어난 성능을 보이며, XGBoost, CatBoost와 함께 대표적인 그래디언트 부스팅 트리(Gradient Boosting De…
Gigabit Ethernet 개요 Gigabit Ethernet기가비트 이더넷) 이더넷 네트워크 기술의 한 형태로, 최대 1 기가비트 초당(Gbps, 즉 1000)의 데이터 전 속도를 제공하는 유 연결 기술이다. IEEE 802.3 표준에 의해 정의되며, 특히 IEEE 802.3ab(1000BASE-T) 및 IEEE 802.3z(1000BASE-X 계열)…
Time-of-Flight 개요 Time-of-FlightToF, 비행시간)는체와 센서 사이의 거리를 측정하기 위한 기술로, 빛이나 음파와 같은 신호가 발사되어 물체에 반된 후 수신 때까지의 비행 시간(Time of Flight)을 측정함으로써 거리를 계산하는 원리를 사용합니다. 특히 컴퓨터비전(Computer Vision) 분야에서 깊이 정보를 실시간으로…
Edge TPU 개요 Edge TPU(Tensor Processing Unit)는글(Google)이 개발한 특수 목적 애플리케이션별 집적회로(ASIC)로, 엣지(edge)에서의 머신러닝 추론(inference)을 고속으로 처리하기 위해 설계된 하드웨어 가속기입니다. 이 칩은 클라우드가 아닌 로컬 장치(예: 스마트폰, IoT 기기, 임베디드 시스템)에서 경량…
GDPR 개요 GDPR(General Data Protection Regulation 일반 데이터 보호 규정) 유럽 연합U)이 제정 개인정보 보호 및 데이터 보안 관련 법규, 2018년 5월 25부터 공식적으로되었습니다. 이 규정은 EU 시민의 개인정보 보호 권리를 강화하고, 기업이 개인 데이터를 수집, 저장, 처리하는 방식에 대한 엄격한 기준을 제시합니다…
FRRouting 개요 FRRouting(일반적으로 FRR로 알려짐은 고성능의 오픈소스 라우팅 소프트웨 스위트, 다양한 라우팅 프로토콜을 지원하며 리눅스 기반 시스템에서 실행되는 라우터 또는 라우팅 기능을 가진 네트워크 장비에 사용됩니다. FRR은 기업, 서비스 제공업체, 클라우드 인프라 및 SDN(소프트웨어 정의 네트워킹) 환경에서 네트워크 라우팅을 구현…
Google Earth Engine 개요 Google Earth Engine(지구 엔진, 이하 GEE)은 구글이 개발한 클라우드 기의 지리공간 분석 플랫폼으로, 대규모 위성 원격사 데이터를 실시간으로 분석하고 시각화할 수 강력한 도구입니다. 1970년대 이래의 위성 이미지 아카이브와 기후, 지형, 생태계 등 다양한 지리공간 데이터를 통합하여, 연구자, 정부…
5 GHz 대역 개요 5 GHz역(5 Gigahertz band은 무선 통신에서 널리 사용 주파수 대역 중 하나로, 주로 Wi-Fi 통신에 활용된다. 이 대역은 2.4 GHz 대역 비해 더 넓 대역폭과 더 적은 간섭을 제공하여, 고속 데이터 전송과 안정적인 네트워크 환경을 구현하는 데 유리하다. 특히 최근의 고성능 무선 네트워크 기술인 Wi-Fi 5(802…
Positional Encoding 개요 Positional Encoding(치 인코딩)은 자연 처리(NLP)야에서 사용되는 인지능 모델, 특히 트랜스포머(Transformer) 아키텍처에서 핵심적인 구성 요소 중입니다. 트랜포머는 순환 신경망(RNN)이나 컨볼루션 신경망(CNN)과 달리 시퀀스 데이터의 순서 정보를 내재적으로 처리하지 못하기 때문에, 입력…
Medtronic MiniMed 780G 개요Medtronic MiniMed 80G는 세계적인 의기기 기업 메드트로닉edtronic)이발한 최신 세대 인슐린 펌 시스템으로 1형 당뇨병 환자 및 일부 2형 당뇨 환자를 위한 첨단 자동화된 인슐린 공 장치입니다. 이 시스템은 자동 인슐린 조 기능(Automated Insulin Delivery, AID) 을 탑…
StyleGAN GAN(Style-Based Generator Architecture for Gener Adversarial Networks)은 얼, 풍경, 예술 작품 등 고해상도의 사실적인 이미지를 생성하기 위해 개발된 생성적 적대 신경망(GAN)키텍처이다. NVIDIA 연구팀에 의해 2018년에 처음 발표된 StyleGAN은 기존의 GAN 모델들이 가진…
Multi-access Edge Computing 개요 Multi-access Edge ComputingMMEC),적으로 MEC(-access Edge Computing) 알려진 기술은 클우드 컴퓨팅의 리소스를 네트워크의자리(엣지)에 배치함으로써 데이터 처리를 사용자 가까이에서 수행하는 분산 컴퓨팅 패러다입니다. 이 기술 5G, IoT, 실 애플리케이션 초…
Medtronic Mini 780G 개요Medtronic MiniMed780G는 세계적인료기기 기 메드트로닉edtronic) 개발한 최신형 인슐린 펌프 시스템으로, 1형 당뇨병 환자들의 혈당 관리를 자동화하고 보다 편리하게 해주는 첨단 폐쇄 루프 시스템(Closed-Loop System)이다. 이 시스템은 실시간 혈당 모니터링과 인슐린 투여를 통합하여, 사…
AggregateError Error는 ECMAScript 201(ECMA-62 12 Edition)에서 도입된 JavaScript의 내장 오류 객체로, 여러 개의 오류를의 오류 객체 통합하여 표현할 수 있도록 설계되었습니다. 주로 비동기 작업에서 여러 개의 프로미스가 동시에 실패할 경우, 각각의 오류를 별도로 처리하지 않고 하나의 오류로 묶어 처리할 수 …
Clang Clang은 C, C++, Objective, Objective-C++ 등의 프로그래밍 언어를 위한 컴파일러 프론트엔드로, LLVM 프로젝트의 일환으로 개발되고 있습니다. Clang은 기존의 GCC(GNU Compiler Collection)를 대체하거나 보완하기 위해 설계되었으며, 빠른 컴파일 속도, 저렴한 메모리 사용량, 명확한 오류 메시지,…
Simultaneous Localization and Mapping 개요 Simult Localization and Mapping(AM, 동시 위치 추 및 맵핑) 로보틱스야에서 자율 내비게이션을 실현하기 핵심 기술 중 하나이다. 로봇이 사전에 알지 못하는 환경을 탐색할 때, 자신이 어디에 있는지를 추정(자기 위치 추정, Localization)하면서 동시에…