検索結果書誌詳細

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

蔵書情報

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

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

書誌情報

書名

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

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

この資料に対する操作

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

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

  

この資料に対する操作

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

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

資料情報

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

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

関連資料

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

林 真理子
【わかりますぅ?】 わかりますぅ?
林 真理子／著 【あした何着よう】 あした何着よう
林 真理子／著 【ロストワールド】 ロストワールド
林 真理子／[著… 【マリコ、東奔西走】 マリコ、東奔西走
林 真理子／著 【マリコにもほどがある!】 マリコにもほどがある!
林 真理子／著 【奇跡】 奇跡
林 真理子／[著… 【皇后は闘うことにした】 皇后は闘うことにした
林 真理子／著 【李王家の縁談】 李王家の縁談
林 真理子／著 【たまには冒険】 たまには冒険
林 真理子／著 【人生は苺ショート】 人生は苺ショート
林 真理子／著 【新しい時代を拓く損害保険】 新しい時代を拓く損害保険
中出 哲／監修,… 【小説8050】 小説8050
林 真理子／著 【マリコ、アニバーサリー】 マリコ、アニバーサリー
林 真理子／著 【カムカムマリコ】 カムカムマリコ
林 真理子／著 【平家物語】 平家物語
林 真理子／著 【幸福御礼】 幸福御礼
林 真理子／[著… 【美女ステイホーム】 美女ステイホーム
林 真理子／著 【いいこと考えた!】 いいこと考えた!
林 真理子／著 【私はスカーレット　：　A Sto…上】 私はスカーレット　：　A Sto…上
林 真理子／著 【私はスカーレット　：　A Sto…下】 私はスカーレット　：　A Sto…下
林 真理子／著 【四十雀、跳べ!】 四十雀、跳べ!
林 真理子／著 【私のスポットライト】 私のスポットライト
林 真理子／[著… 【マリコ、東奔西走】 マリコ、東奔西走
林 真理子／著 【Go Toマリコ】 Go Toマリコ
林 真理子／著 【綴る女　：　評伝・宮尾登美子】 綴る女　：　評伝・宮尾登美子
林 真理子／著 【成熟スイッチ】 成熟スイッチ
林 真理子／著 【成熟スイッチ】 成熟スイッチ
林 真理子／著 【女の偏差値】 女の偏差値
林 真理子／著 【女はいつも四十雀】 女はいつも四十雀
林 真理子／著 【あした何着よう】 あした何着よう
林 真理子／著 【ミカドの淑女】 ミカドの淑女
林 真理子／[著… 【夜明けのM】 夜明けのM
林 真理子／著 【カムカムマリコ】 カムカムマリコ
林 真理子／著 【奇跡】 奇跡
林 真理子／著 【李王家の縁談】 李王家の縁談
林 真理子／著 【トライアングル・ビーチ】 トライアングル・ビーチ
林 真理子／著 【美女の魔界退治】 美女の魔界退治
林 真理子／著 【美女は天下の回りもの】 美女は天下の回りもの
林 真理子／著 【さくら、さくら　：　おとなが恋して】 さくら、さくら　：　おとなが恋して
林 真理子／[著… 【私はスカーレット4】 私はスカーレット4
林 真理子／著 【小説8050】 小説8050
林 真理子／著 【Go Toマリコ】 Go Toマリコ
林 真理子／著 【マリコを止めるな!】 マリコを止めるな!
林 真理子／著 【愉楽にて】 愉楽にて
林 真理子／著 【西郷どん!前編】 西郷どん!前編
林 真理子／[著… 【西郷どん!後編】 西郷どん!後編
林 真理子／[著… 【野ばら】 野ばら
林 真理子／著 【私はスカーレット3】 私はスカーレット3
林 真理子／著 【素晴らしき家族旅行上】 素晴らしき家族旅行上
林 真理子／著 【素晴らしき家族旅行下】 素晴らしき家族旅行下
林 真理子／著
2019
【夫の墓には入りません】 夫の墓には入りません
垣谷 美雨／著 【秋山善吉工務店】 秋山善吉工務店
中山 七里／著 【ドクター・デスの遺産】 ドクター・デスの遺産
中山 七里／[著… 【動揺　：　文庫書下ろし/長編時代小…】 動揺　：　文庫書下ろし/長編時代小…
上田 秀人／著 【抗争　：　文庫書下ろし/長編時代小…】 抗争　：　文庫書下ろし/長編時代小…
上田 秀人／著 【寄生虫のサバイバル　：　生き残り…1】 寄生虫のサバイバル　：　生き残り…1
ゴムドリco.／… 【望み】 望み
雫井 脩介／[著… 【屍人荘の殺人】 屍人荘の殺人
今村 昌弘／著 【姑の遺品整理は、迷惑です】 姑の遺品整理は、迷惑です
垣谷 美雨／著 【お勝手のあん1】 お勝手のあん1
柴田 よしき／著 【58歳から日々を大切に小さく暮らす】 58歳から日々を大切に小さく暮らす
ショコラ／著 【旅仕舞】 旅仕舞
佐伯 泰英／著 【鑓騒ぎ】 鑓騒ぎ
佐伯 泰英／著 【わたしの幸せな結婚[1]】 わたしの幸せな結婚[1]
顎木 あくみ／[… 【鼠草紙】 鼠草紙
佐伯 泰英／著 【三鬼　：　三島屋変調百物語四之続】 三鬼　：　三島屋変調百物語四之続
宮部 みゆき／[… 【ノンタンたいそう1・2・3】 ノンタンたいそう1・2・3
キヨノ サチコ／… 【こども六法】 こども六法
山崎 聡一郎／著… 【まよい道　：　文庫書下ろし/長編時…】 まよい道　：　文庫書下ろし/長編時…
佐伯 泰英／著 【いい女、ふだんブッ散らかしており】 いい女、ふだんブッ散らかしており
阿川 佐和子／著 【背中の蜘蛛】 背中の蜘蛛
誉田 哲也／著 【NHK国際放送が選んだ日本の名作　…】 NHK国際放送が選んだ日本の名作　…
朝井 リョウ／著… 【i】 i
西 加奈子／[著… 【秋霜】 秋霜
葉室 麟／著 【星の子】 星の子
今村 夏子／著 【いけない[1]】 いけない[1]
道尾 秀介／著 【老人初心者の覚悟】 老人初心者の覚悟
阿川 佐和子／著 【室町無頼上】 室町無頼上
垣根 涼介／著 【カケ・マケちゃんとかたづけエルフ】 カケ・マケちゃんとかたづけエルフ
リナ・ジュタウテ… 【七人の刺客　：　文庫書下ろし/長編…】 七人の刺客　：　文庫書下ろし/長編…
稲葉 稔／著 【室町無頼下】 室町無頼下
垣根 涼介／著 【帰郷】 帰郷
浅田 次郎／著 【日雇い浪人生活録7】 日雇い浪人生活録7
上田 秀人／著 【冬晴れの花嫁】 冬晴れの花嫁
今村 翔吾／著 【社長室の冬】 社長室の冬
堂場 瞬一／著 【謹慎　：　文庫書下ろし/長編時代小…】 謹慎　：　文庫書下ろし/長編時代小…
稲葉 稔／著 【本所の女　：　文庫書下ろし/長編時…】 本所の女　：　文庫書下ろし/長編時…
辻堂 魁／著 【メガネと視力のひみつ】 メガネと視力のひみつ
ひろ ゆうこ／ま… 【日雇い浪人生活録8】 日雇い浪人生活録8
上田 秀人／著 【沈黙法廷】 沈黙法廷
佐々木 譲／著 【わるじい慈剣帖1】 わるじい慈剣帖1
風野 真知雄／著 【探偵は女手ひとつ】 探偵は女手ひとつ
深町 秋生／著 【うつくしが丘の不幸の家】 うつくしが丘の不幸の家
町田 そのこ／著 【夫のトリセツ】 夫のトリセツ
黒川 伊保子／[… 【夢を釣る　：　文庫書下ろし/長編時…】 夢を釣る　：　文庫書下ろし/長編時…
佐伯 泰英／著 【武士の流儀2】 武士の流儀2
稲葉 稔／著 【牛乳のひみつ】 牛乳のひみつ
深草 あざみ／ま… 【十手長屋物語1】 十手長屋物語1
坂岡 真／著 【ムゲンのi上】 ムゲンのi上
知念 実希人／著 【言葉の力　：　語彙で広がる世界】 言葉の力　：　語彙で広がる世界
オゼキ イサム／…
913.6　913.6
【ミ…2026年 4月号 通巻773号】 ミ…2026年 4月号 通巻773号
 【S…2026年 4月号 No.774】 S…2026年 4月号 No.774
 【オール讀物　2026年 3・4月号…】 オール讀物　2026年 3・4月号…
 【小…2026年 3月号 通巻113号】 小…2026年 3月号 通巻113号
 【小…2026年 3月号 通巻982号】 小…2026年 3月号 通巻982号
 【小説…2026年 3月号 63巻2号】 小説…2026年 3月号 63巻2号
 【小説…2026年 3月号 40巻3号】 小説…2026年 3月号 40巻3号
 【小…2026年 2月号 通巻112号】 小…2026年 2月号 通巻112号
 【小…2026年 2月号 通巻981号】 小…2026年 2月号 通巻981号
 【オール讀物　2026年 1・2月号…】 オール讀物　2026年 1・2月号…
 【小説…2026年 2月号 40巻2号】 小説…2026年 2月号 40巻2号
 【…2026年 1&2月号 63巻1号】 …2026年 1&2月号 63巻1号
 【S…2026年 2月号 No.773】 S…2026年 2月号 No.773
 【赤縄】 赤縄
知野 みさき／著 【恋した人は、妹の代わりに死んでく…8】 恋した人は、妹の代わりに死んでく…8
永野 水貴／著,… 【夜明けのハントレス】 夜明けのハントレス
河崎 秋子／著 【声が出せないので無詠唱魔法でもい…2】 声が出せないので無詠唱魔法でもい…2
葉月 秋水／著,… 【南町奉行と消えゆく町】 南町奉行と消えゆく町
風野 真知雄／著 【おでかけ料理人[5]】 おでかけ料理人[5]
中島 久枝／著 【わかったさんのマシュマロ】 わかったさんのマシュマロ
永井 郁子／作絵… 【風を織る】 風を織る
あさの あつこ／… 【早都子と夢乃　：　大正鎌倉ノスタル…】 早都子と夢乃　：　大正鎌倉ノスタル…
香月 せりか／著 【武士はつらいよ　：　長篇時代…[5]】 武士はつらいよ　：　長篇時代…[5]
稲葉 稔／[著] 【夜を、編む】 夜を、編む
横山 起也／[著… 【青天】 青天
若林 正恭／著 【夫妻集】 夫妻集
小野寺 史宜／[… 【お勝手のあん13】 お勝手のあん13
柴田 よしき／著 【源さんの味噌汁】 源さんの味噌汁
松下 隆一／著 【れんげ出合茶屋】 れんげ出合茶屋
泉 ゆたか／著 【森羅記2】 森羅記2
北方 謙三／著 【喫茶おじさん】 喫茶おじさん
原田 ひ香／著 【小説映画ドラえもん新・のび太の海底…】 小説映画ドラえもん新・のび太の海底…
藤子・F・不二雄… 【チャーハン兄弟】 チャーハン兄弟
行成 薫／著 【梅一輪　：　長編時代小説書下ろし】 梅一輪　：　長編時代小説書下ろし
小杉 健治／著 【武士の流儀13】 武士の流儀13
稲葉 稔／著 【すすきの怪談】 すすきの怪談
匠平／著 【盗み聞き　：　書き下ろし長編時代小…】 盗み聞き　：　書き下ろし長編時代小…
小杉 健治／著 【小…2026年 1月号 通巻111号】 小…2026年 1月号 通巻111号
 【小…2026年 1月号 通巻980号】 小…2026年 1月号 通巻980号
 【ミ…2026年 1月号 通巻772号】 ミ…2026年 1月号 通巻772号
 【小説…2026年 1月号 40巻1号】 小説…2026年 1月号 40巻1号
 【別辞　：　書き下ろし時代小説】 別辞　：　書き下ろし時代小説
芝村 凉也／著 【おばけのソッチ キャン・キャン・キ…】 おばけのソッチ キャン・キャン・キ…
角野 栄子／さく… 【北極星をえがく】 北極星をえがく
岩井 圭也／著,… 【分水】 分水
今野 敏／著 【三十石船】 三十石船
岡本 さとる／著 【デラシネ　：　放浪捜…「霧の樹海」篇】 デラシネ　：　放浪捜…「霧の樹海」篇
梶永 正史／著 【離婚弁護士松岡紬】 離婚弁護士松岡紬
新川 帆立／著 【最後の皇帝と謎解きを】 最後の皇帝と謎解きを
犬丸 幸平／著 【欲望の裏】 欲望の裏
堂場 瞬一／著

書誌詳細

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

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

(他の紹介)内容紹介 理由あって、都会から実家に戻った「私」は、年老いた母とペットのマルチーズと暮らしている。時どき立ち寄るペットショップの女主人・中山圭子は、犬や猫をあやしながら、さり気なく飼い主から話を聞き出すのが得意。圭子のもたらす情報が、「私」のどす黒い過去を甦らせる―。女が本当に怖くなる１１の物語。
(他の紹介)著者紹介 林 真理子
　１９５４（昭和２９）年、山梨県に生まれる。日本大学芸術学部を卒業後、コピーライターとして活躍。８２年のエッセイ集「ルンルンを買っておうちに帰ろう」がベストセラーとなる。８６年「最終便に間に合えば」「京都まで」で第９４回直木賞を受賞。９５年「白蓮れんれん」で第８回柴田錬三郎賞、９８年「みんなの秘密」で第３２回吉川英治文学賞を受賞。２０１８年紫綬褒章受章(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

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

本文はここまでです。

ページの終わりです。