検索結果書誌詳細

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

蔵書情報

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

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

書誌情報サマリ

書名

ゲームとパズルの計算量 

著者名 ロバート・A.ハーン/著
著者名ヨミ ロバート A ハーン
出版者 近代科学社
出版年月 2011.8


この資料に対する操作

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

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

この資料に対する操作

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


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


資料情報

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

No. 所蔵館 配架場所 請求記号 資料番号 資料種別 状態 個人貸出 在庫
1 西部図書館一般開架4109/74/1102276783一般在庫 

書誌詳細

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

タイトルコード 1000002225988
書誌種別 図書
書名 ゲームとパズルの計算量 
書名ヨミ ゲーム ト パズル ノ ケイサンリョウ
言語区分 日本語
著者名 ロバート・A.ハーン/著   エリック・D.ドメイン/著   上原 隆平/訳
著者名ヨミ ロバート A ハーン エリック D ドメイン ウエハラ リュウヘイ
著者名原綴 Hearn Robert A. Demaine Erik D.
出版地 東京
出版者 近代科学社
出版年月 2011.8
本体価格 ¥4500
ISBN 978-4-7649-0392-0
ISBN 4-7649-0392-0
数量 8,279p
大きさ 23cm
分類記号 410.9
件名 計算量理論   数学遊戯
注記 原タイトル:Games,puzzles,and computation
注記 文献:p253~264
内容紹介 ゲームやパズルをコンピュータサイエンスや計算量の理論の観点から考察。ゲーム・パズル・計算を結び付けるために開発した制約論理について解説するとともに、実際のゲームに制約論理を適用し、その難しさを示す。



内容細目

No. 内容タイトル 内容著者1 内容著者2 内容著者3 内容著者4
1 1 はじめに
2 1.1 ゲームとは何か?
3 1.2 計算量のクラス
4 1.3 制約論理
5 1.4 さて,ここからは…
6 Ⅰ 一般のゲーム
7 2 制約論理の定式化
8 2.1 制約グラフ
9 2.2 平面制約グラフ
10 2.3 制約グラフの変換テクニック
11 3 制約論理ゲーム
12 3.1 0人ゲーム(シミュレーション)
13 3.2 1人ゲーム(パズル)
14 3.3 2人ゲーム
15 3.4 集団ゲーム
16 4 0人ゲーム(シミュレーション)
17 4.1 手数制限があるゲーム
18 4.2 手数制限のないゲーム
19 5 1人ゲーム(パズル)
20 5.1 手数制限のあるゲーム
21 5.2 手数制限のないゲーム
22 6 2人ゲーム
23 6.1 手数制限のあるゲーム
24 6.2 手数制限のないゲーム
25 6.3 繰返しのないゲーム
26 7 集団ゲーム
27 7.1 手数制限のあるゲーム
28 7.2 手数制限のないゲーム
29 8 第Ⅰ部のまとめ
30 8.1 完全問題の階層構造
31 8.2 ゲームと物理と計算と
32 Ⅱ 実際のゲーム
33 9 1人ゲーム(パズル)
34 9.1 ティップオーバー
35 9.2 ひとりにしてくれ
36 9.3 スライディングブロックパズル
37 9.4 ウェアハウス問題
38 9.5 スライディングコインパズル
39 9.6 橋渡しパズル
40 9.7 倉庫番
41 9.8 プッシュ2F
42 9.9 ラッシュアワー
43 9.10 三角ラッシュアワー
44 9.11 多角形のハトメ返し
45 10 2人ゲーム
46 10.1 アマゾン
47 10.2 コナネ(ハワイアンチェッカー)
48 10.3 縦横無心
49 11 第Ⅱ部のまとめ
50 12 おわりに
51 12.1 本書の成果
52 12.2 残された課題
53 付録
54 A ゲームとその計算量のまとめ
55 A.1 セルオートマトン
56 A.2 ブロック系ゲーム
57 A.3 グラフ上のトークン系ゲーム
58 A.4 ペグジャンプ系ゲーム
59 A.5 つなぐゲーム
60 A.6 その他のボードゲーム
61 A.7 ペンシルパズル
62 A.8 論理式系ゲーム
63 A.9 その他のゲーム
64 A.10 制約論理
65 A.11 未解決問題
66 B 計算量理論
67 B.1 基本定義
68 B.2 チューリング機械の一般化
69 B.3 計算量クラス間の関係
70 B.4 本書で使用する計算量クラスの一覧
71 B.5 論理式系ゲーム
72 C 決定性制約論理の具体的な活性化の列
73 D 制約論理のクイックリファレンス

関連資料

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

2011
410.9
計算量理論 数学遊戯
前のページへ

本文はここまでです。


ページの終わりです。