・氷川図書館は9月1日~3月2日まで休館いたします。詳しくはこちらをご覧ください。
 2月9日から3月1日まで氷川図書館を予約受取館に選択することはできません。また、休館する前に氷川図書館を予約受取館に選択していた予約資料は2月9日以降、ご自身で変更することができません。図書館までご連絡ください。
 ・志村図書館は11月10日~12月15日まで設備工事のため休館いたします。詳しくはこちらをご覧ください。
 11月10日以降、志村図書館を予約受取館に選択することはできません。また、休館する前に志村図書館を予約受取館に選択していた予約資料は11月10日以降、ご自身で変更することができません。図書館までご連絡ください。

検索結果書誌詳細

  • 書誌の詳細です。 現在、予約しているのは 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

書誌情報サマリ

書名

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

著者名 照井 一成/著
著者名ヨミ テルイ カズシゲ
出版者 青土社
出版年月 2015.3


蔵書情報

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

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

この資料に対する操作

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

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

この資料に対する操作

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


マイ本棚へ追加ログインするとマイ本棚を利用できます。


書誌詳細

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

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



目次


内容細目

1 イディーユ   2分37秒
ジャン・コルティ/アコーデオン ダニエル・コラン/アコーデオン ドミニク・クラヴィック/ギター
2 喜び   2分26秒
ギュス・ヴィズール/作曲 ダニエル・コラン/アコーデオン ジャン・フィリップ・ヴィレ/コントラバス ドミニク・クラヴィック/ギター
3 さよならセビリア   2分33秒
ベルトラン・オージェ/クラリネット ジャン=ミシェル・デーヴィス/打楽器 ダニエル・コラン/アコーデオン ジャン・フィリップ・ヴィレ/コントラバス ドミニク・クラヴィック/ギター
4 ラ・ブール・タンゴ   3分15秒
グレゴリー・ヴー/ピアノ ダニエル・コラン/アコーデオン ジャン・フィリップ・ヴィレ/コントラバス ドミニク・クラヴィック/ギター
5 キノコのワルツ   2分19秒
ダニエル・コラン/アコーデオン ジャン・フィリップ・ヴィレ/コントラバス ドミニク・クラヴィック/ギター
6 マドゥー   2分59秒
ダニエル・コラン/アコーデオン ドミニク・クラヴィック/ギター
7 モンターニュ・サント・ジュヌヴィエーヴ   2分12秒
ジャンゴ・ラインハルト/作曲 ベルトラン・オージェ/クラリネット ダニエル・コラン/アコーデオン ジャン・フィリップ・ヴィレ/コントラバス ドミニク・クラヴィック/ギター
8 グリスビーのブルース   1分45秒
ジャン・ウイエネ/作曲 ダニエル・コラン/アコーデオン ドミニク・クラヴィック/ギター
9 プレザンス・フォックス   2分24秒
ベルトラン・オージェ/サクソフォン ジャン=ミシェル・デーヴィス/シロフォン ダニエル・コラン/アコーデオン ドミニク・クラヴィック/ギター
10 マリア・モレナ   2分11秒
ダニエル・コラン/アコーデオン ジャン・フィリップ・ヴィレ/コントラバス ドミニク・クラヴィック/ギター
11 メグレ警視:TVドラマ:テーマ   2分32秒
エルンスト・アウグスト・クエレ/作曲 ダニエル・コラン/アコーデオン ドミニク・クラヴィック/ギター
12 アコーディオン・ラグ   1分56秒
ベルトラン・オージェ/サクソフォン ジャン=ミシェル・デーヴィス/シロフォン グレゴリー・ヴー/ピアノ ダニエル・コラン/アコーデオン ドミニク・クラヴィック/弦楽器
13 愛と春(編曲)   3分5秒
エミール・ワルトトイフェル/作曲 ベルトラン・オージェ/クラリネット ジャン=ミシェル・デーヴィス/打楽器 ダニエル・コラン/アコーデオン ドミニク・クラヴィック/ギター
14 プレリュード#1   1分31秒
ダニエル・コラン/アコーデオン
15 失われし楽園   1分41秒
ハンス・マイ/作曲 ロジェ・フェルネ/作詞 ロジェ・フェルネ ダニエル・コラン/アコーデオン ドミニク・クラヴィック/ギター
16 アコーディオンのプリンセス   2分5秒
ロジェ・デュファ/作曲 ベルトラン・オージェ/クラリネット ダニエル・コラン/アコーデオン ドミニク・クラヴィック/ギター
17 コラネット   2分25秒
ダニエル・コラン/アコーデオン ジャン・フィリップ・ヴィレ/コントラバス ドミニク・クラヴィック/ギター

資料情報

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

No. 所蔵館 資料番号 請求記号 資料種別 配架場所 帯出区分 状態 貸出
1 中央 0140250743DJ/コ/CD開架貸出可在庫  

関連資料

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

T・ビアケラン 木村 由利子 小野 克子
2022
933.7 http://id.ndl.go.jp/class/ndc10/933.7
前のページへ

本文はここまでです。


ページの終わりです。