検索結果書誌詳細

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

蔵書情報

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

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

書誌情報

書名

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

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

この資料に対する操作

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

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

  

この資料に対する操作

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

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

資料情報

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

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

関連資料

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

2016
【きえた!?かいけつゾロリ】 きえた!?かいけつゾロリ
原 ゆたか／さく… 【ナイトサファリのサバイバル　：　…1】 ナイトサファリのサバイバル　：　…1
ゴムドリco.／… 【りゆうがあります】 りゆうがあります
ヨシタケ シンス… 【ナイトサファリのサバイバル　：　…2】 ナイトサファリのサバイバル　：　…2
ゴムドリco.／… 【地中世界のサバイバル　：　生き残…1】 地中世界のサバイバル　：　生き残…1
スウィートファク… 【ふまんがあります】 ふまんがあります
ヨシタケ シンス… 【かいけつゾロリのようかい大うんどう…】 かいけつゾロリのようかい大うんどう…
原 ゆたか／さく… 【鍵のない夢を見る】 鍵のない夢を見る
辻村 深月／著 【地中世界のサバイバル　：　生き残…2】 地中世界のサバイバル　：　生き残…2
スウィートファク… 【大気汚染のサバイバル　：　生き残り…】 大気汚染のサバイバル　：　生き残り…
スウィートファク… 【七十歳死亡法案、可決】 七十歳死亡法案、可決
垣谷 美雨／[著… 【何者】 何者
朝井 リョウ／著 【コーヒーが冷めないうちに】 コーヒーが冷めないうちに
川口 俊和／著 【アンコール・ワットのサバイバル　…1】 アンコール・ワットのサバイバル　…1
洪 在徹／文,文… 【アルジャーノンに花束を】 アルジャーノンに花束を
ダニエル・キイス… 【おばけのマールとみんなのとしょかん】 おばけのマールとみんなのとしょかん
なかい れい／え… 【そらまめくんのあたらしいベッド】 そらまめくんのあたらしいベッド
なかや みわ／さ… 【ドラえもん社会ワールド憲法って何だ…】 ドラえもん社会ワールド憲法って何だ…
藤子・F・不二雄… 【じゃあじゃあびりびり】 じゃあじゃあびりびり
まつい のりこ／… 【起終点駅(ターミナル)】 起終点駅(ターミナル)
桜木 紫乃／著 【マカン・マラン　：　二十三時の夜食…】 マカン・マラン　：　二十三時の夜食…
古内 一絵／著 【ふしぎ駄菓子屋銭天堂4】 ふしぎ駄菓子屋銭天堂4
廣嶋 玲子／作,… 【バスのたび】 バスのたび
工藤 ノリコ／[… 【反応しない練習　：　あらゆる悩みが…】 反応しない練習　：　あらゆる悩みが…
草薙 龍瞬／著 【ドラえもん科学ワールドエネルギーの…】 ドラえもん科学ワールドエネルギーの…
藤子・F・不二雄… 【虚像の道化師】 虚像の道化師
東野 圭吾／著 【蓮花の契り　：　出世花】 蓮花の契り　：　出世花
高田 郁／著 【薬屋のひとりごと4】 薬屋のひとりごと4
日向 夏／[著] 【水の国の迷路　：　水族館から川、海…】 水の国の迷路　：　水族館から川、海…
香川 元太郎／作… 【へんしんマーケット】 へんしんマーケット
あきやま ただし… 【ジャッキーつきへいく】 ジャッキーつきへいく
あだち なみ／絵… 【整理整頓】 整理整頓
入江 久絵／マン… 【ママがおばけになっちゃった!】 ママがおばけになっちゃった!
のぶみ／さく 【やさしさとおもいやり】 やさしさとおもいやり
宮西 達也／作絵 【螢草】 螢草
葉室 麟／著 【ドラえもん社会ワールド政治のしくみ】 ドラえもん社会ワールド政治のしくみ
藤子・F・不二雄… 【リバース】 リバース
湊 かなえ／著 【ばけばけばけばけば…たんじょうびの巻】 ばけばけばけばけば…たんじょうびの巻
岩田 明子／ぶん… 【お金のこと】 お金のこと
関 和之／マンガ… 【す〜べりだい】 す〜べりだい
鈴木 のりたけ／… 【メリークリスマス、ペネロペ!】 メリークリスマス、ペネロペ!
アン・グットマン… 【ラスト・コード】 ラスト・コード
堂場 瞬一／著 【おはよう!しゅうしゅうしゃ】 おはよう!しゅうしゅうしゃ
竹下 文子／作,… 【桜舞う】 桜舞う
あさの あつこ／… 【つんつくせんせいとかさじぞう】 つんつくせんせいとかさじぞう
たかどの ほうこ… 【欠落】 欠落
今野 敏／[著] 【烏は主を選ばない】 烏は主を選ばない
阿部 智里／著 【友だち関係　：　自分と仲良く】 友だち関係　：　自分と仲良く
藤 美沖／マンガ… 【朝が来る】 朝が来る
辻村 深月／著 【ニュータウンは黄昏れて】 ニュータウンは黄昏れて
垣谷 美雨／著
2016
【きえた!?かいけつゾロリ】 きえた!?かいけつゾロリ
原 ゆたか／さく… 【ナイトサファリのサバイバル　：　…1】 ナイトサファリのサバイバル　：　…1
ゴムドリco.／… 【りゆうがあります】 りゆうがあります
ヨシタケ シンス… 【ナイトサファリのサバイバル　：　…2】 ナイトサファリのサバイバル　：　…2
ゴムドリco.／… 【地中世界のサバイバル　：　生き残…1】 地中世界のサバイバル　：　生き残…1
スウィートファク… 【ふまんがあります】 ふまんがあります
ヨシタケ シンス… 【かいけつゾロリのようかい大うんどう…】 かいけつゾロリのようかい大うんどう…
原 ゆたか／さく… 【鍵のない夢を見る】 鍵のない夢を見る
辻村 深月／著 【地中世界のサバイバル　：　生き残…2】 地中世界のサバイバル　：　生き残…2
スウィートファク… 【大気汚染のサバイバル　：　生き残り…】 大気汚染のサバイバル　：　生き残り…
スウィートファク… 【七十歳死亡法案、可決】 七十歳死亡法案、可決
垣谷 美雨／[著… 【何者】 何者
朝井 リョウ／著 【コーヒーが冷めないうちに】 コーヒーが冷めないうちに
川口 俊和／著 【アンコール・ワットのサバイバル　…1】 アンコール・ワットのサバイバル　…1
洪 在徹／文,文… 【アルジャーノンに花束を】 アルジャーノンに花束を
ダニエル・キイス… 【おばけのマールとみんなのとしょかん】 おばけのマールとみんなのとしょかん
なかい れい／え… 【そらまめくんのあたらしいベッド】 そらまめくんのあたらしいベッド
なかや みわ／さ… 【ドラえもん社会ワールド憲法って何だ…】 ドラえもん社会ワールド憲法って何だ…
藤子・F・不二雄… 【じゃあじゃあびりびり】 じゃあじゃあびりびり
まつい のりこ／… 【起終点駅(ターミナル)】 起終点駅(ターミナル)
桜木 紫乃／著 【マカン・マラン　：　二十三時の夜食…】 マカン・マラン　：　二十三時の夜食…
古内 一絵／著 【ふしぎ駄菓子屋銭天堂4】 ふしぎ駄菓子屋銭天堂4
廣嶋 玲子／作,… 【バスのたび】 バスのたび
工藤 ノリコ／[… 【反応しない練習　：　あらゆる悩みが…】 反応しない練習　：　あらゆる悩みが…
草薙 龍瞬／著 【ドラえもん科学ワールドエネルギーの…】 ドラえもん科学ワールドエネルギーの…
藤子・F・不二雄… 【虚像の道化師】 虚像の道化師
東野 圭吾／著 【蓮花の契り　：　出世花】 蓮花の契り　：　出世花
高田 郁／著 【薬屋のひとりごと4】 薬屋のひとりごと4
日向 夏／[著] 【水の国の迷路　：　水族館から川、海…】 水の国の迷路　：　水族館から川、海…
香川 元太郎／作… 【へんしんマーケット】 へんしんマーケット
あきやま ただし… 【ジャッキーつきへいく】 ジャッキーつきへいく
あだち なみ／絵… 【整理整頓】 整理整頓
入江 久絵／マン… 【ママがおばけになっちゃった!】 ママがおばけになっちゃった!
のぶみ／さく 【やさしさとおもいやり】 やさしさとおもいやり
宮西 達也／作絵 【螢草】 螢草
葉室 麟／著 【ドラえもん社会ワールド政治のしくみ】 ドラえもん社会ワールド政治のしくみ
藤子・F・不二雄… 【リバース】 リバース
湊 かなえ／著 【ばけばけばけばけば…たんじょうびの巻】 ばけばけばけばけば…たんじょうびの巻
岩田 明子／ぶん… 【お金のこと】 お金のこと
関 和之／マンガ… 【す〜べりだい】 す〜べりだい
鈴木 のりたけ／… 【メリークリスマス、ペネロペ!】 メリークリスマス、ペネロペ!
アン・グットマン… 【ラスト・コード】 ラスト・コード
堂場 瞬一／著 【おはよう!しゅうしゅうしゃ】 おはよう!しゅうしゅうしゃ
竹下 文子／作,… 【桜舞う】 桜舞う
あさの あつこ／… 【つんつくせんせいとかさじぞう】 つんつくせんせいとかさじぞう
たかどの ほうこ… 【欠落】 欠落
今野 敏／[著] 【烏は主を選ばない】 烏は主を選ばない
阿部 智里／著 【友だち関係　：　自分と仲良く】 友だち関係　：　自分と仲良く
藤 美沖／マンガ… 【朝が来る】 朝が来る
辻村 深月／著 【ニュータウンは黄昏れて】 ニュータウンは黄昏れて
垣谷 美雨／著
366.28　366.28
【就労選択支援ガイドブック　：　就労…】 就労選択支援ガイドブック　：　就労…
前原 和明／編集 【職場で使える「虎の巻」　：　発達障…】 職場で使える「虎の巻」　：　発達障…
札幌市発達障がい… 【ルポ過労シニア　：　「高齢労働者」…】 ルポ過労シニア　：　「高齢労働者」…
若月 澪子／著 【ADHDの僕が苦手とされる事務にと…】 ADHDの僕が苦手とされる事務にと…
小鳥遊／著 【再雇用という働き方　：　ミドルシニ…】 再雇用という働き方　：　ミドルシニ…
坂本 貴志／著,… 【年商1億円!<目標>ばあちゃんビジ…】 年商1億円!<目標>ばあちゃんビジ…
大熊 充／著 【仕事に行ってきますプラス4】 仕事に行ってきますプラス4
季刊『コトノネ』… 【仕事に行ってきます18】 仕事に行ってきます18
 【仕事に行ってきます17】 仕事に行ってきます17
 【詳説障害者雇用促進法・障害者総合支…】 詳説障害者雇用促進法・障害者総合支…
永野 仁美／著,… 【図解でわかる障害者雇用と就労支援】 図解でわかる障害者雇用と就労支援
二本柳 覚／編著… 【発達障害・グレーゾーンかもしれない…】 発達障害・グレーゾーンかもしれない…
中村 郁／著 【仕事に行ってきます16】 仕事に行ってきます16
 【仕事に行ってきます15】 仕事に行ってきます15
 【仕事に行ってきますプラス3】 仕事に行ってきますプラス3
季刊『コトノネ』… 【1日1分読むだけで身につく定年前後…】 1日1分読むだけで身につく定年前後…
佐佐木 由美子／… 【成功する精神障害者雇用　：　受入準…】 成功する精神障害者雇用　：　受入準…
刎田 文記／著,… 【障害のある方と共に働く　：　人の可…】 障害のある方と共に働く　：　人の可…
汐中 義樹／著 【障害者雇用のすすめ】 障害者雇用のすすめ
古里 靖／著 【発達障害の人が「働きやすさ」を手に…】 発達障害の人が「働きやすさ」を手に…
土野 陵／著,益… 【仕事に行ってきますプラス2】 仕事に行ってきますプラス2
季刊『コトノネ』… 【定年前と定年後の働き方　：　サード…】 定年前と定年後の働き方　：　サード…
石山 恒貴／著 【仕事に行ってきます13】 仕事に行ってきます13
 【仕事に行ってきます14】 仕事に行ってきます14
 【社会を変えるスタートアップ　：　「…】 社会を変えるスタートアップ　：　「…
小野 貴也／著 【発達障害と仕事　：　自分らしく働く…】 発達障害と仕事　：　自分らしく働く…
銀河／著 【自閉スペクトラム症<ASD>社員だ…】 自閉スペクトラム症<ASD>社員だ…
マーシャ・シャイ… 【精神障害を生きる　：　就労を通して…】 精神障害を生きる　：　就労を通して…
駒澤 真由美／著 【ほんとうの定年後　：　「小さな仕事…】 ほんとうの定年後　：　「小さな仕事…
坂本 貴志／著 【発達障害フリーランス　：　属さない…】 発達障害フリーランス　：　属さない…
銀河／著 【ゼロから始める就労支援ガイドブック】 ゼロから始める就労支援ガイドブック
芳賀 大輔／編集… 【大人の発達障害「自分を知ること」「…】 大人の発達障害「自分を知ること」「…
今井 涼子／著 【障害者雇用のハンドブック　：　人事…】 障害者雇用のハンドブック　：　人事…
家永 勲／著,谷… 【仕事に行ってきますプラス1】 仕事に行ってきますプラス1
季刊『コトノネ』… 【すぐに役立つ図解とQ&Aでわかる最…】 すぐに役立つ図解とQ&Aでわかる最…
森島 大吾／監修 【仕事に行ってきます12】 仕事に行ってきます12
 【仕事に行ってきます11】 仕事に行ってきます11
 【中高年男性の働き方の未来】 中高年男性の働き方の未来
小島 明子／著 【9つの事例でわかる精神障害・発達障…】 9つの事例でわかる精神障害・発達障…
ボーン・クロイド… 【仕事だいじょうぶの本　：　職場の人…】 仕事だいじょうぶの本　：　職場の人…
北岡 祐子／著 【「こだわりさん」が強みを活かして働…】 「こだわりさん」が強みを活かして働…
銀河／著 【犯罪を起こした知的障がい者の就労と…】 犯罪を起こした知的障がい者の就労と…
瀧川 賢司／著 【現場からみる障害者の雇用と就労　：…】 現場からみる障害者の雇用と就労　：…
長谷川 珠子／著… 【仕事に行ってきます10】 仕事に行ってきます10
 【仕事に行ってきます9】 仕事に行ってきます9
 【老後レス社会　：　死ぬまで働かない…】 老後レス社会　：　死ぬまで働かない…
朝日新聞特別取材… 【発達障害の人のための就活ハック　：…】 発達障害の人のための就活ハック　：…
窪 貴志／著,高… 【高年齢者雇用安定法　：　社内規定・…】 高年齢者雇用安定法　：　社内規定・…
平井 彩／著,田… 【職場で使える「虎の巻」　：　発達障…】 職場で使える「虎の巻」　：　発達障…
札幌市発達障がい… 【障害者とともに働く】 障害者とともに働く
藤井 克徳／著,…
障害者雇用　社会的企業
【障がい者はノウフクでもっと輝ける!…】 障がい者はノウフクでもっと輝ける!…
高草 雄士／著 【3つのステップで成功!社会課題で新…】 3つのステップで成功!社会課題で新…
EYストラテジー… 【仕事に行ってきますプラス4】 仕事に行ってきますプラス4
季刊『コトノネ』… 【仕事に行ってきます18】 仕事に行ってきます18
 【仕事に行ってきます17】 仕事に行ってきます17
 【働くことの小さな革命　：　ルポ日本…】 働くことの小さな革命　：　ルポ日本…
工藤 律子／著 【図解でわかる障害者雇用と就労支援】 図解でわかる障害者雇用と就労支援
二本柳 覚／編著… 【ノウフク大全　：　農福連携技術支援…】 ノウフク大全　：　農福連携技術支援…
高草 雄士／著 【「ビッグイシュー」の社会学　：　ホ…】 「ビッグイシュー」の社会学　：　ホ…
八鍬 加容子／著 【働きがいをすべての人に農福連携を見…】 働きがいをすべての人に農福連携を見…
 【クリティカル・ビジネス・パラダイム…】 クリティカル・ビジネス・パラダイム…
山口 周／著 【仕事に行ってきます16】 仕事に行ってきます16
 【仕事に行ってきます15】 仕事に行ってきます15
 【仕事に行ってきますプラス3】 仕事に行ってきますプラス3
季刊『コトノネ』… 【温めれば、何度だってやり直せる　：…】 温めれば、何度だってやり直せる　：…
夏目 浩次／著 【成功する精神障害者雇用　：　受入準…】 成功する精神障害者雇用　：　受入準…
刎田 文記／著,… 【障害のある方と共に働く　：　人の可…】 障害のある方と共に働く　：　人の可…
汐中 義樹／著 【障害者雇用のすすめ】 障害者雇用のすすめ
古里 靖／著 【SDGs時代のソーシャル・イントラ…】 SDGs時代のソーシャル・イントラ…
本多 達也／著 【仕事に行ってきますプラス2】 仕事に行ってきますプラス2
季刊『コトノネ』… 【仕事に行ってきます13】 仕事に行ってきます13
 【仕事に行ってきます14】 仕事に行ってきます14
 【SDGsビジネスモデル図鑑　：　社…】 SDGsビジネスモデル図鑑　：　社…
深井 宣光／著 【自閉スペクトラム症<ASD>社員だ…】 自閉スペクトラム症<ASD>社員だ…
マーシャ・シャイ… 【障害者雇用のハンドブック　：　人事…】 障害者雇用のハンドブック　：　人事…
家永 勲／著,谷… 【仕事に行ってきますプラス1】 仕事に行ってきますプラス1
季刊『コトノネ』… 【仕事に行ってきます12】 仕事に行ってきます12
 【仕事に行ってきます11】 仕事に行ってきます11
 【社会的連帯経済　：　地域で社会のつ…】 社会的連帯経済　：　地域で社会のつ…
藤井 敦史／編著 【ファッションの仕事で世界を変える　…】 ファッションの仕事で世界を変える　…
白木 夏子／著 【インドビジネス　：　ラストワンマイ…】 インドビジネス　：　ラストワンマイ…
松本 勝男／著 【これからの「社会の変え方」を、探し…】 これからの「社会の変え方」を、探し…
 【9つの事例でわかる精神障害・発達障…】 9つの事例でわかる精神障害・発達障…
ボーン・クロイド… 【犯罪を起こした知的障がい者の就労と…】 犯罪を起こした知的障がい者の就労と…
瀧川 賢司／著 【現場からみる障害者の雇用と就労　：…】 現場からみる障害者の雇用と就労　：…
長谷川 珠子／著… 【仕事に行ってきます10】 仕事に行ってきます10
 【仕事に行ってきます9】 仕事に行ってきます9
 【発達障害の人のための就活ハック　：…】 発達障害の人のための就活ハック　：…
窪 貴志／著,高… 【地域の再生と多元的経済　：　イギリ…】 地域の再生と多元的経済　：　イギリ…
早尻 正宏／編著… 【障害者とともに働く】 障害者とともに働く
藤井 克徳／著,… 【精神障害・発達障害のある方とともに…】 精神障害・発達障害のある方とともに…
眞保 智子／編著 【発達障害の人の雇用と合理的配慮がわ…】 発達障害の人の雇用と合理的配慮がわ…
石井 京子／著,… 【高次脳機能障害のある方と働くための…】 高次脳機能障害のある方と働くための…
石井 京子／著,… 【会社を変える障害者雇用　：　人も組…】 会社を変える障害者雇用　：　人も組…
紺野 大輝／著 【デザインから考える障害者福祉　：　…】 デザインから考える障害者福祉　：　…
海老田 大五朗／… 【障がい者だからって、稼ぎがないと思…】 障がい者だからって、稼ぎがないと思…
姫路 まさのり／… 【仕事に行ってきます7】 仕事に行ってきます7
 【仕事に行ってきます6】 仕事に行ってきます6
 【仕事に行ってきます8】 仕事に行ってきます8
 【農福連携が農業と地域をおもしろくす…】 農福連携が農業と地域をおもしろくす…
吉田 行郷／著,…

書誌詳細

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

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

(他の紹介)内容紹介 多様な働く場の創出。障がい者、社会的弱者など誰もが働ける場をつくる社会的企業。内外の実例をもとに事業展開の必要性、可能性を提示する。
(他の紹介)目次 第１章　わが国の雇用問題とソーシャルファームの広がり
第２章　多様な働く場と機会の創出にあたって
第３章　「お金」だけのつながりから「信頼」でつながるビジネスへ
第４章　生活困窮者支援を通じた住みよい地域づくり
第５章　「地域」と「命」をつなぐソーシャルファームの実現へ
第６章　あくなき競争社会ではなく協力社会を目指して
第７章　更生保護と就労に向けた支援と農業のもつ可能性
第８章　ジャルダン・ド・コカーニュが取り組む未来社会への挑戦
第９章　地域づくりのジグソーパズル＝マスター図面は誰がもつ！？
メッセージ　ソーシャルファームを日仏で進展させていくために


内容細目表

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

本文はここまでです。

ページの終わりです。