理論計算機科学事典

徳山 豪小林 直樹(総編集)

徳山 豪小林 直樹(総編集)

定価 19,800 円(本体 18,000 円+税)

A5判/816ページ
刊行日:2022年01月01日
ISBN:978-4-254-12263-3 C3504

ネット書店で購入する amazon e-hon 紀伊國屋書店 honto Honya Club Rakutenブックス

書店の店頭在庫を確認する 紀伊國屋書店 旭屋倶楽部

内容紹介

理論計算機科学の全体像を解説する日本初の事典。大学教育レベルの教科書あるいは参考書としても活用できるよう,重要な基盤項目には例を用いたコンパクトな説明を付し,理論計算機科学の学術的最前線の状況にまで触れる。「アルゴリズムと計算複雑度」と「形式モデルと意味論」の二部構成。〔内容〕計算とアルゴリズム/計算モデルと計算量/応用分野における計算理論/形式言語とオートマトン/計算モデル/プログラム意味論/システム検証理論

編集部から

目次

1. 総論 (徳山 豪)

第1部 アルゴリズムと計算複雑度
はじめに
各章の概要

2. アルゴリズムの設計と解析 (編集担当者:徳山 豪)
 2.1 計算とアルゴリズムの歴史 (徳山 豪)
 2.2 基本的なアルゴリズム (徳山 豪)
 2.3 データ構造の基礎 (平田富夫)
 2.4 先進的なデータ構造 (定兼邦彦)
 2.5 グラフアルゴリズム (伊藤健洋)
 2.6 ネットワークアルゴリズム (神山直之)
 2.7 数理計画法 (塩浦昭義)
 2.8 離散最適化 (塩浦昭義)
 2.9 ヒューリスティックス (柳浦睦憲)
 
3. 計算複雑度理論  (編集担当者:岩間一雄・渡辺治)
 3.1 計算モデルの歴史と概観 (岩間一雄)
 3.2 計算可能性と計算複雑度 (渡辺治)
 3.3 P≠NP 予想 (天野一幸)
 3.4 ランダムネスと計算 (河内亮周)
 3.5 近似計算の理論 (玉置卓)
 3.6 並列・分散アルゴリズム (増澤利光)
 3.7 量子計算 (西村治道)
 3.8 オンラインアルゴリズム (藤原洋志)
 3.9 パラメータ化計算複雑度とパラメータ化アルゴリズム (宇野裕之)
 3.10 ストリーミングモデルとメモリ制限モデル (大舘陽太)
 
4. 応用分野における計算理論  (編集担当者:今井浩)
 4.1 学術分野における計算理論の応用 (今井浩)
 4.2 バイオインフォマティクス (渋谷哲朗)
 4.3 計算幾何学 (今井桂子)
 4.4 数論と暗号 (國廣 昇)
 4.5 ウェブ解析とデータ解析 (前原貴憲)
 4.6 機械学習と学習理論 (二反田篤史)
 4.7 数理パズルにおける計算理論 (上原隆平)
 
第2部 形式モデルと意味論
はじめに 
各章の概要 
第2部のための予備知識 
 
5. 形式言語とオートマトン  (編集担当者:南出靖彦)
 5.1 正規言語とオートマトン,トランスデューサ (南出靖彦)
 5.2 木オートマトン,木トランスデューサ (橋本健二)
 5.3 無限語/無限木オートマトン (南出靖彦)
 5.4 MSO 論理とMSO 変換 (稲葉一浩)
 5.5 高階言語 (小林直樹)
 
6. 形式的計算体系  (編集担当者:五十嵐 淳)
 6.1 型なしラムダ計算 (亀山幸義)
 6.2 型付きラムダ計算 (五十嵐 淳)
 6.3 論理と計算 (五十嵐 淳)
 6.4 並行計算モデル (結縁 祥治)
 6.5 項書き換えシステム (青戸等人)
 
7. プログラム意味論  (編集担当者:長谷川真人)
 7.1 プログラム意味論概説 (長谷川真人)
 7.2 操作的意味論 (長谷川真人)
 7.3 ドメインと表示的意味論 (立木秀樹)
 7.4 圏論的意味論 (勝股 審也)
 7.5 線形論理の意味論と相互作用の幾何 (星野直彦)
 7.6 ゲーム意味論 (塚田武志)
 
8. システム検証理論  (編集担当者:小林直樹)
 8.1 モデル検査 (小林直樹)
 8.2 プログラム論理 (中澤巧爾)
 8.3 型に基づくプログラム検証 (末永幸平)

索  引

執筆者紹介

総編集者

徳山 豪
小林直樹

編集者(担当章順)
岩間一雄
渡辺 治
今井 浩
南出靖彦
五十嵐淳
長谷川真人

執筆者(五十音順)
青戸等人
天野一幸
五十嵐淳
伊藤健洋
稲葉一浩
今井桂子
今井 浩
岩間一雄
上原隆平
宇野裕之
大舘陽太
勝股審也
神山直之
亀山幸義
河内亮周
國廣 昇
小林直樹
定兼邦彦
塩浦昭義
渋谷哲朗
末永幸平
玉置 卓
立木秀樹
塚田武志
徳山 豪
中澤巧爾
西村治道
二反田篤史
橋本健二
長谷川真人
平田富夫
藤原洋志
星野直彦
前原貴憲
増澤利光
南出靖彦
柳浦睦憲
結縁祥治
渡辺 治

関連情報

ジャンル一覧

ジャンル一覧

  • Facebook
  • Twitter
  • 「愛読者の声」 ご投稿はこちら 「愛読者の声」 ご投稿はこちら
  • EBSCO eBooks
  • eBook Library