틀:도메인 특화 언어 := Linguist Google DeepMind/과학 인공지능 Night in the Woods/등장인물 Yung Lean 인공지능/성과/수학 틀:프로그래밍 언어 나비에-스토크스 방정식 인공지능/성과 확장자/목록 수학자/목록 프로그래밍 글꼴 범주론 증명보조기 자명함 리만 가설