ｼﾘｰｽﾞ名 書名漢字 サブタイトル 著者名 価格 頁数 判型 ISBNコード 内容説明
コンピュータ･サイエンス・シリーズ データ･ベース･システム 上條史彦 1995 192 Ａ５ 978-4-7828-5222-4 本 書ではデータ・ベース・システムの出現の背景，在来のデータ管理技術との関係，機能やメカニズムの説明などを，現存するソフトウェアを例としながら解明し た。〔主要項目〕システム設計とファイル　データ・ベース・システムの設計　データ・ベースとオペレーティング・システム 他
コンピュータ･サイエンス・シリーズ コンピュータ・グラフィックス 穂坂　衛 4200 328 Ａ５ 978-4-7828-5226-2 情 報科学の中で，現在最も注目されている分野の一つであるコンピュータ・グラフィックスについて，基礎理論から応用面まで，実例を豊富に取り入れ解説。〔主 要項目〕計算機ディスプレイと図形処理　図形入出力装置　直線，曲線の発生と変換および専用演算方式　図形処理のソフトウェア　実例
コンピュータ･サイエンス・シリーズ オンライン・システムのソフトウェア 大野　豊編著 2730 240 Ａ５ 978-4-7828-5227-9 本 書はオンライン・システムのソフトウェアとその開発手法をユーザの立場から書いたユニークな解説書である。システム開発担当者はもちろん，これからオンラ インにタッチするにも好適。〔主要項目〕概説　プログラムの構成と条件　管理プログラム　業務プログラム　異常処理　システムの運転管理プログラム 他
コンピューターサイエンス・ライブラリー コンピューター・アーキテクチャ 山田　博 3150 324 Ａ５ 978-4-7828-5052-7 本 書は，第一世代から現在のＬＳＩコンピューターに至る迄のアーキテクチャの変遷を述べ多くのコンピュータの実例を基に，コンピューター・アーキテクチャを 解説する。〔主要項目〕コンピューター発展の歴史　コンピューター・アーキテクチャの基本　記憶の構造―仮想記憶方式　高速計算機　ＲＡＳ 他
コンピューターサイエンス・ライブラリー Ｆｏｒｔｒａｎプログラミングツール 牛島和夫 2310 252 Ａ５ 978-4-7828-5055-8 実 際のプログラミングの場で動的解析システムを初めとするいくつかのツールを，いかに使用したかを示し，プログラム作成や維持に計算機の助けを借りることへ の道案内を試みている。〔主要項目〕数学的表現とプログラムの記述　行計算と繰返し　下降型プログラミング　ライブラリープログラムの利用 他
コンピューターサイエンス・ライブラリー ＰＬ／Ｍマイクロコンピュータープログラミング ダニエルＤ.マクラッケン／石田晴久監訳 3255 338 Ａ５ 978-4-7828-5056-5 マ イコンのソフトウェアの開発の効率化のためには高水準言語がいる。本書は最良のマイコン言語であるＰＬ／Ｍを使って，構造的プログラミングの手法をやさし く解説した最初の本である。〔主要項目〕ＰＬ／Ｍ言語によるプログラミング　ＰＬ／Ｍ言語の基礎　条件文とＤＯグループ　配列と構造体変数　手続き 他
コンピューターサイエンス・ライブラリー コンパイラ 中田育男 3360 288 Ａ５ 978-4-7828-5057-2 マイクロコンピューターの小さなコンパイラから，超大型計算機の最適化コンパイラに至るさまざまのコンパイラの作成上必要になる各種の技法を，理論と実際の両面からわかり易く解説したものである。〔主要項目〕コンパイラの構造　文法と言語字句解析　構文解析　記号表 他
ソフトウェアサイエンスシリーズ 知識表現とＰｒｏｌｏｇ／ＫＲ 中島秀之 2100 188 Ａ５ 978-4-7828-5001-5 本書は著者が作ったシステムで，Ｐｒｏｌｏｇの拡張版であるＰｒｏｌｏｇ／ＫＲを知識表現の道具としての観点から解説している。〔主要項目〕知識表現　知識表現の基本概念知識表現の枠組み　知識表現言語の概観Ｐｒｏｌｏｇ／ＫＲ　Ｐｒｏｌｏｇ／ＫＲによる知識表現Ｔｉｎｙ Ｓｍａｌｌｔａｌｋ
ソフトウェアサイエンスシリーズ 論理プログラミングの基礎 Ｊ.Ｗ.ロイド／佐藤雅彦・森下真一訳 1890 158 Ａ５ 978-4-7828-5003-9 近年の研究が明らかにした，論理プログラミングの世界に成り立つ特有の美しい数学的性質を，統合的に網羅した初の解説書。研究者，Ｐｒｏｌｏｇプログラマーの参考書，大学院テキストとして最適である。〔主要項目〕宣言的意味論　手続的意味論　否定　無限に続くプロセス
知識･情報･メディア／シリーズ グラフィックス機能論 ―３-Ｄモデリング入門― 千代倉弘明 2940 240 Ａ５ 978-4-7828-5301-6 ３Ｄ -ＣＡＤを利用して立体の形状をどのように作り出すかをわかり易く解説する。ＣＡＤとしてはＤＥＳＩＧＮＢＡＳＥを利用している。〔主要項目〕立体につい て　ユーザ・インターフェイス　簡単なモデルの生成　局所変形操作　丸め・面取り操作　いろいろな３次元化　ソリッドモデラの立体表現　開発環境 他
知識･情報･メディア／シリーズ 知識処理論 萩野達也 2625 194 Ａ５ 978-4-7828-5302-3 人 工知能に関する分野の勉強には，知識の取り扱いが重要である。本書では，その導入として，知識を一階述語論理を使って表現した後，節に変換し，レゾリュー ションを使って証明することによって問題解決を行なう方法について解説する。また，論理プログラミング言語ＰＲＯＬＯＧについても紹介する。
知識･情報･メディア／シリーズ 生体情報システム論 福田忠彦 3255 260 Ａ５ 978-4-7828-5303-0 情報，機械を含むさまざまな環境とそれに対面する人間の感覚機能の調和を考えるうえで必要な生体機能を概観し，その知見を両者間の問題発見と解決に生かすセンスを養うことを目指したトータルシステム論である。
知識･情報･メディア／シリーズ ニューラルネットワーク 武藤佳恭 2415 182 A5 978-4-7828-5304-7 ニューラルコンピューティングは、学習、最適化、セルフオーガニゼーションの3つがあるが、本書はNクイーン問題、クロスバ・スイッチ問題、4色問題、ナイト巡回問題、タイル問題、回路設計問題、RNAの２次構造予測問題を解きながら最適化手法を解説している。
Ｓｍａｌｌｔａｌｋ 鈴木則久 2100 190 Ａ５ 978-4-7828-5025-1 オ ブジェクト指向言語｢Smalltalk-80｣について，使い方，言語の概説，豊富で実用的な例題，パソコン上への実現法など全容を解説した，オブジェ クト指向言語の世界的権威による，待望の書。〔主要項目〕Smalltalkについて　Smalltalkの使い方　Smalltalk-80言語の概説 　プログラム例　MC68000上での実現法
システム　サイエンスシリーズ カルマン・フィルター 有本　卓 3990 258 A5 978-4-7828-5254-5 時々刻々と得られる測定値や時系列信号から現在および将来の状態を最適確定し、最適予測するための効果的アプローチであろ、カルマン・フィルターの設計法や、計算法を平易に詳述する。
システム　サイエンスシリーズ 神経回路網の数理 -脳の情報処理様式- 甘利俊一 4200 336 A5 978-4-7828-5255-2 神経回路網の情報処理様式-その論理と可能性-を追求し、神経集団の力学、神経場の並列情報処理の力学、神経回路網の自己組織理論などを中心に、数理的体系を築くことを試みた。〔主要項目〕神経細胞と神経回路網の数理モデル　ランダム結合の変換回路網　神経集団の巨視的力学　他
ニューラルネットワーク情報処理 ―コネクショニズム入門,あるいは柔らかな記号に向けて― 麻生英樹 2310 210 Ａ５ 978-4-7828-5124-1 コネクショニズム，ＰＤＰ，ニューラル・ネットワークなどの名前で盛んになりつつある，高度並列分散型の情報処理についての研究を，具体例を含めて紹介するとともに，このような型の情報処理の新しさ，可能性について考察する。
自然言語処理入門 ハリー・テナント／森　健一・河田　勉・天野真家訳 2940 270 Ａ５ 978-4-7828-5120-3 自 然言語により質問応答，機械翻訳，情報検索，マンマシン-インターフェースの研究が急速に進展しつつある。本書は，意味解析，文脈解析などの豊富な事例研 究を含む恰好の入門書。〔主要項目〕自然言語　初期の自然言語処理プログラム　統語論　意味論　意味解析システム　物体と事象に関する知識表現　談話
問題解決の理論 ―人工知能の基礎― ラナンＢ.バナージ／南雲仁一・野崎昭弘訳 2415 216 Ａ５ 978-4-7828-5102-9 人 工知能の分野について，全体を通し専門家向きに，数学的な型式の整った記述がなされており，数多くの問題とその解法を述べ，さらにパターンの記述と認識の 理論と技法について詳述，他に類書のないユニークな労作。〔主要項目〕序論　問題と解答　ゲームと解決法　パターンの記述　学習と一般化
ビジョン ―視覚の計算理論と脳内表現― デビッド・マー／乾　敏郎・安藤広志訳 4410 460 Ａ５ 978-4-7828-5123-4 ２次元の網膜像から，高次中枢における３次元形状の認識に至るまでの視覚情報処理の｢シナリオ｣を鮮やかに描き出している。心理学，生理学，計算機科学など幅広い分野にわたる今後の研究指針を示唆した名著。
自然言語解析の基礎 田中穂積 3360 288 Ａ５ 978-4-7828-5127-2 コンピュータ技術の目覚ましい発展と共に自然言語処理の研究が，次第に活発になってきている。本書は，自然言語処理の基礎に当たる形態素解析および統語解析の種々のアルゴリズムを，基本的なものから最新のものまで網羅的に，具体例を用いて説明する。
論理・代数・データベース ―知の工学の基礎― ピーター・グレイ／田中穂積・徳永健伸訳 3465 324 Ａ５ 978-4-7828-5128-9 論 理型プログラミングの基礎となる述語論理，関数型プログラミングの基礎となるラムダ計算について，Ｐｒｏｌｏｇ，Ｌｉｓｐ，ＫＲＣなどの例をあげて解説 し，これらの概念のデータベース質問言語への応用について，ＦＱＬ，ＱＵＥＬ，ＡＳＴＲＩＤ，Ｄａｐｌｅｘなどの実例をあげて詳細に解説する。
遺伝的アルゴリズム１ 北野宏明編 4305 342 Ａ５ 978-4-7828-5136-4 遺伝的アルゴリズム（ＧＡ）は，種の進化に着想を得た新しい最適化・学習手法である。本書では，日本の第一線の研究者によりＧＡの基礎から，各種の応用さらには人工生命に関連する研究など，この分野の全貌と最先端の研究が紹介されている。
遺伝的アルゴリズム２ 北野宏明編 4305 350 Ａ５ 978-4-7828-5141-8 本書は前著『遺伝的アルゴリズム』刊行以降のＧＡ研究の展開が一望できるように，世界的にも評価の高い研究内容を収録した。ＧＡの基本的枠組み，最適化問題，自律システムへの応用やハードウェア，生物モデルなど広範囲に渡り主要な研究論文を網羅している。
遺伝的アルゴリズム３ 北野宏明編 4515 384 Ａ５ 978-4-7828-5145-6 本書では，遺伝的アルゴリズム（ＧＡ）が実際に製品化・実用化された事例を中心に構成した。ＧＡがすでにいろいろな局面で利用されていることがわかる。また，将来性のある基礎研究も収録し，ＧＡ研究の最先端が基礎から実用まで概観できる。
遺伝的アルゴリズム４ 北野宏明編 5040 460 Ａ５ 978-4-7828-5149-4 遺 伝的アルゴリズム（GA）は，一般的応用に関しては着実に実用問題に使われており，同時に実際のDNAにGA的計算手法を応用したり，マルチ・エージェン トやロボットの学習に利用する先端的研究も増えている。本書は，このようなGAに関する最先端の研究を体系的に収録した。
信号・画像のディジタル処理 有本　卓 3675 322 Ａ５ 978-4-7828-5104-3 新 しい科学技術であるシグナルプロセッシングの基礎と最新成果を体系化し平易に解説。〔主要項目〕信号・画像解析の基礎　信号・画像の離散値変換　信号・画 像のディジタル値変換　高速フーリエ変換　ディジタルフィルター　高速スペクトル推定　ディジタル処理の誤差解析　ディジタル処理の実際と応用
マイコン・ミニコン分散型システムの設計 ケイ・ワイツマン／成田誠之助・小林侔史訳 6300 448 Ａ５ 978-4-7828-5114-2 マイコン・ミニコンを多数使って分散型としてシステムを設計する方法が広く用いられるようになってきた。本書は，アーキテクチャ，ソフトウェア，ハードウェアなどでの基本的な考え方を解説し，さらに多くの実例によりシステム設計の実際を詳述する。
Ａｄａ―入門／和訳規約 Ｈ.レッドガード／上條史彦 他訳 3990 392 Ｂ５ 978-4-7828-5115-9 プログラム言語への要求事項の調査，言語仕様そのものの競作，洋の東西にわたるオープンディスカッションと，話題に事欠かなかったAda。ソフトウェア界における最大規模のプロジェクトの成果をここに紹介する。〔主要項目〕第1部：入門篇　五つの例題　データの記述 他　第2部：和訳規約字句要素 他
初学者のためのＦＯＲＴＲＡＮ77 小暮　仁編／大矢　征・木村茂雄・山下福志 2310 244 Ａ５ 978-4-7828-5130-2 プ ログラミング言語の学習は“習うこと”より“慣れること”が大切である。本書はこれを主眼に，簡潔でわかり易い解説と，日常の身近な事柄を取り上げた多く の例題と演習問題により興味深く学習できる入門書。〔主要項目〕プログラミングの基礎　簡単な計算　整数型と実数型　入出力と書式 他
ＦＯＲＴＲＡＮ77の基礎演習 小暮　仁 2310 228 Ａ５ 978-4-7828-5135-7 幅広く多彩な例題と演習問題により楽しみながら多様なプログラミング技法を身につけることができる入門書。〔主要項目〕プログラミングの基礎　基本的な演算と入出力(例題14，問題37) 処理の流れの制御と配列(例題13，問題43) 関数とサブルーチン(例題13，問題62) 色々な型のデータの取扱い(例題14，問題43)
ＦＯＲＴＲＡＮ77の応用 小暮　仁 2940 292 Ａ５ 978-4-7828-5132-6 幅広く多彩な応用問題と複数のプログラム例を取り上げ，楽しみながら応用力と多様なプログラミング技法を身につけることができる，実用性を重視した書。〔主要項目〕基本的な演算　やさしい数値計算　やさしい統計計算　英語関連　グラフ表示　スポーツ関連などの応用問題 他
Ｆｏｒｔｒａｎ90―入門編― 小暮　仁 3465 270 Ａ５ 978-4-7828-5147-0 多 くの例題と演習問題，プログラミング問題を解くことにより，楽しみながら多様なプログラミング技法を身につけることができる入門書。〔主要項目〕入出力と 書式　判断と場合分け繰返し処理　配列　部分配列と配列式　組込み関数と文関数　副プログラム　倍精度と複素数の計算　文字処理　論理演算 他
ＦＯＲＴＲＡＮで学ぶコンピュータの基礎 小暮　仁 3570 306 Ａ５ 978-4-7828-5140-1 本 書は，コンピュータのハードウェアとソフトウェアの両面を，プログラムを通して理解できる入門書である。また，各章の例題，演習問題，プログラミング問題 により，記述内容の理解をより一層深めることができる。〔主要項目〕数の表現　データの内部表現　四則演算　論理代数　論理関数　組合せ回路　順序回路
ＢＡＳＩＣによるプログラミング工学 藤崎紘久・吉川博史・太田　充 2310 162 Ａ５ 978-4-7828-9005-9 Ｎ88 -ＢＡＳＩＣを利用し，プログラミング学習を通じてパソコンを使いこなすことを目標に，ＢＡＳＩＣの基本的な命令の解説と簡単な計算プログラムから高度な 数値計算，データ処理，図形表示までのプログラムが作成できるようにアルゴリズムに重点をおいて解説。大学，短大，高専などのテキストとして最適。
工科系のためのＢＡＳＩＣ演習 早野延男編著／小林明伸・武平信夫・西村太志・長谷川清一・藤村謙祐 2940 256 Ａ５ 978-4-7828-5138-8 ＭＳ -ＤＯＳ版ＢＡＳＩＣを使用し，数値計算，統計，工学への応用，動画などの例題演習方式によりＢＡＳＩＣの内容を理解できるように分かりやすく解説。〔主 要項目〕基本的事項　図形の描き方（グラフィックス）　フロッピー・ディスクの活用　応用プログラム　ＭＳ-ＤＯＳの概説　付録
ＢＡＳＩＣによるＣＧ入門 光成豊明 2310 176 Ａ５ 978-4-7828-5529-4 コ ンピュータ・グラフィックス（ＣＧ）をこれから学ぼうとする人々のために，適宜演習問題を組み入れわかりやすく説明。〔主要項目〕コンピュータ・グラ フィックスとは　Ｎ88-ＢＡＳＩＣとグラフィックス命令　二次元処理(1)　データの処理　二次元処理(2)ＣＡＤへのアプローチ　三次元処理
Ｖｉｓｕａｌ ＢａｓｉｃによるＣＧ 光成豊明 2835 228 Ａ５ 978-4-7828-5146-3 VB を使用して，そのアルゴリズムとプログラム例および実行結果について具体的に表した。データ処理やCADを含めたCG関係の講義および実習に最適なテキス トであるとともに，基礎的なCGの項目から応用的な3次元処理までわかりやすく記述しているので，独習書としても最適なものである。（プログラムフロッ ピー別売）
科学者のためのＰＡＳＣＡＬ入門 Ｊ.Ｗ.クーパー／石塚英弘訳 2940 250 Ａ５ 978-4-7828-5101-2 〔主 要項目〕序論　プログラム　基本的なデータ型　Ｐａｓｃａｌにおける宣言　判断とループ制御　手続きと関数　入力と出力　文書化ファイル　複合データ型　 レコード　ソートポインタ型　ＧＯＴＯ文　デバッグ　新しい機能の作成　行列操作　シンプレックス法による変数の最適化　フーリエ変換
ＢＡＳＩＣからＦＯＲＴＲＡＮへの翻訳プログラム 平下幸男 2730 212 Ｂ５ 978-4-7828-9007-3 ＢＡＳＩＣ の基本的な31種の命令を用いて，約110種のマイクロソフト系ＢＡＳＩＣの命令を，ＰＣ，ＭＥＬＣＯＭ，ＩＢＭ，ＭＳの各ＦＯＲＴＲＡＮに翻訳するプロ グラムとその手法を解説。翻訳結果を変更するための60種のオプションも備えているので，上記以外のＦＯＲＴＲＡＮへの翻訳も可能。
ＣＩＭからＩＭＳへ 中西康二 1785 236 四六 978-4-7828-5131-9 ＣＩＭ とは何か，ＣＩＭをどのように構築したらよいか，単なるコンピュータ化とどう違うのか，長年つちかってきた経験はどうなるのか，ハード技術をともなわない ＣＩＭは本当に次世代生産システムといえるのだろうか，などの多くの疑問に応え，今なぜＣＩＭかをわかりやすく解説した好著。
情報とは -中・高校生からわかる情報の話- 青柳忠克 1680 180 四六 978-4-7828-5133-3 膨大な量の情報の中から必要なものを選び出し、上手に利用するための基礎知識として、情報とはどういうもので、私たちの生活とどう係わっているかをやさしくまとめた本である。親子の会話をもとに、中・高校生の知識でわかるように解説してある。また、知識の整理のために各章末に練習問題を入れている。
パーソナルＣＡＤ 光成豊明 2730 200 Ａ５ 978-4-7828-5134-0 パー ソナルＣＡＤの理解に必要な項目のすべてについて，図や写真を豊富に使用して解説した最適な入門書である。〔主要項目〕設計からみたＣＡＤ　経営からみた ＣＡＤ　パーソナルＣＡＤのハードウェア，ソフトウェア　パーソナルＣＡＤの実際　パーソナルＣＡＤ導入　ＣＡＤのアルゴリズム
幾何公園 ―たのしい３次元造形― 石川直太・前田雅子・千代倉弘明 2415 190 Ａ５ 978-4-7828-5143-2 『幾 何公園』は中学，高校生が３次元の形状をパソコンを使って作り出すためのソフトウェアである。このソフトウェアの使い方を容易に理解できるように解説して いる。〔主要項目〕序論　基本操作　主要な機能　モデリング例(0)(5)　機能一覧　モデリングの応用　数学的基礎
情報処理試験のための 確率・統計と待ち行列理論 北岡正敏 2625 332 Ａ５ 978-4-7828-5139-5 ネットワーク，オンラインなどの仕事に欠かせない待ち行列理論について，図やイラストを用いわかり易く解説。この本一冊で，確率・統計を用いた画像処理，通信ネットワーク，待ち行列の基本となる情報処理技術の基礎がすべてマスターできる。
シリーズ／情報科学の数学 グラフ理論 惠羅　博・土屋守正 2520 200 Ａ５ 978-4-7828-5351-1 予備知識を必要とせずにグラフ理論の多様な側面を理解できるよう例題を多用して，理論の把握と応用の展望を与える。また図解によって具体的なイメージが掴めるよう配慮してある。さらに豊富な練習問題をとおして学習の徹底化をはかっている。
シリーズ／情報科学の数学 組合せ論 惠羅　博・土屋守正 2520 236 Ａ５ 978-4-7828-5354-2 デー タ構造，線形計画法，公開鍵暗号系など，情報科学の今日的で応用範囲の広い分野から組合せ論の問題を導入し，しかもそのような問題を極力図式化して具体的 なイメージが把握できるよう工夫がこらされている。また解法に際してアルゴリズムを示すことによって，組合せ論を応用する見通しを与えている。
シリーズ／情報科学の数学 現代暗号 岡本龍明・山本博資 3990 358 Ａ５ 978-4-7828-5353-5 近 年，インターネットの急速な普及と商用化にともない，暗号論が広く実用に使われるようになってきた。本書は，この暗号論を最近の成果や動向を踏まえたうえ で，基礎（公開鍵暗号，ゼロ知識証明，相手認証等）から応用（電子投票，電子契約，電子現金，量子暗号等）まで初等的に解説している。
ＰＣクラスタ構築法 ―Linuxによるベオウルフ・システム― トーマス・L・スターリング 他／北野宏明監訳／奥乃　博・諸橋峰雄・京田耕司・中臺一博訳 4200 336 Ａ５ 978-4-7828-5150-0 Linux をベースにしたPCクラスタであるベオウルフ・システムの構築法。映画「タイタニック」のCGにも使用され，一躍脚光を浴びたPCクラスタによるスーパー コンピュータ構築の基盤的知識と実践の解説。日本で初めてベオウルフ・クラスタを構築したチームによる翻訳と注釈で，適切な構築が可能になった。
複雑ネットワークの科学 増田直紀・今野紀雄 2520 296 A5 978-4-7828-5151-7 友達同士の人間関係は規則的でも乱雑でもない特徴をもつ。実は、流行現象、疫病の伝播、生態系や遺伝子の相互作用などは、このような複雑なネットワーク上で起こっている。本書は”複雑ネットワーク”という新しい学問の基礎から最先端までをカバーする、本邦初の体系的かつ平易な解説書である。
もどる