検索結果書誌詳細

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

蔵書情報

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

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

書誌情報

書名

コンピュータは数学者になれるのか?　数学基礎論から証明とプログラムの理論へ　　　　

著者名 照井 一成／著
出版者 青土社
出版年月 2015.3

この資料に対する操作

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

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

  

この資料に対する操作

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

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

資料情報

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

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

関連資料

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

2022
【みかんきょうだいのたんけん】 みかんきょうだいのたんけん
ホソカワ レイコ… 【あきない世傳金と銀12】 あきない世傳金と銀12
高田 郁／著 【清明】 清明
今野 敏／著 【リバー】 リバー
奥田 英朗／著 【成熟スイッチ】 成熟スイッチ
林 真理子／著 【母の待つ里】 母の待つ里
浅田 次郎／著 【そのマンション、終の住処でいいです…】 そのマンション、終の住処でいいです…
原田 ひ香／著 【食糧危機のサバイバル　：　生き残り…】 食糧危機のサバイバル　：　生き残り…
ゴムドリco.／… 【夜に星を放つ】 夜に星を放つ
窪 美澄／著 【ランディーとおおゆきのひ】 ランディーとおおゆきのひ
そら／さく・え 【任俠楽団】 任俠楽団
今野 敏／著 【地下鉄のサバイバル　：　生き残り…2】 地下鉄のサバイバル　：　生き残り…2
ゴムドリco.／… 【秋麗】 秋麗
今野 敏／[著] 【背中の蜘蛛】 背中の蜘蛛
誉田 哲也／著 【かいけつゾロリにんじゃおばけあらわ…】 かいけつゾロリにんじゃおばけあらわ…
原 ゆたか／さく… 【毒島刑事最後の事件】 毒島刑事最後の事件
中山 七里／[著… 【大人の流儀11】 大人の流儀11
伊集院 静／著 【御留山】 御留山
佐伯 泰英／著 【悪の包囲】 悪の包囲
堂場 瞬一／著 【お墓、どうしてます?　：　キミコの…】 お墓、どうしてます?　：　キミコの…
北大路 公子／文… 【香君上】 香君上
上橋 菜穂子／著 【八丁越】 八丁越
佐伯 泰英／著 【地図と拳】 地図と拳
小川 哲／著 【動乱の刑事】 動乱の刑事
堂場 瞬一／[著… 【退き口】 退き口
上田 秀人／著 【風を結う】 風を結う
あさの あつこ／… 【テーマパークのサバイバル　：　生き…】 テーマパークのサバイバル　：　生き…
ポドアルチング／… 【仕立屋お竜】 仕立屋お竜
岡本 さとる／著 【香君下】 香君下
上橋 菜穂子／著 【ざんねんないきもの事典　：…やっぱり】 ざんねんないきもの事典　：…やっぱり
今泉 忠明／監修… 【孤蝶の城】 孤蝶の城
桜木 紫乃／著 【決断の刻】 決断の刻
堂場 瞬一／著 【殺人者】 殺人者
望月 諒子／著 【シーソーモンスター】 シーソーモンスター
伊坂 幸太郎／著 【逆転美人】 逆転美人
藤崎 翔／著 【呪護】 呪護
今野 敏／[著] 【マル暴ディーヴァ】 マル暴ディーヴァ
今野 敏／著 【八丁堀強妻物語　：　長編時代小説】 八丁堀強妻物語　：　長編時代小説
岡本 さとる／著 【栞と噓の季節】 栞と噓の季節
米澤 穂信／著 【石礫】 石礫
今野 敏／著 【勘定侍柳生真剣勝負　：　書き下ろ…6】 勘定侍柳生真剣勝負　：　書き下ろ…6
上田 秀人／著 【狂う潮】 狂う潮
佐伯 泰英／著 【春風譜　：　長編時代小説書下ろし】 春風譜　：　長編時代小説書下ろし
辻堂 魁／著 【89歳、ひとり暮らし。　：　お金が…】 89歳、ひとり暮らし。　：　お金が…
大崎 博子／著 【鑑定人 氏家京太郎】 鑑定人 氏家京太郎
中山 七里／著 【光る海】 光る海
佐伯 泰英／著 【沃野の刑事】 沃野の刑事
堂場 瞬一／[著… 【かみはこんなにくちゃくちゃだけど】 かみはこんなにくちゃくちゃだけど
ヨシタケ シンス… 【犬の報酬】 犬の報酬
堂場 瞬一／著 【天路の旅人】 天路の旅人
沢木 耕太郎／著
786.3　786.3
【新しい自分を探して車と過ごす小さな…】 新しい自分を探して車と過ごす小さな…
旅する家の物語／… 【2000坪の荒れ地をひとりで開拓し…】 2000坪の荒れ地をひとりで開拓し…
中山 茂大／著 【車中泊STYLE70　：　夏、クル…】 車中泊STYLE70　：　夏、クル…
 【オートキャンプ白書2025】 オートキャンプ白書2025
 【キャンプ大全　：　決定版】 キャンプ大全　：　決定版
ソトレシピ／編 【北海道キャンピングガイド2025】 北海道キャンピングガイド2025
中西印刷／編集 【軽バン生活　：　自作DIYで120…】 軽バン生活　：　自作DIYで120…
軽バン生活／著 【Small base campの至…】 Small base campの至…
Small ba… 【ハンモックキャンプの本　：　日本で…】 ハンモックキャンプの本　：　日本で…
野沢 ともみ／著 【オートキャンプ白書2024】 オートキャンプ白書2024
 【ドラえもん学びワールドキャンプと自…】 ドラえもん学びワールドキャンプと自…
藤子・F・不二雄… 【北海道の大自然が教えてくれたふたり…】 北海道の大自然が教えてくれたふたり…
ヒヌマフウフ／著 【キャンプへいこう】 キャンプへいこう
ごとう ひでゆき… 【キャンプの教科書　：　ゼロから楽し…】 キャンプの教科書　：　ゼロから楽し…
長谷部 雅一／監… 【これからのキャンプの教科書】 これからのキャンプの教科書
寒川 一／監修 【キャンプの名品哲学　：　キャンパー…】 キャンプの名品哲学　：　キャンパー…
CAMP LIF… 【ミニマライズキャンプ入門　：　キャ…】 ミニマライズキャンプ入門　：　キャ…
CAMPたかにぃ… 【北海道キャンピングガイド2023】 北海道キャンピングガイド2023
 【北海道キャンプ場MAP】 北海道キャンプ場MAP
 【はじめての車中泊グッズ&ノウハウ　…】 はじめての車中泊グッズ&ノウハウ　…
 【はじめてのキャンプ　：　道具選びか…】 はじめてのキャンプ　：　道具選びか…
 【はじめての“ぷち”キャンプ　：　車…】 はじめての“ぷち”キャンプ　：　車…
森 風美／著,い… 【「サボる」防災で、生きる　：　キャ…】 「サボる」防災で、生きる　：　キャ…
寒川 一／著,寒… 【キャンプ】 キャンプ
落合美波,岡本 … 【はじめてでもよくわかるソロキャンプ…】 はじめてでもよくわかるソロキャンプ…
渡辺 有祐／著 【オートキャンプ白書2022】 オートキャンプ白書2022
 【ソロキャンプ大事典　：　ソロキャン…】 ソロキャンプ大事典　：　ソロキャン…
青木 達也／監修… 【はじめての車内泊　：　安全・安心に…】 はじめての車内泊　：　安全・安心に…
 【100万円からできるキャンプ場投資】 100万円からできるキャンプ場投資
志村 尚太／著 【プロが教える親子キャンプ読本　：　…】 プロが教える親子キャンプ読本　：　…
長谷部 雅一／著 【北海道キャンピングガイド2022】 北海道キャンピングガイド2022
 【VAN×LIFE　：　車でおでかけ…】 VAN×LIFE　：　車でおでかけ…
 【キャンプのあやしいルール真相解明　…】 キャンプのあやしいルール真相解明　…
山口 健壱／著 【ブッ飛びキャンプ雑学　：　「あ、や…】 ブッ飛びキャンプ雑学　：　「あ、や…
キャンプのピンチ… 【快適キャンプマニュアル　：　知って…】 快適キャンプマニュアル　：　知って…
ガルヴィ編集部／… 【キャンプでしたい100のこと】 キャンプでしたい100のこと
フィグインク／編 【100万円分使ってわかったほんとう…】 100万円分使ってわかったほんとう…
タナ／著 【CAMP　：　ファミリーキャンプで…】 CAMP　：　ファミリーキャンプで…
ソトレシピ／監修 【キャンプでしたい100のこと】 キャンプでしたい100のこと
フィグインク／編 【やってみよう!車中泊　：　カラー版】 やってみよう!車中泊　：　カラー版
大橋 保之／著 【ソロキャンプ入門　　：　キャ…第１巻】 ソロキャンプ入門　　：　キャ…第１巻
山口 健壱／監修 【ソロキャンプ入門　　：　ソロ…第２巻】 ソロキャンプ入門　　：　ソロ…第２巻
山口 健壱／監修 【大人のソロキャンプスタイル。　：　…】 大人のソロキャンプスタイル。　：　…
 【日本一身軽なキャブヘイのソロキャン…】 日本一身軽なキャブヘイのソロキャン…
キャブヘイ／著 【CAMP&OUTDOO…Vol.05】 CAMP&OUTDOO…Vol.05
 【北海道親子で行きたい!ファミリーキ…】 北海道親子で行きたい!ファミリーキ…
「北海道ファミリ… 【北海道キャンプ場&コ…2021-22】 北海道キャンプ場&コ…2021-22
花岡 俊吾／著 【北海道キャンピングガイド2021】 北海道キャンピングガイド2021
 【気になる隣のソロキャンプ】 気になる隣のソロキャンプ
 【キャンプ職業案内　：　遊びが仕事で…】 キャンプ職業案内　：　遊びが仕事で…
佐久間 亮介／著
キャンピング
【DIYでキャンピングカーを作る　：…】 DIYでキャンピングカーを作る　：…
 【新しい自分を探して車と過ごす小さな…】 新しい自分を探して車と過ごす小さな…
旅する家の物語／… 【2000坪の荒れ地をひとりで開拓し…】 2000坪の荒れ地をひとりで開拓し…
中山 茂大／著 【北海道フライフィッシング・キャンプ】 北海道フライフィッシング・キャンプ
阪東 幸成／著,… 【車中泊STYLE70　：　夏、クル…】 車中泊STYLE70　：　夏、クル…
 【オートキャンプ白書2025】 オートキャンプ白書2025
 【キャンプ大全　：　決定版】 キャンプ大全　：　決定版
ソトレシピ／編 【北海道キャンプ場ガイド25-26】 北海道キャンプ場ガイド25-26
亜璃西社／編 【北海道キャンプ場&コ…2025-26】 北海道キャンプ場&コ…2025-26
花岡 俊吾／著 【車中泊研究家が教える車中泊…2025】 車中泊研究家が教える車中泊…2025
 【北海道キャンピングガイド2025】 北海道キャンピングガイド2025
中西印刷／編集 【Mobile Homes　：　愉快…】 Mobile Homes　：　愉快…
 【軽バン生活　：　自作DIYで120…】 軽バン生活　：　自作DIYで120…
軽バン生活／著 【道の駅泊まり旅　：　車中泊研究家が…】 道の駅泊まり旅　：　車中泊研究家が…
浅井 佑一／[著… 【Small base campの至…】 Small base campの至…
Small ba… 【ハンモックキャンプの本　：　日本で…】 ハンモックキャンプの本　：　日本で…
野沢 ともみ／著 【ふたりソロキャンプのレシピブック】 ふたりソロキャンプのレシピブック
講談社／編,出端… 【オートキャンプ白書2024】 オートキャンプ白書2024
 【ドラえもん学びワールドキャンプと自…】 ドラえもん学びワールドキャンプと自…
藤子・F・不二雄… 【わたし、また、旅に出た。】 わたし、また、旅に出た。
いとう みゆき／… 【テントーむし】 テントーむし
鈴木 のりたけ／… 【北海道の大自然が教えてくれたふたり…】 北海道の大自然が教えてくれたふたり…
ヒヌマフウフ／著 【キャンプへいこう】 キャンプへいこう
ごとう ひでゆき… 【全国キャンプ場…[2024]東日本編】 全国キャンプ場…[2024]東日本編
 【北海道キャンプ場ガイド24-25】 北海道キャンプ場ガイド24-25
亜璃西社／編 【北海道キャンプ場&コ…2024-25】 北海道キャンプ場&コ…2024-25
花岡 俊吾／著 【北海道キャンプ場ガイド24-25】 北海道キャンプ場ガイド24-25
亜璃西社／編 【キャンプのずかん】 キャンプのずかん
スズキ サトル／… 【キャンプの教科書　：　ゼロから楽し…】 キャンプの教科書　：　ゼロから楽し…
長谷部 雅一／監… 【これからのキャンプの教科書】 これからのキャンプの教科書
寒川 一／監修 【キャンピングカーのたび】 キャンピングカーのたび
みねお みつ／[… 【車中泊研究家が教える車中泊…2024】 車中泊研究家が教える車中泊…2024
 【キャンプの名品哲学　：　キャンパー…】 キャンプの名品哲学　：　キャンパー…
CAMP LIF… 【車中泊スポットガイド1000】 車中泊スポットガイド1000
 【Fish Camp Life北海道…】 Fish Camp Life北海道…
奥本 昌夫／著 【釣り+キャンプガイド　：　北海道を…】 釣り+キャンプガイド　：　北海道を…
 【カナダでがちキャン　：　まんがでわ…】 カナダでがちキャン　：　まんがでわ…
小倉 マコ／原作… 【ミニマライズキャンプ入門　：　キャ…】 ミニマライズキャンプ入門　：　キャ…
CAMPたかにぃ… 【バンライフ　：　キャンパーで行く世…】 バンライフ　：　キャンパーで行く世…
ゲシュタルテン／… 【キャンピングカーのたび】 キャンピングカーのたび
みねお みつ／[… 【北海道キャンプ場ガイド23-24】 北海道キャンプ場ガイド23-24
亜璃西社／編 【北海道極上キャンプ】 北海道極上キャンプ
 【北海道キャンプ場&コ…2023-24】 北海道キャンプ場&コ…2023-24
花岡 俊吾／著 【北海道キャンプ場ガイド23-24】 北海道キャンプ場ガイド23-24
亜璃西社／編 【北海道キャンピングガイド2023】 北海道キャンピングガイド2023
 【遊び心に投資するグランピングオーナ…】 遊び心に投資するグランピングオーナ…
前田 雄一／著 【北海道キャンプ場MAP】 北海道キャンプ場MAP
 【はじめての車中泊グッズ&ノウハウ　…】 はじめての車中泊グッズ&ノウハウ　…
 【はじめてのキャンプ　：　道具選びか…】 はじめてのキャンプ　：　道具選びか…
 【はじめての“ぷち”キャンプ　：　車…】 はじめての“ぷち”キャンプ　：　車…
森 風美／著,い…

書誌詳細

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

タイトルコード 1008000910659
書誌種別 図書
書名 コンピュータは数学者になれるのか?　数学基礎論から証明とプログラムの理論へ　　　　
書名ヨミ コンピュータ ワ スウガクシャ ニ ナレル ノカ　
著者名 照井 一成／著
著者名ヨミ テルイ カズシゲ
出版者 青土社
出版年月 2015.3
ページ数 357p
大きさ 20cm
分類記号 410.96
分類記号 410.96
ISBN 4-7917-6851-6
内容紹介 19世紀末に興った数学基礎論と、20世紀中盤にそこから分岐したコンピュータ科学とを貫く物語。不完全性定理、無矛盾性証明、P対NP問題、カリー・ハワード対応といった多様な話題を取り上げる。
著者紹介 1971年生まれ。慶應義塾大学大学院文学研究科修了。国立情報学研究所助手・助教授などを経て、京都大学数理解析研究所准教授。専門は数理論理学。
件名 記号論理学
言語区分 日本語

(他の紹介)内容紹介 この「たった１つのこと」に気がつけば、目の前に、どれほど数えても数え切れないほどの幸せが転がっています―４０年の研究で正観さんが辿り着いた「幸せの本質」！
(他の紹介)目次 第１章　肝心な「お金の宇宙法則」
第２章　幸せな「人間関係」の話
第３章　ラクは楽しい「仕事」の話
第４章　穏和な「家庭と夫婦」の話
第５章　大事な「心と体の健康」の話
第６章　必要なのは「努力より運やツキ」
第７章　神仏も喜ぶ「不思議現象」の話
おわりに―二つの幸せ論
(他の紹介)著者紹介 小林 正観
　１９４８年東京生まれ。作家。学生時代から人間の潜在能力やＥＳＰ現象、超常現象などに興味を抱き、独自の研究を続ける。講演は年に約３００回の依頼があり、全国をまわる生活を続けていた。２０１１年１０月逝去(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

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

本文はここまでです。

ページの終わりです。