├── 논문
│ ╰── (KCC2025) SVS 모델 데이터셋 전처리 알고리즘 제안
├── 개발툴 정리
├── 기초 컴퓨터 보안 메모
╰── 기초 메모
├── 수학 역사
├── 러프한 불완전성 정리
├── 기초 집합 관련
│ ├── 집합[ZFC]
│ ├── 수론[COF=Real]
│ ├── 무한집합[⏐N⏐<⏐R⏐]
│ ╰── 초실수/초현실수
├── 증명이론(Proof Theory)
│ ├── 1차논리[완전성정리]
│ ├── 수론[불완전성정리]
│ ├── 집합[무모순성정리]
│ ├── 계산가능성[튜링기계]
│ ├── 2차논리
│ ╰── 순서수 분석[시스템의 천장]
├── 위상수학
│ ├── 집합
│ ├── 위상공간
│ ╰── 연결성과 콤팩트성
├── 연산
├── 다항식
├── 선형대수학
│ ├── Vector Space
│ ├── Linear Transformation
│ ├── Matrix Operation
│ ├── Determinants
│ ├── Diagonalization
│ ├── InnerProduct Spaces[1/2]
│ ├── InnerProduct Spaces[2/2]
│ ╰── Canonical Forms
├── 해석학 in R
│ ├── Real Numbers
│ ├── Sequence and Series
│ ├── Topology in R
│ ├── Functional Limit
│ ├── Continuity
│ ├── Derivative
│ ├── Function Sequence and Series
│ ╰── Integral
├── Metric Space
╰── 해석학 in Rⁿ
├── 위상수학 in Rⁿ
├── 미분
├── Extrema