書誌情報サマリ
書名 |
コンピュータは数学者になれるのか? 数学基礎論から証明とプログラムの理論へ
|
著者名 |
照井 一成/著
|
著者名ヨミ |
テルイ カズシゲ |
出版者 |
青土社
|
出版年月 |
2015.3 |
蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
書誌詳細
この資料の書誌詳細情報です。
タイトルコード |
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 |
中央 | 0140250743 | DJ/コ/ | CD | 開架 | 貸出可 | 在庫 |
○ |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
933.7 http://id.ndl.go.jp/class/ndc10/933.7
前のページへ