本、雑誌、CD・DVDをお近くの本屋さんに送料無料でお届け！

    こだわり検索

    • 本

    チューリングを読む　コンピュータサイエンスの金字塔を楽しもう

    出版社名 日経ＢＰ社
    出版年月 2012年6月
    ISBNコード 978-4-8222-8372-8
    （4-8222-8372-0）
    税込価格 3,300円
    頁数・縦 ５９３Ｐ　２０ｃｍ

    商品内容

    要旨

    コンピュータには計算できない数がある。チューリング機械を動かしてコンピュータと数学の限界に答えを出す。不朽の論文「計算可能数とその決定問題への応用」（１９３６）の本当の意味がわかる。
    目次

    第１部　基礎（ディオファントスここに眠る
    無理数と超越数
    進歩の世紀）
    第２部　計算可能数（アラン・チューリングの受けた教育
    動く機械
    加算と乗算
    またの呼び名はサブルーチン
    すべては数
    万能機械
    コンピュータと計算可能性
    機械と人間）
    第３部　決定問題（論理と計算可能性
    計算可能関数
    主要な証明
    ラムダ計算
    連続体をめぐって）
    第４部　展望（万物はチューリング機械か
    ディオファントスの長き眠り）

    著者紹介

    ペゾルド，チャールズ (ペゾルド，チャールズ)　　 Ｐｅｔｚｏｌｄ，Ｃｈａｒｌｅｓ
    プログラミング分野の書籍を多数執筆
    井田　哲雄 (イダ　テツオ)　　
    筑波大学名誉教授。専門はコンピュータサイエンス。研究分野は記号計算、書換えの理論、コンピュータ折紙、制約関数論理プログラミング、ソフトウェア検証
    鈴木　大郎 (スズキ　タロウ)　　
    会津大学コンピュータ理工学部コンピュータ理工学科准教授。研究分野は記号計算、書換え系、関数型プログラミング、ＸＭＬ、オートマトンなど
    奥居　哲 (オクイ　サトシ)　　
    中部大学工学部情報工学科准教授。研究分野は記号計算（オートマトン、書換え系、関数型プログラミングなど）
    浜名　誠 (ハマナ　マコト)　　
    群馬大学工学研究科情報工学専攻助教。研究分野はプログラミング言語の数学的モデル、特に圏論的意味論、関数型プログラミング、依存型理論、高階書換え系など
    山田　俊行 (ヤマダ　トシユキ)　　
    三重大学大学院工学研究科情報工学専攻講師。研究分野は書換え系、等式論理、自動推論、ソフトウェアの解析と検証など（本データはこの書籍が刊行された当時に掲載されていたものです）