検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

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

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

資料の状態

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

No.	資料番号	資料種別	請求記号	配架場所	状態	貸出
1	0014879514	図書一般	007.6/ﾊｷ19/	2F自然	貸出可	○

この資料に対する操作

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

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

この資料に対する操作

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

登録するリストログインメモ

書誌情報サマリ

タイトル	コンピューティング
人名	萩谷昌己／著
人名ヨミ	ハギヤマサミ
出版者・発行者	放送大学教育振興会
出版年月	2019.3

書誌詳細

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

書誌種別	図書
タイトル	コンピューティング
サブタイトル	原理とその展開
シリーズ名	放送大学大学院教材
シリーズ名	放送大学大学院文化科学研究科
シリーズ名	情報学プログラム
タイトルヨミ	コンピューティング
サブタイトルヨミ	ゲンリトソノテンカイ
シリーズ名ヨミ	ホウソウダイガクダイガクインキョウザイ
シリーズ名ヨミ	ホウソウダイガクダイガクインブンカカガクケンキュウカ
シリーズ名ヨミ	ジョウホウガクプログラム
人名	萩谷昌己／著
人名ヨミ	ハギヤマサミ
出版者・発行者	放送大学教育振興会／ [NHK出版(発売)]
出版者・発行者等ヨミ	ホウソウダイガクキョウイクシンコウカイ／エヌエイチケーシュッパン
出版地・発行地	東京／[東京]
出版・発行年月	2019.3
ページ数または枚数・巻数	266p
大きさ	21cm
価格	￥３０００
ISBN	978-4-595-14120-1
ISBN	4-595-14120-1
分類記号	007.6
件名	情報処理／コンピュータ
内容紹介	計算を定式化し記述するための計算モデルについて、基礎的な部分からコンピュータによる実現までを解説。また、今後のコンピューティングの中核となる人工知能技術を概観し、その実現において重要となる計算モデルも紹介する。
著者紹介	放送大学客員教授。東京大学教授。
言語区分	JPN
タイトルコード	1009812296179
目次	1 計算モデル概論Ⅰ
	1.1 主要な計算モデル／1.2 計算モデル間の関係
	2 計算モデル概論Ⅱ
	2.1 簡約／2.2 状態機械／2.3 コンピュータの計算モデル
	3 計算モデル概論Ⅲ
	3.1 アルゴリズムの時間計算量／3.2 計算モデルと時間計算量／3.3 多項式時間／3.4 NP完全
	4 現実のコンピュータ
	4.1 メモリ階層／4.2 プロセッサの種類／4.3 オペレーティングシステム／4.4 言語処理系
	5 ラムダ計算
	5.1 数に基づく計算モデル／5.2 ラムダ計算の計算能力／5.3 ラムダ計算からプログラミング言語へ
	6 関数プログラミング
	6.1 関数プログラミングの優れた点／6.2 関数プログラミングの特徴／6.3 型／6.4 MapReduce／6.5 関数プログラミングの発展
	7 計算と論理
	7.1 証明可能性／7.2 ゲーデルの不完全性定理／7.3 ゲンツェンの無矛盾性証明／7.4 カリーハワード同型対応／7.5 線形論理
	8 オートマトン
	8.1 有限オートマトン／8.2 形式言語とDNA
	9 チューリング機械
	9.1 チューリング機械の定義／9.2 万能チューリング機械／9.3 計算不可能性
	10 状態と様相
	10.1 様相論理／10.2 動的論理／10.3 ホーア論理／10.4 様相論理と圏論
	11 並列・分散計算
	11.1 並列・分散計算の実際／11.2 分散計算
	12 コンピューティングの展開
	12.1 コンピューティングの動向／12.2 ユビキタスコンピューティングからシンギュラリティへ
	13 人工知能概論
	13.1 記号処理／13.2 パターン認識
	14 生物に触発された計算モデル
	14.1 ニューラルネットワーク／14.2 セルオートマトン／14.3 遺伝的アルゴリズム／14.4 群知能
	15 自然現象を活用する計算モデル
	15.1 物理現象による計算／15.2 量子現象による計算／15.3 化学反応による計算／15.4 生物による計算