蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
No. |
所蔵館 |
資料番号 |
請求記号 |
配架場所 |
所蔵棚番号 |
資料種別 |
帯出区分 |
状態 |
付録 |
貸出
|
1 |
中央図書館 | 0119007235 | 007.1/ペ/ | 書庫2 | | 一般図書 | 一般貸出 | 在庫 | |
○ |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
チャールズ・ペゾルド 井田 哲雄 鈴木 大郎 奥居 哲 浜名 誠 山田 俊行
Turing Alan Mathison オートマトン
書誌詳細
この資料の書誌詳細情報です。
タイトルコード |
1008000543737 |
書誌種別 |
図書 |
書名 |
チューリングを読む コンピュータサイエンスの金字塔を楽しもう |
書名ヨミ |
チューリング オ ヨム |
著者名 |
チャールズ・ペゾルド/著
|
著者名ヨミ |
チャールズ ペゾルド |
著者名 |
井田 哲雄/訳 |
著者名ヨミ |
イダ テツオ |
著者名 |
鈴木 大郎/訳 |
著者名ヨミ |
スズキ タロウ |
出版者 |
日経BP社
|
出版年月 |
2012.6 |
ページ数 |
15,593p |
大きさ |
20cm |
分類記号 |
007.1
|
分類記号 |
007.1
|
ISBN |
4-8222-8372-8 |
内容紹介 |
コンピュータサイエンスの歴史に残るチューリングの論文「計算可能数とその決定問題への応用」(1936年)を丹念に注釈。苦闘の痕跡までが息づいている、チューリングのオリジナルの論文の真髄を明らかにする。 |
著者紹介 |
プログラミング分野の書籍を多数執筆。著書に「CODE」など。 |
件名 |
オートマトン |
個人件名 |
Turing Alan Mathison |
言語区分 |
日本語 |
(他の紹介)内容紹介 |
コンピュータには計算できない数がある。チューリング機械を動かしてコンピュータと数学の限界に答えを出す。不朽の論文「計算可能数とその決定問題への応用」(1936)の本当の意味がわかる。 |
(他の紹介)目次 |
第1部 基礎(ディオファントスここに眠る 無理数と超越数 進歩の世紀) 第2部 計算可能数(アラン・チューリングの受けた教育 動く機械 加算と乗算 またの呼び名はサブルーチン すべては数 万能機械 コンピュータと計算可能性 機械と人間) 第3部 決定問題(論理と計算可能性 計算可能関数 主要な証明 ラムダ計算 連続体をめぐって) 第4部 展望(万物はチューリング機械か ディオファントスの長き眠り) |
(他の紹介)著者紹介 |
ペゾルド,チャールズ プログラミング分野の書籍を多数執筆(本データはこの書籍が刊行された当時に掲載されていたものです) 井田 哲雄 筑波大学名誉教授。専門はコンピュータサイエンス。研究分野は記号計算、書換えの理論、コンピュータ折紙、制約関数論理プログラミング、ソフトウェア検証(本データはこの書籍が刊行された当時に掲載されていたものです) 鈴木 大郎 会津大学コンピュータ理工学部コンピュータ理工学科准教授。研究分野は記号計算、書換え系、関数型プログラミング、XML、オートマトンなど(本データはこの書籍が刊行された当時に掲載されていたものです) 奥居 哲 中部大学工学部情報工学科准教授。研究分野は記号計算(オートマトン、書換え系、関数型プログラミングなど)(本データはこの書籍が刊行された当時に掲載されていたものです) 浜名 誠 群馬大学工学研究科情報工学専攻助教。研究分野はプログラミング言語の数学的モデル、特に圏論的意味論、関数型プログラミング、依存型理論、高階書換え系など(本データはこの書籍が刊行された当時に掲載されていたものです) 山田 俊行 三重大学大学院工学研究科情報工学専攻講師。研究分野は書換え系、等式論理、自動推論、ソフトウェアの解析と検証など(本データはこの書籍が刊行された当時に掲載されていたものです) |
内容細目表
前のページへ