情報科学（教養書・人工知能など）書籍一覧（共立出版）

ISBN4-320-02668-3　　共立出版

原書：「Concrete Mathematics 2/E」Addison Wesley

ロナルド・L グレアム/ドナルド・E クヌース/オーレンパタシュニク著

安村通晃, 有澤誠, 石畑清, 萩野達也　訳

B5判　　606ページ　　本体価格\9,000 　　1993/09/01発売

[内容]

本書は、コンピュータに深く関わる抽象性・公理性の高い数学を具体的に実用性も尊重し“使える”数学書として評価が高い。

[目次]

漸化式の問題
利の計算
整数関数
整数論
二項係数
特別な数
母関数
離散的確率
漸近近似

Amazon.co.jpで購入する

cbook24.comで購入する

情報科学書籍一覧　目次

計算理論の基礎

ISBN4-320-02948-8　　サイエンス社

Michael Sipser　著

渡辺治, 太田和夫　監訳

菊変型判　　483ページ　　本体価格\7.500　　2000年4月発売

[内容]

計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、学部上級・大学院初級向けの計算機理論の教科書。定理とその証明を中心に、主要な話題を数学的に扱う。

[目次]

第0章序論
オートマトン、計算可能性、複雑さ
・複雑さの理論
・計算可能性の理論
・オートマトン理論
数学的概念や用語
・集合
・列と組
・関数と関係
・グラフ
・文字列と言語
・Boole理論
・数学的な語句の要約
定義、定理、証明
・証明の発見
証明のタイプ
・構成的証明
・背理法
・帰納法演習と問題

第1部オートマトンと言語
第1章正規表現
有限オートマトン
・有限オートマトンの形式的な定義
・有限オートマトンの例
・計算の形式的な定義
・有限オートマトンの設計
・正規演習
非決定性
・非決定性有限オートマトンの形式的な定義
・NFAとDFAの等価性
・正規演算の閉包性
正規表現
・正規表現の形式的な定義
・有限オートマトンの等価性
非正規言語
・正規言語に対する本ピング補題
演習と問題
第2章文脈自由文法
文脈自由文法
・文脈自由文法の形式的な定義
・文脈自由文法の例
・文脈自由文法の設計
・曖昧性
・Chomskyの標準形
プッシュダウン・オートマトン
・プッシュダウン・オートマトンの形式的な定義
・プッシュダウン・オートマトンの例
・文脈自由文法との等価性
非文脈自由言語
・文脈自由言語に対するポンピング補題
演習と問題

第2部計算可能性の理論
第3章 Church-Turingの提唱
Turing機械
・Turing機械の形式的な定義
・Turing機械の例
Turing機械の変型
・複数テープTuring機械
・非決定性Turing機械
・列挙装置
・他のモデルとの等価性
アルゴリズムの定義
・Hilbertの問題
・Turing機械を記述するための用語
演習と問題
第4章判定可能性
判定可能な言語
・正規言語に関連する判定可能問題
・文脈自由言語に関連する判定可能問題
停止問題
・対角線論法
・停止問題の判定不可能性
・Turing認識不可能な言語
演習と問題
第5章帰着可能性
言語理論における判定不可能性
・計算履歴を用いた帰着
単純な判定不可能問題
写像帰着可能性
・計算可能な関数
・写像帰着可能性の形式的な定義
演習と問題
第6章計算可能性の理論における先進的な話題
再帰定理
・自己参照
・再帰定理のための用語
・応用
数理論における判定可能性
・判定可能な理論
・判定不可能な理論
Turing帰着可能性
情報の定義
・最小長記述
・定義の最適性
・圧縮不可能な文字列とランダム性
演習と問題

第3部複雑さの理論
第7章時間の複雑さ
複雑さの測定
・big-0記法とsmall-0記法
・アルゴリズムの解析
・モデル間の複雑さの関係
クラスP
・多項式時間
・Pに属する問題の例
クラスNP
・NPに属する問題の例
・P vs. NP問題
NP完全性
・多項式時間帰着可能性
・NP完全性の定義
・Cook-Levinの定理
他のNP完全問題
・頂点被覆問題
・Hamiltonパス問題
・部分和問題
演習と問題
第8章領域の複雑さ
Savitchの定理
クラスPSPACE
PSPACE完全
・TQBF問題
・ゲームの必勝法
・一般化された「しりとり」ゲーム
クラスLとクラスNL
NL完全性
・グラフの中の検索
NLとcoNLの等価性
演習と問題
第9章問題の扱いにくさ
階層定理
・指数領域完全性
相対化
・対角線論法の限界
回路の複雑さ
演習と問題
第10章計算の複雑さの理論における先進的な話題
近似アルゴリズム
確率的アルゴリズム
・クラスBPP
・素数性
・一回読み出し分岐プログラム
交替性
・交替性時間と交替性領域
・多項式時間階層
対話証明系
・グラフの非同型性
・モデルの定義
・IPとPSPACEの等価性
並列計算
・クラスNC
・P完全性
暗号
・秘密鍵
・公開鍵暗号系
・一方向性関数
・落し戸関数
演習と問題

参考文献
欧文索引（対訳付）
和文索引（対訳付）

Amazon.co.jpで購入する

cbook24.comで購入する

情報科学書籍一覧　目次

知の創成

身体性認知科学への招待

ISBN4-320-12032-9　　共立出版

原書：「Understanding Intelligence」MIT Press

R.Pfeifer・C.Scheier　著

石黒章夫, 小林宏, 細田耕　監訳

B5判　　724ページ　　本体価格\13.000　　2001年11月発売

[内容]

近年、認知の主体とその環境とのインタラクション、ならびに認知主体の身体性が知能の発現に果たす役割の大きさが認識されつつある。
本書では、これら「身体性認知科学」という新しい概念の提唱者であり、この分野の泰斗である著者が、知を理解するためのさまざまなアプローチを紹介しながら、この概念をわかりやすく解説する。

[目次]

第I部知能の研究? 基礎と課題1

第1章知能の研究
1.1 知能の特徴
1.2 知能の探求：構成論的なアプローチ
検討課題／本章のまとめ

第2章古典的人工知能と認知科学の基礎
2.1 認知科学についての前置き
2.2 認知主義的パラダイム
2.3 知的エージェントのアーキテクチャ
検討課題／本章のまとめ

第3章古典的人工知能と認知科学の根本的な問題
3.1 実世界vs.仮想世界
3.2 古典的システムが抱えるよく知られた問題点
3.3 根本的な問題
3.4 救済策と代替案
検討課題／本章のまとめ

第II部身体性認知科学の枠組み

第4章身体性認知科学：基本概念
4.1 完全自律エージェント
4.2 生物学的エージェントと人工エージェント
4.3 創発に向けた設計? 論理に基づくシステムと身体性を有するシステム
4.4 振る舞いの説明
検討課題／本章のまとめ

第5章適応行動のためのニューラルネットワーク
5.1 生物のニューラルネットワークから人工ニューラルネットワークへ
5.2 四つあるいは五つの基本事項
5.3 分散適応制御
5.4 ニューラルネットワークの種類
検討課題／本章のまとめ

第III部さまざまなアプローチとエージェントの例

第6章ブライテンベルグビークル
6.1 動機
6.2 14 台のビークル
6.3 振る舞いの分節化と拡張ブライテンベルグアーキテクチャ
検討課題／本章のまとめ

第7章サブサンプションアーキテクチャ
7.1 行動に基づくロボティクス
7.2 サブサンプションに基づくロボットの設計
7.3 サブサンプションに基づくアーキテクチャの例
7.4 結論：知的システム設計のためのサブサンプションアプローチ
検討課題／本章のまとめ

第8章人工進化と人工生命
8.1 基本原理
8.2 遺伝的アルゴリズムの紹介：自律エージェントのニューラルコントローラの進化
8.3 人工進化エージェントの例
8.4 生物学的妥当性を目指して：ゲノムに基づく細胞間コミュニケーションを通しての細胞成長
8.5 実ロボット、ハードウェアの進化、シミュレーション
8.6 人工生命：その他の例
8.7 方法論的課題と結論
検討課題／本章のまとめ

第9章その他のアプローチ
9.1 ダイナミカルシステムアプローチ
9.2 行動経済学
9.3 スキーマに基づくアプローチ
検討課題／本章のまとめ

第IV部知的システムの原理

第10章自律エージェントの設計原理
10.1 設計原理の本質
10.2 自律エージェントの設計原理
10.3 文脈の中での設計原理
検討課題／本章のまとめ.

第11章並列緩結合プロセスの原理
11.1 自律エージェントの制御アーキテクチャ
11.2 制御アーキテクチャの古典的見解
11.3 並列分散アプローチ
11.4 事例研究：自己充足的ゴミ拾いロボット
検討課題／本章のまとめ

第12章センサ－モータ協調の原理
12.1 カテゴリ化：従来のアプローチ
12.2 センサ－モータ協調アプローチ
12.3 事例研究：SMC エージェント
12.4 応用：アクティブビジョン
検討課題／本章のまとめ

第13章チープデザイン、冗長性、生態学的バランスの原理
13.1 チープデザインの原理
13.2 冗長性の原理
13.3 生態学的バランスの原理
検討課題／本章のまとめ

第14章価値の原理
14.1 価値システム
14.2 自己組織化
14.3 自律エージェントにおける学習
検討課題／本章のまとめ

第15章人間の記憶：事例研究
15.1 記憶の定義
15.2 古典的な記憶概念に関する問題
15.3 記憶研究における参照フレーム問題
15.4 代替案
15.5 記憶研究の意義
検討課題／本章のまとめ

第V部設計と評価

第16章エージェントの設計における考慮事項
16.1 予備的設計における考慮事項
16.2 エージェントの設計
16.3 すべてを統合する：制御アーキテクチャ
16.4 まとめと基本的問題
検討課題／本章のまとめ

第17章評価
17.1 エージェント評価の基礎
17.2 エージェント実験の実行
17.3 振る舞いを計測する
検討課題／本章のまとめ

第VI部未来へ向けて

第18章理論と技術およびアプリケーション
18.1 数々の難問
18.2 理論と技術
18.3 アプリケーション
検討課題／本章のまとめ

第19章知能再考
19.1 知能の理論を構成するもの
19.2 社会に対する意味
本章のまとめ

用語集
参考文献
訳者あとがき
人名索引
内容索引

訳者一覧
第1章國井康晴（中央大学）
第2章市川純章（東京理科大学）
第3章正司康雅（東洋エンジニアリング株式会社）
第4章太田順（東京大学）、井上康介（東京大学）
第5章近藤敏之（東京工業大学）
第6章堀俊夫（産業技術総合研究所）
第7章渡邊裕司（豊橋科学技術大学）
第8章藤井輝夫（東京大学）、小林祐一（東京大学）
第9章久保田孝（宇宙科学研究所）、江尻理帆（東京大学）
第10章飯田史也（チューリッヒ大学）
第11章青木猛（名古屋市工業研究所）
第12章尾形哲也（理化学研究所）
第13章倉林大輔（東京工業大学）
第14章藤井亮暢（名古屋大学）、十倉征司（名古屋大学）
第15章重森雅嘉（鉄道総合技術研究所）
第16章菊池耕生（千葉工業大学）
第17章吉田英一（産業技術総合研究所）
第18章川端邦明（理化学研究所）
第19章石原秀則（香川大学）

Amazon.co.jpで購入する

cbook24.comで購入する

情報科学書籍一覧　目次

エージェントアプローチ　人工知能

ISBN4-320-02878-3　　共立出版

Stuart Russell, Peter Norvig　著

古川康一　監訳

B5判　　937ページ　　本体価格\15.000　　1997年12月発売

[内容]

人工知能全般について、「知的エージェント」を統一テーマとして詳細に解説。豊富な例と練習問題など教育的な配慮を随所に施し、大学学部から大学院レベルでのテキストとして活用できる。

[目次]

人工知能
問題解決
知識と推論
論理的行為
不確実な知識と推論
学習
対話、知覚、行為
結論

Amazon.co.jpで購入する

情報科学書籍一覧　目次

ニューラルネットの基礎と応用

ISBN4-320-02714-0　　共立出版

馬場則夫　小島史男　小沢誠一　著

A5判　204ページ　　本体価格\3.000　　1994年9月発売

[内容]

ニューラルネットの初歩から最先端の研究や各種応用成功事例の紹介，ならびにファジィ工学や遺伝アルゴリズムといった知能化技術との関連にまで踏み込んだ“わかりやすく学びやすい教科書”。

[目次]

第1章ニューラルネットの基礎
第2章逆誤差伝搬法と各種改良型アルゴリズム
第3章ニューラルネットを活用するためのガイドライン
第4章相互結合ニューラルネットと学習アルゴリズム
第5章ボルツマンマシン
第6章コホーネンネットと学習アルゴリズム
第7章ニューラルネットの学習アルゴリズムに関する若干の捕足とGMDH法ならびにATN法
第8章ニューラルネットの各種応用事例
第9章ニューラルネット/ファジィ制御/遺伝的アルゴリズムの融合技術