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