検索結果書誌詳細

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

蔵書情報

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

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

書誌情報

書名

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

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

この資料に対する操作

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

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

  

この資料に対する操作

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

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

資料情報

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

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

関連資料

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

2022
【教誨】 教誨
柚月 裕子／著 【みかんきょうだいのたんけん】 みかんきょうだいのたんけん
ホソカワ レイコ… 【もう別れてもいいですか】 もう別れてもいいですか
垣谷 美雨／著 【探花】 探花
今野 敏／著 【黒石】 黒石
大沢 在昌／著 【リバー】 リバー
奥田 英朗／著 【パンどろぼう おにぎりぼうやのたび…】 パンどろぼう おにぎりぼうやのたび…
柴田 ケイコ／作 【成熟スイッチ】 成熟スイッチ
林 真理子／著 【えにし屋春秋】 えにし屋春秋
あさの あつこ／… 【雪に撃つ　：　道警・大通警察署】 雪に撃つ　：　道警・大通警察署
佐々木 譲／著 【隠居すごろく】 隠居すごろく
西條 奈加／[著… 【DRY】 DRY
原田 ひ香／著 【任俠楽団】 任俠楽団
今野 敏／著 【かいけつゾロリきょうりゅうママをす…】 かいけつゾロリきょうりゅうママをす…
原 ゆたか／さく… 【大名倒産下】 大名倒産下
浅田 次郎／著 【秋麗】 秋麗
今野 敏／[著] 【夢の終幕】 夢の終幕
堂場 瞬一／著 【背中の蜘蛛】 背中の蜘蛛
誉田 哲也／著 【介護者D】 介護者D
河崎 秋子／著 【地面師たち】 地面師たち
新庄 耕／著 【妻の終活】 妻の終活
坂井 希久子／著 【あきらめません!】 あきらめません!
垣谷 美雨／著 【御留山】 御留山
佐伯 泰英／著 【内憂　：　文庫書下ろし/長編時代小…】 内憂　：　文庫書下ろし/長編時代小…
上田 秀人／著 【香君上】 香君上
上橋 菜穂子／著 【お墓、どうしてます?　：　キミコの…】 お墓、どうしてます?　：　キミコの…
北大路 公子／文… 【地図と拳】 地図と拳
小川 哲／著 【八丁越】 八丁越
佐伯 泰英／著 【開戦　：　文庫書下ろし/長編時代小…】 開戦　：　文庫書下ろし/長編時代小…
上田 秀人／著 【動乱の刑事】 動乱の刑事
堂場 瞬一／[著… 【退き口】 退き口
上田 秀人／著 【恩讐】 恩讐
上田 秀人／著 【川のほとりに立つ者は】 川のほとりに立つ者は
寺地 はるな／著 【風を結う】 風を結う
あさの あつこ／… 【チョウセンアサガオの咲く夏】 チョウセンアサガオの咲く夏
柚月 裕子／著 【仕立屋お竜】 仕立屋お竜
岡本 さとる／著 【香君下】 香君下
上橋 菜穂子／著 【その本は】 その本は
又吉 直樹／著,… 【落花狼藉】 落花狼藉
朝井 まかて／著 【倒産続きの彼女】 倒産続きの彼女
新川 帆立／著 【ホテル・ピーベリー】 ホテル・ピーベリー
近藤 史恵／著 【逆転美人】 逆転美人
藤崎 翔／著 【名乗らじ】 名乗らじ
佐伯 泰英／著 【おばけのかわをむいたら】 おばけのかわをむいたら
たなか ひかる／… 【短編宝箱】 短編宝箱
集英社文庫編集部… 【石礫】 石礫
今野 敏／著 【栞と噓の季節】 栞と噓の季節
米澤 穂信／著 【銀座「四宝堂」文房具店[1]】 銀座「四宝堂」文房具店[1]
上田 健次／著 【黒武御神火御殿　：　三島屋変調百物…】 黒武御神火御殿　：　三島屋変調百物…
宮部 みゆき／[… 【勘定侍柳生真剣勝負　：　書き下ろ…6】 勘定侍柳生真剣勝負　：　書き下ろ…6
上田 秀人／著
2022
【教誨】 教誨
柚月 裕子／著 【みかんきょうだいのたんけん】 みかんきょうだいのたんけん
ホソカワ レイコ… 【もう別れてもいいですか】 もう別れてもいいですか
垣谷 美雨／著 【探花】 探花
今野 敏／著 【黒石】 黒石
大沢 在昌／著 【リバー】 リバー
奥田 英朗／著 【パンどろぼう おにぎりぼうやのたび…】 パンどろぼう おにぎりぼうやのたび…
柴田 ケイコ／作 【成熟スイッチ】 成熟スイッチ
林 真理子／著 【えにし屋春秋】 えにし屋春秋
あさの あつこ／… 【雪に撃つ　：　道警・大通警察署】 雪に撃つ　：　道警・大通警察署
佐々木 譲／著 【隠居すごろく】 隠居すごろく
西條 奈加／[著… 【DRY】 DRY
原田 ひ香／著 【任俠楽団】 任俠楽団
今野 敏／著 【かいけつゾロリきょうりゅうママをす…】 かいけつゾロリきょうりゅうママをす…
原 ゆたか／さく… 【大名倒産下】 大名倒産下
浅田 次郎／著 【秋麗】 秋麗
今野 敏／[著] 【夢の終幕】 夢の終幕
堂場 瞬一／著 【背中の蜘蛛】 背中の蜘蛛
誉田 哲也／著 【介護者D】 介護者D
河崎 秋子／著 【地面師たち】 地面師たち
新庄 耕／著 【妻の終活】 妻の終活
坂井 希久子／著 【あきらめません!】 あきらめません!
垣谷 美雨／著 【御留山】 御留山
佐伯 泰英／著 【内憂　：　文庫書下ろし/長編時代小…】 内憂　：　文庫書下ろし/長編時代小…
上田 秀人／著 【香君上】 香君上
上橋 菜穂子／著 【お墓、どうしてます?　：　キミコの…】 お墓、どうしてます?　：　キミコの…
北大路 公子／文… 【地図と拳】 地図と拳
小川 哲／著 【八丁越】 八丁越
佐伯 泰英／著 【開戦　：　文庫書下ろし/長編時代小…】 開戦　：　文庫書下ろし/長編時代小…
上田 秀人／著 【動乱の刑事】 動乱の刑事
堂場 瞬一／[著… 【退き口】 退き口
上田 秀人／著 【恩讐】 恩讐
上田 秀人／著 【川のほとりに立つ者は】 川のほとりに立つ者は
寺地 はるな／著 【風を結う】 風を結う
あさの あつこ／… 【チョウセンアサガオの咲く夏】 チョウセンアサガオの咲く夏
柚月 裕子／著 【仕立屋お竜】 仕立屋お竜
岡本 さとる／著 【香君下】 香君下
上橋 菜穂子／著 【その本は】 その本は
又吉 直樹／著,… 【落花狼藉】 落花狼藉
朝井 まかて／著 【倒産続きの彼女】 倒産続きの彼女
新川 帆立／著 【ホテル・ピーベリー】 ホテル・ピーベリー
近藤 史恵／著 【逆転美人】 逆転美人
藤崎 翔／著 【名乗らじ】 名乗らじ
佐伯 泰英／著 【おばけのかわをむいたら】 おばけのかわをむいたら
たなか ひかる／… 【短編宝箱】 短編宝箱
集英社文庫編集部… 【石礫】 石礫
今野 敏／著 【栞と噓の季節】 栞と噓の季節
米澤 穂信／著 【銀座「四宝堂」文房具店[1]】 銀座「四宝堂」文房具店[1]
上田 健次／著 【黒武御神火御殿　：　三島屋変調百物…】 黒武御神火御殿　：　三島屋変調百物…
宮部 みゆき／[… 【勘定侍柳生真剣勝負　：　書き下ろ…6】 勘定侍柳生真剣勝負　：　書き下ろ…6
上田 秀人／著
702.07　702.07
【中上健次　：　路地のビジョン】 中上健次　：　路地のビジョン
渡邊 英理／著 【金田一耕助の間取り】 金田一耕助の間取り
木魚庵／文,本間… 【宇野千代100の言葉　：　ポジティ…】 宇野千代100の言葉　：　ポジティ…
中山 庸子／著 【ぼけていく私】 ぼけていく私
佐藤 愛子／著,… 【私の謎　：　柄谷行人回想録】 私の謎　：　柄谷行人回想録
柄谷 行人／著,… 【心友　：　素顔の井上ひさし】 心友　：　素顔の井上ひさし
小川 荘六／著 【夏目漱石のことばと人生】 夏目漱石のことばと人生
小森 陽一／監修 【恋して、書いて、咲きほこる　：　宇…】 恋して、書いて、咲きほこる　：　宇…
進士 素丸／著 【吉本隆明全集月報集】 吉本隆明全集月報集
晶文社編集部／編 【国際啄木学会研究…29号(2026)】 国際啄木学会研究…29号(2026)
国際啄木学会研究… 【台湾山地を愛した女　：　坂口䙥子の…】 台湾山地を愛した女　：　坂口䙥子の…
小笠原 淳／著 【吉田修一と『国宝』の世界】 吉田修一と『国宝』の世界
酒井 信／著 【三島由紀夫を誰も知らない】 三島由紀夫を誰も知らない
井上 隆史／著 【憤怒の人　：　母・佐藤愛子のカケラ】 憤怒の人　：　母・佐藤愛子のカケラ
杉山 響子／著 【本の話はどこまでも　：　青山美智子…】 本の話はどこまでも　：　青山美智子…
青山 美智子／語… 【松本清張の昭和】 松本清張の昭和
酒井 信／著 【三島由紀夫という存在】 三島由紀夫という存在
石原 慎太郎／著… 【松本清張の深層心理　：　隠された潜…】 松本清張の深層心理　：　隠された潜…
藤脇 邦夫／著 【青の旅路　：　宮澤賢治と北海道】 青の旅路　：　宮澤賢治と北海道
宮澤 賢治／著 【ふつうの人が小説家として生活してい…】 ふつうの人が小説家として生活してい…
津村 記久子／著… 【富岡多惠子の革命】 富岡多惠子の革命
島崎 今日子／著 【筒井康隆自伝】 筒井康隆自伝
筒井 康隆／著 【東野圭吾公式ガイド】 東野圭吾公式ガイド
東野圭吾作家生活… 【没後70年坂口安吾　：　あちらこち…】 没後70年坂口安吾　：　あちらこち…
県立神奈川近代文… 【西村賢太殺人事件】 西村賢太殺人事件
小林 麻衣子／著 【永久革命者とは何か　：　埴谷雄高論…】 永久革命者とは何か　：　埴谷雄高論…
吉本 隆明／[著… 【賢治&苫小牧No.5】 賢治&苫小牧No.5
 【松本清張と水上勉】 松本清張と水上勉
藤井 淑禎／著 【発達障害のぼくが世界に届くまで】 発達障害のぼくが世界に届くまで
市川 拓司／著 【父、正史 母、孝子　：　日本ミステ…】 父、正史 母、孝子　：　日本ミステ…
野本 瑠美／著 【三島由紀夫という迷宮　：　<英雄>…】 三島由紀夫という迷宮　：　<英雄>…
柴崎 信三／著 【乱歩ラビリンス　：　池袋から人外境…】 乱歩ラビリンス　：　池袋から人外境…
立教大学江戸川乱… 【長谷川四郎とそのきょうだい 図録　…】 長谷川四郎とそのきょうだい 図録　…
北海道文学館／編 【三浦綾子の園　：　北海国の恩寵】 三浦綾子の園　：　北海国の恩寵
南 富鎭／著 【入門講座三島由紀夫　：　31作品の…】 入門講座三島由紀夫　：　31作品の…
佐藤 秀明／著 【佐伯泰英山脈登頂記】 佐伯泰英山脈登頂記
北尾 トロ／著 【吉村昭と「文学者」　：　令和7年度…】 吉村昭と「文学者」　：　令和7年度…
荒川区地域文化ス… 【内なる曠野-安部公房】 内なる曠野-安部公房
柴橋 伴夫／著 【1945年に生まれて　：　池澤夏樹…】 1945年に生まれて　：　池澤夏樹…
池澤 夏樹／著,… 【もっと知りたい夏目漱石　：　文学と…】 もっと知りたい夏目漱石　：　文学と…
古田 亮／著,出… 【残照開高健　：　詩人・牧羊子と作家…】 残照開高健　：　詩人・牧羊子と作家…
浜本 隆志／著 【芥川龍之介あれこれ事典】 芥川龍之介あれこれ事典
石割 透／著 【松本清張の女たち】 松本清張の女たち
酒井 順子／著 【週刊文春トップ屋魂　：　「文春砲」…】 週刊文春トップ屋魂　：　「文春砲」…
大下 英治／著 【明るい方へ　：　父・太宰治と母・太…】 明るい方へ　：　父・太宰治と母・太…
太田 治子／著,… 【菊池寛アンド・カンパニー】 菊池寛アンド・カンパニー
鹿島 茂／著 【謎とき村上春樹　：　「夢分析」から…】 謎とき村上春樹　：　「夢分析」から…
河合 俊雄／著 【中勘助考】 中勘助考
堀部 功夫／著 【寂聴先生が残してくれたもの】 寂聴先生が残してくれたもの
瀬尾 まなほ／著 【荷風の昭和後篇】 荷風の昭和後篇
川本 三郎／著
環境芸術　資源再利用
【サーキュラーエコノミーの実装　：　…】 サーキュラーエコノミーの実装　：　…
加茂 徹／編著,… 【廃棄物処理法令<三段対照…令和8年版】 廃棄物処理法令<三段対照…令和8年版
日本産業廃棄物処… 【僕が使ったペットボトルはどこへ行く…】 僕が使ったペットボトルはどこへ行く…
木口 達也／著 【プラスチック・クライシス　：　日本…】 プラスチック・クライシス　：　日本…
伊藤 耕三／著 【サーキュラーエコノミーの地政学】 サーキュラーエコノミーの地政学
平沼 光／著 【廃棄物リサイクル・資源循環の法規制…】 廃棄物リサイクル・資源循環の法規制…
猿倉 健司／編著… 【がんばらないコンポスト生活】 がんばらないコンポスト生活
服部 雄一郎／著 【「ごみ減量･資源化に関す…令和7年度】 「ごみ減量･資源化に関す…令和7年度
 【紙パルプ産業と環境2026】 紙パルプ産業と環境2026
 【アムステルダム ボトムアップの実験…】 アムステルダム ボトムアップの実験…
根津 幸子／著 【おいしい循環　：　生ごみを捨てない…】 おいしい循環　：　生ごみを捨てない…
たいら 由以子／… 【廃棄物処理法令<三段対照…令和7年版】 廃棄物処理法令<三段対照…令和7年版
日本産業廃棄物処… 【ごみのゆくえとリサイクル　：　図…3】 ごみのゆくえとリサイクル　：　図…3
松藤 敏彦／監修… 【ごみのゆくえとリサイクル　：　図…1】 ごみのゆくえとリサイクル　：　図…1
松藤 敏彦／監修… 【ごみのゆくえとリサイクル　：　図…5】 ごみのゆくえとリサイクル　：　図…5
松藤 敏彦／監修… 【ごみのゆくえとリサイクル　：　図…2】 ごみのゆくえとリサイクル　：　図…2
松藤 敏彦／監修… 【ごみのゆくえとリサイクル　：　図…4】 ごみのゆくえとリサイクル　：　図…4
松藤 敏彦／監修… 【ウンコノミクス】 ウンコノミクス
山口 亮子／著 【マテリアル循環革命　：　サーキュラ…】 マテリアル循環革命　：　サーキュラ…
トーマス・ラウ／… 【サーキュラーエコノミー】 サーキュラーエコノミー
野田 由美子／著 【ごみ分けガイド　：　資…2025年度】 ごみ分けガイド　：　資…2025年度
 【僕とクルマの大冒険　：　自動車リサ…】 僕とクルマの大冒険　：　自動車リサ…
見ル野 栄司／構… 【ペットボトルくんのねっけつ!リサイ…】 ペットボトルくんのねっけつ!リサイ…
田中 六大／作,… 【廃棄物・リサイクル・その他環境事犯…】 廃棄物・リサイクル・その他環境事犯…
緒方 由紀子／編… 【ビーチサンダル号海へ!　：　プラス…】 ビーチサンダル号海へ!　：　プラス…
L.R.ロッディ… 【紙パルプ産業と環境2025】 紙パルプ産業と環境2025
 【リユースビジネスの教科書】 リユースビジネスの教科書
佐藤 秀平／著 【ぞうのうんちはまわる】 ぞうのうんちはまわる
重松 彌佐／文,… 【リチウムイオン電池からのレアメタル…】 リチウムイオン電池からのレアメタル…
中村 崇／監修 【「ごみ減量･資源化に関す…令和5年度】 「ごみ減量･資源化に関す…令和5年度
 【ごみ分けガイド　：　資…2024年度】 ごみ分けガイド　：　資…2024年度
 【追跡!ごみの大変身　：　リサイク…1】 追跡!ごみの大変身　：　リサイク…1
『リサイクルで地… 【追跡!ごみの大変身　：　リサイク…3】 追跡!ごみの大変身　：　リサイク…3
『リサイクルで地… 【追跡!ごみの大変身　：　リサイク…2】 追跡!ごみの大変身　：　リサイク…2
『リサイクルで地… 【SDGsってなぁに? みらいのため…】 SDGsってなぁに? みらいのため…
関 正雄／監修,… 【循環経済入門　：　廃棄物から考える…】 循環経済入門　：　廃棄物から考える…
笹尾 俊明／著 【地球と人にちょこっとやさしくなれる…】 地球と人にちょこっとやさしくなれる…
マシンガンズ滝沢… 【生まれかわるヒロシマの折り鶴】 生まれかわるヒロシマの折り鶴
佐藤 真澄／著 【すてるデザイン　：　持続可能な社会…】 すてるデザイン　：　持続可能な社会…
永井 一史／著,… 【廃棄物処理法令<三段対照…令和5年版】 廃棄物処理法令<三段対照…令和5年版
日本産業廃棄物処… 【太陽光パネル循環型ビジネス　：　実…】 太陽光パネル循環型ビジネス　：　実…
環境エネルギー循… 【ごみゼロ社会は実現できるか】 ごみゼロ社会は実現できるか
行本 正雄／共著… 【大接近!工場見学　：　SDGsリ…6】 大接近!工場見学　：　SDGsリ…6
高山 リョウ／構… 【大接近!工場見学　：　SDGsリ…4】 大接近!工場見学　：　SDGsリ…4
高山 リョウ／構… 【大接近!工場見学　：　SDGsリ…5】 大接近!工場見学　：　SDGsリ…5
高山 リョウ／構… 【大接近!工場見学　：　SDGsリ…1】 大接近!工場見学　：　SDGsリ…1
高山 リョウ／構… 【大接近!工場見学　：　SDGsリ…3】 大接近!工場見学　：　SDGsリ…3
高山 リョウ／構… 【大接近!工場見学　：　SDGsリ…2】 大接近!工場見学　：　SDGsリ…2
高山 リョウ／構… 【廃プラスチックの現在と未来　：　持…】 廃プラスチックの現在と未来　：　持…
日本エネルギー学… 【しまっておくより月イチ･リユース｡…】 しまっておくより月イチ･リユース｡…

書誌詳細

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

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

(他の紹介)内容紹介 論文の捏造、書類の改ざん、記事のコピペ、文案の盗用、炎上を招く書き込み…読み手のみならず社会にも害をもたらす「悪文」を書かないための一冊。
(他の紹介)目次 第１部　目的を見定める―書く前に頭に入れておきたいこと（「大本営発表」から見えるもの
書く目的は明確になっていますか？
嘘を書かない自信はありますか？　ほか）
第２部　材料を見極める―書くための情報・資料の扱い方（ある作品が広げた波紋
自分の記憶を過信していませんか？
現場を重視しすぎていませんか？　ほか）
第３部　相手を見据える―書くときに意識したいポイント（作者自身が解けない試験問題
読み手をイメージできていますか？
書けば読まれると思っていませんか？　ほか）
(他の紹介)著者紹介 大倉 幸宏
　１９７２年、愛知県生まれ。新聞社、広告制作会社勤務等を経て、現在はフリーランスのライター(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

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

本文はここまでです。

ページの終わりです。