科学技術と共に歩む

コンピュータサイエンス教科書シリーズ 15

離散数学

• 牛島 和夫 九大名誉教授 編著
• 相 利民 元九州産業大教授 著
• 朝廣 雄一 九州産業大教授 著

集合論，代数系，数理論理，グラフ理論の構成で解説した「離散数学―CD-ROM付―」（2006年9月発行）から理解を深めるための付録を収録したCD-ROMを外し，コロナ社ウェブサイトからダウンロードできるようにした。

コンピュータサイエンス教科書シリーズ 11

改訂 ディジタル通信

• 岩波 保則 名工大名誉教授 著

ディジタル通信技術の基本原理を理解し応用する力を養うことを目的とし，数式を用いた原理の解説に多くを割いた。特に信号と雑音の数学的表現を通し，解析と設計を行う基礎学力をつけることを目指した。

コンピュータサイエンス教科書シリーズ 12

人工知能原理

• 加納 政芳 中京大教授 著
• 山田 雅之 中京大教授 著
• 遠藤 守 名大准教授 著

人工知能アルゴリズムの中でも，特に探索・ゲーム，機械学習，知識表現・セマンティックWeb技術に焦点を絞り，それらを平易に解説した最新の人工知能教科書。読者の理解を助けるため，実際のプログラミングコードも掲載した。

コンピュータサイエンス教科書シリーズ 2

データ構造とアルゴリズム

• 伊藤 大雄 電通大教授 著

カッコウハッシュ，タンゴ木，定数時間アルゴリズムなど，非常に重要であるが内容が先進的であるために通常の教科書では取り上げられなかったアルゴリズムについて，初心者にでもわかるように解説したこれまでにない教科書。

コンピュータサイエンス教科書シリーズ 5

論理回路

• 曽和 将容 電通大名誉教授 著
• 範 公可 電通大教授 著

論理回路の基礎を直感的かつ論理的に理解できるように，体系的にわかりやすく編集。特に論理関数の表現と簡単化では，主乗法標準形の意味やその簡単化をも取り上げ，また例題や演習問題を導入してわかりやすく解説している。

コンピュータサイエンス教科書シリーズ 10

インターネット

• 加藤 聰彦 電通大教授 著

インターネットを構築する通信プロトコル，TCP，IPv4，IPv6を中心に，IPを支えるPPP，DHCP，無線LAN，TCPの詳細手順であるSIP，TLS，その他，UDP，DNSなどについて，ポイントを押さえて解説する。

コンピュータサイエンス教科書シリーズ 20

数値計算

• 加古 孝 電通大教授 著

現象を正しく再現する数値計算を行うには，計算法の導出から精度と効率までの知識が不可欠である。本書では関数近似から線形計算と反復法そして有限要素法入門までを解説した。また基本的な問題のコンピュータプログラムを掲載した。

コンピュータサイエンス教科書シリーズ 18

数理論理学

• 古川 康一 慶大名誉教授 著
• 向井 国昭 慶大教授 著

本書は，特に，実世界の問題を論理によって表現し，問題解決を行う能力を身に付けることを目指している。そのためには，問題の抽象化，形式化が必要である。実際に問題の形式化の能力を養うため，多くの問題を用意した。

コンピュータサイエンス教科書シリーズ 13

ディジタルシグナルプロセッシング

• 岩田 彰 名工大大学院教授 編著
• 黒柳 奨 名工大大学院准教授 著

今日では，音声，画像などすべての情報がディジタル信号化されている。本書では，フーリエ級数展開とフーリエ変換から始めて，標本化と復元，高速フーリエ変換などディジタル信号処理の基礎を学習するとともにその応用について学ぶ。

コンピュータサイエンス教科書シリーズ 7

オペレーティングシステム

• 大澤 範高 千葉大大学院教授 著

本書は，オペレーティングシステム（ＯＳ）を基本的な機能を提供する仮想計算機と，より高度なサービスを提供するサブシステムに分類し，その分類に基づいて基本的な概念と機構およびそれらの関係が理解できるよう解説した。

コンピュータサイエンス教科書シリーズ 1

情報リテラシー

• 立花 康夫 神奈川工科大教授 著
• 曽和 将容 電通大名誉教授 著
• 春日 秀雄 神奈川工科大講師 著

コンピュータサイエンスの入門書であり，かつ文系や理工系の情報専門でない人がコンピュータとネットワークの基礎を理解したうえでアプリケーションソフトを使いこなし、プログラムを書いてパソコンを高度に活用できるための教科書。

コンピュータサイエンス教科書シリーズ 4

プログラミング言語論

• 大山口 通夫 元三重大教授・名大招聘教員 著
• 五味 弘 独立行政法人情報処理推進機構 著

本書はプログラミング言語に関する最も基本的事項であるプログラミングパラダイムと構文および意味論について概説し，特にＣ言語とJavaについてのプログラミング言語の意味論に焦点を当て，その有効性に重点をおいて解説した。

コンピュータサイエンス教科書シリーズ 16

計算論

• 小林 孝次郎 創価大教授 著

計算可能性と計算の複雑さの理論の入門書。コンピュータはどのような問題を解くことができるのか，ということをきちんと論ずるための数学的な枠組みを与える。基本的な結果に限定し，それらが成り立つ理由をわかりやすく説明する。

コンピュータサイエンス教科書シリーズ 19

数理計画法

• 加藤 直樹 兵庫県立大教授 著

「数理計画」はシステム最適化の理論的基礎をなす。本書は線形計画，ネットワーク計画，整数計画，組合せ最適化，非線形計画の各最適化問題の理論的基礎と解法について，直観的な理解が得られるよう具体的な例題を用いて解説した。

コンピュータサイエンス教科書シリーズ 8

コンパイラ

• 中田 育男 筑波大名誉教授 監修
• 中井 央 筑波大准教授 著

本書はコンパイラの構成方法について，Yacc/Lexによる実際に動作可能なプログラムを用いて解説。字句解析，構文解析，意味解析，実行時環境，コード生成を説明の後，簡単なコンパイラの作成例について具体的に述べている。

コンピュータサイエンス教科書シリーズ 15

離散数学 - CD-ROM付 -

• 牛島 和夫 九大名誉教授 編著
• 相 利民 元九州産業大教授 著
• 朝廣 雄一 九州産業大教授 著

情報専門学科のカリキュラムで最も基礎となる科目の離散数学について，集合論，代数系，数理論理，グラフ理論の構成で解説。本書中の定理等の証明，演習問題の略解を付属CD-ROMに収め，内容の理解が深まるように編集した。

コンピュータサイエンス教科書シリーズ 6

コンピュータアーキテクチャ

• 曽和 将容 電通大名誉教授 著

本書は，初学者がコンピュータの原理を深く理解し，自分の頭で考えることによって，プロセッサの命令セットやアーキテクチャの設計，プロセッサの実現，新方式コンピュータの提案などができる人材に育つことをめざした教科書である。