検索結果書誌詳細

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

蔵書情報

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

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

書誌情報

書名

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

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

この資料に対する操作

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

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

  

この資料に対する操作

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

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

資料情報

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

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

関連資料

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

1988
【となりのトトロ】 となりのトトロ
宮崎 駿／原作 【14ひきのおつきみ】 14ひきのおつきみ
いわむら かずお… 【かいけつゾロリのまほうつかいのでし】 かいけつゾロリのまほうつかいのでし
原 ゆたか／さく… 【かおかおどんなかお】 かおかおどんなかお
柳原 良平／作・… 【アンパンマンのクリスマス】 アンパンマンのクリスマス
やなせ たかし／… 【放課後】 放課後
東野 圭吾／[著… 【ノンタンじどうしゃぶっぶー】 ノンタンじどうしゃぶっぶー
おおとも　さちこ… 【かいけつゾロリのきょうふのやかた】 かいけつゾロリのきょうふのやかた
原 ゆたか／さく… 【天空の城ラピュタ】 天空の城ラピュタ
宮崎 駿／原作 【わかったさんのアップルパイ】 わかったさんのアップルパイ
寺村 輝夫／作,… 【タイムトラベラーウォーリーをおえ!】 タイムトラベラーウォーリーをおえ!
マーティン・ハン… 【わかったさんのドーナツ】 わかったさんのドーナツ
寺村 輝夫／作,… 【こまったさんのラーメン】 こまったさんのラーメン
寺村 輝夫／作,… 【火垂るの墓】 火垂るの墓
野坂 昭如／原作… 【風の谷のナウシカ上】 風の谷のナウシカ上
宮崎 駿／原作 【わかったさんのシュークリーム】 わかったさんのシュークリーム
寺村 輝夫／作,… 【風の谷のナウシカ下】 風の谷のナウシカ下
宮崎 駿／原作 【ノンタンあそびましょ】 ノンタンあそびましょ
おおとも さちこ… 【ずーっとずっとだいすきだよ】 ずーっとずっとだいすきだよ
ハンス・ウィルヘ… 【なぞなぞえほん1のまき】 なぞなぞえほん1のまき
中川 李枝子／さ… 【学習漫画 日本の伝記　：　集…[6]】 学習漫画 日本の伝記　：　集…[6]
永原 慶二／監修 【はだしのゲン第1巻】 はだしのゲン第1巻
中沢 啓治／作 【なぞなぞえほん2のまき】 なぞなぞえほん2のまき
中川 李枝子／さ… 【10ぴきのかえるのなつまつり】 10ぴきのかえるのなつまつり
間所 ひさこ／さ… 【ノンタンいないいなーい】 ノンタンいないいなーい
おおとも さちこ… 【はだしのゲン第2巻】 はだしのゲン第2巻
中沢 啓治／作 【とべバッタ】 とべバッタ
田島 征三／作 【なぞなぞえほん3のまき】 なぞなぞえほん3のまき
中川 李枝子／さ… 【はだしのゲン第3巻】 はだしのゲン第3巻
中沢 啓治／作 【学習漫画 日本の伝記　：　集…[4]】 学習漫画 日本の伝記　：　集…[4]
永原 慶二／監修 【ゆうたはともだち】 ゆうたはともだち
きたやま ようこ… 【はだしのゲン第4巻】 はだしのゲン第4巻
中沢 啓治／作 【かいけつゾロリのまほうつかいのでし】 かいけつゾロリのまほうつかいのでし
原 ゆたか／さく… 【はだしのゲン第5巻】 はだしのゲン第5巻
中沢 啓治／作 【世界名作ファンタジー21】 世界名作ファンタジー21
平田 昭吾／企画… 【ブルドーザとなかまたち】 ブルドーザとなかまたち
山本 忠敬／さく 【いちねんせい】 いちねんせい
谷川 俊太郎／詩… 【世界名作ファンタジー22】 世界名作ファンタジー22
平田　昭吾／文 【キッチン】 キッチン
吉本 ばなな／著 【かいけつゾロリのきょうふのやかた】 かいけつゾロリのきょうふのやかた
原 ゆたか／さく… 【はだしのゲン第7巻】 はだしのゲン第7巻
中沢 啓治／作 【手ぶくろを買いに】 手ぶくろを買いに
新美 南吉／作,… 【みどりいろのたね】 みどりいろのたね
たかどの ほうこ… 【パオちゃんのかぜひいちゃった】 パオちゃんのかぜひいちゃった
なかがわ みちこ… 【はだしのゲン第8巻】 はだしのゲン第8巻
中沢 啓治／作 【あいうえおばけだぞ　：　45 Mo…】 あいうえおばけだぞ　：　45 Mo…
五味 太郎／作 【はだしのゲン第9巻】 はだしのゲン第9巻
中沢 啓治／作 【はだしのゲン第10巻】 はだしのゲン第10巻
中沢 啓治／作 【おやすみなさいコッコさん】 おやすみなさいコッコさん
片山 健／さく・… 【ゆうたとさんぽする】 ゆうたとさんぽする
きたやま ようこ…
914.6　914.6
【よくわからないまま輝き続ける世界と…】 よくわからないまま輝き続ける世界と…
古賀 及子／著 【札幌のふだ…2025年 5月 58号】 札幌のふだ…2025年 5月 58号
 【老人の美学】 老人の美学
筒井 康隆／著 【見抜く力】 見抜く力
姜 尚中／著 【今日は、これをしました】 今日は、これをしました
群 ようこ／著 【言葉にならない気持ち日記】 言葉にならない気持ち日記
梅田 悟司／著 【知性について】 知性について
内田 樹／著 【なみまのわるい食べもの】 なみまのわるい食べもの
千早 茜／著 【だいたいしあわせ】 だいたいしあわせ
阿川 佐和子／著… 【メメント・ヴィータ】 メメント・ヴィータ
藤原 新也／著 【母なる自然のおっぱい】 母なる自然のおっぱい
池澤 夏樹／著 【終わりなき対話　：　やさしさを教え…】 終わりなき対話　：　やさしさを教え…
谷川 俊太郎／著… 【ラジオの、光と闇　：　高橋源一郎の…】 ラジオの、光と闇　：　高橋源一郎の…
高橋 源一郎／著 【よりそう言葉】 よりそう言葉
五木 寛之／著 【生きる言葉】 生きる言葉
俵 万智／著 【昭和的】 昭和的
関川 夏央／著,… 【星になっても】 星になっても
岩内 章太郎／著 【わたしの言ってること、わかりますか…】 わたしの言ってること、わかりますか…
伊藤 亜和／著 【ジジイの昭和絵日記】 ジジイの昭和絵日記
沢野 ひとし／著 【アウト老のすすめ】 アウト老のすすめ
みうら じゅん／… 【巣鴨のお寿司屋で、帰れと言われたこ…】 巣鴨のお寿司屋で、帰れと言われたこ…
古賀 及子／著 【日常のフローチャート】 日常のフローチャート
森 博嗣／著 【みえないもの】 みえないもの
イリナ・グリゴレ… 【グレーとライフ】 グレーとライフ
太田 尚樹／著 【随筆さっ…2025年 3月 113号】 随筆さっ…2025年 3月 113号
 【はれれば…2025年 3月号 第7号】 はれれば…2025年 3月号 第7号
 【マリコ、東奔西走】 マリコ、東奔西走
林 真理子／著 【マリコにもほどがある!】 マリコにもほどがある!
林 真理子／著 【お墓、どうしてます?　：　キミコの…】 お墓、どうしてます?　：　キミコの…
北大路 公子／著 【百一歳。終着駅のその先へ】 百一歳。終着駅のその先へ
佐藤 愛子／著 【動的平衡は利他に通じる】 動的平衡は利他に通じる
福岡 伸一／著 【湯気を食べる】 湯気を食べる
くどう れいん／… 【作家の黒歴史　：　デビュー前の日記…】 作家の黒歴史　：　デビュー前の日記…
宮内 悠介／著 【彼女たちに守られてきた】 彼女たちに守られてきた
松田 青子／著 【哀愁の町に何が降るというのだ。】 哀愁の町に何が降るというのだ。
椎名 誠／著 【犬棒日記続】 犬棒日記続
乃南 アサ／著 【メルカリで知らん子の絵を買う】 メルカリで知らん子の絵を買う
藤原 麻里菜／著 【午前三時の化粧水】 午前三時の化粧水
爪 切男／著 【幸あれ、知らんけど】 幸あれ、知らんけど
平民金子／著 【ド・レミの歌】 ド・レミの歌
平野 レミ／著・… 【ふるさとの味　：　随筆】 ふるさとの味　：　随筆
森田 たま／著 【今夜はジビエ】 今夜はジビエ
小川 糸／[著] 【好きになってしまいました。】 好きになってしまいました。
三浦 しをん／著 【カニカマ人生論】 カニカマ人生論
清水 ミチコ／[… 【野原を駆け巡る　：　佐藤武エッセイ…】 野原を駆け巡る　：　佐藤武エッセイ…
佐藤 武／著 【系譜なき難解さ　：　小説家と批評家…】 系譜なき難解さ　：　小説家と批評家…
埴谷 雄高／[著… 【胃が合うふたり】 胃が合うふたり
千早 茜／著,新… 【それでも日々はつづくから】 それでも日々はつづくから
燃え殻／著 【ご機嫌な習慣】 ご機嫌な習慣
松浦 弥太郎／著 【おひとりさま、もうすぐ60歳。】 おひとりさま、もうすぐ60歳。
岸本 葉子／著

書誌詳細

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

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

(他の紹介)内容紹介 ときめいて恋をして、きらめいて結ばれて、ふと気がつくとすきま風。男の浮気は甲斐性で、女の不倫は罪悪で…。巨大なマスコミによって悪妻の代表にされた著者が、いま『愛が待つか狂乱が待つか』その心情をさらけ出す。
(他の紹介)目次 降って涌いた“ミッチー暴言”（手打ち酒を飲む
ぶつけた公開書簡）
一男去って―離婚から満２年（『好子さん』という本
不倫、浮気はお互いに
ナント“不倫評論家”だって？
離婚は自分がするもの
再婚した彼「これからは僕の人生」
ガラリと態度変えた出版社にあきれた）
マスコミって、なんなの？（よくもまあ無責任に
すさまじい見出しが乱舞した
テレビ出演引き受けて…）
愛しき娘たち（いつかわかってくれるはず…とは望むまい
「ままのせいよ」といわなくなった娘
悲しい風を暖かい風にかえたい）
嵐が去って、自立（リブフレッシュ設立、“強い”淡路恵子さん
自立していく知恵は自分で―瀬戸内寂聴さん
アグネス・真理子の“子連れ論争”）
この先愛が待つか狂乱が待つか（恋する人は勝手な人かも
淡い恋、つらい恋もある）


内容細目表

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

本文はここまでです。

ページの終わりです。