SICP 勉強会も今回で25回目。 今日はチューリングマシンとかプログラムの停止性の話が出てきたが、第4章まで来てようやくかあ、と微妙な感じ。他にもやっぱりこの本いい本だけど教科書だよなと思うところがちらほら。HDTP 本(How To Design Programs)はどう…