[Mediumから移行 (Medium投稿日: Nov 4, 2018)]

SICPに取り組むための環境構築で書いたように今年の2月くらいからSICPを読んでいたのですが、最近読み終わりました。

かかった期間は約9ヶ月くらいで、本文中のコードはほぼ全て動かしました。練習問題についても5章の後半はスキップしてしまいましたが、それ以外はほとんど解きました。その中で学んでことを簡単にまとめておきます。

学んだこと

Scheme (Lisp) 自体
数学的な概念 (不動点など)
プログラミング理論 (ラムダ計算など)
ストリームと遅延評価
インタプリタの実装:
- Eval, Applyを使ったシンプルなインタプリタ
- 遅延評価の導入
- 非決定性計算 (継続やamb)
- 論理型プログラミング (SQL的なやつ)
コンパイラの実装:
- レジスタ計算機のシミュレータ (ある種のVM)
- 簡易デバッガの書き方
- Garbage Collection
- レジスタ計算機の言語 (アセンブラ) でインタプリタを実装
- Schemeからレジスタ計算機の言語へのコンパイラ

この学習を通して、今後コンピュータサイエンスや低レイヤなどを深めていく上での基礎が身についたので、非常に良かったです。

mura-s.log