# Topological Data Analysis 개요 **Topological Data**(TDA, 위상 데이터석)는 데이터의 형상(형태과 구조를 위상수학의 원리를 활용해 분석하는 데이터 과학의 한 분야입니다. 전적인 통계적 방법이나 머신러닝 기법이 주로 데이터의 수치적 관계나 분포에 집중한다면, TDA는 데이터가 형성하는 **기하학적 구조**와 *...

# 몰리브덴 다설파이드 몰리브덴이설파이드olybdenum Diside, MoS)는 고성 윤활 첨가제 산업 전반에 걸쳐리 사용되는 무기 화합물이다 이 물질은어난 윤활성 고온 안정, 그리고 고압 환경에서도 효과를 발하는 특성 덕분에 항공주, 자동차, 정밀기계, 그리고노기술 분야에서 중요한 역할을 있다. 본 문서에서는 몰리덴 다이설파이의 구조,리화학적 성질, ...

# 관계 관계(Relation)는 집합론에서 개 이상의 객체 사이의 연결성을 수학적으로 정의한으로, 수학 전반에서 기초적인 도구로 사용된다. 특히 집합의 원소들 사이에 어떤 조건이나 규칙에 따라 연결이 이루어지는지를 형식 기술할 수 있으며, 함수, 순서, 동치 관계 등 다양한 수학 구조의 기반이 된다. 이 문서에서는 집합론에서의 '관계'의 정의, 종류, ...

# 행렬-행렬 연산 행렬-행렬 연은 선형대수의 핵심 개념 중 하나로, 두 개 이상 행렬 간에할 수 있는 다양한 수학적 연산을 포함합니다. 이러한 연산 수치해석 컴퓨터 그래픽스, 기계학습, 물리학, 경학 등 다양한 분에서 널리 활용되며, 특히 데이터의 선형 변환과 시스템 해석에 핵심적인 역할을 합니다. 본 문서에서는 행렬 간의 주요 연산인 덧셈, 뺄셈, 곱...

# 열린 집합 열린 집합(Open Set) **일반 위상수학General Topology) 가장 기본적이고 핵심적인 개념 중 하나이다. 위 공간에서 열린합은 점들의 "처" 또는 "주"을 수학적으로 정의하는 데 사용되며, 연속성, 수렴, 연결성 등의 위상적 성질을 정의하는 데 필적인 역할을. 이 문서에서는 열린 집합의 정의, 성질, 예시, 그리고상 수학에서...

# 공정성 ## 개요 인공지능(A)의 **공정성**(Fair)은 AI 시스템이 개인 집단에 대해 차별적이거나 편향된 결정을 내리지 않도록 보장하는 핵심 윤리 원칙입니다. AI 기술이 의료, 채용, 금융, 사법 등 민감한 분야에 광범위하게 적용되면서, 시스템의 판단이 특정 인종, 성별, 연령, 지역, 사회경제적 지위 등에 따라 불공정한 결과를 초래하지 않...

# 샘플링 ## 개요 **샘플링**()은 전체 모집(Population)에서 일부 선택하여 그 특성을 조사함으로써 모단의 성질을 추정하는 통계적 방법이다. 현실 세계 모든 데이터를 수집하거나 분석하는 것은 비용, 시간 자원 등의 제약으로 인해 불능한 경우가 많기 때문에, 데이터과학에서는 샘플링을 통해 효율적이고 신뢰성 있는 분석을 수행한다. 샘플링은 사...

# 방향도함수 방향도함수(方向導數, Directional Derivative)는 다변수 미적분학에서 개념 중 하나로, 함수가 방향으로 변화하는 비율을 나타냅니다. 단순 좌표축 방향(예: x, y축)으로의 변화율인 편미분을 일반화하여, 임의의 방향으로의 변화율을 계산할 수 있게 해줍니다. 이는 함수의 기울기와 최적화, 물리학적 모델링 등 다양한 분야에서 핵...

# 평행이동 평행이동(平行移動, Translation)은 기하학에서 도형이나 점, 선분, 또는 전체 평면상의 객체를 **특정 방향으로 일정한 거리만큼 이동시키는 변환**을 말한다. 이 과정에서 도형의 크기, 모양, 방향은 그대로 유지되며, 오직 위치만 변화한다. 평행이동은 합동 변환(congruence transformation)의 한 종류로, 도형 간의...

# 확률적 모델링 ## 개요 **확률 모델링**(Probabilistic)은 불확실성과 랜성을 내재한 현상이나 시스템을 수학적으로 표현하고 분석하기 위한 통계학 및 확률론의 핵심 기법이다. 현실 세계의 많은 현상은 결정론적으로 예측하기 어려우며, 관측 오차, 자연스러운 변동성, 또는 정보의 부족 등으로 인해 확률적인 접근이 필요하다. 확률적 모델링은 이...

# 회전 **회전**(rotation)은 기하학 도형이나 점을 평면 공간 내의 한 점(또는 축)을 중심으로 일정한 각도만큼 돌리는 **합동 변환**(congrence transformation)의 일종이다. 회전을 통해어진 도형 원래 도형과 크기와 모양이 동일하며, 이는 도형의 **합동성**(congruence)을 유지한다는 의미이다. 회전은 일상생활뿐 ...

# 변환 기하 변환 기하(Transformational Geometry) 기하학적형이나 공간의 점들이 특정 규칙에 따라동하거나 변형되는 과정을 연구하는 기하학의 한 분야입니다. 이 분야는 도형의 위치, 방향, 크기 수학적으로 분석하고 표현하는 데 중점을 두며, 평면 기하학과 공간 기하학 모두에 적용됩니다. 변환 기하는 수학 교육뿐 아니라 컴퓨터 그래픽스,...

# 평균 절대 오 ## 개요 **평균 절대 오차**(Mean Absolute Error, MAE)는 회귀 분석에서 예 모델의 성능을 평가하는 대표적인 지표 중입니다. MAE는 예측값과 실제 관값 사이의 차이, 즉 **오차**(error)의 절대값을 평균한 값으로, 모델이 평균적으로 얼마나 큰 오차를 내는지를 직관적으로 나타냅니다. 회귀 분석에서는 모...

# 과학기술 계산 과학기술 계산(Scientific)은 과학 및 공학 분야의 복잡한 문제를 수치적 방법과 컴퓨터 시뮬레이션을 통해 해결하는 학제 간 기술 영역입니다. 이 분야는 수학, 물리학, 컴퓨터 과학, 공학 등 다양한 분야의 지식을 융합하여 실험적 또는 이론적 접근만으로는 해결하기 어려운 문제를 분석하고 예측하는 데 핵심적인 역할을 합니다. 현대 과...

# 전자기 상수 전자기 상수(電磁氣 常數, electromagnetic constants)는 전자기학의 기본 법칙을 기술하는 데 사용되는 물리 상수들로, 전기와 자기 현상의 상호작용을 수학적으로 표현하는 데 핵심적인 역할을 한다. 이러한 상수들은 맥스웰 방정식, 전자기파의 전파 속도, 물질 내에서의 전자기적 거동 등을 정량적으로 분석하는 데 필수적이며, ...

미분가능미분가능(differentiable)은 미분학에서 매우 개념으로, 함수의 특정 지에서 접선이 존재하고 그 지점에서의 기울기를 잘 정의할 수 있는 성질을 의미한다. 이는 함수의 국소적인율을 분석하는 데 핵심적인 역할 하며, 연성과 함께 미적분학의 기초를 형성한다. 미분가능성은 물리학, 공학, 경제학 등 다양한 분야에서 함수의 행동을 예측하고 최적화 문...

Agda Agda는 함수형 프로그래밍 언어이자 **정형 증명기**(proof assistant)로, 수학적 정리의 형식적 증명과 소프트웨어의 정확성 검증을 위해 설계된 고급 언어입니다. Agda는 **의존 타입**(dependent types)을 지원하여, 프로그램의 구조와 논리적 성질을 타입 시스템에 직접 반영할 수 있어, 프로그램이 요구된 사양을 만족...

# 해수면 상승 ## 개요 해수면 상승(Sea Rise)은 전적으로 기후 변화의 가장 뚜렷 영향 중 하나, 지구 평균온의 증가로 인해 해양의 물리적 성질이 변화하고 육상의 얼음이 녹아 바다로 유입되면서 해수면이 점진적으로 높아지는 현상을 말한다. 이 현상은 해안 지역의 생태계, 인프라, 주거지, 농업 및 담수 자원에 심각한 영향을 미치며, 특히 저지대 ...

# 무리식 무리식(無理式, irrational expression)은 수학, 특히 대수학에서 다루는 중요한 개념 중 하나로, **근호(√)를 포함하면서 그 안의 식이 완전제곱이 아닌 경우**에 해당하는 대식을 말한다. 무리식 유리식과비되며, 일반적으로 실수 범위에서 정의되지만, 특정 조건에서 복소수로 확장되기도 한다. 이 문서에서는 무리식의 정의, 성질,...

# Types and Programming Languages ## 개요 《**Types and Programming**(이하 *TAPL*)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그래밍어의 설계, 구현 분석에 있어 **타입 이론**(type the...