ようこそ!
マイページ
ご利用ガイド
組合員情報の変更
メールアドレスの変更
ログイン
サイトトップ
e
フレンズトップ
すべて
本
雑誌
CD
DVD・Blu-ray
クリア
本 こだわり検索
書名
著者名
商品説明
出版社名
出版年月
―
2027
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,553
円
(通常価格 税込 3,740円)
割引率 5%
在庫あり
生協宅配にてお届け
※ご注文が集中した場合、お届けが遅れる場合がございます。
内容紹介・もくじなど
もくじ情報:第1巻 オートマトンと言語(序論;正規言語;文脈自由言語);第2巻 計算可能性の理論(Church‐Turingの提唱;判定可能性;帰着可能性;計算可能性の理論における先進的な話題);第3巻 複雑さの理論(時間の複雑さ;領域の複雑さ;問題の扱いにくさ;計算の複雑さの理論における先進的な話題)
もくじ情報:第1巻 オートマトンと言語(序論;正規言語;文脈自由言語);第2巻 計算可能性の理論(Church‐Turingの提唱;判定可能性;帰着可能性;計算可能性の理論における先進的な話題);第3巻 複雑さの理論(時間の複雑さ;領域の複雑さ;問題の扱いにくさ;計算の複雑さの理論における先進的な話題)
著者プロフィール
田中 圭介(タナカ ケイスケ)
1997年北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。現在、東京工業大学情報理工学院教授、サイバーセキュリティ研究教育センター長、博士(情報科学)。専門分野:暗号理論、計算の複雑さの理論
田中 圭介(タナカ ケイスケ)
1997年北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。現在、東京工業大学情報理工学院教授、サイバーセキュリティ研究教育センター長、博士(情報科学)。専門分野:暗号理論、計算の複雑さの理論
同じ著者名で検索した本
マンダロリアンとグローグー 出会い、そして、銀河の冒険へ/小学館ジュニア文庫スペシャル ジウ1-1
ブルック・ヴィターレ/著 マイケル・シグレイン/著 エメリ・ユーリン/著 トマトファーム/絵 代田亜香子/訳
パランティア 「哲学者」が率いる軍事AI企業の野望
マイケル・スタインバーガー/著 土方奈美/訳
エルリック:魔術師の誕生 上/NightLand Graphic Novels 1-1 マイクル・ムアコックライブラリー
マイクル・ムアコック/作 ウォルター・サイモンスン/画 健部伸明/訳
エルリック:魔術師の誕生 下/NightLand Graphic Novels 1-2 マイクル・ムアコックライブラリー
マイクル・ムアコック/作 ウォルター・サイモンスン/画 健部伸明/訳
The Book of Five Rings/IBC Classics
宮本武蔵/著 マイケル・ブレーズ/英訳
ドーパミン断ち 最先端の脳科学が解明した自分を「うまく動かす」方法
マイケル・ロング/著 中里京子/訳
アルティン代数学
Michael Artin/著 松田茂樹/訳
全図解日本のしくみ/対訳ニッポン双書
安部直文/著 マイケル・ブレーズ/訳
人口崩壊 データで見る人類の過去と未来
ディーン・スピアーズ/著 マイケル・ジェルーソ/著 土方奈美/訳
SELF DEFENCE体を守る免疫の真実
ダニエル・M.デイヴィス/著 久保尚子/訳
1997年北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。現在、東京工業大学情報理工学院教授、サイバーセキュリティ研究教育センター長、博士(情報科学)。専門分野:暗号理論、計算の複雑さの理論
1997年北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。現在、東京工業大学情報理工学院教授、サイバーセキュリティ研究教育センター長、博士(情報科学)。専門分野:暗号理論、計算の複雑さの理論