# ONNX Runtime ONNX은 오픈 뉴럴 네트워 교환(Open Neural Network Exchange, ONNX) 형식으로 표현된 머신러닝 및 딥러닝델을 고성능으로 실행하기 위한 크로스플랫폼 추론 엔진입니다. 마이크로소프트에서 주도적으로 개발하고 있으며, 산업계와 학계에서 널리 사용되고 있습니다. ONNX Runtime은 다양한 하드웨어 플랫폼...
검색 결과
검색어를 입력하세요.
# Types and Programming Languages ## 개요 《**Types and Programming**(이하 *TAPL*)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그래밍어의 설계, 구현 분석에 있어 **타입 이론**(type the...
# Edge TPU ## 개요 **Edge TPU**(Tensor Processing Unit)는글(Google)이 개발한 특수 목적 애플리케이션별 집적회로(ASIC)로, **엣지(edge)에서의 머신러닝 추론**(inference)을 고속으로 처리하기 위해 설계된 하드웨어 가속기입니다. 이 칩은 클라우드가 아닌 로컬 장치(예: 스마트폰, IoT 기기,...
# 정적 타입 추론 정적 타입 추론(Static Type Inference)은 프로그래밍 언어에서 변수나 표현식의 타입을 **런타임이 아닌 컴파일 타임에 자동 결정하는 기법**을 말합니다 이 기법은 프로그머가 타입을 명시하지 않아도, 코드의 구조와 사용 패턴을 분석하여 각 식별자의 타입을 추론함으로써 타입 안정성과 코드결성을 동시에 달성할 수 있도록 도와...
# 타입 추론 타입 추론(Type Inference)은 프로그래밍 언어의 **타입 시스템**에서, 변수나 표현식의 타입을 **명시적으로 선언하지 않아도** 그 값을 기반으로 자동으로 타입을 결정하는 기능입니다. 이는 코드의 가독성과 생산성을 높이면서도 정적 타입 시스템의 안정성과 오류 검출 능력을 유지할 수 있도록 도와줍니다. 타입 추론은 주로 정적 타입...
# 의미 추론 ## 개요 **의미 추론**( Inference)은 자연어처리(Natural Language Processing, NLP) 분야에서 핵심적인 기술 중 하나로, 주어진 텍스트의 **암시적 의미**를 분석하고, 명시되지 않은 정보를 논리적으로 도출하는 과정을 말합니다. 이는 단한 단어나 문장의 의미를 파악하는 것을 넘어서, 문맥, 배경 지식,...
# 정적 타입 ## 개요 **정적 타입**(Static Typing)은 프로그래밍 언어 변수, 함수, 표현식 등의 타입(type)이 **컴파일 타임**(compile time)에 결정되고 검사되는 타입 시스템의 한 형태입니다. 이는 프로그램이 실행되기 전에 타입 오류를 미리 감지할 수 있도록 하여, 코드의 안정성과 유지보수성을 향상시키는 데 기여합니다....
# 수학적 표현 수학적 표현(Mathematical Expression)은 수학적 개념, 관계, 연산 등을 기호와 언어를 통해 명확하고 간결하게 전달하는 수단이다. 수학은 추상적인 사고를 기반으로 하기 때문에, 이를 효과적으로 기술하고 전달하기 위해서는 체계화된 표현 방식이 필수적이다. 수학적 표현은 단순한 기호 나열을 넘어서 논리적 구조와 의미를 내포하...
무작위 샘플링 무위 샘플링(Random Sampling)은 통계학과 데이터과학에서 널리 사용되는 기본적인 샘플링 기법으로, 모집단(Population)에서 각 구성원이 동일한 확률로 선택될 수 있도록 표본(Sample)을 추출하는 방법이다. 이 기법은 데이터의 편향을 최소화하고, 추출된 표본이 모집단을 정확하게 대표할 수 있도록 보장하는 데 중요한 역할을...
# 논리적 추론 ## 개요 논리적 추론(logical reasoning)은 주어진 정보와 규칙을 기반으로 새로운 지식을 도출하거나 결론을 내리는 사고 과정이다. 인공지능(AI)과 머신러닝(Machine Learning, ML) 분야에서 논리적 추론은 데이터 해석, 의사결정, 문제 해결 등 다양한 영역에서 핵심적인 역할을 수행한다. 특히 규칙 기반 ...
# 수학 ## 개요 수학은 양, 구조, 공간 및 변화와 같은 추상적 개념을 탐구하는 체계적인 학문이다. 고대부터 현대까지 인간의 사고와 과학 기술 발전에 깊이 관여하며, 자연과학, 공학, 경제학 등 다양한 분야에서 필수적인 도구로 활용된다. 수학은 **기초수학**과 **심화수학**으로 나뉘며, 본 문서에서는 기초수학의 핵심 개념과 역사적 배경을 중심으로 ...