今日は SICP 勉強会19回目。30回くらいで終わるかと思ったけど、今回と次回がちょうど折り返し地点なので、この本が終わるまで40回くらいかかりそうだ。制約ベースのプログラミングの話。恒等式を表現するのってけっこうきれいに書けるものだなあと(そもそも…