検索結果書誌詳細

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

蔵書情報

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

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

書誌情報

書名

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

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

この資料に対する操作

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

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

  

この資料に対する操作

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

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

資料情報

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

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

関連資料

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

2015
【おつきみおばけ】 おつきみおばけ
せな けいこ／作… 【確証】 確証
今野 敏／著 【人魚の眠る家】 人魚の眠る家
東野 圭吾／著 【ふしぎ駄菓子屋銭天堂4】 ふしぎ駄菓子屋銭天堂4
廣嶋 玲子／作,… 【虚像の道化師】 虚像の道化師
東野 圭吾／著 【ふしぎ駄菓子屋銭天堂5】 ふしぎ駄菓子屋銭天堂5
廣嶋 玲子／作,… 【ドラえもん科学ワールドエネルギーの…】 ドラえもん科学ワールドエネルギーの…
藤子・F・不二雄… 【螢草】 螢草
葉室 麟／著 【ジャッキーつきへいく】 ジャッキーつきへいく
あだち なみ／絵… 【コロッケです。】 コロッケです。
西村 敏雄／[作… 【へんしんマーケット】 へんしんマーケット
あきやま ただし… 【メリークリスマス、ペネロペ!】 メリークリスマス、ペネロペ!
アン・グットマン… 【ドラえもん社会ワールド政治のしくみ】 ドラえもん社会ワールド政治のしくみ
藤子・F・不二雄… 【任俠病院】 任俠病院
今野 敏／著 【働かないの】 働かないの
群 ようこ／著 【お金のこと】 お金のこと
関 和之／マンガ… 【それを愛とは呼ばず】 それを愛とは呼ばず
桜木 紫乃／著 【つんつくせんせいとかさじぞう】 つんつくせんせいとかさじぞう
たかどの ほうこ… 【立身の陰】 立身の陰
上田 秀人／[著… 【暗い穴】 暗い穴
堂場 瞬一／著 【東京すみっこごはん[1]】 東京すみっこごはん[1]
成田 名璃子／著 【柳眉の角　：　文庫書下ろし/長編時…】 柳眉の角　：　文庫書下ろし/長編時…
上田 秀人／著 【ランディーとまほうのもり】 ランディーとまほうのもり
そら／さく・え 【操の護り　：　文庫書下ろし/長編時…】 操の護り　：　文庫書下ろし/長編時…
上田 秀人／著 【友だち関係　：　自分と仲良く】 友だち関係　：　自分と仲良く
藤 美沖／マンガ… 【ワン・モア】 ワン・モア
桜木 紫乃／[著… 【残り全部バケーション】 残り全部バケーション
伊坂 幸太郎／著 【服を買うなら、捨てなさい】 服を買うなら、捨てなさい
地曳 いく子／著 【閉門謹慎】 閉門謹慎
佐伯 泰英／著 【あの家に暮らす四人の女】 あの家に暮らす四人の女
三浦 しをん／著 【ケーキやけました】 ケーキやけました
彦坂 有紀／作,… 【烏は主を選ばない】 烏は主を選ばない
阿部 智里／著 【ちょっと今から仕事やめてくる】 ちょっと今から仕事やめてくる
北川 恵海／[著… 【ねことじいちゃん[1]】 ねことじいちゃん[1]
ねこまき／著 【わが心のジェニファー】 わが心のジェニファー
浅田 次郎／著 【店仕舞い】 店仕舞い
佐伯 泰英／著 【ブルーマーダー】 ブルーマーダー
誉田 哲也／著 【一路上】 一路上
浅田 次郎／著 【ふたりはおばけのふたご!?】 ふたりはおばけのふたご!?
むらい かよ／著 【ほんとうの贅沢】 ほんとうの贅沢
吉沢 久子／著 【お〜いシーモア!　：　スペシャルな…】 お〜いシーモア!　：　スペシャルな…
ウォルター・ウィ… 【ぼくらはヒーロー!】 ぼくらはヒーロー!
やなせ たかし／… 【恐竜トリケラトプスとテリジノサウル…】 恐竜トリケラトプスとテリジノサウル…
黒川 みつひろ／… 【友罪】 友罪
薬丸 岳／著 【一路下】 一路下
浅田 次郎／著 【微笑む人】 微笑む人
貫井 徳郎／著 【ほねほねザウルス14】 ほねほねザウルス14
カバヤ食品株式会… 【意次ノ妄　：　書き下ろし長編時代小…】 意次ノ妄　：　書き下ろし長編時代小…
佐伯 泰英／著 【犬の掟】 犬の掟
佐々木 譲／著 【過ぎ去りし王国の城】 過ぎ去りし王国の城
宮部 みゆき／著
2015
【おつきみおばけ】 おつきみおばけ
せな けいこ／作… 【確証】 確証
今野 敏／著 【人魚の眠る家】 人魚の眠る家
東野 圭吾／著 【ふしぎ駄菓子屋銭天堂4】 ふしぎ駄菓子屋銭天堂4
廣嶋 玲子／作,… 【虚像の道化師】 虚像の道化師
東野 圭吾／著 【ふしぎ駄菓子屋銭天堂5】 ふしぎ駄菓子屋銭天堂5
廣嶋 玲子／作,… 【ドラえもん科学ワールドエネルギーの…】 ドラえもん科学ワールドエネルギーの…
藤子・F・不二雄… 【螢草】 螢草
葉室 麟／著 【ジャッキーつきへいく】 ジャッキーつきへいく
あだち なみ／絵… 【コロッケです。】 コロッケです。
西村 敏雄／[作… 【へんしんマーケット】 へんしんマーケット
あきやま ただし… 【メリークリスマス、ペネロペ!】 メリークリスマス、ペネロペ!
アン・グットマン… 【ドラえもん社会ワールド政治のしくみ】 ドラえもん社会ワールド政治のしくみ
藤子・F・不二雄… 【任俠病院】 任俠病院
今野 敏／著 【働かないの】 働かないの
群 ようこ／著 【お金のこと】 お金のこと
関 和之／マンガ… 【それを愛とは呼ばず】 それを愛とは呼ばず
桜木 紫乃／著 【つんつくせんせいとかさじぞう】 つんつくせんせいとかさじぞう
たかどの ほうこ… 【立身の陰】 立身の陰
上田 秀人／[著… 【暗い穴】 暗い穴
堂場 瞬一／著 【東京すみっこごはん[1]】 東京すみっこごはん[1]
成田 名璃子／著 【柳眉の角　：　文庫書下ろし/長編時…】 柳眉の角　：　文庫書下ろし/長編時…
上田 秀人／著 【ランディーとまほうのもり】 ランディーとまほうのもり
そら／さく・え 【操の護り　：　文庫書下ろし/長編時…】 操の護り　：　文庫書下ろし/長編時…
上田 秀人／著 【友だち関係　：　自分と仲良く】 友だち関係　：　自分と仲良く
藤 美沖／マンガ… 【ワン・モア】 ワン・モア
桜木 紫乃／[著… 【残り全部バケーション】 残り全部バケーション
伊坂 幸太郎／著 【服を買うなら、捨てなさい】 服を買うなら、捨てなさい
地曳 いく子／著 【閉門謹慎】 閉門謹慎
佐伯 泰英／著 【あの家に暮らす四人の女】 あの家に暮らす四人の女
三浦 しをん／著 【ケーキやけました】 ケーキやけました
彦坂 有紀／作,… 【烏は主を選ばない】 烏は主を選ばない
阿部 智里／著 【ちょっと今から仕事やめてくる】 ちょっと今から仕事やめてくる
北川 恵海／[著… 【ねことじいちゃん[1]】 ねことじいちゃん[1]
ねこまき／著 【わが心のジェニファー】 わが心のジェニファー
浅田 次郎／著 【店仕舞い】 店仕舞い
佐伯 泰英／著 【ブルーマーダー】 ブルーマーダー
誉田 哲也／著 【一路上】 一路上
浅田 次郎／著 【ふたりはおばけのふたご!?】 ふたりはおばけのふたご!?
むらい かよ／著 【ほんとうの贅沢】 ほんとうの贅沢
吉沢 久子／著 【お〜いシーモア!　：　スペシャルな…】 お〜いシーモア!　：　スペシャルな…
ウォルター・ウィ… 【ぼくらはヒーロー!】 ぼくらはヒーロー!
やなせ たかし／… 【恐竜トリケラトプスとテリジノサウル…】 恐竜トリケラトプスとテリジノサウル…
黒川 みつひろ／… 【友罪】 友罪
薬丸 岳／著 【一路下】 一路下
浅田 次郎／著 【微笑む人】 微笑む人
貫井 徳郎／著 【ほねほねザウルス14】 ほねほねザウルス14
カバヤ食品株式会… 【意次ノ妄　：　書き下ろし長編時代小…】 意次ノ妄　：　書き下ろし長編時代小…
佐伯 泰英／著 【犬の掟】 犬の掟
佐々木 譲／著 【過ぎ去りし王国の城】 過ぎ去りし王国の城
宮部 みゆき／著
410.96　410.96
【数学教師が教えるやさしい論理学】 数学教師が教えるやさしい論理学
涌井 良幸／著 【はじめての数理論理学　：　証明を作…】 はじめての数理論理学　：　証明を作…
山田 俊行／著 【証明と論理に強くなる　：　論理式の…】 証明と論理に強くなる　：　論理式の…
小島 寛之／著 【万能コンピュータ　：　ライプニッツ…】 万能コンピュータ　：　ライプニッツ…
マーティン・デイ… 【学んでみよう!記号論理】 学んでみよう!記号論理
高崎 金久／著 【Ｉｎｃｏｍｐｌｅｔｅｎｅｓｓ　：　…】 Ｉｎｃｏｍｐｌｅｔｅｎｅｓｓ　：　…
Ｒｅｂｅｃｃａ　… 【フレーゲ入門　：　生涯と哲学の形成】 フレーゲ入門　：　生涯と哲学の形成
野本 和幸／著 【数学嫌いのためのコンピュータ論理学…】 数学嫌いのためのコンピュータ論理学…
マーティン・ディ… 【フレーゲ著作集6】 フレーゲ著作集6
G.フレーゲ／著 【数学の基礎体力をつけるためのろんり…】 数学の基礎体力をつけるためのろんり…
中内 伸光／著 【フレーゲ著作集2】 フレーゲ著作集2
G.フレーゲ／著 【フレーゲ著作集5】 フレーゲ著作集5
G.フレーゲ／著 【フレーゲ著作集3】 フレーゲ著作集3
G.フレーゲ／著 【The universal com…】 The universal com…
Martin D… 【フレーゲ著作集1】 フレーゲ著作集1
G.フレーゲ／著 【フレーゲ著作集4】 フレーゲ著作集4
G.フレーゲ／著 【ゲーデルは何を証明したか　：　数学…】 ゲーデルは何を証明したか　：　数学…
E.ナーゲル／著… 【記号論理・入門】 記号論理・入門
上江洲 忠弘／著 【記号論理学入門】 記号論理学入門
小松 寿／著 【数理論理学入門】 数理論理学入門
角田 譲／著 【まるさんかく論理学】 まるさんかく論理学
野崎 昭弘／著 【線型論理入門】 線型論理入門
竹内 外史／著 【論理】 論理
広瀬 健／著 【情報科学における論理】 情報科学における論理
小野 寛晰／著 【知識と推論】 知識と推論
森下 真一／著 【ゲーデルの謎を解く】 ゲーデルの謎を解く
林 晋／著 【数学の基礎】 数学の基礎
D.ヒルベルト／… 【数理論理学原論　：　近代ポーランド…】 数理論理学原論　：　近代ポーランド…
ヤン・ウカシェー… 【情報科学のための論理数学】 情報科学のための論理数学
細井 勉／著 【情報の論理数学入門　：　ブール代数…】 情報の論理数学入門　：　ブール代数…
小倉 久和／共著… 【ルイス・キャロルの知的ゲーム】 ルイス・キャロルの知的ゲーム
[ルイス・キャロ… 【記号論理学】 記号論理学
清水 義夫／著
農業経営-データ処理　農業機械化
【アグリAI&アグリファイナンス】 アグリAI&アグリファイナンス
可児 滋／著 【図解よくわかる実践!スマート農業　…】 図解よくわかる実践!スマート農業　…
三輪 泰史／著 【スマート農業】 スマート農業
中野 明正／著 【スマート農業】 スマート農業
農業・食品産業技… 【ラズパイ・Arduino農業実験集…】 ラズパイ・Arduino農業実験集…
Interfac… 【図解&事例スマート農業が拓く次世代…】 図解&事例スマート農業が拓く次世代…
土屋 和／著 【図解でよくわかるスマート農業のきほ…】 図解でよくわかるスマート農業のきほ…
野口 伸／監修 【データ農業が日本を救う】 データ農業が日本を救う
窪田 新之助／著 【図解よくわかるスマート農業　：　デ…】 図解よくわかるスマート農業　：　デ…
三輪 泰史／編著… 【一次産業の課題解決へ地域IoT　：…】 一次産業の課題解決へ地域IoT　：…
テレコミュニケー… 【スマート農業の大研究　：　ICT・…】 スマート農業の大研究　：　ICT・…
海津 裕／監修 【スマート農業の現場実装と未来の姿】 スマート農業の現場実装と未来の姿
野口 伸／監修,… 【新スマート農業　：　進化する農業情…】 新スマート農業　：　進化する農業情…
農業情報学会／編 【農村DX革命　：　アグリカルチャー…】 農村DX革命　：　アグリカルチャー…
三輪 泰史／著,… 【スマート農業　：　自動走行、ロボッ…】 スマート農業　：　自動走行、ロボッ…
神成 淳司／監修 【稲作スマート農業の実践と次世代経営…】 稲作スマート農業の実践と次世代経営…
南石 晃明／編著 【スマート農業バイブルPart2】 スマート農業バイブルPart2
 【ICT農業の環境制御システム製作　…】 ICT農業の環境制御システム製作　…
中野 明正／編著… 【農業ＩＴ化とスマート農…2018年版】 農業ＩＴ化とスマート農…2018年版
 【北海道農業機械化の歴史第1巻】 北海道農業機械化の歴史第1巻
村井 信仁／著 【北海道農業機械化の歴史第5巻】 北海道農業機械化の歴史第5巻
村井 信仁／著 【北海道農業機械化の歴史第6巻】 北海道農業機械化の歴史第6巻
村井 信仁／著 【北海道農業機械化の歴史第4巻】 北海道農業機械化の歴史第4巻
村井 信仁／著 【北海道農業機械化の歴史第3巻】 北海道農業機械化の歴史第3巻
村井 信仁／著 【北海道農業機械化の歴史第2巻】 北海道農業機械化の歴史第2巻
村井 信仁／著 【スマート農業のすすめ　：　次世代農…】 スマート農業のすすめ　：　次世代農…
渡邊 智之／著 【農業からあらゆる産業をIoTでつな…】 農業からあらゆる産業をIoTでつな…
NTTドコモIo… 【日本発「ロボットAI農業」の凄い未…】 日本発「ロボットAI農業」の凄い未…
窪田 新之助／[… 【IoTが拓く次世代農業アグリカルチ…】 IoTが拓く次世代農業アグリカルチ…
三輪 泰史／著,… 【TPP時代の稲作経営革新とスマート…】 TPP時代の稲作経営革新とスマート…
南石 晃明／編著… 【ICTを活用した営農システム　：　…】 ICTを活用した営農システム　：　…
野口 伸／監修,… 【スマート農業　：　農業・農村のイノ…】 スマート農業　：　農業・農村のイノ…
農業情報学会／編 【畑作経営展開と農業生産組織の管理運…】 畑作経営展開と農業生産組織の管理運…
松本 浩一／著 【パソコン活用でリハーサル農業　：　…】 パソコン活用でリハーサル農業　：　…
夏井 岩男／著 【インテリジェント農業　：　自動化・…】 インテリジェント農業　：　自動化・…
山崎 弘郎／[ほ… 【やらなきゃ損する農家のパソコン】 やらなきゃ損する農家のパソコン
農業情報利用研究… 【Ｆａｒｍ　ｍａｃｈｉｎｅｒｙ】 Ｆａｒｍ　ｍａｃｈｉｎｅｒｙ
Ｃｌａｕｄｅ　Ｃ… 【農業機械化の基礎】 農業機械化の基礎
岡村 俊民／著 【人工知能と装置化農業】 人工知能と装置化農業
システム農学会／… 【田植の技術史】 田植の技術史
和田 一雄／著

書誌詳細

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

タイトルコード 1008001510517
書誌種別 図書
書名 苦悩する男　　下　創元推理文庫　　
書名ヨミ クノウ スル オトコ　
著者名 ヘニング・マンケル／著
著者名ヨミ ヘニング マンケル
著者名 柳沢 由実子／訳
著者名ヨミ ヤナギサワ ユミコ
出版者 東京創元社
出版年月 2020.8
ページ数 377p
大きさ 15cm
分類記号 949.83
分類記号 949.83
ISBN 4-488-20922-3
内容紹介 ホーカンは散歩に出かけたまま帰らなかった。ヴァランダーは娘のため、孫のために調べ始める。海軍司令官時代の経歴に手がかりがあるのか? そんな中、ホーカンの妻までもが姿を消し…。ヴァランダー・シリーズ最終巻。
言語区分 日本語

(他の紹介)内容紹介 ドイツ中世史から出発して西洋世界と日本社会の比較研究にたどり着いた、不世出の歴史家の出会いと思索の軌跡。「石牟礼道子遠望」「網野善彦さんを想う」収録。
(他の紹介)目次 １　「世間」の発見（石牟礼道子遠望
金子光晴とヨーロッパの個人の問題
金子光晴と「世間」
懐かしい同胞―鬼海弘雅写真集『や・ちまた』に寄せて　ほか）
２　西洋中世から現在へ（異形のものたち
東西の歴史点描
歴史と現代
東と西）
(他の紹介)著者紹介 阿部 謹也
　１９３５年東京に生まれる。１９６３年、一橋大学大学院社会学研究科博士課程修了。小樽商科大学教授、一橋大学教授、一橋大学学長、共立女子大学学長などを歴任。一橋大学名誉教授(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

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

本文はここまでです。

ページの終わりです。