여기부터 갑자기 어려워진다 연습문제 풀면서 보는데 사실 나는 원숭이고 화면이 주는 자극에 반응해서 아무거나 입력하다보면 증명이 된 것이라서 이해한건 아무것도 없는거 같음 ㅋㅋ 그래도 원숭이 타자기 기법을 시도해 볼 수 있는 점에서 다른 분야보단 낫나?

공부는 러스트나 하스켈도 좀 보고싶었는데 Coq이랑 LF책이 재밌어서 계속 이거만봄 러스트로 동시성 공부하고 싶은데 강의 동영상과 슬라이드도 공개된 게 있지만 쉽지 않은듯 한편 졸업할라면 OS 같은거 강의듣고 공부해야하는데…

새로 알게된 거: 정규 표현식 r과 그것을 만족하는 충분히 긴 문자열 s이 있으면 문자열을 적당히 세 부분으로 잘라 s=xyz로 쓴다고 할 때 중간 부분인 y를 임의의 자연수만큼 반복해서 쓴 xy…yz가 항상 r을 만족하도록 자를 수 있음 (pumping lemma)