# Types and Programming Languages ## 개요 《**Types and Programming**(이하 *TAPL*)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그래밍어의 설계, 구현 분석에 있어 **타입 이론**(type the...
검색 결과
"R"에 대한 검색 결과 (총 2365개)
# World Health Assembly ##요 **World Health Assembly**(세계보건총회, 이하 WHA)는 **세계보건기**(World Health Organization, WHO)의 최고 의사결정 기구, 전 세계 194개 회원국이 참여하는 국제 보건 분야의심 회의체이다. 매년 5 스위스 제네바에 위치한 WHO 본부에서 개최되며 글로...
# USB Battery Charging 1.2 ## 개요 **USB Charging 1.2**(이 BC 1.2)는 USBers Forum(USBIF)에서 210년에 발표한 기술 표준으로, 인터페이스를 통해 기의 배터리를 보다 효율적이고 빠르게 충전할 수 있도록 설계된 규격입니다. 이 표준은 기존 2.0 및 USB 3.0의 전력 공급 한계를 보완하며, ...
# Micro-USB -USB는 소형 전자 기에서 널리 사용되는 USB 인터페이 규격 중 하나로, 주 스마트폰, 태블릿, 디지털 카메라, 이동식 배터리 등 다양한 모바일 기기에서 데이터 전송 및 전원급에 사용된다. 2000년대 후반부터 200년대 중반까지 안드로이드 기반 기기의 표준 연결 방식으로 자리 잡았으며, 그 작고 견고한 디자인 덕분에 많은 소비자...
# Bias Benchmark for QA ## 개 **Bias Benchmark for QA질문-응답 시스의 편향 평가 벤치마크)는 인공지능 기반 질문-응답(Question Answering, QA 모델에서 발생 수 있는 사회적,화적, 성, 인종적 편향을 체계적으로 평가하기 위해 설계된 벤치마크 데이터셋 및 평가 프레임워크입니다. 최근 대규모 언어 모...
# WireGuard WireGuard는 현대적이고 경량화된 VPNirtual Private Network)로토콜로,안, 성능,보수 용이성을 목표로 설계되었습니다.존의 복잡하고 오된 VPN 솔루션(예: OpenVPN, IPSec)을 대체하기 위해 개발된 WireGuard는 단순한 아키텍처와 최소한의 코드베이스를 기반으로 하여 빠르고 안정적인 네트워크 보안...
# Gender Bias Score ## 개요 **Gender Bias Score**(성별 편향 점)는 인공지능 모델, 특히 자연어 처리(NLP) 모델이나 이미지 생성 모델에서 성별에 기반한 편(bias)의를 정량적으로 평가하기 위해 사용되는표입니다. 이 점수는 모델이 특정 성별에 대해 불균형한, 과도한 일반화, 혹은 사회적으로 문제가 되는 고정관념(s...
RSA 암호화리즘 ## 개요 RSA 공개키 암호화(Public-keyography)의 대표적인 알고리 중 하나로, 177년 로널드 리베스트(R Rivest), 아디 샤미르(Adi Shamir), 레오날드 애들먼(Leonard Adleman)이 제안하여 세 사람의 이름 첫 글자를 따서 명명된 알고리즘이다. RSA는 정보의 기밀성, 인증, 디지털 서명 등 ...
# MSR: 다중 스케일 Retinex 알고리즘## 개요 **MSRMulti-Scale Retinex)은 디털 영상 처리 분야에서 널리 사용되는 색 보정 및 명암 대비 향상 기법 중 하나로, 인간의각 시스템이 다양한 조명 조건 하에서도 색상과 밝기를 일관되게 인식하는 능력에 착안하여 개발된 **Retin 이론**을 기반으로 합니다. MSR은 특히 저조도,...
# Gigabit Ethernet ## 개요 **Gigabit Ethernet기가비트 이더넷) 이더넷 네트워크 기술의 한 형태로, 최대 **1 기가비트 초당**(Gbps, 즉 1000)의 데이터 전 속도를 제공하는 유 연결 기술이다. IEEE 802.3 표준에 의해 정의되며, 특히 **IEEE 802.3ab**(1000BASE-T) 및 **IEEE 80...
# MikroTik ## 개요 **MikroTik은 라트비아에 본사를 둔 네트워크술 기업으로, 라우터, 스위치, 무선비 및 네트워크 운영 체제를 개발하고 판매하는 전문 기업이다. 주로 중소기업, 인터넷 서비스 제공업체(ISP), 그리고 네트워크 관리자들 사이에서 높은 인기를 끌고 있으며, 특히 **저렴한 가격 대비 뛰어난 성능**, **높은 확장성**,...
# RouterBOARD RouterBOARD는 리투아니아에 기반을 둔 네트워크 장비조업체인 **MikroTik**이 개발 판매하는 일련의 네트워크드웨어 플랫폼이다. 이 장치들은 주로 소프트웨어 기반 라우터 솔루션인 **RouterOS**와 함께 사용되며, 다양한 네트워크 환경에서 라우팅, 스위칭, 무선 액세스 포인트, 방화벽 등의 기능을 수행할 수 있도...
# RLHF ## 개요 **RLHF**(Reinforcement Learning from Human Feedback, 인간의 피드백을 통한 강학습)은 인공지능, 특히 자연어 처리(NLP) 분야에서 모델의 출력 품질을 향상시키기 위해 사용되는 학습 기법입니다. 이은 인간이 모델의 출력 결과에 대해 선호도를 평가하고, 그 피드백을 기반으로 강화학습 알고리즘...
# MRI ## 개요 **MRI**(Magnetic Reson Imaging, 자기공명영상) 인체 내부 구조를 비침습적으로 고해상도로 촬하는 데 사용되는학적 영상 진 기술입니다.선이나 방사을 사용하지 않고,한 **자기**과 **무선주파수 펄스**(RF 펄스)를 활용하여 수소 원자핵(주로 물 분자 내 수소 원자)의적 특성을 이용해 이미지를 생성합니다. M...
GDPR ## 개요 **GDPR**(General Data Protection Regulation 일반 데이터 보호 규정) 유럽 연합U)이 제정 개인정보 보호 및 데이터 보안 관련 법규, 2018년 5월 25부터 공식적으로되었습니다. 이 규정은 EU 시민의 개인정보 보호 권리를 강화하고, 기업이 개인 데이터를 수집, 저장, 처리하는 방식에 대한 엄격한 ...
# Semantic Analyzer 의미분석기(Semantic Analyzer) 컴파일러의 핵심 구성 요소 중 하나로, 소스 코드의 구문적 구조가 올바른지 확인한 이후에 그 코드의 **의미적 일관성**을 검사하는 단계입니다. 이계는 단순히 문법이 맞는지 넘어서, 프로그램이 실제로 실행 가능한 의미를 갖는지 판단하는 중요한 역할을 수행합니다. 의미분석기는 ...
# RC 스나바 개요 RC나바(Snubber)는 전력전자로에서 스위 소자(Switching)의 급격한 전압 변화(rate of voltage change, dv/dt)를 억제하고, 스위칭 시 발생하는 전압 서지(Voltage Spike) 고주파 노이즈 제거하기 위해 사용되는 수동 소자 기반의 보호 회로이다. RC 스나바는 저항(Resistor, R)과...
# FRRouting ## 개요 **FRRouting**(일반적으로 **FRR**로 알려짐은 고성능의 오픈소스 **라우팅 소프트웨 스위트**, 다양한 라우팅 프로토콜을 지원하며 리눅스 기반 시스템에서 실행되는 라우터 또는 라우팅 기능을 가진 네트워크 장비에 사용됩니다. FRR은 기업, 서비스 제공업체, 클라우드 인프라 및 SDN(소프트웨어 정의 네트워킹...
# Google Earth Engine ## 개요 **Google Earth Engine**(지구 엔진, 이하 GEE)은 구글이 개발한 클라우드 기의 지리공간 분석 플랫폼으로, 대규모 위성 원격사 데이터를 실시간으로 분석하고 시각화할 수 강력한 도구입니다. 1970년대 이래의 위성 이미지 아카이브와 기후, 지형, 생태계 등 다양한 지리공간 데이터를 통합...
RouterOS ##요 RouterOS 라트바이크atvian company MikroTik) 개발한 전용 운영 체제로, 네워크 라우, 스위칭,화벽, 무 네트워크리, 트래픽어 등 다양한 네트워크 기을 소프트어적으로 제공하는 **트워크 운영 체**(Network Operating System NOS)입니다. RouterOS는 x86 기 하드웨어와 Mikro...