Fixed Point

[dlwjdwo00701]

Your work

Your Name

Jungjae Lee(이정재)

Tool You Used

Dall-E

Short Description

[Eng]
For me, a fixed point is the moment when the focus ring on a camera spins wide to focus on an object, then tightens to narrow, and the picture is perfectly sharp. This is exactly the moment when static program analysis zooms in and out to arrive at a precise answer.

[Kor]
저에게 고정점(Fixed Point)이란, 카메라의 초점 링이 크게 돌며(Widening) 대상을 가늠하고, 미세하게 조여(Narrowing) 더 이상 흔들리지 않는 순간, 화면이 완벽히 또렷해지는 찰나입니다. 이는 정적 프로그램 분석이 확대와 축소 과정을 거쳐 정밀한 해답에 도달하는 순간과 정확히 맞닿아 있습니다.

Long Description (up to 3 sentences)

[Kor]
카메라의 초점 링이 휙 크게 돌며(Widening) 대상을 가늠하고, 다시 살짝 조여(Narrowing) 마침내 또렷한 포커스를 얻는 찰나가 고정점(Fixed point)입니다.
이 그림은 초점이 맞지 않는 흐릿함-과도한 초점-완벽한 선명함의 세 컷의 형태로, 프로그램 분석이 반복 계산 끝에 도달하는 최소 고정점을 직관적으로 나타냈습니다.
초점을 찾는 과정이 수렴 과정을 은유하며, 흐림과 선명함의 대비가 분석 정확도 향상을 시각화했습니다.

[Eng]
A camera lens first swings wide (widening), then fine-tunes in small steps (narrowing) until the scene snaps into razor-sharp focus—the fixed point.
The triptych of blur, overshoot, and clarity mirrors how static analysis iterates toward the least fixed point.
The contrast between haze and crisp detail visualizes the trade-off between fast convergence and precise results in abstract interpretation.