■

プログラム仕様記述論 (IT Text)
コンパイラとバーチャルマシン (IT Text)
計算モデル論入門—チューリング機械からラムダ計算へ (Information Science & Engineering (F5))
理系のための英語便利帳
図解 ヘリコプター—メカニズムと操縦法 (ブルーバックス)（またしても重複買い…）
問題解決力—仕事の鬼ほど失敗ばかりする理由 (日経ビジネス人文庫 ブルー い 5-3)