岩波講座 ソフトウェア科学
〔基礎〕1 計算システム入門
所真理雄
〔基礎〕2 プログラミングの方法
川合慧
〔基礎〕3 アルゴリズムとデータ構造
石畑清
〔基礎〕4 プログラミング言語
武市正人
〔環境〕5 プログラミング言語処理系
佐々政孝
〔環境〕6 オペレーティングシステム
前川守
〔環境〕7 ソフトウェア実行／開発環境
前川守
〔処理〕8 記号処理プログラミング
後藤滋樹
〔処理〕9 数値処理プログラミング
津田孝夫
〔処理〕10 グラフィクスとマンマシンシステム
中嶋正之
川合慧
〔理論〕11 ソフトウェア科学のための論理学
萩谷昌己
〔理論〕12 計算モデルの基礎理論
井田哲雄
〔理論〕13 プログラムの基礎理論
佐藤雅彦
桜井貴文
〔知識〕14 知識と推論
長尾真
15 自然言語処理
長尾真、佐藤理史 編
〔知識〕16 認識と学習
安西祐一郎
〔展望〕17 モデルと表現
米澤明憲
柴山悦哉