山の手図書館は大規模改修のため
 令和7年9月1日から令和8年1月31日（予定）まで臨時休館します。

検索結果書誌詳細

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

蔵書情報

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

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

書誌情報

書名

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

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

この資料に対する操作

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

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

  

この資料に対する操作

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

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

資料情報

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

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

関連資料

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

2015
【おしりたんてい むらさきふじんのあ…】 おしりたんてい むらさきふじんのあ…
トロル／さく・え 【きえた!?かいけつゾロリ】 きえた!?かいけつゾロリ
原 ゆたか／さく… 【もうぬげない】 もうぬげない
ヨシタケ シンス… 【りゆうがあります】 りゆうがあります
ヨシタケ シンス… 【ナイトサファリのサバイバル　：　…1】 ナイトサファリのサバイバル　：　…1
ゴムドリco.／… 【禁断の魔術】 禁断の魔術
東野 圭吾／著 【母性】 母性
湊 かなえ／著 【かいけつゾロリのようかい大うんどう…】 かいけつゾロリのようかい大うんどう…
原 ゆたか／さく… 【ナイトサファリのサバイバル　：　…2】 ナイトサファリのサバイバル　：　…2
ゴムドリco.／… 【ふまんがあります】 ふまんがあります
ヨシタケ シンス… 【おしりたんてい ププッおおどろぼう…】 おしりたんてい ププッおおどろぼう…
トロル／さく・え 【おつきみおばけ】 おつきみおばけ
せな けいこ／作… 【舟を編む】 舟を編む
三浦 しをん／著 【地中世界のサバイバル　：　生き残…1】 地中世界のサバイバル　：　生き残…1
スウィートファク… 【ノラネコぐんだん おすしやさん】 ノラネコぐんだん おすしやさん
工藤 ノリコ／著 【確証】 確証
今野 敏／著 【人魚の眠る家】 人魚の眠る家
東野 圭吾／著 【鍵のない夢を見る】 鍵のない夢を見る
辻村 深月／著 【ラプラスの魔女】 ラプラスの魔女
東野 圭吾／著 【七十歳死亡法案、可決】 七十歳死亡法案、可決
垣谷 美雨／[著… 【ホテルローヤル】 ホテルローヤル
桜木 紫乃／著 【地中世界のサバイバル　：　生き残…2】 地中世界のサバイバル　：　生き残…2
スウィートファク… 【コーヒーが冷めないうちに】 コーヒーが冷めないうちに
川口 俊和／著 【大気汚染のサバイバル　：　生き残り…】 大気汚染のサバイバル　：　生き残り…
スウィートファク… 【そらまめくんのあたらしいベッド】 そらまめくんのあたらしいベッド
なかや みわ／さ… 【アンコール・ワットのサバイバル　…2】 アンコール・ワットのサバイバル　…2
洪 在徹／文,文… 【おばけのマールとみんなのとしょかん】 おばけのマールとみんなのとしょかん
なかい れい／え… 【アンコール・ワットのサバイバル　…1】 アンコール・ワットのサバイバル　…1
洪 在徹／文,文… 【あい　：　永遠に在り】 あい　：　永遠に在り
高田 郁／著 【境遇】 境遇
湊 かなえ／著 【何者】 何者
朝井 リョウ／著 【起終点駅(ターミナル)】 起終点駅(ターミナル)
桜木 紫乃／著 【終わった人】 終わった人
内館 牧子／著 【ふしぎ駄菓子屋銭天堂4】 ふしぎ駄菓子屋銭天堂4
廣嶋 玲子／作,… 【任俠書房】 任俠書房
今野 敏／著 【生きるぼくら】 生きるぼくら
原田 マハ／著 【アルジャーノンに花束を】 アルジャーノンに花束を
ダニエル・キイス… 【ドラえもん社会ワールド憲法って何だ…】 ドラえもん社会ワールド憲法って何だ…
藤子・F・不二雄… 【虚像の道化師】 虚像の道化師
東野 圭吾／著 【反応しない練習　：　あらゆる悩みが…】 反応しない練習　：　あらゆる悩みが…
草薙 龍瞬／著 【バスのたび】 バスのたび
工藤 ノリコ／[… 【ふしぎ駄菓子屋銭天堂5】 ふしぎ駄菓子屋銭天堂5
廣嶋 玲子／作,… 【願かけ】 願かけ
佐伯 泰英／著 【蓮花の契り　：　出世花】 蓮花の契り　：　出世花
高田 郁／著 【水の国の迷路　：　水族館から川、海…】 水の国の迷路　：　水族館から川、海…
香川 元太郎／作… 【ドラえもん科学ワールドエネルギーの…】 ドラえもん科学ワールドエネルギーの…
藤子・F・不二雄… 【ジャッキーつきへいく】 ジャッキーつきへいく
あだち なみ／絵… 【世直し小町りんりん】 世直し小町りんりん
西條 奈加／[著… 【螢草】 螢草
葉室 麟／著 【羊と鋼の森】 羊と鋼の森
宮下 奈都／著
2015
【おしりたんてい むらさきふじんのあ…】 おしりたんてい むらさきふじんのあ…
トロル／さく・え 【きえた!?かいけつゾロリ】 きえた!?かいけつゾロリ
原 ゆたか／さく… 【もうぬげない】 もうぬげない
ヨシタケ シンス… 【りゆうがあります】 りゆうがあります
ヨシタケ シンス… 【ナイトサファリのサバイバル　：　…1】 ナイトサファリのサバイバル　：　…1
ゴムドリco.／… 【禁断の魔術】 禁断の魔術
東野 圭吾／著 【母性】 母性
湊 かなえ／著 【かいけつゾロリのようかい大うんどう…】 かいけつゾロリのようかい大うんどう…
原 ゆたか／さく… 【ナイトサファリのサバイバル　：　…2】 ナイトサファリのサバイバル　：　…2
ゴムドリco.／… 【ふまんがあります】 ふまんがあります
ヨシタケ シンス… 【おしりたんてい ププッおおどろぼう…】 おしりたんてい ププッおおどろぼう…
トロル／さく・え 【おつきみおばけ】 おつきみおばけ
せな けいこ／作… 【舟を編む】 舟を編む
三浦 しをん／著 【地中世界のサバイバル　：　生き残…1】 地中世界のサバイバル　：　生き残…1
スウィートファク… 【ノラネコぐんだん おすしやさん】 ノラネコぐんだん おすしやさん
工藤 ノリコ／著 【確証】 確証
今野 敏／著 【人魚の眠る家】 人魚の眠る家
東野 圭吾／著 【鍵のない夢を見る】 鍵のない夢を見る
辻村 深月／著 【ラプラスの魔女】 ラプラスの魔女
東野 圭吾／著 【七十歳死亡法案、可決】 七十歳死亡法案、可決
垣谷 美雨／[著… 【ホテルローヤル】 ホテルローヤル
桜木 紫乃／著 【地中世界のサバイバル　：　生き残…2】 地中世界のサバイバル　：　生き残…2
スウィートファク… 【コーヒーが冷めないうちに】 コーヒーが冷めないうちに
川口 俊和／著 【大気汚染のサバイバル　：　生き残り…】 大気汚染のサバイバル　：　生き残り…
スウィートファク… 【そらまめくんのあたらしいベッド】 そらまめくんのあたらしいベッド
なかや みわ／さ… 【アンコール・ワットのサバイバル　…2】 アンコール・ワットのサバイバル　…2
洪 在徹／文,文… 【おばけのマールとみんなのとしょかん】 おばけのマールとみんなのとしょかん
なかい れい／え… 【アンコール・ワットのサバイバル　…1】 アンコール・ワットのサバイバル　…1
洪 在徹／文,文… 【あい　：　永遠に在り】 あい　：　永遠に在り
高田 郁／著 【境遇】 境遇
湊 かなえ／著 【何者】 何者
朝井 リョウ／著 【起終点駅(ターミナル)】 起終点駅(ターミナル)
桜木 紫乃／著 【終わった人】 終わった人
内館 牧子／著 【ふしぎ駄菓子屋銭天堂4】 ふしぎ駄菓子屋銭天堂4
廣嶋 玲子／作,… 【任俠書房】 任俠書房
今野 敏／著 【生きるぼくら】 生きるぼくら
原田 マハ／著 【アルジャーノンに花束を】 アルジャーノンに花束を
ダニエル・キイス… 【ドラえもん社会ワールド憲法って何だ…】 ドラえもん社会ワールド憲法って何だ…
藤子・F・不二雄… 【虚像の道化師】 虚像の道化師
東野 圭吾／著 【反応しない練習　：　あらゆる悩みが…】 反応しない練習　：　あらゆる悩みが…
草薙 龍瞬／著 【バスのたび】 バスのたび
工藤 ノリコ／[… 【ふしぎ駄菓子屋銭天堂5】 ふしぎ駄菓子屋銭天堂5
廣嶋 玲子／作,… 【願かけ】 願かけ
佐伯 泰英／著 【蓮花の契り　：　出世花】 蓮花の契り　：　出世花
高田 郁／著 【水の国の迷路　：　水族館から川、海…】 水の国の迷路　：　水族館から川、海…
香川 元太郎／作… 【ドラえもん科学ワールドエネルギーの…】 ドラえもん科学ワールドエネルギーの…
藤子・F・不二雄… 【ジャッキーつきへいく】 ジャッキーつきへいく
あだち なみ／絵… 【世直し小町りんりん】 世直し小町りんりん
西條 奈加／[著… 【螢草】 螢草
葉室 麟／著 【羊と鋼の森】 羊と鋼の森
宮下 奈都／著
914.6　914.6
【人生のクスリ】 人生のクスリ
高野 勲／著 【あの人と、あのとき、食べた。】 あの人と、あのとき、食べた。
椹野 道流／著 【新編王様と召使い】 新編王様と召使い
檀 一雄／著 【筒井康隆エッセイ集成2】 筒井康隆エッセイ集成2
筒井 康隆／著,… 【イクラと道産子　：　上京あるある、…】 イクラと道産子　：　上京あるある、…
佐藤 萩野／著,… 【推してる、より、愛してる。】 推してる、より、愛してる。
最果 タヒ／著 【60代、日々好日 時々ため息】 60代、日々好日 時々ため息
唯川 恵／著 【昭和の少年】 昭和の少年
諏訪 哲史／著 【今だからわかること　：　84歳にな…】 今だからわかること　：　84歳にな…
末盛 千枝子／著 【かえる生活】 かえる生活
群 ようこ／著 【清張が聞く!　：　一九六八年の松本…】 清張が聞く!　：　一九六八年の松本…
松本 清張／著 【まだ、死んでない】 まだ、死んでない
中村 うさぎ／著 【リンボウ先生老いてのたのしみ】 リンボウ先生老いてのたのしみ
林 望／[著] 【あなたが言わなかったこと】 あなたが言わなかったこと
若松 英輔／著 【男の不作法】 男の不作法
内館 牧子／著 【虚弱に生きる】 虚弱に生きる
絶対に終電を逃さ… 【たりる生活】 たりる生活
群 ようこ／著 【女の不作法】 女の不作法
内館 牧子／著 【本を作るのも楽しいですが、売るのは…】 本を作るのも楽しいですが、売るのは…
金 承福／著 【もうしばらくは早歩き】 もうしばらくは早歩き
くどう れいん／… 【価値あるもの　：　衣・食・住・旅】 価値あるもの　：　衣・食・住・旅
松浦 弥太郎／著 【置き配的】 置き配的
福尾 匠／著 【遠い国遠い言葉　：　柄谷行人未刊行…】 遠い国遠い言葉　：　柄谷行人未刊行…
柄谷 行人／著 【遊ビヲセントヤ　：　想う、迷う、考…】 遊ビヲセントヤ　：　想う、迷う、考…
藤沢 周／著 【めめSHEやつら　：　賢くて愚かな…】 めめSHEやつら　：　賢くて愚かな…
鈴木 涼美／著,… 【「なむ」の来歴】 「なむ」の来歴
斎藤 真理子／著 【わざわざ書くほどのことだ】 わざわざ書くほどのことだ
長瀬 ほのか／著 【ねえ、ろうそく多すぎて誕生日ケーキ…】 ねえ、ろうそく多すぎて誕生日ケーキ…
ジェーン・スー／… 【ぜんぜんダメでパーフェクトなわたし…】 ぜんぜんダメでパーフェクトなわたし…
山田 由梨／著 【ちゃぶ台ぐるぐる】 ちゃぶ台ぐるぐる
群 ようこ／著 【これがそうなのか】 これがそうなのか
永井 玲衣／著 【いつでも好奇心】 いつでも好奇心
岩崎 俊雄／著 【飼い犬に腹を嚙まれる】 飼い犬に腹を嚙まれる
彬子女王／著,ほ… 【ショージ君の老いてなお、ケシカラン…】 ショージ君の老いてなお、ケシカラン…
東海林 さだお／… 【あした何着よう】 あした何着よう
林 真理子／著 【わかりますぅ?】 わかりますぅ?
林 真理子／著 【世界はハラスメントでできている　：…】 世界はハラスメントでできている　：…
辛酸 なめ子／著 【駅から徒歩138億年】 駅から徒歩138億年
岡田 悠／著 【遠慮深いうたた寝続】 遠慮深いうたた寝続
小川 洋子／著 【踊り場に立ち尽くす君と日比谷で陽に…】 踊り場に立ち尽くす君と日比谷で陽に…
金原 ひとみ／著 【旅ドロップ [全3]　：　拡大…3】 旅ドロップ [全3]　：　拡大…3
江國 香織／著 【旅ドロップ [全3]　：　拡大…2】 旅ドロップ [全3]　：　拡大…2
江國 香織／著 【旅ドロップ [全3]　：　拡大…1】 旅ドロップ [全3]　：　拡大…1
江國 香織／著 【小説のように家を建てる】 小説のように家を建てる
吉川 トリコ／著 【煌めくポリフォニー　：　わたしの母…】 煌めくポリフォニー　：　わたしの母…
温 又柔／著 【旅は老母とともに】 旅は老母とともに
伊藤 礼／著 【ナモナキ生活はつづく】 ナモナキ生活はつづく
寺地 はるな／著 【吾も老の花】 吾も老の花
阿川 佐和子／著 【筒井康隆エッセイ集成1】 筒井康隆エッセイ集成1
筒井 康隆／著,… 【私は私に私が日記をつけていることを…】 私は私に私が日記をつけていることを…
古賀 及子／著

書誌詳細

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

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

(他の紹介)内容紹介 儲かる会社を作りたければカネを借りまくり、法人税を多く払え！税理士やコンサルタントが絶対に教えてくれない「企業とカネ」の正しい考え方。
(他の紹介)目次 第１章　「節税・無借金」が優良企業だというのは大きな間違い（経営で最も大切なことは会社を潰さないこと
あっけなく倒産する「健全経営」の会社　ほか）
第２章　中小企業を本当に脅かす１２のリスク（現金不足
賠償金　ほか）
第３章　カネは借りまくれ！「戦略的信用創造」を目指す（日本に生まれただけで宝くじ１等に当たったようなもの
「信用」を早く増やすための戦略とは　ほか）
第４章　法人税を払いまくれ！可能な限り資本を増加させる（「節税屋」とは
今さら聞けない節税と脱税の違い　ほか）
第５章　自社の「信用」をお金に換えるのが経営の本質（値付けが最も大切
売値を決めてコストを削る　ほか）
付録　これから起業する人へのアドバイス
(他の紹介)著者紹介 久保 龍太郎
　Ｑｖｏｕ（キューボー）代表取締役。生命保険・損害保険の取り扱い、太陽光発電、リノベーションなど多岐にわたる事業を手掛けている。１９８１年１２月１６日生まれ、兵庫県神戸市出身(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

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

本文はここまでです。

ページの終わりです。