検索結果書誌詳細

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

蔵書情報

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

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

書誌情報

書名

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

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

この資料に対する操作

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

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

  

この資料に対する操作

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

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

資料情報

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

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

関連資料

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

1975
【かいじゅうたちのいるところ】 かいじゅうたちのいるところ
モーリス・センダ… 【めがねうさぎ】 めがねうさぎ
せな けいこ／作… 【バーバパパのいえさがし】 バーバパパのいえさがし
アネット=チゾン… 【アレクサンダとぜんまいねずみ　：　…】 アレクサンダとぜんまいねずみ　：　…
レオ・レオニ／作… 【やさしいライオン】 やさしいライオン
やなせ たかし／… 【ろくべえ まってろよ】 ろくべえ まってろよ
灰谷 健次郎／作… 【それいけ!アンパンマン】 それいけ!アンパンマン
やなせ たかし／… 【くずかごおばけ】 くずかごおばけ
せな　けいこ／文… 【くずかごおばけ】 くずかごおばけ
せな けいこ／[… 【くまのコールテンくん】 くまのコールテンくん
ドン＝フリーマン… 【つきのぼうや】 つきのぼうや
イブ・スパング・… 【あいうえおの き　：　ちからを あ…】 あいうえおの き　：　ちからを あ…
レオ・レオニ／作… 【はだしのゲン　：　〔コミック…第１巻】 はだしのゲン　：　〔コミック…第１巻
中沢　啓治／著 【はだしのゲン　：　〔コミック…第２巻】 はだしのゲン　：　〔コミック…第２巻
中沢　啓治／著 【はだしのゲン　：　〔コミック…第３巻】 はだしのゲン　：　〔コミック…第３巻
中沢　啓治／著 【ひとあしひとあし　：　なんでもはか…】 ひとあしひとあし　：　なんでもはか…
レオ・レオニ／作… 【はだしのゲン　：　〔コミック…第４巻】 はだしのゲン　：　〔コミック…第４巻
中沢　啓治／著 【はたらくじどうしゃ　：　まちなか…2】 はたらくじどうしゃ　：　まちなか…2
山本 忠敬／さく… 【ロージーのおさんぽ】 ロージーのおさんぽ
パット・ハッチン… 【ロージーのおさんぽ】 ロージーのおさんぽ
パット・ハッチン… 【てんぐとかっぱとかみなりどん】 てんぐとかっぱとかみなりどん
かこ　さとし／作… 【たんたのたんてい】 たんたのたんてい
中川 李枝子／さ… 【ティッチ】 ティッチ
パット・ハッチン… 【じぶんだけの　いろ】 じぶんだけの　いろ
レオ・レオニ／作… 【かえるがみえる】 かえるがみえる
まつおか きょう… 【くまのコールテンくん】 くまのコールテンくん
ドン=フリーマン… 【ひとあしひとあし　：　なんでも　は…】 ひとあしひとあし　：　なんでも　は…
レオ・レオニ／文… 【ちびっこ ちびおに】 ちびっこ ちびおに
わかやま けん／… 【まりーちゃんのくりすます】 まりーちゃんのくりすます
フランソワーズ／… 【鬼平犯科帳3】 鬼平犯科帳3
池波 正太郎／著 【ぞうのボタン】 ぞうのボタン
うえの のりこ／… 【地球　：　その中をさぐろう】 地球　：　その中をさぐろう
加古　里子／ぶん… 【かさ】 かさ
太田 大八／作・… 【鬼平犯科帳2】 鬼平犯科帳2
池波 正太郎／著 【あかいかさ】 あかいかさ
ロバート・ブライ… 【スイッチョねこ】 スイッチョねこ
大仏 次郎／[著… 【ぶんぶんぶるるん】 ぶんぶんぶるるん
バイロン・バート… 【3びきのくま】 3びきのくま
ポール・ガルドン… 【かぞえて　みよう】 かぞえて　みよう
安野　光雅／作・… 【おとうさんだいすき　：　新のりもの…】 おとうさんだいすき　：　新のりもの…
司　修／作絵 【ブラック・ジャック６】 ブラック・ジャック６
手塚　治虫／著 【いちご】 いちご
新宮 晋／[作]… 【ブラック・ジャック５】 ブラック・ジャック５
手塚　治虫／著 【クリスマスのものがたり】 クリスマスのものがたり
フェリクス・ホフ… 【おひさまときたかぜ】 おひさまときたかぜ
西村　繁男／画 【夏休み昆虫のかんさつ】 夏休み昆虫のかんさつ
小田　英智／文 【太陽へとぶ矢　：　インディアンにつ…】 太陽へとぶ矢　：　インディアンにつ…
ジェラルド・マク… 【伽倻子のために】 伽倻子のために
李 恢成／著 【空海の風景上巻】 空海の風景上巻
司馬 遼太郎／著 【ふたりのロッテ】 ふたりのロッテ
エーリヒ・ケスト…
1975
【かいじゅうたちのいるところ】 かいじゅうたちのいるところ
モーリス・センダ… 【めがねうさぎ】 めがねうさぎ
せな けいこ／作… 【バーバパパのいえさがし】 バーバパパのいえさがし
アネット=チゾン… 【アレクサンダとぜんまいねずみ　：　…】 アレクサンダとぜんまいねずみ　：　…
レオ・レオニ／作… 【やさしいライオン】 やさしいライオン
やなせ たかし／… 【ろくべえ まってろよ】 ろくべえ まってろよ
灰谷 健次郎／作… 【それいけ!アンパンマン】 それいけ!アンパンマン
やなせ たかし／… 【くずかごおばけ】 くずかごおばけ
せな　けいこ／文… 【くずかごおばけ】 くずかごおばけ
せな けいこ／[… 【くまのコールテンくん】 くまのコールテンくん
ドン＝フリーマン… 【つきのぼうや】 つきのぼうや
イブ・スパング・… 【あいうえおの き　：　ちからを あ…】 あいうえおの き　：　ちからを あ…
レオ・レオニ／作… 【はだしのゲン　：　〔コミック…第１巻】 はだしのゲン　：　〔コミック…第１巻
中沢　啓治／著 【はだしのゲン　：　〔コミック…第２巻】 はだしのゲン　：　〔コミック…第２巻
中沢　啓治／著 【はだしのゲン　：　〔コミック…第３巻】 はだしのゲン　：　〔コミック…第３巻
中沢　啓治／著 【ひとあしひとあし　：　なんでもはか…】 ひとあしひとあし　：　なんでもはか…
レオ・レオニ／作… 【はだしのゲン　：　〔コミック…第４巻】 はだしのゲン　：　〔コミック…第４巻
中沢　啓治／著 【はたらくじどうしゃ　：　まちなか…2】 はたらくじどうしゃ　：　まちなか…2
山本 忠敬／さく… 【ロージーのおさんぽ】 ロージーのおさんぽ
パット・ハッチン… 【ロージーのおさんぽ】 ロージーのおさんぽ
パット・ハッチン… 【てんぐとかっぱとかみなりどん】 てんぐとかっぱとかみなりどん
かこ　さとし／作… 【たんたのたんてい】 たんたのたんてい
中川 李枝子／さ… 【ティッチ】 ティッチ
パット・ハッチン… 【じぶんだけの　いろ】 じぶんだけの　いろ
レオ・レオニ／作… 【かえるがみえる】 かえるがみえる
まつおか きょう… 【くまのコールテンくん】 くまのコールテンくん
ドン=フリーマン… 【ひとあしひとあし　：　なんでも　は…】 ひとあしひとあし　：　なんでも　は…
レオ・レオニ／文… 【ちびっこ ちびおに】 ちびっこ ちびおに
わかやま けん／… 【まりーちゃんのくりすます】 まりーちゃんのくりすます
フランソワーズ／… 【鬼平犯科帳3】 鬼平犯科帳3
池波 正太郎／著 【ぞうのボタン】 ぞうのボタン
うえの のりこ／… 【地球　：　その中をさぐろう】 地球　：　その中をさぐろう
加古　里子／ぶん… 【かさ】 かさ
太田 大八／作・… 【鬼平犯科帳2】 鬼平犯科帳2
池波 正太郎／著 【あかいかさ】 あかいかさ
ロバート・ブライ… 【スイッチョねこ】 スイッチョねこ
大仏 次郎／[著… 【ぶんぶんぶるるん】 ぶんぶんぶるるん
バイロン・バート… 【3びきのくま】 3びきのくま
ポール・ガルドン… 【かぞえて　みよう】 かぞえて　みよう
安野　光雅／作・… 【おとうさんだいすき　：　新のりもの…】 おとうさんだいすき　：　新のりもの…
司　修／作絵 【ブラック・ジャック６】 ブラック・ジャック６
手塚　治虫／著 【いちご】 いちご
新宮 晋／[作]… 【ブラック・ジャック５】 ブラック・ジャック５
手塚　治虫／著 【クリスマスのものがたり】 クリスマスのものがたり
フェリクス・ホフ… 【おひさまときたかぜ】 おひさまときたかぜ
西村　繁男／画 【夏休み昆虫のかんさつ】 夏休み昆虫のかんさつ
小田　英智／文 【太陽へとぶ矢　：　インディアンにつ…】 太陽へとぶ矢　：　インディアンにつ…
ジェラルド・マク… 【伽倻子のために】 伽倻子のために
李 恢成／著 【空海の風景上巻】 空海の風景上巻
司馬 遼太郎／著 【ふたりのロッテ】 ふたりのロッテ
エーリヒ・ケスト…
410.4 　410.4
【はみだし数学のすすめ】 はみだし数学のすすめ
森　毅／著 【北海道の算数ものがたり】 北海道の算数ものがたり
北海道の算数もの… 【数学と　ユーモア】 数学と　ユーモア
ジョン・Ａ・パウ… 【数学小景】 数学小景
高木　貞治／著 【数学おぼえ書き】 数学おぼえ書き
矢野　健太郎／著 【数学のある風景】 数学のある風景
森　毅／著 【メイトリックス博士の驚異の数秘術】 メイトリックス博士の驚異の数秘術
マーチン・ガード… 【数学切りぬき帳】 数学切りぬき帳
矢野　健太郎／著 【数学のきずな】 数学のきずな
遠山　啓／〔共〕… 【数学の窓】 数学の窓
秋月　康夫／〔ほ… 【正田建次郎先生】 正田建次郎先生
正田建次郎先生エ… 【文化の中の数学】 文化の中の数学
森　毅／著 【数理と発想】 数理と発想
草場　公邦／著 【数学とエロチシズム】 数学とエロチシズム
広中　平祐／〔共… 【数学者の手帖】 数学者の手帖
矢野　健太郎／著 【人間社会と数学　：　数のはなし】 人間社会と数学　：　数のはなし
仲田　紀夫／著 【数の直観にはじまる　：　日本の科学…】 数の直観にはじまる　：　日本の科学…
 【人間と数学】 人間と数学
赤　摂也／〔共〕… 【続　数理のめがね】 続　数理のめがね
坪井　忠二／著 【数学と文化】 数学と文化
森　毅／著 【数学の雑記帳】 数学の雑記帳
矢野　健太郎／著 【数学あらべすく】 数学あらべすく
矢野　健太郎／著 【数学についての三つの対話】 数学についての三つの対話
アルフレッド・レ… 【数学ずいひつ】 数学ずいひつ
矢野　健太郎／著 【数理の散策】 数理の散策
高橋　秀俊／著 【余暇の数学　：　生活のなかの数学シ…】 余暇の数学　：　生活のなかの数学シ…
菅波　三郎／著 【このごろの数学】 このごろの数学
小野　勝次／著 【変化をとらえる数学】 変化をとらえる数学
仲田　紀夫／著 【数学の散歩道】 数学の散歩道
矢野　健太郎／著 【暮らしのなかの　数】 暮らしのなかの　数
三上　操／著 【数学の思想】 数学の思想
村田　全／共著,… 【数の世界】 数の世界
矢野　健太郎／著 【数学と社会と教育】 数学と社会と教育
遠山　啓／著 【社会人の数学】 社会人の数学
高野　一夫／著 【数学・教育・コンピュータ】 数学・教育・コンピュータ
ジョン・ケメニー… 【数学を鑑賞する】 数学を鑑賞する
ハンス・フロイデ… 【数学の影絵】 数学の影絵
吉田　洋一／著 【数理のめがね】 数理のめがね
坪井　忠二／著 【数学茶話】 数学茶話
吉岡　修一郎／著 【数学の広場】 数学の広場
矢野　健太郎／著 【数学ノートブック】 数学ノートブック
矢野　健太郎／著 【数学的な見方考え方】 数学的な見方考え方
高野　一夫／著 【数学のすすめ　：　現代人の数学入門】 数学のすすめ　：　現代人の数学入門
矢野　健太郎／著 【怠け者の算数】 怠け者の算数
矢野　健太郎／著 【続・　茶の間の数学】 続・　茶の間の数学
笹部　貞市郎／著 【茶の間の数学】 茶の間の数学
笹部　貞市郎／著 【数学うらばなし】 数学うらばなし
矢野　健太郎／著 【東西数学物語】 東西数学物語
平山　諦／著 【右と左】 右と左
矢野　健太郎／著

書誌詳細

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

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

(他の紹介)内容紹介 不動産売買、担保設定、農地法の許可、国土利用計画法上の届出、登記申請まで。基本事項と実務書式を１冊に集約。最新の法改正に対応！
(他の紹介)目次 第１章　不動産売買契約書作成の仕方（不動産売買をめぐる法律の基本
国土利用計画法の届出が必要な場合　ほか）
第２章　不動産登記の法律と手続き（不動産登記のしくみ
不動産登記法の改正　ほか）
第３章　土地建物売買契約の書式（一般的な土地の売買契約書
建物の売買契約書　ほか）
第４章　担保の設定・実行と執行・任意売却の書式（一般的な担保設定契約書
担保権の実行に関わる書式　ほか）
第５章　売買に関するその他の法律と書式（土地の売却委任や販売提携・管理などの書式）
(他の紹介)著者紹介 旭 祐樹
　１９８２年生まれ。大阪府出身。認定司法書士（大阪司法書士会所属）。近畿大学法学部法律学科卒業。子どもの頃の経験から司法書士をめざす。大阪の司法書士事務所勤務を経て、司法書士あさひ事務所を開設(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

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

本文はここまでです。

ページの終わりです。