일기:2024년 9월 29일

토익

토익 시험 보러 와서 영어 공부는 안 하고 어제 온 책 Essentials of Programming Language 읽고 있다.

수식 연습

\(E = mc^2\)

증명 나무

증명 나무 그리는 거 왜 이렇게 재밌지? 책 읽으면서 연습 문제 진지하게 풀고 있다. 아직 Hakyll에서 증명 나무 처리하는 법을 모르겠다. 대신 Gist에서 증명 나무를 지원하길래 그곳에 답안을 적고 있다.

코드

책에 스킴(Scheme) 코드도 나온다. 코드 적고 보는 것만으로도 신난다.

(define in-S?
  (lambda (n)
    (if (zero? n) #t
      (if (>= (- n 3) 0)
        (in-S? (- n 3))
        #f))))

스킴 코드 실행 및 간단한 문법 설명은 트라이 스킴 웹 사이트에서 확인할 수 있다.