# 포물선 ## 개요 포물선(抛物線, Parabola)은 이곡선의 한류로, 평면상에서 한 고정된 점(초점, Focus)과 한 고정된 직선(준선, Directrix)까지의 거리가 항상 같은 점들의 자취로 정의된다. 기하학적으로 매우 중요한 곡선이며, 물리학, 공학, 천문학 등 다양한 분야에서 응용된다. 특히, 중력이 작용하는 환경에서 물체를 던졌을 때의 ...

# 로피탈의 정리 로피탈의 정리(L'Hpital's Rule)는적분학에서한을 구할 때용하게 사용되는리 중 하나로 특정 조건 하에서 부정형(indeterminate form)의 극한을 미을 통해 계산 수 있도록 해줍니다. 특히, $\frac{0}{0}$ 또는 $\frac{\infty}{\infty}$ 형태의 극한을룰 때 자주 활용되며, 복잡한 함수의 극한을...

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

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

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

# 타입 이론타입 이론 Theory)은 프로그래밍 언어 수학 기초 이론에서 중요한 역할을 하는 학문 분야로, 데이터의 종류(타입를 체계적으로 정의하고, 이들 간의 관계와 연산의 유효성을 검증하는 이론적 기반을 제공합니다. 특히 프로그래밍 언 설계, 형식적 검증 컴파일러 개발, 함수형 프로그래밍 등에서 핵심적인 역할을 하며, 오류를 사전에 방지하고 코드의 안...

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

# 극형식 ##요 복소수는 실수와 허수부 구성된 수 체계, $ z = a + bi $단, $ i = \sqrt{-1 $)의 형태 나타낼 수 있다. 표현을 **직교형식**(또는 대수형식)이라 한다. 그러나 복소수를 평면 상의 점이나 벡터로 해할 때, 직교형식 외에도 **극형**(polar form)이라는 또 다른 표현 방식이 유용하다. 극형식은 복소수를 ...

# 기울기 점선 ## 개 기울기 점근선(영어: slant asymptote 또는 oblique asymptote)은 유함수의 그래프가 무한대 방향으로 접근만 결코 만나 않는 직선 중, 수평선이 기울기를 가진 직선을 의미한다. 일반적으로, 유리함수의 분모보다 분자의 차수가 **정확히 1차수 더 클 때** 기울기 점근선이 존재한다. 이 점근선은 함수의 전반...

# 라그랑주 표기 라그랑주 표법(Lagrange's notation)은분을 나타내는 수학 기 체계 중 하나로, 프랑스의 수학자 조제프루이 라그랑주(Joseph-Louis Lagrange의 이름을 따서 명명되었다. 표기법은의 도함수(derivative)를 표현하는 데 널리 사용되며, 특히 미적분학 교육 및 공학, 물리학 등 다양한 분야에서 흔히 등장한다. ...

# 음함수 표현 ## 개요 음함수 표현(implicit function representation)은 수학에서 두 변수 사이의 관계를 명시적으로 함수의 형태로 나타내지 않고, 두 변수가 포함된 방정식의 형태로 표현하는 방법이다. 일반적으로 함수는 독립변수 $ x $에 대해 종속변수 $ y $를 $ y = f(x) $와 같이 **양함수**(explicit...

# 매개변수 표현 매개변수 표현(Parameter Representation)은 수학에서 곡선,면 또는 더 복잡한 기하학적 객체를 **매개변수**(parameter)를 이용하여 정의하는이다. 이 방식은존의 함수 표현인 $ y = f(x) $ 형태로 표현하기 어려운 곡선이나 다차원 도형을 보다 유연하고 직관적으로 기술할 수 있게 해준다. 특히, 평면 곡선,...

# 주기 함수 개요 **기 함수**(Periodic)는 수학, 특히 함수론에서 매우 중요한 개념 중 하나로, 특정 간격(주기)을 두고 그 함수값이 반복되는 성질을 가진 함수 의미한다. 주기 함수는 자연현상의 반복성, 예를 들어 파동, 진동, 계절 변화 등과 밀접한 관련이 있으며, 삼각함수는 대표적인 주기 함수의 예이다. 이 문서에서는 주기 함수의 정의...

# 오목 오목은 미분학에서 함수의 그래가 가지는 곡선의 성질 중 하나로, 그래프의 **곡률 방향**을 설명하는 중요한 개념이다. 함수의 오목성(또는 볼성)은 함수의 2차 도함수의 부호를 판단할 수 있으며, 최적화 이론, 경제학, 물리학 등 다양한 분야에서 활용된다. 본 문서에서는 오목 함수의 정의, 수학적 조건, 기하학적 의미, 관련 개념 및 응용 사례를...

# 임계점 ## 개요 임계점(臨界, 영어: critical point) 미분학에서 함수의 국소적 성질을 분석하는 데 핵심적인 개념이다. 함수의 그래프에서 극값(극대 또는 극소)이 존재할 수 있는 후보 지점으로, 함수의 변화율이 0이 되거나 미분이 존재하지 않는 점을 의미한다. 임계점은 함수의 증가와 감소가 전환되는 지점, 즉 극값을 찾는 데 매우 중요한...

# 치역 ## 개요 **치역**(range)은 함수 출력값, 즉에 의해 정의역의 원소들이 대응되는 값들의 집합을 의미한다. 수학, 특히 미적분학에서 치은 함수의 행동과 성질을 분석하는 데 핵심적인 개념 중 하나이다. 함수 $ f: A \to B $가 주어졌을 때, 정의역 $ A $의 각 원소 $ x $에 대해 $ f(x) $의 값이 존재하며, 이러한 모...

# 변곡점 ## 개요 변곡점(變曲點, inflection point)은 함수 그래프가 **오목에서 볼록으로**, 또는 **볼록에서 오목으로** 변하는 지점을 의미한다. 즉, 함수의 **곡률**(curvature)이 부호를 바꾸는 점으로, 그래프의 형태가 변하는 전환점이라 할 수 있다. 변곡점은 미분학에서 함수의 그래프를 분석하고 해석하는 데 중요한 역할...

# 헤시안 행렬 헤시안 행렬(Hessian Matrix)은 다변수 실수값 함수의 **이계도함수**(second-order partial derivatives)를 정사각형 행렬 형태로 배열한 것으로, 함수의 국소적 곡률 정보를 제공하는 중요한 수학적 도구입니다. 선형대수학과 최적화 이론, 머신러닝, 물리학 등 다양한 분야에서 널리 사용되며, 특히 함수의 극...

# 연쇄 법칙 ## 개요 **연쇄 법칙**( Rule)은 미적분학에서 합성함수의 도함수를 구하는 데 사용되는 핵심적인 법칙이다. 특히 기하학과 수학반에서 곡선, 곡면, 다변수 함수의 기울기와 변화율을 분석할 때 중요한 역할을 한다. 연쇄 법칙은 단순한 함수의 미분을 넘어서, 복잡한 함수 구조를 해석하고 계산하는 데 필수적인 도구로, 고등학교 수학부터 대...

# 고계 도함수 ## 개요 고계 도함수(higher-order derivatives)는 함수의 도함수를 다시 미분하여 얻어지는 도함수를 말한다. 가장 기본적인 도함수인 **1계 도함수**(first derivative)는 함수의 순간 변화율을 나타내며, 이 도함수를 다시 미분하면 **2계 도함수**(second derivative), 또 이를 미분하면 ...