情報数学講座

編集委員:廣瀬 健・野崎昭弘・鈴木則久・小林孝次郎
計算機科学に役立つ数学を体系的にまとめることは,使用分野の広範さ,奥深さ,計算機科学の流動性などにより困難であるが,計算機科学の今後の発展のためには数学的基礎をしっかり持つことが不可欠である。本講座は,計算機科学のための数学を大胆に整理・統合化することを目的に,定理・証明の羅列は控え,話題の展開や表現の仕方を工夫し,例題を多用して抽象的概念をわかりやすく解説する。

*6巻は発行中止。

応用論理

  • ISBN:978-4-320-02651-3
  • 判型/ページ数:A5 / 224ページ
  • 発行年月:1996年03月
  • 本体価格:3,000円

述語論理で数学的議論をすることとコンピュータのプログラミングをすることが,本質的に同じであることを具体例をあげて説明している。

応用論理 書影
応用論理

情報代数

  • ISBN:978-4-320-02652-0
  • 判型/ページ数:A5 / 230ページ
  • 発行年月:1994年02月
  • 本体価格:3,000円

本書は情報科学,特にその理論的問題に現れる数学的概念の解説と,それらの基本的結果を紹介。

情報代数 書影
情報代数

離散構造

  • ISBN:978-4-320-02653-7
  • 判型/ページ数:A5 / 234ページ
  • 発行年月:1993年05月
  • 本体価格:3,200円

本書では,“離散構造”を有限集合が複合して創り出す構造と捉えて,その最も基本的な構造である“グラフ”を題材に離散数学を解説した。

離散構造 書影
離散構造

計算の理論

  • ISBN:978-4-320-02654-4
  • 判型/ページ数:A5 / 240ページ
  • 発行年月:1993年06月
  • 本体価格:3,200円

WhileプログラムとRAMを計算モデルとし,各計算法の限界と有効性を平易に論述。特に,NP完全問題,最近の話題や未解決問題について詳述。

計算の理論 書影
計算の理論

言語と構文解析

  • ISBN:978-4-320-02655-1
  • 判型/ページ数:A5 / 188ページ
  • 発行年月:1995年10月
  • 本体価格:3,200円

コンピュータ分野の中のプログラム言語の構文解析論について,具体例を入れてわかりやすく解説。

言語と構文解析 書影
言語と構文解析

プログラム意味論

  • ISBN:978-4-320-02657-5
  • 判型/ページ数:A5 / 272ページ
  • 発行年月:1994年06月
  • 本体価格:3,700円

プログラム意味論を展開する際に基礎となる数学的な枠組みを,表示的意味論を中心に詳しく厳密に解説した「プログラム意味論の本質」がわかる本。

プログラム意味論 書影
プログラム意味論

プログラム検証論

  • ISBN:978-4-320-02658-2
  • 判型/ページ数:A5 / 228ページ
  • 発行年月:1995年09月
  • 本体価格:3,200円

手続き型プログラム言語の検証の基礎理論と数学的バックグランドをやさしく具体的に解説。

プログラム検証論 書影
プログラム検証論

プログラミング言語の基礎理論

  • ISBN:978-4-320-02659-9
  • 判型/ページ数:A5 / 286ページ
  • 発行年月:1997年02月
  • 本体価格:3,600円

高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説した。

プログラミング言語の基礎理論 書影
プログラミング言語の基礎理論

知識と推論

  • ISBN:978-4-320-02660-5
  • 判型/ページ数:A5 / 216ページ
  • 発行年月:1994年01月
  • 本体価格:3,000円

本書は,知識を表現し推論するための数理論理学の道具とその数学的性質を解説するだけでなく,これらの道具を計算機上で効率的に実装するための最適化技術を紹介することに主眼をおいている。

知識と推論 書影
知識と推論

符号と暗号の数理

  • ISBN:978-4-320-02661-2
  • 判型/ページ数:A5 / 258ページ
  • 発行年月:1993年10月
  • 本体価格:3,400円

理工系学部3,4年生を主対象とし,計算代数とその応用分野である符号理論および暗号・認証理論について,豊富な例をおりまぜてやさしく解説。

符号と暗号の数理 書影
符号と暗号の数理

計算幾何学

  • ISBN:978-4-320-02662-9
  • 判型/ページ数:A5 / 232ページ
  • 発行年月:1994年10月
  • 本体価格:3,100円

計算幾何の比較的最近の結果を中心に,また線形計画問題を基礎にすえて幾何構造の計算を科学。

計算幾何学 書影
計算幾何学

グラフィックスの数理

  • ISBN:978-4-320-02663-6
  • 判型/ページ数:A5 / 226ページ
  • 発行年月:1995年01月
  • 本体価格:3,400円

コンピュータグラフィックスの基礎を,数理的な側面に焦点を当てて体系的に整理。

グラフィックスの数理 書影
グラフィックスの数理

性能評価の基礎と応用 

  • ISBN:978-4-320-02665-0
  • 判型/ページ数:A5 / 268ページ
  • 発行年月:1998年05月
  • 本体価格:3,800円

コンピュータの性能(速度,大容量)を上げるには,ハードとソフトの両面から取り組む必要がある。本書はハード以外のものの性能解析を解説。

性能評価の基礎と応用  書影
性能評価の基礎と応用