科学技術と共に歩む

Pythonで学ぶ暗号理論

• 神永 正博 東北学院大教授 著
• 吉川 英機 東北学院大教授 著

暗号理論の解説に加え，差分解読法・線形解読法，ハッシュ関数の解析，RSA 暗号に対する攻撃等を体験できる Python プログラムを提供。理論だけでは実感が湧きにくい暗号の仕組みを，プログラムを動かしながら学ぶ。

IT技術者を目指す人の 情報セキュリティ入門

• 松田 勝敬 東北工大教授 著

IT業界で働いていると役に立つ情報セキュリティの入門書。IT技術者としてある程度仕組みまで理解しておいたほうがよいことは詳しく解説し，またどのように実務に関係してくるのか，見えやすくするように実例などを交えて解説。

データ科学のための基礎数理 - 情報数理・確率統計・パターン認識 -

• 後藤 正幸 早大教授 著

データサイエンスの土台を築くために欠かせない情報数理に焦点を当て，パターン認識や機械学習の本質を学ぶために必要な内容に絞って丁寧に解説。データサイエンスを学び始める際にはもちろん，基礎を再確認するためにも最適な１冊。

次世代信号情報処理シリーズ 5

グラフ信号処理の基礎と応用 - ネットワーク上データのフーリエ変換，フィルタリング，学習 -

• 田中 聡久 東京農工大教授 監修
• 田中 雄一 阪大教授 著

信号の定義域を，ネットワーク（グラフ）の頂点上に持つグラフ信号を解析するための信号処理技術の一群を指すグラフ信号処理について，グラフフーリエ変換を中心としたネットワーク上データの周波数解析技術などを解説する。

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

離散数学

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

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

数理パズルで楽しく学べる論理学

• 藤田 憲悦 群馬大准教授 著

スマリヤンのパズルなど親しみやすい日常的推論の例を多数掲載。論理の構文論的側面と意味論的側面の違いおよびその関係性への理解を深めることで，物事の本質をつかみ記号化する力，論理的に証明する力を身につけることを目指す。

電気・電子系　教科書シリーズ 22

情報理論 （改訂版）

• 三木 成彦 津山高専名誉教授 著
• 吉川 英機 東北学院大教授 著

話題をディジタル関係にしぼり，シャノン流の情報理論について，その本質を理解しやすいように，できるだけ難しい数学は避け，例題や図を多く用いて解説した。初版第1刷発行後20年を経て，古くなった記述を改めた。

マルチメディア情報符号化の基礎と応用 - 情報伝達の効率化と信頼性の確保 -

• 杉浦 彰彦 静岡大教授 著
• 岡村 好庸 元宇部高専教授 著
• 小暮 悟 静岡大准教授 著

マルチメディア情報通信の基礎となる情報数学や，情報理論，符号理論について，基礎と応用を結び付けられるよう執筆した。初学者の理解を促すため，基礎部分では例題等具体的な記述を多くし，応用部分では実用例を多く盛りこんだ。

基礎から学ぶ整数論 - RSA暗号入門 -

• 長嶋 祐二 工学院大名誉教授 著
• 福田 一帆 工学院大准教授 著

RSA 暗号の理解に必要な整数論の基礎を順を追って解説。定理には詳細な証明を，定理の使い方を学ぶために例題を配置。さらに，理解度を試す章末問題を豊富に掲載し，解答は計算過程の解説を重視した。理解を補う別解も掲載。

シリーズ 情報科学における確率モデル 5

エントロピーの幾何学

• 田中 勝 福岡大教授 著

測度論的確率論，十分統計量の説明に加え，本書では，測度空間に特別な平行移動を導入することでアファイン空間を構成し，そのうえで幾何学を展開することにより，指数型分布族と非指数型分布族を同時に取り扱える枠組みを提供した。

改訂 マルチメディア時代の 情報理論

• 小川 英一 摂南大名誉教授 著

マルチメディア情報機器では，情報伝送や記録の高能率・高信頼化のためデータ圧縮や誤り訂正技術が用いられる。本書は，これらの基礎となる情報理論について，学生に身近な機器と関連させながら基礎から最新技術まで解説している。

情報量 - 情報理論への招待 -

• 山本 宙 東海大准教授 著

本書は情報理論における情報量，特に情報源符号化定理の解説に重点をおき，情報量の概念の理解を目的としている。基本的な数学の知識で理解できるよう記述し，定理は結果と使用法だけでなく証明内容を厳密にわかりやすく解説した。

プログラムで愉しむ数理パズル - 未解決の難問やAIの課題に挑戦 -

• 伊庭 斉志 東大教授 著

本書はプログラムを通して数理パズルを愉しみ，その背後にある考えや応用につながるアイディアを理解しようというものである。独立したトピックはどこからでも読む事が可能で，プログラムのソースコードや，解答例も紹介した。

リスク工学シリーズ 8

暗号と情報セキュリティ

• 岡本 栄司 筑波大名誉教授 著
• 西出 隆志 筑波大准教授 著

情報ネットワークを有用にするものは情報セキュリティであり，リスク工学的手法も応用の一つである。本書は暗号技術とその周辺を中心にその基礎と，応用として情報セキュリティの必要性，脅威に対する対策，標準化動向を紹介する。

リスク工学シリーズ 5

あいまいさの数理

• 遠藤 靖典 筑波大教授 著

科学の対象となるあいまいさには，言葉の表現によるものと現象の生起によるものとがある。前者は論理，後者は確率により体系化されてきた。本書では，それらの理論について，歴史的経緯を踏まえながらわかりやすく概説する。

数理論理学 - 合理的エージェントへの応用に向けて -

• 加藤 暢 近大准教授 著
• 高田 司郎 近大教授 著
• 新出 尚之 奈良女子大准教授 著

数理論理学の諸概念に初めて接する大学2, 3年生を対象に，命題論理，述語論理，様相論理を，直感的にわかるさまざまな例題を通してできるだけ容易に解説。述語論理については，論理型言語Prologを解説する章を用意した。

通信理論入門

• 坂庭 好一 東工大名誉教授 著
• 笠井 健太 東工大准教授 著

情報の圧縮，伝達（蓄積）に関する基礎理論について解説した，入門的教科書。具体的には，情報源モデル，エントロピーとデータ圧縮，通信路モデル，通信路容量と通信路符号化定理，誤り訂正符号，公開鍵暗号について解説する。

オートマトン・形式言語理論

• 広瀬 貞樹 富山大名誉教授・顧問 著

大学，短大，高専等におけるオートマトン・形式言語理論に関する講義のテキストである。本書が扱うのは理論であるが，証明は一切でてこない。多くの例とわかりやすい解説で直観的に考え方を理解できるよう心がけた。

応用オートマトン工学

• 西野 哲朗 電通大教授 著
• 若月 光夫 電通大助教 著
• 後藤 隆彰 電通大特任助教 著

有限個の状態間遷移を表現するモデルである有限オートマトンについて，その理論に基づく，コンパイラ，機械学習，機械翻訳，情報検索，画像圧縮，暗号などへの応用を「応用オートマトン工学」と呼び，その理論と応用の一部を解説。

代数系と符号理論入門

• 坂庭 好一 東工大教授 著
• 渋谷 智治 上智大准教授 著

本書は，代数系(群や体，特に有限体)と誤り訂正符号の理論の解説書である。一通りの証明を漏らさずに載せるなど，大学入学程度の少ない数学的基礎だけで最後まで読み進められるよう配慮されている。