検索結果書誌詳細

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

蔵書情報

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

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

書誌情報

書名

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

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

この資料に対する操作

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

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

  

この資料に対する操作

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

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

資料情報

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

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

関連資料

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

2023
【ともぐい】 ともぐい
河崎 秋子／著 【正欲】 正欲
朝井 リョウ／著 【あなたが誰かを殺した】 あなたが誰かを殺した
東野 圭吾／著 【クスノキの番人】 クスノキの番人
東野 圭吾／著 【契り橋　：　あきない世傳金と銀 特…】 契り橋　：　あきない世傳金と銀 特…
高田 郁／著 【成瀬は天下を取りにいく】 成瀬は天下を取りにいく
宮島 未奈／著 【52ヘルツのクジラたち】 52ヘルツのクジラたち
町田 そのこ／著 【ブラック・ショーマンと名もなき町の…】 ブラック・ショーマンと名もなき町の…
東野 圭吾／著 【水車小屋のネネ】 水車小屋のネネ
津村 記久子／著 【くもをさがす】 くもをさがす
西 加奈子／著 【審議官】 審議官
今野 敏／著 【カケラ】 カケラ
湊 かなえ／著 【じい散歩】 じい散歩
藤野 千夜／著 【木挽町のあだ討ち】 木挽町のあだ討ち
永井 紗耶子／著 【お探し物は図書室まで】 お探し物は図書室まで
青山 美智子／[… 【古本食堂】 古本食堂
原田 ひ香／著 【青瓜不動　：　三島屋変調百物語九之…】 青瓜不動　：　三島屋変調百物語九之…
宮部 みゆき／著 【魔女と過ごした七日間】 魔女と過ごした七日間
東野 圭吾／著 【図書館のお夜食】 図書館のお夜食
原田 ひ香／著 【世界でいちばん透きとおった物…[1]】 世界でいちばん透きとおった物…[1]
杉井 光／著 【猪牙の娘】 猪牙の娘
佐伯 泰英／著 【あだ討ち】 あだ討ち
佐伯 泰英／著 【数学の女王】 数学の女王
伏尾 美紀／著 【夢よ、夢】 夢よ、夢
佐伯 泰英／著 【二枚の絵】 二枚の絵
佐伯 泰英／著 【黄色い家　：　SISTERS IN…】 黄色い家　：　SISTERS IN…
川上 未映子／著 【まずはこれ食べて】 まずはこれ食べて
原田 ひ香／著 【リカバリー・カバヒコ】 リカバリー・カバヒコ
青山 美智子／著 【レモンと殺人鬼】 レモンと殺人鬼
くわがき あゆ／… 【北のおくりもの　：　北海道アンソロ…】 北のおくりもの　：　北海道アンソロ…
集英社文庫編集部… 【家族じまい】 家族じまい
桜木 紫乃／著 【月曜日の抹茶カフェ】 月曜日の抹茶カフェ
青山 美智子／著 【懲役病棟】 懲役病棟
垣谷 美雨／著 【今度生まれたら】 今度生まれたら
内館 牧子／[著… 【おひとりさま日和　：　書き下ろし短…】 おひとりさま日和　：　書き下ろし短…
大崎 梢／著,岸… 【乱鴉の空　：　長編時代小説】 乱鴉の空　：　長編時代小説
あさの あつこ／… 【大ピンチずかん2】 大ピンチずかん2
鈴木 のりたけ／… 【窓ぎわのトットちゃん続】 窓ぎわのトットちゃん続
黒柳 徹子／著 【竈稲荷の猫　：　文庫書下ろし/長編…】 竈稲荷の猫　：　文庫書下ろし/長編…
佐伯 泰英／著 【可燃物】 可燃物
米澤 穂信／著 【喫茶おじさん】 喫茶おじさん
原田 ひ香／著 【とりどりみどり】 とりどりみどり
西條 奈加／著 【署長シンドローム】 署長シンドローム
今野 敏／著 【街とその不確かな壁】 街とその不確かな壁
村上 春樹／著 【とわの庭】 とわの庭
小川 糸／著 【ヒロイン】 ヒロイン
桜木 紫乃／著 【コンビニ兄弟　：　テンダネス門司…3】 コンビニ兄弟　：　テンダネス門司…3
町田 そのこ／著 【スピノザの診察室】 スピノザの診察室
夏川 草介／著 【わかれ縁　：　狸穴屋お始末日記】 わかれ縁　：　狸穴屋お始末日記
西條 奈加／著 【少年と犬】 少年と犬
馳 星周／著
318.6　318.6
【地…2026年 8月号 通巻446号】 地…2026年 8月号 通巻446号
 【地…2026年 7月号 通巻445号】 地…2026年 7月号 通巻445号
 【地…2026年 6月号 通巻444号】 地…2026年 6月号 通巻444号
 【地…2026年 5月号 通巻443号】 地…2026年 5月号 通巻443号
 【地方が溶ける　：　ふるさと再生の光…】 地方が溶ける　：　ふるさと再生の光…
神山 典士／著 【地…2026年 4月号 通巻442号】 地…2026年 4月号 通巻442号
 【地域プロモーションの思考　：　行政…】 地域プロモーションの思考　：　行政…
河井 孝仁／編著 【地…2026年 3月号 通巻441号】 地…2026年 3月号 通巻441号
 【間のまちづくり学　：　ゆるやかに結…】 間のまちづくり学　：　ゆるやかに結…
田中 尚人／著 【地…2026年 2月号 通巻440号】 地…2026年 2月号 通巻440号
 【地方消滅×まちの再生×公益信託　：…】 地方消滅×まちの再生×公益信託　：…
赤川 彰彦／著 【地…2026年 1月号 通巻439号】 地…2026年 1月号 通巻439号
 【データで読む地域再生3.0　：　あ…】 データで読む地域再生3.0　：　あ…
日本経済新聞社地… 【地域づ…2025年 別冊 12月号 】 地域づ…2025年 別冊 12月号
【地…2025年12月号 通巻438号】 地…2025年12月号 通巻438号
 【DePOLA…2025年 NO.59】 DePOLA…2025年 NO.59
 【地…2025年11月号 通巻437号】 地…2025年11月号 通巻437号
 【地…2025年10月号 通巻436号】 地…2025年10月号 通巻436号
 【地…2025年 9月号 通巻435号】 地…2025年 9月号 通巻435号
 【地…2025年 8月号 通巻434号】 地…2025年 8月号 通巻434号
 【田舎の思考を知らずして、地方を語る…】 田舎の思考を知らずして、地方を語る…
花房 尚作／著 【アニメ聖地移住】 アニメ聖地移住
千葉 郁太郎／著 【地…2025年 7月号 通巻433号】 地…2025年 7月号 通巻433号
 【過疎ビジネス】 過疎ビジネス
横山 勲／著 【地…2025年 6月号 通巻432号】 地…2025年 6月号 通巻432号
 【まちは暮らしでつくられる　：　神山…】 まちは暮らしでつくられる　：　神山…
杉本 恭子／著 【地…2025年 5月号 通巻431号】 地…2025年 5月号 通巻431号
 【地…2025年 4月号 通巻430号】 地…2025年 4月号 通巻430号
 【コンヴィヴィアル・シティ　：　生き…】 コンヴィヴィアル・シティ　：　生き…
井上 岳一／編著… 【地…2025年 3月号 通巻429号】 地…2025年 3月号 通巻429号
 【地…2025年 2月号 通巻428号】 地…2025年 2月号 通巻428号
 【地…2025年 1月号 通巻427号】 地…2025年 1月号 通巻427号
 【地域づく…2025年 別冊 1月号 】 地域づく…2025年 別冊 1月号
【地…2024年12月号 通巻426号】 地…2024年12月号 通巻426号
 【地域づ…2024年 別冊 12月号 】 地域づ…2024年 別冊 12月号
【数字とファクトから読み解く地方移住…】 数字とファクトから読み解く地方移住…
伊藤 将人／著 【DePOLA…2024年 NO.58】 DePOLA…2024年 NO.58
 【地…2024年11月号 通巻425号】 地…2024年11月号 通巻425号
 【「地域の価値」とは何か　：　理論・…】 「地域の価値」とは何か　：　理論・…
除本 理史／編著… 【「ウェルビーイングなまち」を育てる…】 「ウェルビーイングなまち」を育てる…
河井 孝仁／編著 【地…2024年10月号 通巻424号】 地…2024年10月号 通巻424号
 【まちのえき　：　歩いて行ける拠点づ…】 まちのえき　：　歩いて行ける拠点づ…
小紫 雅史／著 【地方創生の政策効果とデータ分析　：…】 地方創生の政策効果とデータ分析　：…
土居 英二／編著… 【地…2024年 9月号 通巻423号】 地…2024年 9月号 通巻423号
 【地…2024年 8月号 通巻422号】 地…2024年 8月号 通巻422号
 【地…2024年 7月号 通巻421号】 地…2024年 7月号 通巻421号
 【さっぽろ結婚支援センター [リー…】 さっぽろ結婚支援センター [リー…
 【地…2024年 6月号 通巻420号】 地…2024年 6月号 通巻420号
 【「地域おこし協力隊」は何をおこして…】 「地域おこし協力隊」は何をおこして…
田口 太郎／著 【地…2024年 5月号 通巻419号】 地…2024年 5月号 通巻419号
地域開発
【札幌新百年の大計　：　都市は意思で…】 札幌新百年の大計　：　都市は意思で…
三上 洋右／著 【地方が溶ける　：　ふるさと再生の光…】 地方が溶ける　：　ふるさと再生の光…
神山 典士／著 【地域と人口減少の経済学　：　スマー…】 地域と人口減少の経済学　：　スマー…
小峰 隆夫／著 【北海道未来学　：　国立大学法人北…3】 北海道未来学　：　国立大学法人北…3
北海道国立大学機… 【あなたの町のモンスター　：　人口減…】 あなたの町のモンスター　：　人口減…
寺本 英仁／著 【準公共をデザインする　：　<公>と…】 準公共をデザインする　：　<公>と…
矢島 進二／編著… 【地域プロモーションの思考　：　行政…】 地域プロモーションの思考　：　行政…
河井 孝仁／編著 【まちづくりライフのすすめ　：　地域…】 まちづくりライフのすすめ　：　地域…
金子 洋二／著,… 【観光まちづくりの新・教科書　：　人…】 観光まちづくりの新・教科書　：　人…
岡 祐輔／著 【間のまちづくり学　：　ゆるやかに結…】 間のまちづくり学　：　ゆるやかに結…
田中 尚人／著 【まちをつなぐABCD　：　隠れたア…】 まちをつなぐABCD　：　隠れたア…
コーマック・ラッ… 【まちづくりのための人流ビッグデータ…】 まちづくりのための人流ビッグデータ…
陣内 寛大／著,… 【地方消滅×まちの再生×公益信託　：…】 地方消滅×まちの再生×公益信託　：…
赤川 彰彦／著 【筑紫哲也と自由の森大学　：　「文化…】 筑紫哲也と自由の森大学　：　「文化…
藤原 賢吾／著 【データで読む地域再生3.0　：　あ…】 データで読む地域再生3.0　：　あ…
日本経済新聞社地… 【稼ぐ地方　：　日本のさまざまな地域…】 稼ぐ地方　：　日本のさまざまな地域…
近藤 繁／著 【伝統の食文化と地域創生　：　菓子を…】 伝統の食文化と地域創生　：　菓子を…
太田 達／編著 【人を呼ぶ北海道の食　：　魅力・可能…】 人を呼ぶ北海道の食　：　魅力・可能…
北海道開発協会 … 【公共デザイン学入門講義　：　コミュ…】 公共デザイン学入門講義　：　コミュ…
権 安理／著 【まちは言葉でできている】 まちは言葉でできている
西本 千尋／著 【地図でみる世界の地域格…2024年版】 地図でみる世界の地域格…2024年版
経済協力開発機構… 【まちづくりを仕事にする　：　事業と…】 まちづくりを仕事にする　：　事業と…
全国タウンマネー… 【地方創生の「現場力」　：　地域と金…】 地方創生の「現場力」　：　地域と金…
小宮 啓二朗／著 【関係人口の時代　：　「観光以上、定…】 関係人口の時代　：　「観光以上、定…
田中 輝美／著 【アニメ聖地移住】 アニメ聖地移住
千葉 郁太郎／著 【過疎ビジネス】 過疎ビジネス
横山 勲／著 【「風の谷」という希望　：　残すに値…】 「風の谷」という希望　：　残すに値…
安宅 和人／著 【エネルギーで地域を元気にする仕事】 エネルギーで地域を元気にする仕事
ローカルグッド創… 【経済と建築からみたまちづくりと価値…】 経済と建築からみたまちづくりと価値…
根本 忠宣／著,… 【まちは暮らしでつくられる　：　神山…】 まちは暮らしでつくられる　：　神山…
杉本 恭子／著 【地域創生の新しいデザイン　：　地域…】 地域創生の新しいデザイン　：　地域…
山崎 朗／編著 【北海道未来学　：　国立大学法人北…2】 北海道未来学　：　国立大学法人北…2
北海道国立大学機… 【コンヴィヴィアル・シティ　：　生き…】 コンヴィヴィアル・シティ　：　生き…
井上 岳一／編著… 【関係人口　：　都市と地方を同時並行…】 関係人口　：　都市と地方を同時並行…
高橋 博之／著 【人口減少と地域の課題　：　総合調査…】 人口減少と地域の課題　：　総合調査…
国立国会図書館調… 【文化×地域×デザインが社会を元気に…】 文化×地域×デザインが社会を元気に…
新川 達郎／編著… 【歴史的建造物の再生とツーリズムジェ…】 歴史的建造物の再生とツーリズムジェ…
池田 千恵子／著 【ふるさと未来デザイン　：　地域の魅…】 ふるさと未来デザイン　：　地域の魅…
ふるさと未来デザ… 【数字とファクトから読み解く地方移住…】 数字とファクトから読み解く地方移住…
伊藤 将人／著 【ウィキペディアタウン・ハンドブック…】 ウィキペディアタウン・ハンドブック…
青木 和人／[著… 【ウィキペディアタウン・ハンドブック…】 ウィキペディアタウン・ハンドブック…
青木 和人／[著… 【建築・まちづくりのための空き家大全】 建築・まちづくりのための空き家大全
田村 誠邦／編著… 【北海道をマーケティングする　：　輸…】 北海道をマーケティングする　：　輸…
黒田 重雄／著 【プロジェクトデザインブッ…Vol.1】 プロジェクトデザインブッ…Vol.1
山本 想太郎／編… 【「地域の価値」とは何か　：　理論・…】 「地域の価値」とは何か　：　理論・…
除本 理史／編著… 【「ウェルビーイングなまち」を育てる…】 「ウェルビーイングなまち」を育てる…
河井 孝仁／編著 【まちのえき　：　歩いて行ける拠点づ…】 まちのえき　：　歩いて行ける拠点づ…
小紫 雅史／著 【地方創生の政策効果とデータ分析　：…】 地方創生の政策効果とデータ分析　：…
土居 英二／編著… 【ゆるい場をつくる人々　：　サードプ…】 ゆるい場をつくる人々　：　サードプ…
石山 恒貴／編著… 【<迂回する経済>の都市論　：　都市…】 <迂回する経済>の都市論　：　都市…
吉江 俊／著

書誌詳細

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

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

(他の紹介)内容紹介 コロナ禍以降、東京二三区（特別区）で転出超過となるなど、地方分散への兆しが見えてきた日本社会。東京一極集中から地方分散型社会へと向かう中、「自分たちがつくる未来」への流れを止めないために、今はまだ点でしかない地方のプレイヤーの活躍を通して、地方創生の本質・真髄とは何かを改めて問う。全国各地の「希望の点」を「線」や「面」へと広げるために、初代地方創生大臣・石破茂が語る！
(他の紹介)目次 プロローグ―アフターコロナで見えてきたもの
第１章　「Ｗｉｌｌ」と「Ｃａｎ」を持つシニア世代の活躍
第２章　地方のシンボルを守れ
第３章　地方の「懐かしい未来」を探せ
第４章　女性プレイヤーの活躍
第５章　異色のプレイヤーたち
第６章　多彩・異能なプレイヤーの登場
エピローグ―アフターコロナの地方創生
(他の紹介)著者紹介 石破 茂
　１９５７年鳥取県生まれ。慶應義塾大学法学部卒。８６年衆議院議員に全国最年少で初当選。防衛大臣、農林水産大臣、地方創生担当大臣、国家戦略特別区域担当大臣などを歴任(本データはこの書籍が刊行された当時に掲載されていたものです)
神山 典士
　ノンフィクション作家。１９６０年埼玉県生まれ。信州大学人文学部卒。９６年『ライオンの夢』（小学館）で第３回小学館ノンフィクション大賞優秀賞、２０１４年「佐村河内事件報道」で第４５回大宅壮一ノンフィクション大賞（雑誌部門）受賞(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

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

本文はここまでです。

ページの終わりです。