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

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

蔵書情報

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

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

資料の状態

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

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

この資料に対する操作

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

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

この資料に対する操作

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

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

書誌情報サマリ

タイトル	ゲームとパズルの計算量
人名	ロバート・A.ハーン／著
人名ヨミ	ロバート A ハーン
出版者・発行者	近代科学社
出版年月	2011.8

書誌詳細

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

書誌種別	図書
タイトル	ゲームとパズルの計算量
タイトルヨミ	ゲームトパズルノケイサンリョウ
人名	ロバート・A.ハーン／著　エリック・D.ドメイン／著　上原隆平／訳
人名ヨミ	ロバート A ハーン　エリック D ドメイン　ウエハラリュウヘイ
人名ヨミ
出版者・発行者	近代科学社
出版者・発行者等ヨミ	キンダイカガクシャ
出版地・発行地	東京
出版・発行年月	2011.8
ページ数または枚数・巻数	8,279p
大きさ	23cm
価格	￥４５００
ISBN	978-4-7649-0392-0
ISBN	4-7649-0392-0
注記	原タイトル:Games,puzzles,and computation
注記	文献:p253〜264
分類記号	410.9
件名	計算量理論／数学遊戯
内容紹介	ゲームやパズルをコンピュータサイエンスや計算量の理論の観点から考察。ゲーム・パズル・計算を結び付けるために開発した制約論理について解説するとともに、実際のゲームに制約論理を適用し、その難しさを示す。
言語区分	JPN
タイトルコード	1009811462734
目次	1 はじめに
	1.1 ゲームとは何か?／1.2 計算量のクラス／1.3 制約論理／1.4 さて,ここからは…
	Ⅰ 一般のゲーム
	2 制約論理の定式化
	2.1 制約グラフ／2.2 平面制約グラフ／2.3 制約グラフの変換テクニック
	3 制約論理ゲーム
	3.1 0人ゲーム(シミュレーション)／3.2 1人ゲーム(パズル)／3.3 2人ゲーム／3.4 集団ゲーム
	4 0人ゲーム(シミュレーション)
	4.1 手数制限があるゲーム／4.2 手数制限のないゲーム
	5 1人ゲーム(パズル)
	5.1 手数制限のあるゲーム／5.2 手数制限のないゲーム
	6 2人ゲーム
	6.1 手数制限のあるゲーム／6.2 手数制限のないゲーム／6.3 繰返しのないゲーム
	7 集団ゲーム
	7.1 手数制限のあるゲーム／7.2 手数制限のないゲーム
	8 第Ⅰ部のまとめ
	8.1 完全問題の階層構造／8.2 ゲームと物理と計算と
	Ⅱ 実際のゲーム
	9 1人ゲーム(パズル)
	9.1 ティップオーバー／9.2 ひとりにしてくれ／9.3 スライディングブロックパズル／9.4 ウェアハウス問題／9.5 スライディングコインパズル／9.6 橋渡しパズル／9.7 倉庫番／9.8 プッシュ2F／9.9 ラッシュアワー／9.10 三角ラッシュアワー／9.11 多角形のハトメ返し
	10 2人ゲーム
	10.1 アマゾン／10.2 コナネ(ハワイアンチェッカー)／10.3 縦横無心
	11 第Ⅱ部のまとめ
	12 おわりに
	12.1 本書の成果／12.2 残された課題
	付録
	A ゲームとその計算量のまとめ
	A.1 セルオートマトン／A.2 ブロック系ゲーム／A.3 グラフ上のトークン系ゲーム／A.4 ペグジャンプ系ゲーム／A.5 つなぐゲーム／A.6 その他のボードゲーム／A.7 ペンシルパズル／A.8 論理式系ゲーム／A.9 その他のゲーム／A.10 制約論理／A.11 未解決問題
	B 計算量理論
	B.1 基本定義／B.2 チューリング機械の一般化／B.3 計算量クラス間の関係／B.4 本書で使用する計算量クラスの一覧／B.5 論理式系ゲーム
	C 決定性制約論理の具体的な活性化の列
	D 制約論理のクイックリファレンス