検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます
レファレンス情報は0件です

蔵書情報

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

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

書誌情報

書名

万能コンピュータ　ライプニッツからチューリングへの道すじ　　　　

著者名 マーティン・デイヴィス／原著 　 沼田 寛／訳
出版者 近代科学社
出版年月 2016.11

この資料に対する操作

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

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

  

この資料に対する操作

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

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

資料情報

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

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 中央図書館0180059990410.9/ﾃﾞ/１階図書室51A一般図書一般貸出在庫　  ○

関連資料

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

2023
【審議官】 審議官
今野 敏／著 【猪牙の娘】 猪牙の娘
佐伯 泰英／著 【木挽町のあだ討ち】 木挽町のあだ討ち
永井 紗耶子／著 【荒ぶるや】 荒ぶるや
佐伯 泰英／著 【奔れ、空也】 奔れ、空也
佐伯 泰英／著 【…2023年 5月号 通巻1595号】 …2023年 5月号 通巻1595号
 【…2023年 8月号 通巻1598号】 …2023年 8月号 通巻1598号
 【…2023年 4月号 通巻1594号】 …2023年 4月号 通巻1594号
 【晩節遍路　：　文庫書下ろし/長編時…】 晩節遍路　：　文庫書下ろし/長編時…
佐伯 泰英／著 【霹靂　：　文庫書下ろし/長編時代小…】 霹靂　：　文庫書下ろし/長編時代小…
上田 秀人／著 【…2023年 6月号 通巻1596号】 …2023年 6月号 通巻1596号
 【わかれ縁　：　狸穴屋お始末日記】 わかれ縁　：　狸穴屋お始末日記
西條 奈加／著 【…2023年11月号 通巻1601号】 …2023年11月号 通巻1601号
 【…2023年 3月号 通巻1593号】 …2023年 3月号 通巻1593号
 【…2023年 7月号 通巻1597号】 …2023年 7月号 通巻1597号
 【…2023年10月号 通巻1600号】 …2023年10月号 通巻1600号
 【窓ぎわのトットちゃん続】 窓ぎわのトットちゃん続
黒柳 徹子／著 【…2023年12月号 通巻1602号】 …2023年12月号 通巻1602号
 【…2024年 1月号 通巻1603号】 …2024年 1月号 通巻1603号
 【…2023年 9月号 通巻1599号】 …2023年 9月号 通巻1599号
 【暮しの手帖　2023年 2月- 3…】 暮しの手帖　2023年 2月- 3…
 【暮しの手帖　2023年 8月- 9…】 暮しの手帖　2023年 8月- 9…
 【暮しの手帖　2023年 6月- 7…】 暮しの手帖　2023年 6月- 7…
 【…2023年 2月号 通巻1592号】 …2023年 2月号 通巻1592号
 【蘇れ、吉原　：　文庫書下ろし/長編…】 蘇れ、吉原　：　文庫書下ろし/長編…
佐伯 泰英／著 【おひとりさま日和　：　書き下ろし短…】 おひとりさま日和　：　書き下ろし短…
大崎 梢／著,岸… 【ハンチバック】 ハンチバック
市川 沙央／著 【クロワッサン　2023年 4月10…】 クロワッサン　2023年 4月10…
 【日雇い浪人生活録14】 日雇い浪人生活録14
上田 秀人／著 【クロワッサン　2023年 8月25…】 クロワッサン　2023年 8月25…
 【クロワッサン　2023年 4月25…】 クロワッサン　2023年 4月25…
 【クロワッサン　2023年 7月10…】 クロワッサン　2023年 7月10…
 【クロワッサン　2023年10月25…】 クロワッサン　2023年10月25…
 【クロワッサン　2023年 6月10…】 クロワッサン　2023年 6月10…
 【poroco (ポロコ)　2023…】 poroco (ポロコ)　2023…
 【クロワッサン　2023年 6月25…】 クロワッサン　2023年 6月25…
 【クロワッサン　2023年12月25…】 クロワッサン　2023年12月25…
 【poroco (ポロコ)　2023…】 poroco (ポロコ)　2023…
 【老いとお金】 老いとお金
群 ようこ／[著… 【クロワッサン　2023年 5月10…】 クロワッサン　2023年 5月10…
 【クロワッサン　2023年10月10…】 クロワッサン　2023年10月10…
 【文…2023年 5月号 101巻5号】 文…2023年 5月号 101巻5号
 【poroco (ポロコ)　2023…】 poroco (ポロコ)　2023…
 【クロワッサン　2023年 2月25…】 クロワッサン　2023年 2月25…
 【クロワッサン　2023年 7月25…】 クロワッサン　2023年 7月25…
 【poroco (ポロコ)　2023…】 poroco (ポロコ)　2023…
 【クロワッサン　2023年11月10…】 クロワッサン　2023年11月10…
 【poroco (ポロコ)　2023…】 poroco (ポロコ)　2023…
 【poroco (ポロコ)　2023…】 poroco (ポロコ)　2023…
 【クロワッサン　2023年 5月25…】 クロワッサン　2023年 5月25…
2023
【審議官】 審議官
今野 敏／著 【猪牙の娘】 猪牙の娘
佐伯 泰英／著 【木挽町のあだ討ち】 木挽町のあだ討ち
永井 紗耶子／著 【荒ぶるや】 荒ぶるや
佐伯 泰英／著 【奔れ、空也】 奔れ、空也
佐伯 泰英／著 【…2023年 5月号 通巻1595号】 …2023年 5月号 通巻1595号
 【…2023年 8月号 通巻1598号】 …2023年 8月号 通巻1598号
 【…2023年 4月号 通巻1594号】 …2023年 4月号 通巻1594号
 【晩節遍路　：　文庫書下ろし/長編時…】 晩節遍路　：　文庫書下ろし/長編時…
佐伯 泰英／著 【霹靂　：　文庫書下ろし/長編時代小…】 霹靂　：　文庫書下ろし/長編時代小…
上田 秀人／著 【…2023年 6月号 通巻1596号】 …2023年 6月号 通巻1596号
 【わかれ縁　：　狸穴屋お始末日記】 わかれ縁　：　狸穴屋お始末日記
西條 奈加／著 【…2023年11月号 通巻1601号】 …2023年11月号 通巻1601号
 【…2023年 3月号 通巻1593号】 …2023年 3月号 通巻1593号
 【…2023年 7月号 通巻1597号】 …2023年 7月号 通巻1597号
 【…2023年10月号 通巻1600号】 …2023年10月号 通巻1600号
 【窓ぎわのトットちゃん続】 窓ぎわのトットちゃん続
黒柳 徹子／著 【…2023年12月号 通巻1602号】 …2023年12月号 通巻1602号
 【…2024年 1月号 通巻1603号】 …2024年 1月号 通巻1603号
 【…2023年 9月号 通巻1599号】 …2023年 9月号 通巻1599号
 【暮しの手帖　2023年 2月- 3…】 暮しの手帖　2023年 2月- 3…
 【暮しの手帖　2023年 8月- 9…】 暮しの手帖　2023年 8月- 9…
 【暮しの手帖　2023年 6月- 7…】 暮しの手帖　2023年 6月- 7…
 【…2023年 2月号 通巻1592号】 …2023年 2月号 通巻1592号
 【蘇れ、吉原　：　文庫書下ろし/長編…】 蘇れ、吉原　：　文庫書下ろし/長編…
佐伯 泰英／著 【おひとりさま日和　：　書き下ろし短…】 おひとりさま日和　：　書き下ろし短…
大崎 梢／著,岸… 【ハンチバック】 ハンチバック
市川 沙央／著 【クロワッサン　2023年 4月10…】 クロワッサン　2023年 4月10…
 【日雇い浪人生活録14】 日雇い浪人生活録14
上田 秀人／著 【クロワッサン　2023年 8月25…】 クロワッサン　2023年 8月25…
 【クロワッサン　2023年 4月25…】 クロワッサン　2023年 4月25…
 【クロワッサン　2023年 7月10…】 クロワッサン　2023年 7月10…
 【クロワッサン　2023年10月25…】 クロワッサン　2023年10月25…
 【クロワッサン　2023年 6月10…】 クロワッサン　2023年 6月10…
 【poroco (ポロコ)　2023…】 poroco (ポロコ)　2023…
 【クロワッサン　2023年 6月25…】 クロワッサン　2023年 6月25…
 【クロワッサン　2023年12月25…】 クロワッサン　2023年12月25…
 【poroco (ポロコ)　2023…】 poroco (ポロコ)　2023…
 【老いとお金】 老いとお金
群 ようこ／[著… 【クロワッサン　2023年 5月10…】 クロワッサン　2023年 5月10…
 【クロワッサン　2023年10月10…】 クロワッサン　2023年10月10…
 【文…2023年 5月号 101巻5号】 文…2023年 5月号 101巻5号
 【poroco (ポロコ)　2023…】 poroco (ポロコ)　2023…
 【クロワッサン　2023年 2月25…】 クロワッサン　2023年 2月25…
 【クロワッサン　2023年 7月25…】 クロワッサン　2023年 7月25…
 【poroco (ポロコ)　2023…】 poroco (ポロコ)　2023…
 【クロワッサン　2023年11月10…】 クロワッサン　2023年11月10…
 【poroco (ポロコ)　2023…】 poroco (ポロコ)　2023…
 【poroco (ポロコ)　2023…】 poroco (ポロコ)　2023…
 【クロワッサン　2023年 5月25…】 クロワッサン　2023年 5月25…
ケース・ワーカー　労働安全　暴力
【最新労働安全衛生法の基本と実務がわ…】 最新労働安全衛生法の基本と実務がわ…
近藤 美穂／監修 【日本の組織犯罪　：　暴力団からトク…】 日本の組織犯罪　：　暴力団からトク…
米田 壯／著 【武器としての非暴力　：　日常からは…】 武器としての非暴力　：　日常からは…
中見 真理／著 【安衛法便覧令和7年度版3】 安衛法便覧令和7年度版3
労働調査会／編 【安衛法便覧令和7年度版2】 安衛法便覧令和7年度版2
労働調査会／編 【安衛法便覧令和7年度版1】 安衛法便覧令和7年度版1
労働調査会／編 【マンガでわかる!化学物質の労働災害…】 マンガでわかる!化学物質の労働災害…
井出 史朗／著 【“女は自衛しろ”というならば　：　…】 “女は自衛しろ”というならば　：　…
エリザベス・フロ… 【ヤクザの子】 ヤクザの子
石井 光太／著 【みんなの衛生委員会　：　イラストで…】 みんなの衛生委員会　：　イラストで…
井上 敬／著 【機械包括安全指針に沿った機械設備安…】 機械包括安全指針に沿った機械設備安…
中央労働災害防止… 【労働安全衛生法クイックガイ…2025】 労働安全衛生法クイックガイ…2025
後藤 博俊／著 【労働安全衛生マネジメントシステムI…】 労働安全衛生マネジメントシステムI…
黒崎 由行／著 【労働安全衛生法のしくみ　：　図解で…】 労働安全衛生法のしくみ　：　図解で…
林 智之／監修 【安全衛生法令要覧令和7年版】 安全衛生法令要覧令和7年版
中央労働災害防止… 【非暴力主義の誕生　：　武器を捨てた…】 非暴力主義の誕生　：　武器を捨てた…
踊 共二／著 【争いばかりの人間たちへ　：　ゴリラ…】 争いばかりの人間たちへ　：　ゴリラ…
山極 寿一／著 【図解よくわかる労働安全衛生法　：　…】 図解よくわかる労働安全衛生法　：　…
木村 嘉勝／著 【争いばかりの人間たちへ　：　ゴリラ…】 争いばかりの人間たちへ　：　ゴリラ…
山極 寿一／著 【製造現場の安全衛生に想いはせれば…】 製造現場の安全衛生に想いはせれば…
末松 清志／著 【足場の組立て、解体、変更業務従事者…】 足場の組立て、解体、変更業務従事者…
中央労働災害防止… 【安全衛生保護具の基礎知識　：　イラ…】 安全衛生保護具の基礎知識　：　イラ…
津田 洋子／著 【事業者必携知っておきたい建設業事業…】 事業者必携知っておきたい建設業事業…
林 智之／監修 【死なないための暴力論】 死なないための暴力論
森 元斎／著 【死刑囚になったヒットマン　：　「前…】 死刑囚になったヒットマン　：　「前…
小日向 将人／著… 【暴力とポピュリズムのアメリカ史　：…】 暴力とポピュリズムのアメリカ史　：…
中野 博文／著 【俺たちはどう生きるか　：　現代ヤク…】 俺たちはどう生きるか　：　現代ヤク…
尾島 正洋／[著… 【歪な愛の倫理　：　<第三者>は暴力…】 歪な愛の倫理　：　<第三者>は暴力…
小西 真理子／著 【ジギリ　：　組織に身体を懸けた極道…】 ジギリ　：　組織に身体を懸けた極道…
正島 光矩／著 【化学プロセスの事故から学ぶリスクに…】 化学プロセスの事故から学ぶリスクに…
CCPS AIC… 【職長・安全衛生責任者と事業主が現場…】 職長・安全衛生責任者と事業主が現場…
林 利成／著 【ものづくりの基本　：　現場改善・品…】 ものづくりの基本　：　現場改善・品…
日本能率協会コン… 【ものづくりの基本　：　現場改善・品…】 ものづくりの基本　：　現場改善・品…
日本能率協会コン… 【安全法令ダイジェスト製造業編】 安全法令ダイジェスト製造業編
労働新聞社／編 【社会変容と民衆暴力　：　人びとはな…】 社会変容と民衆暴力　：　人びとはな…
須田 努／編 【実践!ウェルビーイング　：　世界最…】 実践!ウェルビーイング　：　世界最…
セーフティグロー… 【図解よくわかる労働安全衛生法　：　…】 図解よくわかる労働安全衛生法　：　…
木村 嘉勝／著 【高年齢労働者のための転倒・転落事故…】 高年齢労働者のための転倒・転落事故…
日本転倒予防学会… 【安全衛生法令要覧令和5年版】 安全衛生法令要覧令和5年版
中央労働災害防止… 【ヤクザ2000人に会いました!】 ヤクザ2000人に会いました!
鈴木 智彦／著 【現場の人が書いた高所作業車と伐採の…】 現場の人が書いた高所作業車と伐採の…
小池 勲／著 【ヤクザと金融機関】 ヤクザと金融機関
海棠 進／著 【ソーシャルワーカーのミカタ　：　対…】 ソーシャルワーカーのミカタ　：　対…
芦沢 茂喜／著,… 【血の畑　：　宗教と暴力】 血の畑　：　宗教と暴力
カレン・アームス… 【芸能界とヤクザ】 芸能界とヤクザ
鈴木 智彦／ほか… 【援助の原点　：　あるソーシャルワー…】 援助の原点　：　あるソーシャルワー…
吉岡 隆／著 【非暴力の力】 非暴力の力
ジュディス・バト… 【不登校・暴力行為に向き合う小中学校…】 不登校・暴力行為に向き合う小中学校…
黒澤 礼子／著 【現場のリスク管理と災害未然防止のた…】 現場のリスク管理と災害未然防止のた…
金塚 憲彦／著 【高所作業の基礎知識　：　ハーネスや…】 高所作業の基礎知識　：　ハーネスや…
菊一 功／著

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1008001112501
書誌種別 図書
書名 万能コンピュータ　ライプニッツからチューリングへの道すじ　　　　
書名ヨミ バンノウ コンピュータ　
著者名 マーティン・デイヴィス／原著
著者名ヨミ マーティン デイヴィス
著者名 沼田 寛／訳
著者名ヨミ ヌマタ ヒロシ
出版者 近代科学社
出版年月 2016.11
ページ数 9,249p
大きさ 23cm
分類記号 410.96
分類記号 410.96
ISBN 4-7649-0471-2
内容紹介 ライプニッツの夢、論理を代数に変換したブール、無限を巡り歩いたカントル、汎用計算機を構想したチューリング…。数理論理学の先駆者たちの足跡をたどりつつ、記号論理学と計算機ロジックの世界を平易・簡明に紹介する。
著者紹介 1928年ニューヨーク市生まれ。アロンゾ・チャーチのもとで博士号を取得。ニューヨーク大学名誉教授。記号論理学の歴史に造詣が深い。
件名 記号論理学-歴史、コンピュータ-歴史
言語区分 日本語

(他の紹介)内容紹介 人は、見た目もなか身も「色」で決まる。好きな色・嫌いな色から読み取れること。
(他の紹介)目次 １章　色の好みと性格の関係（色は性格を映す「鏡」
「色型人間」と「形型人間」テスト
「色型人間」と「形型人間」の性格　ほか）
２章　人を見抜く、人を動かす色の心理術（色のチカラで人の性格を見抜く
色で人を見抜く方法１　質問への反応から読み解く
色で人を見抜く方法２　質問方法を工夫して読み解く　ほか）
３章　色のチカラで自分を変える（色のチカラで性格は変えられる
性格は変わる、色の好みも変わる
自分に「自信」を持ちたいとき　ほか）


内容細目表

前のページへ
ページの先頭へ 図書館トップへ

本文はここまでです。

ページの終わりです。