ようこそ!
マイページ
ご利用ガイド
組合員情報の変更
メールアドレスの変更
ログイン
サイトトップ
e
フレンズトップ
すべて
本
雑誌
CD
DVD・Blu-ray
クリア
本 こだわり検索
書名
著者名
商品説明
出版社名
出版年月
―
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
年
―
1
2
3
4
5
6
7
8
9
10
11
12
月
以前
のみ
以降
ジャンル
選択してください
文庫
新書・選書
文芸
教養
人文
教育
芸術
児童
趣味
生活
地図・ガイド
就職・資格
語学
小学学参
中学学参
高校学参
辞典
コミック
ゲーム攻略本
エンターテイメント
日記手帳
社会
法律
経済
経営
ビジネス
理学
工学
コンピュータ
医学
看護学
薬学
ISBNコード
予約商品を表示しない
検索
クリア
本 >
理学
>
数学
>
情報数学
出版社名:共立出版
出版年月:2023年4月
ISBN:978-4-320-12561-2
194,40P 21cm
計算理論の基礎 1/オートマトンと言語
Michael Sipser/著 田中圭介/監訳 藤岡淳/監訳 阿部正幸/〔ほか〕訳
組合員価格 税込
3,366
円
(通常価格 税込 3,740円)
割引率 10%
在庫あり
生協宅配にてお届け
※ご注文が集中した場合、お届けが遅れる場合がございます。
内容紹介・もくじなど
もくじ情報:第1巻 オートマトンと言語(序論;正規言語;文脈自由言語);第2巻 計算可能性の理論(Church‐Turingの提唱;判定可能性;帰着可能性;計算可能性の理論における先進的な話題);第3巻 複雑さの理論(時間の複雑さ;領域の複雑さ;問題の扱いにくさ;計算の複雑さの理論における先進的な話題)
もくじ情報:第1巻 オートマトンと言語(序論;正規言語;文脈自由言語);第2巻 計算可能性の理論(Church‐Turingの提唱;判定可能性;帰着可能性;計算可能性の理論における先進的な話題);第3巻 複雑さの理論(時間の複雑さ;領域の複雑さ;問題の扱いにくさ;計算の複雑さの理論における先進的な話題)
著者プロフィール
田中 圭介(タナカ ケイスケ)
1997年北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。現在、東京工業大学情報理工学院教授、サイバーセキュリティ研究教育センター長、博士(情報科学)。専門分野:暗号理論、計算の複雑さの理論
田中 圭介(タナカ ケイスケ)
1997年北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。現在、東京工業大学情報理工学院教授、サイバーセキュリティ研究教育センター長、博士(情報科学)。専門分野:暗号理論、計算の複雑さの理論
同じ著者名で検索した本
【予約】
DuckDB実践入門 手軽に使えるデータ分析用DB-基本からエコシステム活用まで 【impress top gear】
MarkNeedham MichaelHunger MichaelSimons 設樂洋爾
天使に愛のともしびを/ハーレクイン・イマージュ I2853
ローナ・マイケルズ/作 小長光弘美/訳
マルクス主義の革新 カール・コルシュとマルクス主義研究週間
ミヒャエル・ブックミラー/編著 青山孝徳/訳
世界最高の質問術 一流のビジネスリーダー45人が実践する人を動かす「問いかけ」の極意
マイケル・J.マーコード/著 ボブ・ティード/著 黒輪篤嗣/訳
なぜ一流ほど験を担ぐのか
マイケル・ノートン/著 渡会圭子/訳
クッキーをつくれば宇宙がわかる
ジェフ・エンゲルスタイン/著 マイケル・コルフハーゲ/イラスト 田沢恭子/訳
恐竜の生態と行動 ビジュアルガイド
マイケル・J.ベントン/著 ボブ・ニコルズ/イラスト 久保田克博/監訳 田中康平/監訳 喜多直子/訳
KATSUTOSHI YUASA IMAGEMAKER
湯浅克俊/著 湯浅克俊/執筆 桑田光平/執筆 マイケル・エメリック/執筆
『ミュージカルバック・トゥ・ザ・フューチャー』創作の秘密
マイケル・クラストリン/著 富永晶子/訳
マイケル・ルーのアルファベット教本 癒しの旅
マイケル・ルー/絵 嶋津邦守/監修
1997年北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。現在、東京工業大学情報理工学院教授、サイバーセキュリティ研究教育センター長、博士(情報科学)。専門分野:暗号理論、計算の複雑さの理論
1997年北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。現在、東京工業大学情報理工学院教授、サイバーセキュリティ研究教育センター長、博士(情報科学)。専門分野:暗号理論、計算の複雑さの理論