検索結果書誌詳細

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報

書名

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

著者名 チャールズ・ペゾルド/著   井田 哲雄/訳   鈴木 大郎/訳   奥居 哲/訳   浜名 誠/訳   山田 俊行/訳
出版者 日経BP社
出版年月 2012.6


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

  

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


マイ本棚へ追加ログインメモ


資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 中央図書館0119007235007.1/ペ/書庫2一般図書一般貸出在庫  

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2012
007.1 007.1
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、オートマトンなど(本データはこの書籍が刊行された当時に掲載されていたものです)
奥居 哲
 中部大学工学部情報工学科准教授。研究分野は記号計算(オートマトン、書換え系、関数型プログラミングなど)(本データはこの書籍が刊行された当時に掲載されていたものです)
浜名 誠
 群馬大学工学研究科情報工学専攻助教。研究分野はプログラミング言語の数学的モデル、特に圏論的意味論、関数型プログラミング、依存型理論、高階書換え系など(本データはこの書籍が刊行された当時に掲載されていたものです)
山田 俊行
 三重大学大学院工学研究科情報工学専攻講師。研究分野は書換え系、等式論理、自動推論、ソフトウェアの解析と検証など(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

前のページへ

本文はここまでです。


ページの終わりです。