Tag: formallanguage

created: 2024-09-08; tags: bib, coq, formallanguage, logic, mathematics, theory

정주희는 수리논리와 집합론, 머신러닝을 넘나들며 수학적 엄밀함과 계산적 사고를 함께 보여주는 연구자이자 교육자다.

created: 2024-07-05; tags: autholog, coq, formallanguage, vericoding, verification, vibecoding

Coq에서 시작된 형식증명 관심을 ten-proofs와 베리코딩으로 잇고, 자연어 의도와 형식 명세, 커널 검증 사이에서 인간이 맡아야 할 책임과 신뢰 경계를 살핀다.

created: 2024-09-28; tags: formallanguage, meta

형식언어를 규칙에 따라 만들어진 문자열의 체계로 보고, 수학기초론·오토마타·언어학과 잇는다.

created: 2024-08-29; tags: formallanguage, latex

수학 문제를 형식 언어로 변환할 때 쓰는 LaTeX, MathML, Lean 같은 도구를 정리한 메모.

created: 2024-07-15; tags: bib, formallanguage

형식언어와 오토마타, 정규문법, 계산이론의 핵심 개념을 체계적으로 익히게 하는 고전적 입문서다.