検索結果書誌詳細

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

蔵書情報

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

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

書誌情報

書名

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

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

この資料に対する操作

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

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

  

この資料に対する操作

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

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

資料情報

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

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

関連資料

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

2021
【三千円の使いかた】 三千円の使いかた
原田 ひ香／著 【白鳥とコウモリ】 白鳥とコウモリ
東野 圭吾／著 【同志少女よ、敵を撃て】 同志少女よ、敵を撃て
逢坂 冬馬／著 【北緯43度のコールドケース】 北緯43度のコールドケース
伏尾 美紀／著 【透明な螺旋】 透明な螺旋
東野 圭吾／著 【店長がバカすぎて】 店長がバカすぎて
早見 和真／著 【護られなかった者たちへ】 護られなかった者たちへ
中山 七里／著 【彼女が最後に見たものは】 彼女が最後に見たものは
まさき としか／… 【変な家[1]】 変な家[1]
雨穴／著 【魔力の胎動】 魔力の胎動
東野 圭吾／[著… 【沈黙のパレード】 沈黙のパレード
東野 圭吾／著 【70歳が老化の分かれ道　：　若さを…】 70歳が老化の分かれ道　：　若さを…
和田 秀樹／著 【魂手形　：　三島屋変調百物語七之続】 魂手形　：　三島屋変調百物語七之続
宮部 みゆき／著 【もりの100かいだてのいえ】 もりの100かいだてのいえ
いわい としお／… 【九十八歳。戦いやまず日は暮れず】 九十八歳。戦いやまず日は暮れず
佐藤 愛子／著 【黒牢城　：　Arioka Cita…】 黒牢城　：　Arioka Cita…
米澤 穂信／著 【昨日がなければ明日もない】 昨日がなければ明日もない
宮部 みゆき／著 【丘の上の賢人　：　旅屋おかえり】 丘の上の賢人　：　旅屋おかえり
原田 マハ／著 【ある男】 ある男
平野 啓一郎／著 【硝子の塔の殺人】 硝子の塔の殺人
知念 実希人／著 【小説8050】 小説8050
林 真理子／著 【青空と逃げる】 青空と逃げる
辻村 深月／著 【検事の信義】 検事の信義
柚月 裕子／[著… 【鎌倉うずまき案内所】 鎌倉うずまき案内所
青山 美智子／著 【正欲】 正欲
朝井 リョウ／著 【あきない世傳金と銀11】 あきない世傳金と銀11
高田 郁／著 【平場の月】 平場の月
朝倉 かすみ／著 【サンドの女　：　三人屋】 サンドの女　：　三人屋
原田 ひ香／著 【パンどろぼうvsにせパンどろぼう】 パンどろぼうvsにせパンどろぼう
柴田 ケイコ／作 【あきない世傳金と銀10】 あきない世傳金と銀10
高田 郁／著 【赤と青とエスキース】 赤と青とエスキース
青山 美智子／著 【不審者】 不審者
伊岡 瞬／著 【月下のサクラ】 月下のサクラ
柚月 裕子／著 【すぐ死ぬんだから】 すぐ死ぬんだから
内館 牧子／[著… 【絞め殺しの樹】 絞め殺しの樹
河崎 秋子／著 【ふたりぐらし】 ふたりぐらし
桜木 紫乃／著 【国宝上】 国宝上
吉田 修一／著 【未来】 未来
湊 かなえ／著 【夜空に泳ぐチョコレートグラミー】 夜空に泳ぐチョコレートグラミー
町田 そのこ／著 【老いの福袋　：　あっぱれ!ころばぬ…】 老いの福袋　：　あっぱれ!ころばぬ…
樋口 恵子／著 【出絞と花かんざし　：　文庫書下ろし…】 出絞と花かんざし　：　文庫書下ろし…
佐伯 泰英／著 【塞王の楯】 塞王の楯
今村 翔吾／著 【ミカエルの鼓動】 ミカエルの鼓動
柚月 裕子／著 【わたしの美しい庭】 わたしの美しい庭
凪良 ゆう／[著… 【ボーダーズ】 ボーダーズ
堂場 瞬一／著 【パンどろぼうとなぞのフランスパン】 パンどろぼうとなぞのフランスパン
柴田 ケイコ／作 【星を掬う】 星を掬う
町田 そのこ／著 【私が見た未来　：　完全版】 私が見た未来　：　完全版
たつき 諒／著 【国宝下】 国宝下
吉田 修一／著 【かいけつゾロリのゾワゾワゾクゾクよ…】 かいけつゾロリのゾワゾワゾクゾクよ…
原 ゆたか／さく…
2021
【三千円の使いかた】 三千円の使いかた
原田 ひ香／著 【白鳥とコウモリ】 白鳥とコウモリ
東野 圭吾／著 【同志少女よ、敵を撃て】 同志少女よ、敵を撃て
逢坂 冬馬／著 【北緯43度のコールドケース】 北緯43度のコールドケース
伏尾 美紀／著 【透明な螺旋】 透明な螺旋
東野 圭吾／著 【店長がバカすぎて】 店長がバカすぎて
早見 和真／著 【護られなかった者たちへ】 護られなかった者たちへ
中山 七里／著 【彼女が最後に見たものは】 彼女が最後に見たものは
まさき としか／… 【変な家[1]】 変な家[1]
雨穴／著 【魔力の胎動】 魔力の胎動
東野 圭吾／[著… 【沈黙のパレード】 沈黙のパレード
東野 圭吾／著 【70歳が老化の分かれ道　：　若さを…】 70歳が老化の分かれ道　：　若さを…
和田 秀樹／著 【魂手形　：　三島屋変調百物語七之続】 魂手形　：　三島屋変調百物語七之続
宮部 みゆき／著 【もりの100かいだてのいえ】 もりの100かいだてのいえ
いわい としお／… 【九十八歳。戦いやまず日は暮れず】 九十八歳。戦いやまず日は暮れず
佐藤 愛子／著 【黒牢城　：　Arioka Cita…】 黒牢城　：　Arioka Cita…
米澤 穂信／著 【昨日がなければ明日もない】 昨日がなければ明日もない
宮部 みゆき／著 【丘の上の賢人　：　旅屋おかえり】 丘の上の賢人　：　旅屋おかえり
原田 マハ／著 【ある男】 ある男
平野 啓一郎／著 【硝子の塔の殺人】 硝子の塔の殺人
知念 実希人／著 【小説8050】 小説8050
林 真理子／著 【青空と逃げる】 青空と逃げる
辻村 深月／著 【検事の信義】 検事の信義
柚月 裕子／[著… 【鎌倉うずまき案内所】 鎌倉うずまき案内所
青山 美智子／著 【正欲】 正欲
朝井 リョウ／著 【あきない世傳金と銀11】 あきない世傳金と銀11
高田 郁／著 【平場の月】 平場の月
朝倉 かすみ／著 【サンドの女　：　三人屋】 サンドの女　：　三人屋
原田 ひ香／著 【パンどろぼうvsにせパンどろぼう】 パンどろぼうvsにせパンどろぼう
柴田 ケイコ／作 【あきない世傳金と銀10】 あきない世傳金と銀10
高田 郁／著 【赤と青とエスキース】 赤と青とエスキース
青山 美智子／著 【不審者】 不審者
伊岡 瞬／著 【月下のサクラ】 月下のサクラ
柚月 裕子／著 【すぐ死ぬんだから】 すぐ死ぬんだから
内館 牧子／[著… 【絞め殺しの樹】 絞め殺しの樹
河崎 秋子／著 【ふたりぐらし】 ふたりぐらし
桜木 紫乃／著 【国宝上】 国宝上
吉田 修一／著 【未来】 未来
湊 かなえ／著 【夜空に泳ぐチョコレートグラミー】 夜空に泳ぐチョコレートグラミー
町田 そのこ／著 【老いの福袋　：　あっぱれ!ころばぬ…】 老いの福袋　：　あっぱれ!ころばぬ…
樋口 恵子／著 【出絞と花かんざし　：　文庫書下ろし…】 出絞と花かんざし　：　文庫書下ろし…
佐伯 泰英／著 【塞王の楯】 塞王の楯
今村 翔吾／著 【ミカエルの鼓動】 ミカエルの鼓動
柚月 裕子／著 【わたしの美しい庭】 わたしの美しい庭
凪良 ゆう／[著… 【ボーダーズ】 ボーダーズ
堂場 瞬一／著 【パンどろぼうとなぞのフランスパン】 パンどろぼうとなぞのフランスパン
柴田 ケイコ／作 【星を掬う】 星を掬う
町田 そのこ／著 【私が見た未来　：　完全版】 私が見た未来　：　完全版
たつき 諒／著 【国宝下】 国宝下
吉田 修一／著 【かいけつゾロリのゾワゾワゾクゾクよ…】 かいけつゾロリのゾワゾワゾクゾクよ…
原 ゆたか／さく…

書誌詳細

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

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

(他の紹介)内容紹介 近世公家のエピソードがイラスト入りで楽しく読める！まろ眉・白塗り・お歯黒で、語尾は「おじゃる」…。そんなイメージが強い「お公家さん」、本当はどんな暮らしをしていたの？光源氏のモデルや小野小町、紀貫之など、お公家さんの子孫はどうなった？知られざるエピソードも盛りだくさん！
(他の紹介)目次 「お公家さん」像はどこから来たのか？
位階は個人のランキング
官職は公家の役職
大名の官位（官職＆位階）
官位をもらえた職業
公家の家柄
堂上公家と地下官人
公家が受け継ぐもの
堂上公家の数
『雲上明鑑』と『雲上明覧』〔ほか〕
(他の紹介)著者紹介 西村 慎太郎
　１９７４年、東京都青梅市生まれ。国文学研究資料館教授。博士（史学）(本データはこの書籍が刊行された当時に掲載されていたものです)
西野 春奈
　関西学院大学大学院文学研究科博士前期課程（日本史学）修了後、私立四天王寺高等学校・中学校などの教壇に立つ。現在は春之助名義でブログ「イラストで学ぶ楽しい日本史」を執筆(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

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

本文はここまでです。

ページの終わりです。