本

を買った。大宮のブックオフで。

岩波講座 ソフトウェア科学〈〔処理〕8〉記号処理プログラミング

計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)

Life with UNIX―UNIXを愛するすべての人に

と。記号処理プログラミングは\1,400。他は\105。計算論の本はSICPの練習問題にあるChurch数とかの説明の本みたいだ。正直集合がわからないと読めない感じがするが、安さに惹かれて購入。Life with UNIXもまあなんとなく。中に書泉のしおりが入っていた。これはいつの頃のしおりだろうか。

他にも岩波ソフトウェア科学のシリーズが幾冊か*1あったのだが、それはきつい内容っぽいので置いておく。

他にもナノピコ教室があった。結構見ている分には面白そうなのであしたにでも寄って購入しておこう。

*1:数値処理プログラミングとか知識と推論とかがあった。