1. 엄밀함을 중요시 하다 보니 증명을 가져오기도 힘들고 formal하게 맞춰서 쓰기고 번거로워서 멈춥니다.

2. 분량이 너무 길어지거나 진도가 너무 느리게 나가서 실수 구성까지 한 세월 걸릴 것 같아 멈춥니다.

3. 현재 작성중인 내용을 누가 잘 연재해주셔서 멈춥니다.


"컴퓨터수학: process와 state"로 돌아오겠습니다.