ついいつも通りカッとなった

というわけで、お茶を買いにいったときに、お茶屋の近くのちゃんとした本屋によったらやってしまった。

考具 ―考えるための道具、持っていますか?

集合知プログラミング

Bメソッドによる形式仕様記述―ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座)

Prologへの入門 (PrologとAI)

考具は、帰りに読み切ってしまった。この本にフォトリーディングのエッセンスが書かれていたけど、この手の本には確かにフォトリーディングが有効ですね。というか、今までもまじめに一行一行読んではいませんが。

あと、他の本については、僕はどこにいこうとしているんでしょうね。勢いだけで買ったとはいえ。