科学技術と共に歩む

英語で学ぶ 計算理論 - CD-ROM付 -

• ツォイクマン　 トーマス 北大教授 著
• 湊 真一 北大准教授 著
• 大久保 好章 北大助教 著

簡潔かつ包括的な計算理論の入門書である。形式言語とオートマトン理論を学び，部分的帰納関数とチューリング機械を通して，アルゴリズムの直感的観念の定式化を行う。また日英各々のスライドがCD-ROMに収められ，専門用語を学べる。

計測・制御テクノロジーシリーズ 20

情報数学 - 組合せと整数およびアルゴリズム解析の数学 -

• 計測自動制御学会 編
• 浅野 孝夫 中大教授 著

本書は，情報数学におけるアルゴリズムデザインとその解析の数学を，高度な概念まで段階的に学びやすくなるように，系統的に解説した。また，具体的な例題を多く取り上げ，その章の概念が自然に理解できるように努めた。

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

数理論理学

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

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

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

計算論

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

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

C言語による 情報理論入門

• 久保田 一 元千葉工大教授 著
• 大石 邦夫 東京工科大准教授 著
• 福本 昌弘 高知工科大教授 著

本書は，情報伝達の効率化と情報圧縮，暗号に重点を置いて，情報理論を詳しく解説したものである。式の導出では可能な限り式変形を省略せず明記すると同時に，例題とC言語で書かれたプログラムで理解を容易にしている。

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

離散数学 - CD-ROM付 -

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

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

電子情報通信レクチャーシリーズ C-1

情報・符号・暗号の理論

• 電子情報通信学会 編
• 今井 秀樹 東大名誉教授・産業技術総合研究所名誉リサーチャー 著

情報伝達・記録の効率・信頼性・安全性（セキュリティ）向上のために，符号・暗号は基本的な道具である。本書は，符号・暗号技術の本質を理解するために必要なシャノンの理論および具体的な符号・暗号構成理論を体系的に述べている。

電子情報通信レクチャーシリーズ D-8

現代暗号の基礎数理

• 電子情報通信学会 編
• 黒澤 馨 茨城大教授 著
• 尾形 わかは 東工大教授 著

暗号通信に革命をもたらすと同時に，情報化社会が直面する困難な諸問題に対し有効な解決手段を与えようとしている現代暗号理論について，基本的な考え方から高度な内容まで，平易に解説する。

テレビジョン学会教科書シリーズ 4

誤り訂正符号と暗号の基礎数理

• 映像情報メディア学会 編
• 笠原 正雄 京都工繊大名誉教授・大阪学院大名誉教授 著
• 佐竹 賢治 立命館大准教授 著

本書は，サイバー社会を実現するために不可欠で，さらに今後非常に重要な技術となる誤り訂正符号と情報セキュリティについて，基礎的な数理から始まり，具体例を多数交えて詳しく解説している。

電子情報通信レクチャーシリーズ B-6

オートマトン・言語と計算理論

• 電子情報通信学会 編
• 岩間 一雄 京大名誉教授・国立清華大学教授 著

計算機では，解ける問題，解けない問題，解けることは解けるが時間がかかって手に負えない問題の3種類が存在する。このことを把握するため，計算機のモデルを正確に理解し上手に使えるように指導するのが本書の目的である。

計算論理に基づく 推論ソフトウェア論

• 山崎 進 岡山大大学院教授 著

知識と推論は，人工知能と計算機構の接点となる研究対象の一つである｡本書では，推論に焦点を当てて，論理プログラミングの体系として，演繹推論，否定命題を扱う系の意味論，説明推論に関する従来の結果と新たな視点をまとめた。

情報数学

• 小田中 敏男 元北海道情報大教授 著
• 矢頭 攸介 元青山学院大助教授 著
• 正道寺 勉 日本工大准教授 著

情報科学の基礎となる数学をわかりやすく解説した入門テキスト。まず情報科学技術について具体的に示し，数学を用いて解説。また，高校数学の基礎に立ち，情報科学技術と一体となった情報数学を志した。

情報科学の基礎

• 細野 敏夫 日大名誉教授 著

広範にわたる情報科学のうち，広義の計算を含む情報処理を対象とし，その基礎となる事項を解説。具体的には，情報科学のリテラシーに必要で一般的思考にも有効な，オートマトンおよび論理を中心に扱っている。

コンピュータ数学シリーズ 2

組合せ数学

• 仙波 一郎 茨城大教授 著

ある条件を満たす集合（例えば，順列や組合せ）の要素を数え上げたり，構成したりする問題を解くときに有用な考え方（数学的帰納法，包除原理，漸化式，母関数）を紹介する。構成問題については，C言語によるプログラムを付けた。

やさしい組合せ数学

• 西岡 弘明 奈良女子大准教授 著

組合せ数学はさまざまな条件での場合の数を計算するための理論として，情報科学をはじめ多様な分野に応用されている。本書は，従来の書よりも例題を厳選し，論理的な説明を省略しないように努め，教科書，独習書として適している。

図解 情報理論入門

• 野村 由司彦 三重大名誉教授 著

情報理論の中核をなす情報量，エントロピー，情報源符号化，通信路符号化の基本的な考え方をわかりやすく述べている。直感的な理解を促し，ポイントを示す図，問題と筋書きを明らかにする表や流れ図などを多用して説明している。

形式言語と有限オートマトン入門 - 例題を中心とした情報の離散数学 -

• 小倉 久和 福井大名誉教授 著

記号処理はコンピュータの基本的な機能である。本書は，記号処理の基本である形式言語とオートマトンの基礎的な概念について，例題を多数挙げ解説する形式で系統的に記述した。

離散数学概論 - コンピュータサイエンスのための基礎数学 -

• 赤間 世紀 筑波大大学院客員教授 著

コンピュータサイエンスの急速な発展により，その数学的基礎も非常に広範囲になった。本書では，基礎概念である集合，関係，関数から出発し，中心課題である論理，形式言語，帰納関数を初学者にも理解できるように解説した。

情報科学のための 離散数学

• 柴田 正憲 東海大短大名誉教授 著
• 浅田 由良 元東海大非常勤講師 著

本書は既刊の「情報数学1，2」の中から離散数学の内容を選択し，さらに大幅に加筆し再編集したものである。高校の数学Ⅰ 程度の学力でも十分に理解できる内容とし，各章はできる限り独立させ，どこからでも学習できるようにした。

経営情報系の 情報科学Ⅰ - 情報理論編 -

• 菊池 豊彦 東京情報大教授 著

経営情報学は，経営学と情報科学の学際的な学問として，現在最も注目を集めている。その中核である情報理論についてわかりやすく解説し，多くの演習問題と詳解を載せた。