97. NaN (Not a Number) — Brain Science

핵심 인사이트 (3줄 요약)

본질: NaN (Not a Number)은 IEEE 754 부동소수점 포맷에서 수학적 오류나 정의할 수 없는 연산(예: $0/0$)이 발생했을 때, 프로그램의 강제 종료를 막기 위해 예약된 특수 상태 값이다.

가치: 오류를 즉각적인 시스템 패닉(Crash)으로 처리하지 않고 데이터 파이프라인 내부의 값으로 격리하여, 연산을 멈추지 않고 끝까지 흐르게 하는 무중단 생존 철학을 제공한다.

판단 포인트: NaN은 연산 시 주변 값을 모두 NaN으로 오염시키는 전염성(Toxic Propagation)이 있으므로, 데이터 정제나 AI 모델 학습 파이프라인에서 조기에 감지하고 필터링하는 방어 로직이 필수적이다.

Ⅰ. 개요 및 필요성

NaN (Not a Number)은 컴퓨터가 실수를 표현하는 IEEE 754 규격 안에서 "이것은 정상적인 숫자가 아니다"라고 선언하는 일종의 오류 표지판이다. $0/0$, $\infty - \infty$, $\sqrt{-1}$ 같이 수학적으로 성립할 수 없는 계산을 FPU (Floating Point Unit)가 마주했을 때 발행된다.

과거 초기 컴퓨팅 환경에서는 연산 도중 예외가 발생하면 CPU 인터럽트가 발생해 프로그램 전체가 블루스크린을 띄우며 즉사했다. 대규모 시뮬레이션에서 수억 개의 연산 중 단 하나의 0 나누기 오류 때문에 며칠간의 계산이 전부 날아가는 것은 치명적이었다. 이를 해결하기 위해 에러를 발생시키는 대신 "알 수 없는 값"이라는 꼬리표를 달아 시스템을 멈추지 않게 하는 우회로가 필요해졌다.

📢 섹션 요약 비유: NaN은 컨베이어 벨트에서 발견된 불량품에 붙이는 '빨간 딱지'와 같다. 불량품 하나 때문에 공장 전체의 전원을 끄는 대신, 딱지만 붙여 흘려보낸 뒤 나중에 그것만 골라내어 버리는 방식이다.

Ⅱ. 아키텍처 및 핵심 원리

IEEE 754 부동소수점 아키텍처는 에러라는 논리적 상태를 물리적인 비트 패턴에 교묘하게 융합했다. 핵심은 지수부(Exponent)를 모두 1로 채우고 가수부(Mantissa)에 0이 아닌 값을 넣는 것이다.

비트 구성 (단정밀도 32비트 기준)	부호 (Sign)	지수 (Exponent, 8비트)	가수 (Mantissa, 23비트)
정상 수	0 또는 1	00000001 ~ 11111110	임의의 값
무한대 (Infinity)	0 또는 1	11111111 (모두 1)	모두 0
NaN (Not a Number)	무관 (Don't care)	11111111 (모두 1)	0이 아닌 값

IEEE 754 특수 상태를 판별하는 논리 구조를 시각화한다.

┌──────────────────────────────────────────────────────────────┐
│           IEEE 754 특수 상태 분기 아키텍처 (FP32)          │
├──────────────────────────────────────────────────────────────┤
│                                                              │
│ 지수부가 11111111 (최대값 255) 인가?                         │
│   ├── 아니오 ─▶ [ 일반 실수 연산 ]                          │
│   └── 예     ─▶ 가수부가 모두 0 인가?                       │
│                     ├── 예   ─▶ [ 무한대 (Infinity) ]     │
│                     └── 아니오 ─▶ [ NaN (Not a Number) ]  │
│                                      │                       │
│           ┌──────────────────────────┴─────────────────┐     │
│           ▼                                            ▼     │
│   [ qNaN (Quiet NaN) ]                     [ sNaN (Signaling NaN) ]│
│ - 가수의 MSB가 1                           - 가수의 MSB가 0          │
│ - 예외 발생 없이 연산을 계속함               - 접근 시 예외 인터럽트 발생│
│ - 전염성 전파 목적으로 사용                  - 디버깅/초기화 안 된 변수용│
└──────────────────────────────────────────────────────────────┘

이 구조는 하드웨어가 조건문을 쓰지 않고 비트 비교만으로 예외를 빠르게 분리하게 해준다. NaN은 다시 연산을 멈추지 않고 조용히 값을 전염시키는 qNaN과, 건드리면 즉시 예외를 발생시키는 디버깅용 sNaN으로 나뉘어 상황에 맞게 쓰인다.

📢 섹션 요약 비유: 지수부라는 호텔의 가장 꼭대기 펜트하우스를 '특수 상황' 전용으로 비워둔 것이다. 방이 완전히 비어있으면 무한대(Infinity) 손님이 쓰고, 쓰레기가 조금이라도 남아있으면 예외 처리(NaN)로 판정한다.

Ⅲ. 비교 및 연결

NaN의 가장 기괴하고 독특한 아키텍처 철학은 비교 연산에서 드러난다. IEEE 754는 $0/0$으로 생긴 모르는 값과 $\sqrt{-1}$로 생긴 모르는 값을 물리적으로 같다고 인정하지 않는다.

연산식	일반 숫자	NaN 포함 시 결과	차이의 핵심 이유
`A + B`	덧셈 결과 반환	무조건 NaN 반환	오염의 전파 (하나라도 모르면 결과도 모름)
`A == B`	크기/값 비교 판정	무조건 False	출처를 알 수 없는 두 에러는 같을 수 없음
`A == A`	항상 True	무조건 False	자기 자신과 비교해도 다르다고 판정하는 유일한 값
`A != A`	항상 False	항상 True	프로그램에서 NaN을 찾아내는 가장 확실한 표준 방법

이 원칙 때문에 일반적인 분기문이나 정렬 알고리즘에서 NaN을 숫자로 취급하면 비교기(Comparator)가 강제 False를 반환하여 로직이 완전히 붕괴된다.

📢 섹션 요약 비유: 눈을 가리고 만진 두 개의 물건 중 하나는 모래고 하나는 물인데, 둘 다 "뭔지 모름(NaN)"이라고 라벨을 붙인 상황이다. 라벨이 같다고 해서 안에 든 물질이 같은 것은 아니므로, "모름 == 모름"은 절대 성립할 수 없다.

Ⅳ. 실무 적용 및 기술사 판단

현대 데이터 엔지니어링과 AI 실무에서 NaN은 가장 경계해야 할 시스템 오염원이다.

실무 판단 체크리스트

빅데이터 결측치 정제 (Imputation): Pandas나 Spark로 수백만 건의 데이터를 집계할 때 하나의 빈칸(NaN)이 끼어 있으면 SUM, MEAN 연산 결과 전체가 NaN으로 오염된다. 파이프라인 진입 전에 fillna(0)나 평균값 대체 로직을 적용해 NaN 방어망을 구축했는가?
딥러닝 Loss 폭발 (Gradient Explode) 방어: 모델 학습 중 로그나 나누기 연산에서 0이 발생하여 가중치가 NaN이 되면, 역전파 과정에서 단 1스텝 만에 수십억 개의 파라미터가 백지로 타버린다. 학습 루프에 이상 감지 훅(Anomaly Detection Hook)을 걸어 NaN 발생 즉시 직전 체크포인트로 롤백하는 보호 장치가 있는가?

안티패턴

배열이나 데이터베이스 컬럼에 NaN을 섞어 둔 채 정렬(Sorting) 알고리즘을 돌리는 설계. 비교 연산이 계속 False를 뱉어 무한 루프에 빠지거나 배열 순서가 완전히 망가진다.
📢 섹션 요약 비유: 정렬하려는 학생들 틈에 '이름 없는 투명 인간(NaN)'을 끼워 넣는 것과 같다. 누구보다 큰지 작은지 비교할 수 없어서 줄 세우기 시스템 전체가 마비된다.

Ⅴ. 기대효과 및 결론

NaN은 치명적인 연산 오류를 커널의 패닉(Panic) 상태로 넘기지 않고, 변수 공간 내부로 우아하게 흡수한 위대한 설계다. 이를 통해 무중단 처리가 필요한 고가용성 시스템과 대규모 수치 해석 프로그램의 생존성이 비약적으로 높아졌다.

하지만 이 생존의 대가로 맹독성의 전염력(Toxic Propagation)을 얻었으므로, 데이터 파이프라인과 알고리즘 설계자는 항상 경계선에서 NaN을 필터링하는 아키텍처를 세워야 한다. 결론적으로 NaN은 오류를 없애는 기술이 아니라, "오류를 시스템 밖으로 흘러넘치지 않게 가두는 가장 완벽한 방어선"으로 이해해야 한다.

📢 섹션 요약 비유: 배에 구멍이 났을 때 배를 버리고 탈출하는 대신, 물이 차오른 방의 방수문만 닫고(NaN 격리) 엔진은 계속 돌려 목적지까지 기어코 도착하게 만드는 똑똑한 선박 설계와 같다.

📌 관련 개념 맵

개념	연결 포인트
부동소수점 (IEEE 754)	NaN이라는 특수 상태를 정의하고 포용하는 글로벌 실수 표현 표준 아키텍처
예외 처리 (Exception Handling)	하드웨어 레벨의 예외를 소프트웨어가 어떻게 인지하고 멈출지 결정하는 메커니즘
qNaN / sNaN	전염만 시킬지(qNaN), 아니면 밟는 즉시 시스템에 경고(sNaN)를 줄지 결정하는 NaN의 두 가지 옵션
결측치 (Missing Value)	데이터베이스나 빅데이터에서 값이 없음을 물리적으로 표현할 때 자주 매핑되는 개념

📈 관련 키워드 및 발전 흐름도

시스템 즉시 중단 (Crash/Panic)
    │
    ▼
IEEE 754 부동소수점 (에러의 값 편입)
    │
    ▼
qNaN (전염) / sNaN (인터럽트)
    │
    ▼
소프트웨어 예외 처리 및 결측치(Null/None) 개념 분화
    │
    ▼
AI/BigData 파이프라인의 NaN 정제 자동화

👶 어린이를 위한 3줄 비유 설명

NaN은 계산기가 도저히 풀 수 없는 바보 같은 문제($0 \div 0$)를 받았을 때 쓰는 "나 이거 몰라!" 딱지예요.
옛날 계산기는 모르는 문제가 나오면 기절해 버렸지만, 이 딱지가 있으면 기절하지 않고 다음 계산을 계속할 수 있어요.
하지만 조심하세요! 멀쩡한 숫자도 이 딱지랑 섞이면 똑같이 "몰라!" 병에 걸려버리는 무서운 전염병이랍니다.