本屋

本屋に行った。

抽象によるソフトウェア設計−Alloyではじめる形式手法−

抽象によるソフトウェア設計−Alloyではじめる形式手法−

マーチン・ガードナーの 数学ゲーム 1 (別冊日経サイエンス 176)

マーチン・ガードナーの 数学ゲーム 1 (別冊日経サイエンス 176)

7つの言語 7つの世界

7つの言語 7つの世界

詳解 画像処理プログラミング

詳解 画像処理プログラミング