알고리즘/컴퓨터 알고리즘 등식 확대 해석 모듈러성 정리 오컴의 면도날 악마의 증명 퀘이사 브루트 포스 기안84/여담 수도권 전철 수인·분당선/역사 스테레오타입 증거 페르마의 마지막 정리 블루 아카이브/설정