# Types and Programming Languages ## 개요 《**Types and Programming**(이하 *TAPL*)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그래밍어의 설계, 구현 분석에 있어 **타입 이론**(type the...
검색 결과
"연구"에 대한 검색 결과 (총 581개)
# World Health Assembly ##요 **World Health Assembly**(세계보건총회, 이하 WHA)는 **세계보건기**(World Health Organization, WHO)의 최고 의사결정 기구, 전 세계 194개 회원국이 참여하는 국제 보건 분야의심 회의체이다. 매년 5 스위스 제네바에 위치한 WHO 본부에서 개최되며 글로...
인간 피드백 ## 개요**인간 피드 수집**(Human Feedback Collection)은 인공지능(AI) 시스템, 특히 머신러닝 모델의 성능 향상과 행동 조정을 위해 인간의 판단, 평가, 선택 등을 수집하는 과정을 말합니다. 이는 주로 강화학습 기반 모델(예: LLM, 로봇 제어 등)의 학습 데이터를 보완하거나, 모델의 출력 결과에 대한 질적 평가를...
# 빔포밍 ## 개요 **빔포밍**(Beam)은 무선 통신 기술 핵심 기술 중 하나로, 송신기 또는 수신기가 특정 방향으로 신호를 집중적으로 전송하거나 수신함으로써 통신 품질을 향상시키는 기술이다. 이 기술은 다중 안테나를 사용하는 **다중 입력 다중 출력**(MIMO, Multiple-Input Multiple-Output) 시스템과 밀접하게 연관되어...
# 접이식 설계 ## 개요 접이식 설계(Foldable)는 기계적 구조이나 전자 기기를 접거나 펼 수 있도록 설계된 형태를 의미하며, 특히 휴대성과 공간 효율성을 극대화하는 데 초점을 맞춘 기술적 접근 방식입니다. 이 설계는 전통적인 고정형 구조에서 벗어나 사용자의 편의성과 기기의 실용성을 높이기 위해 다양한 분야에 적용되고 있습니다. 특히 하드웨어 중...
# 경제학 경제학은 자원의 희소성과 인간의 무한한 욕구 사이의 균형을 이해하고, 이를 통해 효율적인 자원 배분과적 복지 증진을 추구하는 사회과학의 한 분야입니다. 개인, 기업, 정부 등 다양한 경제 주체가 선택을 어떻게 하고, 그 선택이 시장과 전체 경제에 어떤 영향을 미치는지를 분석합니다. 이 문서에서는 경제학의 기본 개념, 주요 분야, 역사적 발전, ...
# Bias Benchmark for QA ## 개 **Bias Benchmark for QA질문-응답 시스의 편향 평가 벤치마크)는 인공지능 기반 질문-응답(Question Answering, QA 모델에서 발생 수 있는 사회적,화적, 성, 인종적 편향을 체계적으로 평가하기 위해 설계된 벤치마크 데이터셋 및 평가 프레임워크입니다. 최근 대규모 언어 모...
# Gender Bias Score ## 개요 **Gender Bias Score**(성별 편향 점)는 인공지능 모델, 특히 자연어 처리(NLP) 모델이나 이미지 생성 모델에서 성별에 기반한 편(bias)의를 정량적으로 평가하기 위해 사용되는표입니다. 이 점수는 모델이 특정 성별에 대해 불균형한, 과도한 일반화, 혹은 사회적으로 문제가 되는 고정관념(s...
# 생성 편향성 ## 개요 **성 편향성**(ative Bias)은 생성형 인공지능 모델 생성하는 콘텐츠가 특정 집단, 관점, 또는 사상에 대해 불균형하게 반영되거나 차별적인 경향을 보일 발생하는 문제를 의미합니다. 이 모델의 학 데이터, 알고리즘계, 평가 기준 등 다양한 요인에서 기인하며, 특히 생성형 언어 모델(Large Language Models...
# 스마트홈 ## 개요 스마트홈mart Home)은 사물인터넷(Int of Things, IoT 기술을 기반으로 주거 공간 내 다양한 장치와 시스템을 네트워크로 연결하여 자동화하고 원격 제어할 수 있도록 구성한 주거 환경을 의미합니다. 스마트홈은 조명, 난방, 보안, 가전제품, 에너지 관리 등 일상생활의 다양한 요소를 통합적으로 관리함으로써 사용자의 편...
# 캘리퍼스 개요 **캘리퍼스**(Caliper)는체의 길이, 두께 내경, 외경, 깊이 등을 정밀하게정하는 데 사용되는 계측 도구이다. 주로 금속 가공, 기계 공학, 제조업, 실험실 연구 등 다양한 산업 분야에서 널리 활용되며, 높은 정밀도와 사용의 편리성 덕분에 가장 기본적이면서도 중요한 측정 장비 중 하나로 평가받는다. 캘리퍼스는 아나로그(기계식)...
RSA 암호화리즘 ## 개요 RSA 공개키 암호화(Public-keyography)의 대표적인 알고리 중 하나로, 177년 로널드 리베스트(R Rivest), 아디 샤미르(Adi Shamir), 레오날드 애들먼(Leonard Adleman)이 제안하여 세 사람의 이름 첫 글자를 따서 명명된 알고리즘이다. RSA는 정보의 기밀성, 인증, 디지털 서명 등 ...
# 홍채 인식 개요 **홍채 인**(Iris Recognition)은 인간 눈 홍채(환자의 눈동자 주위의 색깔이 있는 원형 부분)의 고유한 패턴을 분석하여 개인을 식별하는 생체 인식 기술이다 홍채는 개인마다 고한 무작위적인 섬유 구조를 가지며, 이는 쌍둥이라도 서로 다르며, 시간이 지나도 거의 변하지 않기 때문에 매우 높은 정확도와 신뢰성을 가진 인식...
# Time-of-Flight ## 개요 **Time-of-FlightToF, 비행시간)는체와 센서 사이의 거리를 측정하기 위한 기술로, 빛이나 음파와 같은 신호가 발사되어 물체에 반된 후 수신 때까지의 **비행 시간**(Time of Flight)을 측정함으로써 거리를 계산하는 원리를 사용합니다. 특히 **컴퓨터비전**(Computer Vision) ...
# 트래픽 제어 ## 개요 **트래 제어**(Traffic Control)는 네트워크 데이터 흐름을 효율적으로 관리하고, 대역폭 사용을 최적화하며 네트워크 혼잡을 방지하기 위한 기술 및 정책의 집합입니다. 네워크 트래픽은 사용자 요청, 파일 전송, 스트리밍 미디어, 실시간 통신 등 다양한 소에서 발생하며,들이 동시에 네트워크원을 요구할 경우 성능 저하나...
# 의료 정보 관 의료 정보 관리는 환자의 건 기록, 진 결과, 치료 이력, 약물 처방 등 민감한 개인 정보 안전하고 효율적으로 저장·관리·공유하는 과정을 의미합니다. 전통적인 의료 정보 시스템은 중앙집중식 데이터베이스에 의존하며, 정보의 접근성, 보안성, 상호 운용성(Interoperability) 측면에서 여러 한계를 지니고 있습니다. 이러한 문제를 ...
# 신호 처리 신호 처리(Signal Processing)는 물리적 현상이나 시스템에서 발생하는 **호**(signal) 분석, 변환, 조하거나 해석하여 유용한 정보를 추출하거나 신호의 품질을 개선하는 기술 분야입니다. 이는 통신, 음향, 이미지, 생체 신호, 제어 시스템 등 다양한 응용 분야에서 핵심적인 역할을 하며, 아날로그 신호와 디지털 신호 모두를...
# MRI ## 개요 **MRI**(Magnetic Reson Imaging, 자기공명영상) 인체 내부 구조를 비침습적으로 고해상도로 촬하는 데 사용되는학적 영상 진 기술입니다.선이나 방사을 사용하지 않고,한 **자기**과 **무선주파수 펄스**(RF 펄스)를 활용하여 수소 원자핵(주로 물 분자 내 수소 원자)의적 특성을 이용해 이미지를 생성합니다. M...
# 과일당 ## 개 **과일당**(糖糖, Fructose)은계에서 가장 흔 발견되는 **단당류**(monosaccharide) 중 하나로, 주로 과일 꿀, 일부 채소 및 고과당 옥수수 시럽(HFCS) 등에 포함되어 있다. 화학식은 C₆H₁₂O₆이며, 포도당(Glucose)과 같은 분자식을 갖지만 구조가 다르기 때문에 생리적 작용과 대사 경로가 구분된다....
# 엑셀 ## 개요 **엑셀**(Excel)은 마크로소프(Microsoft)에서 개발한 전자 스프레드시트 소프트웨로, 데이터 분석 도구 중 가장 널리 사용되는 프램 중 하나이다. 198년 최초 출시 이후로 수십 년간 지속적으로 발전하며, 기업, 교육 기관, 정부 기관 및 개인 사용자들 사이에서 데이터 입력, 계산, 분석, 시각화 및 보고서 작성에 핵심 ...