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