蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
| No. |
所蔵館 |
資料番号 |
請求記号 |
配架場所 |
所蔵棚番号 |
資料種別 |
帯出区分 |
状態 |
付録 |
貸出
|
| 1 |
南区民 | 6113208828 | J/ﾊ/4 | 図書室 | | 絵本 | 一般貸出 | 貸出中 | |
× |
| 2 |
菊水元町 | 4313155758 | J/ﾊ/4 | 図書室 | | 絵本 | 一般貸出 | 貸出中 | |
× |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
かわいく<なく>てごめん ： お悩…
小林 深雪／作,…
はたらく細胞公式レシピBOOK ：…
伊藤 明子／監修…
かわいく<なく>てごめん ： 恋と…
小林 深雪／作,…
絵本はたらく細胞6
清水 茜／原作,…
絵本うたうからだのふしぎ
川原 繁人／作,…
ララの魔法のベーカリー[4]
小林 深雪／作,…
絵本はたらく細胞5
清水 茜／原作,…
ララの魔法のベーカリー[3]
小林 深雪／作,…
ララの魔法のベーカリー[2]
小林 深雪／作,…
作家になりたい!12
小林 深雪／作,…
ララの魔法のベーカリー[1]
小林 深雪／作,…
絵本はたらく細胞3
清水 茜／原作,…
作家になりたい!11
小林 深雪／作,…
絵本はたらく細胞2
清水 茜／原作,…
作家になりたい!10
小林 深雪／作,…
はたらく細胞06
清水 茜／著
はたらく細胞
清水 茜／原作・…
はたらく細胞
清水 茜／原作・…
作家になりたい!9
小林 深雪／作,…
絵本はたらく細胞[1]
清水 茜／原作,…
「はたらく細胞」ウイルスの教科書
清水 茜／メイン…
作家になりたい!8
小林 深雪／作,…
はたらく細胞BABY2
福田 泰宏／漫画…
小説はたらく細胞3
清水 茜／原作・…
作家になりたい!7
小林 深雪／作,…
はたらく細胞BABY1
福田 泰宏／漫画…
作家になりたい!6
小林 深雪／作,…
未来を花束にして
小林 深雪／[著…
小説はたらく細胞2
清水 茜／原作・…
よくわかる!「はたらく細胞」細胞の…
清水 茜／メイン…
作家になりたい!5
小林 深雪／作,…
これが恋かな?Case2
小林 深雪／作,…
作家になりたい!4
小林 深雪／作,…
七つのおまじない
小林 深雪／作,…
七つのおまじない
小林 深雪／作,…
はたらく細胞公式コミックガイド
清水 茜／監修,…
小説はたらく細胞[1]
清水 茜／原作・…
これが恋かな?Case1
小林 深雪／作,…
作家になりたい!3
小林 深雪／作,…
蘭の花が咲いたら
小林 深雪／[著…
はたらく細胞05
清水 茜／著
作家になりたい!2
小林 深雪／作,…
はたらく細胞05
清水 茜／著
作家になりたい!1
小林 深雪／作,…
未来への扉
小林 深雪／[著…
はたらく細胞04
清水 茜／著
魔法の一瞬で好きになる
小林 深雪／作,…
もしきみが泣いたら
小林 深雪／作,…
もしきみが泣いたら
小林 深雪／作,…
はたらく細胞03
清水 茜／著
前へ
次へ
血液型でわかる病気とケガのリスク
深瀬 浩一／著
血液疾患最新の治…2026-2028
松村 到／編集,…
Case studyで学ぶ犬と猫の…
森下 啓太郎／著
血液製剤の考え方,使い方
大久保 光夫／著
小児血液疾患診療マニュアル
山本 将平／編著…
はたらく細胞公式レシピBOOK ：…
伊藤 明子／監修…
血液内科ただいま診断中!
渡邉 純一／著
血液型性格心理学大全 ： 科学的証…
山岡 重行／編著…
絵本はたらく細胞6
清水 茜／原作,…
図解眠れなくなるほど面白い血管・血…
栗原 毅／著,栗…
てきぱきはたらくちのひみつ
木村 倫子／絵,…
採血ってなぁに? ： コロとカラの…
村田 友梨／さく…
絵本はたらく細胞5
清水 茜／原作,…
よくわかる犬と猫の血液検査
中村 知尋／著,…
カルテがないC型肝炎患者の闘い ：…
カルテがないC型…
1日1杯血液のおそうじスープ ： …
栗原 毅／著
ここが知りたい!血液疾患診療ハンド…
神田 善伸／編集
フローチャートでわかる犬と猫の血液…
Ignacio …
牛の血液検査学 ： よくわかる・得…
水谷 尚／著
絵本はたらく細胞3
清水 茜／原作,…
消えるB型 ： 心理学者様へ
山上 一／著
瘀血をとって若返る! ： 体内の「…
石井 正光／著
絵本はたらく細胞2
清水 茜／原作,…
絵本はたらく細胞[1]
清水 茜／原作,…
脳血流量は語る ： かくれた謎をひ…
菅野 巖／著
こういうことだったのか!!ECMO…
小尾口 邦彦／著
がんの原因は汚血の爆発にある
蔡 篤俊／著
未来型血液治療学
小松 則夫／編集
血液疾患最新の治…2020-2022
中尾 眞二／編集…
パラドクスとしての薬害エイズ ： …
種田 博之／著
血液病レジデントマニュアル
神田 善伸／著
人とどうぶつの血液型
近江 俊徳／編著
消えるB型 ： もしも西郷どんがB…
山上 一／著
病気の原因は汚血にある ： アトピ…
蔡 篤俊／著
よくわかる血液内科
萩原 將太郎／執…
輸血学・血液学小事典
大坂 顯通／著
ぜんぶわかる血液・免疫の事典 ： …
奈良 信雄／監修
オドロキ!血液型占い大じてん ： …
マーク・矢崎治信…
血液疾患診療ハンドブック ： 診療…
吉田 彌太郎／編
人生が変わる!恋する血液型 ： 恋…
ABO血液型がわかる科学
山本 文一郎／著
「流せる人」は人生もうまくいく
小林 弘幸／著
血液型で分かる病気のリスク
永田 宏／著
血液型で分かるなりやすい病気・なり…
永田 宏／著
AB型男の取扱説明書(トリセツ)
神田 和花／著,…
A型さんダイエット ： 農耕民族タ…
中島 旻保／著
B型さんダイエット ： 遊牧民族タ…
中島 旻保／著
B型自分の説明書続
Jamais J…
O型自分の説明書続
Jamais J…
AB型自分の説明書続
Jamais J…
前へ
次へ
書誌詳細
この資料の書誌詳細情報です。
| タイトルコード |
1008000910659 |
| 書誌種別 |
図書 |
| 書名 |
コンピュータは数学者になれるのか? 数学基礎論から証明とプログラムの理論へ |
| 書名ヨミ |
コンピュータ ワ スウガクシャ ニ ナレル ノカ |
| 著者名 |
照井 一成／著
|
| 著者名ヨミ |
テルイ カズシゲ |
| 出版者 |
青土社
|
| 出版年月 |
2015.3 |
| ページ数 |
357p |
| 大きさ |
20cm |
| 分類記号 |
410.96
|
| 分類記号 |
410.96
|
| ISBN |
4-7917-6851-6 |
| 内容紹介 |
19世紀末に興った数学基礎論と、20世紀中盤にそこから分岐したコンピュータ科学とを貫く物語。不完全性定理、無矛盾性証明、P対NP問題、カリー・ハワード対応といった多様な話題を取り上げる。 |
| 著者紹介 |
1971年生まれ。慶應義塾大学大学院文学研究科修了。国立情報学研究所助手・助教授などを経て、京都大学数理解析研究所准教授。専門は数理論理学。 |
| 件名 |
記号論理学 |
| 言語区分 |
日本語 |
| (他の紹介)内容紹介 |
夏のあつさでぐったりしたからだを元気づけようと、細胞たちはおおいそがし。そんなときにかぎって、いじわるな敵があらわれて…。どれから読んでも楽しめる。大人気コミックの絵本第４弾！病気と健康のしくみが学べるコラムや、細胞めいろあそびも収録！！小学初級から。 |
| (他の紹介)著者紹介 |
清水 茜
１９９４年、東京都生まれ。第２７回少年シリウス新人賞にて大賞を受賞。月刊少年シリウスにて『はたらく細胞』を連載(本データはこの書籍が刊行された当時に掲載されていたものです)
牧村 久実
６月１３日生まれ。双子座のＡ型。東京都出身。デビュー以来、多くの漫画、さし絵を手がける(本データはこの書籍が刊行された当時に掲載されていたものです) |
内容細目表
前のページへ
