순서도


UML


기계어


어셈블리어


포쓰


리스프


하스켈


Coq


말고 뭐 있죠?