Unsqueezing Unsqueezing(언스퀴징)은 데이터 과학과 머신러닝, 특히 텐서(Tensor)반 프로그래밍에서 자주 사용되는 데이터 변환 기법 중 하나입니다. 이는 기존의 차원이 축소된 텐서에 새로운 차원을 추가하여 형태를 확장하는 작업을 의미하며, 주로 텐서 연산의 호환성을 맞추거나 모델 입력 형식을 조정할 때 활용됩니다. 이 문서에서는 언스퀴…
검색 결과
"연산"에 대한 검색 결과 (총 816개)
행렬 개요 행렬(Matrix)은학, 특히 형대수(Linear)에서 핵심적인으로, 수치나 기호를 직사각형 형태로 배열하여 표현한 구조입니다.렬은 방정식의 계수를계적으로 표현하고, 선형 변환을 기술, 컴퓨터 그래픽스, 통계,신러닝 등 다양한 기술 분야에서 널리 활용됩니다. 행렬은 행(row)과 열(column)로 구성되며, 일반적으로 형태로 표기합니다. 여기서…
블록화 개요 블록화()는 수치계산 및적화 기법 분야에서 대모 문제를 보다 관리 가능한 작은 단위인 "블록"(Block)으로 나누어 처리하는 전략을 의미합니다. 이 기법은 계산의 효율성과 메모리 접근 패턴을 개선하며,렬 처리 및 알고리즘의 수렴 속도를 향상시키는 데 널리됩니다. 특히 대용량 데이터나 고차원 변수를 다루는 최적화 문제에서 블록화는 핵심적인 기법…
Intel ICC Intel ICC(Intel C++ Compiler, 또는 C/C++ Compiler Classic는 인텔(Intel)이 개발한 고성능 C C++ 컴파일러로, 인텔 아키텍처 기반 시스템 최적의 성능을 발휘하도록 설계된 상용 컴파일러입니다. 주로 과학 계산,성능 컴퓨팅(HPC), 임베디드 시스템, 데이터 분 등 성능이 중요한 분야에서 사용되…
관계 관계(Relation)는 집합론에서 개 이상의 객체 사이의 연결성을 수학적으로 정의한으로, 수학 전반에서 기초적인 도구로 사용된다. 특히 집합의 원소들 사이에 어떤 조건이나 규칙에 따라 연결이 이루어지는지를 형식 기술할 수 있으며, 함수, 순서, 동치 관계 등 다양한 수학 구조의 기반이 된다. 이 문서에서는 집합론에서의 '관계'의 정의, 종류, 성질,…
AOCL AMD Optimizing CPU Libraries(AOCL)는 AMD 제공하는 고성능 컴퓨(HPC), 머신러닝, 과학 계산 및 데이터 분석 애플리케이션 성능을 최적화하기 위한 소프트웨 라이브러리 모음입니다. AOCL AMD의 x86-4 아키텍처 기반 프로세서, 특히 EPYC, Ryzen, Threadripper 시리즈에서 최적의 성능을 발휘하도록…
PyData 개요 PyData는 파이(Python)을반으로 데이터 과학, 머신러닝, 통계 분석, 데이터 엔지니어링 다양한 데이터 관련 작업을 수행하는 데 사용되는 오픈소스 생태계와 커뮤니티를 총칭하는 용어입니다. PyData는 단순한 도구의 집합을 넘어서, 데이터 과학자, 연구자, 개발자들이 협업하고 지식을 공유하는 글로벌 커뮤니티이기도 하며, 특히 PyD…
레벤슈타인 거리 개요 레벤슈타인 거리Levenshtein)는 두 문자열 간의 유사도를 측정하는 편집 거리(Edit Distance)의 형태로, 러시아 수학자 블라디미르 레벤슈타인(Vladimir Levenshtein)이 1965년에 제안한 개념이다. 이 거리는 한 문자열을 다른 문자열로 변환하기 위해 필요한 최소 편집 연산 횟수를 계산함으로써 두 문자열의 …
RPS 개요RPS(Requests Per Second는 시스템 성능을 측정 핵심 지표 중 하나로, 초당 처리 가능한 요청 수(초당 요청 수) 의미합니다. 특히 웹버, API 서비스, 마이크로서비스 아키텍처 등과 같은 소프트웨어 시스템의 성능 평가와 스케일링 전략 수립에 널리 사용됩니다 RPS는 시스템의 처리 능력, 응답 속도, 리소스 효율성 등을 종합적으로…
GloVe 요 GVe(Global Vectors Word Representation)는 스탠퍼드 대학교 연구팀이 214년에 제안한 단어 임베딩(word embedding) 기법으로, 단어 간의 의미적 관계를 실수 벡터 형태로 표현하는 자연어처리(N) 모델이다. GloVe는 단의 분포 가(distributional hypothesis) 기반하여, 단어가맥에서…
레지스터 스파일링 개요 레스터 스파일링(Registerilling)은 컴일러 최적화정에서 발생하는 중요한 현상 중로, 프로그램에서 사용하는 변수의 수 프로세서의 물리적 레지스터 수를 초과할 때 발생한다. 이 경우 컴파일러는 일부 변수를 메모리(스택)로 내려보내야 하며, 이를 통해 레지스터 자원을 효율적으로 관리한다. 이 과정은 성능에 직접적인 영향을 미치므…
SHAttered 공격 개요 SHAttered 공격은 2017년 2월, 암스테르담에 위치한 CWI 아인트호번(Centrum Wiskunde &atica)과 메릴랜드 대학교의 연구자들이 공동으로 발표한, 암호학적 해시 함수 SHA-1(Secure Hash Algorithm 1)에 대한 첫 번째 실용적인 충돌 공격(collision attack)입니다. 이 공…
평행이동 평행이동(平行移動, Translation)은 기하학에서 도형이나 점, 선분, 또는 전체 평면상의 객체를 특정 방향으로 일정한 거리만큼 이동시키는 변환을 말한다. 이 과정에서 도형의 크기, 모양, 방향은 그대로 유지되며, 오직 위치만 변화한다. 평행이동은 합동 변환(congruence transformation)의 한 종류로, 도형 간의 합동 관계를…
변환 기하 변환 기하(Transformational Geometry) 기하학적형이나 공간의 점들이 특정 규칙에 따라동하거나 변형되는 과정을 연구하는 기하학의 한 분야입니다. 이 분야는 도형의 위치, 방향, 크기 수학적으로 분석하고 표현하는 데 중점을 두며, 평면 기하학과 공간 기하학 모두에 적용됩니다. 변환 기하는 수학 교육뿐 아니라 컴퓨터 그래픽스, 물리…
평균 절대 오 개요 평균 절대 오차(Mean Absolute Error, MAE)는 회귀 분석에서 예 모델의 성능을 평가하는 대표적인 지표 중입니다. MAE는 예측값과 실제 관값 사이의 차이, 즉 오차(error)의 절대값을 평균한 값으로, 모델이 평균적으로 얼마나 큰 오차를 내는지를 직관적으로 나타냅니다. 회귀 분석에서는 모델이 연속형 변수를 예측하기 때…
옵셔널 타입 개요 옵셔 타입(Optional Type)은 프로그래밍 언어에서 값이 존재할 수도 있고, 존재하지 않을 수도 있는황을 명시적으로 표현하기 위한 타입스템의 한입니다. 이는 이나 undefined와 같은 특수 허용하는 변수를 안전하고 명하게 다루기 설계 패턴으로 특히 정적 타입 언어에서 널 포인터 참조(null pointer dereference)…
ECMAScript ECMAS는 자바스크트(JavaScript) 언의 표준화된 사양ification)으로, 브라우저 및 다양한 환경에서 자바스크립트가 어떻게작해야 하는지를의하는 공식적인 기준입니다. ECMAScript는 ECMA International이라는 국제 표화 기구에서리하며, 이 표준을 바탕으로 브라우저 제작사, 개발자, 프레임워크 개발자들이 일관…
Agda Agda는 함수형 프로그래밍 언어이자 정형 증명기(proof assistant)로, 수학적 정리의 형식적 증명과 소프트웨어의 정확성 검증을 위해 설계된 고급 언어입니다. Agda는 의존 타입(dependent types)을 지원하여, 프로그램의 구조와 논리적 성질을 타입 시스템에 직접 반영할 수 있어, 프로그램이 요구된 사양을 만족함을 수학적으로 …
타입 이론타입 이론 Theory)은 프로그래밍 언어 수학 기초 이론에서 중요한 역할을 하는 학문 분야로, 데이터의 종류(타입를 체계적으로 정의하고, 이들 간의 관계와 연산의 유효성을 검증하는 이론적 기반을 제공합니다. 특히 프로그래밍 언 설계, 형식적 검증 컴파일러 개발, 함수형 프로그래밍 등에서 핵심적인 역할을 하며, 오류를 사전에 방지하고 코드의 안정성…
ONNX Runtime ONNX은 오픈 뉴럴 네트워 교환(Open Neural Network Exchange, ONNX) 형식으로 표현된 머신러닝 및 딥러닝델을 고성능으로 실행하기 위한 크로스플랫폼 추론 엔진입니다. 마이크로소프트에서 주도적으로 개발하고 있으며, 산업계와 학계에서 널리 사용되고 있습니다. ONNX Runtime은 다양한 하드웨어 플랫폼과 프…