1.

図書
図書
1. 計算できるもの、計算できないもの : 実践的アプローチによる計算理論入門
ジョン・マコーミック著 ; 長尾高弘訳
出版情報: 東京 : オライリー・ジャパン , 東京 : オーム社 (発売), 2020.12
2.

図書
図書
2. 形式言語・オートマトン入門
藤芳明生著
出版情報: 東京 : 数理工学社 , 東京 : サイエンス社 (発売), 2017.8
シリーズ名: グラフィック情報工学ライブラリ ; GIE-3
3.

図書
図書
3. やさしい計算理論 : 有限オートマトンからチューリング機械まで
丸岡章著
出版情報: 東京 : サイエンス社, 2017.12
シリーズ名: Information & computing ; 117
4.

図書
図書
4. 計算論. 改訂版
隈部正博著
出版情報: 東京 : 放送大学教育振興会, 2016.3
シリーズ名: 放送大学大学院教材 ; 8960631-1-1611 . 自然環境科学プログラム||シゼン カンキョウ カガク プログラム
5.

図書
図書
5. はじめて学ぶオートマトンと言語理論
藤原暁宏著
出版情報: 東京 : 森北出版, 2015.7
6.

図書
図書
6. 例解図説オートマトンと形式言語入門
岡留剛著
出版情報: 東京 : 森北出版, 2015.8
7.

図書
図書
7. オートマトン・言語理論. 第2版
富田悦次, 横森貴共著
出版情報: 東京 : 森北出版, 2013.12
8.

図書
図書
8. チューリングを読む : コンピュータサイエンスの金字塔を楽しもう
チャールズ・ペゾルド著 ; 井田哲雄 [ほか] 訳
出版情報: [東京] : 日経BP社 , 東京 : 日経BPマーケティング (発売), 2012.6
9.

図書
図書
9. 応用オートマトン工学
西野哲朗, 若月光夫, 後藤隆彰共著
出版情報: 東京 : コロナ社, 2012.2
10.

図書
図書
10. セルオートマトン
Joel L.Schiff著 ; 足立進 [ほか] 訳
出版情報: 東京 : 共立出版, 2011.12
11.

図書
図書
11. オートマトン・言語理論入門
大川知, 広瀬貞樹, 山本博章著
出版情報: 東京 : 共立出版, 2012.1
シリーズ名: 未来へつなぐデジタルシリーズ = Connection to the future with digital series ; 5
12.

図書
図書
12. 白と黒のとびら : オートマトンと形式言語をめぐる冒険
川添愛著
出版情報: 東京 : 東京大学出版会, 2013.4
シリーズ名: Archimage Garret's apprenticeship / 川添愛著 ; [1]
13.

図書
図書
13. 計算理論入門 = Introduction to computation theory
五十嵐善英, Forbes D.Lewis, 舩田眞里子著
出版情報: 東京 : 牧野書店 , 東京 : 星雲社(発売), 2013.6
シリーズ名: 数理情報科学シリーズ ; 27
14.

図書
図書
14. 計算モデルとプログラミング
猪股俊光, 山田敬三共著
出版情報: 東京 : 森北出版, 2019.4
15.

図書
図書
15. 計算理論とオートマトン言語理論 : コンピュータの原理を明かす/ 丸岡章著
丸岡, 章
出版情報: 東京 : サイエンス社, 2005.11
シリーズ名: Information & computing ; 106
16.

図書
図書
16. Excelで学ぶセルオートマトン = Cellular automata
北栄輔, 脇田佑希子共著
出版情報: 東京 : オーム社, 2011.11
17.

図書
図書
17. 渋滞学
西成活裕著
出版情報: 東京 : 新潮社, 2006.9
シリーズ名: 新潮選書
18.

図書
図書
18. 計算モデル論入門 : チューリング機械からラムダ計算へ
井田哲雄, 浜名誠共著
出版情報: 東京 : サイエンス社, 2006.8
シリーズ名: Information science & engineering ; F5
19.

図書
図書
19. コンピュータ・サイエンスのための言語理論入門
V. J. Rayward-Smith著 ; 吉田敬一, 石丸清登訳 ; 井上謙蔵監修
出版情報: 東京 : 共立出版, 1986.4
20.

図書
図書
20. 有限オートマトン入門
岩田茂樹, 笠井琢美共著
出版情報: 東京 : 森北出版, 1986.5
21.

図書
図書
21. 自己増殖オートマトンの理論
J.フォンノイマン著 ; A.W.バークス編補 ; 高橋秀俊監訳
出版情報: 東京 : 岩波書店, 1975.7
22.

図書
図書
22. 計算理論とオートマトン言語理論 : コンピュータの原理を明かす. 第2版
丸岡章著
出版情報: 東京 : サイエンス社, 2021.11
シリーズ名: Information & computing ; 122
23.

図書
図書
23. セルオートマトンによる知能シミュレーション : 天然知能を実装する
浦上大輔, 郡司ペギオ幸夫共著
出版情報: 東京 : オーム社, 2021.11
24.

図書
図書
24. オートマトンと言語理論
リチャード Y.ケイン著 ; 宮川洋, 原島博訳
出版情報: 東京 : 産業図書, 1978.3
シリーズ名: コンピュータ・サイエンス翻訳選書 ; 7
25.

図書
図書
25. 論理数学とディジタル回路 : オートマトン入門
宇田川銈久著
出版情報: 東京 : 朝倉書店, 1964.2
26.

図書
図書
26. 形式言語理論
嵩忠雄, 都倉信樹, 谷口健一共著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会, 1988.3
シリーズ名: 情報とシステムシリーズ
27.

図書
図書
27. 量子コンピュータと量子暗号
西野哲朗著
出版情報: 東京 : 岩波書店, 2002.3
シリーズ名: 岩波講座物理の世界 / 佐藤文隆 [ほか] 編 ; . 物理と情報||ブツリ ト ジョウホウ ; 4
28.

図書
図書
28. 形式言語とオートマトン
守屋悦朗著
出版情報: 東京 : サイエンス社, 2001.7
シリーズ名: Information science & engineering ; F3
29.

図書
図書
29. セルオートマトン : 複雑系の具象化
森下信著
出版情報: 東京 : 養賢堂, 2003.3
30.

図書
図書
30. オートマトン・言語と計算理論
電子情報通信学会編 ; 岩間一雄著
出版情報: 東京 : コロナ社, 2003.11
シリーズ名: 電子情報通信レクチャーシリーズ / 電子情報通信学会編 ; B-6
31.

図書
図書
31. 量子コンピューティング
ヨゼフ・グルスカ原著 ; 伊藤正美 [ほか] 共訳
出版情報: 東京 : 森北出版, 2003.11
32.

図書
図書
32. 発見的最適化手法による構造のフォルムとシステム
三井和男[ほか]共著
出版情報: 東京 : コロナ社, 2004.7
シリーズ名: 計算工学シリーズ ; 4
33.

図書
図書
33. 複雑系の科学 : セル・オートマタ体験CD-ROM付
市川惇信著
出版情報: 東京 : オーム社, 2002.10
34.

図書
図書
34. 入門量子コンピュータ
ゲナディ・P・ベルマン[ほか]著 ; 松田和典訳
出版情報: 東京 : パーソナルメディア, 2002.9
35.

図書
図書
35. DNAコンピューティング : 新しい計算パラダイム
G. パウン, G. ローゼンバーグ, A. サローマ著 ; 横森貴, 榊原康文, 小林聡訳
出版情報: 東京 : シュプリンガー・フェアラーク東京, 1999.12
36.

図書
図書
36. Mathematica自然現象の計算モデル化 : セルラーオートマタ・シミュレーション
R.J.ゲイロード, 西館数芽著 ; 西館数芽, 西川清訳
出版情報: 東京 : トッパン, 1997.6
37.

図書
図書
37. 形式言語の理論
西野哲朗, 石坂裕毅著
出版情報: 東京 : 丸善, 1999.7
シリーズ名: 情報科学コアカリキュラム講座 / 稲垣康善 [ほか] 編集
38.

図書
図書
38. 量子コンピュータの基礎数理
上坂吉則著
出版情報: 東京 : コロナ社, 2000.5
39.

図書
図書
39. オートマタ理論 : その応用
J.T.タウ編 ; 足立暁生訳
出版情報: 東京 : 東京図書, 1971.12
40.

図書
図書
40. ライフゲイムの宇宙
ウィリアム・パウンドストーン著 ; 有澤誠訳
出版情報: 東京 : 日本評論社, 1990.6
41.

図書
図書
41. オートマトン・言語理論
富田悦次, 横森貴共著
出版情報: 東京 : 森北出版, 1992.5
シリーズ名: 基礎情報工学シリーズ / 飯島泰蔵編 ; 5
42.

図書
図書
42. オートマトン・形式言語理論
広瀬貞樹著
出版情報: 東京 : コロナ社, 2014.4
43.

図書
図書
43. アンダースタンディングコンピュテーション : 単純な機械から不可能なプログラムまで
Tom Stuart著 ; 笹井崇司訳
出版情報: 東京 : オライリー・ジャパン , 東京 : オーム社 (発売), 2014.9
44.

図書
図書
44. オートマトンと言語
Michael Sipser著 ; 阿部正幸 [ほか] 訳
出版情報: 東京 : 共立出版, 2008.5
シリーズ名: 計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳 ; 1
45.

図書
図書
45. 計算可能性の理論
Michael Sipser著 ; 阿部正幸 [ほか] 訳
出版情報: 東京 : 共立出版, 2008.5
シリーズ名: 計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳 ; 2
46.

図書
図書
46. 複雑さの理論
Michael Sipser著 ; 阿部正幸 [ほか] 訳
出版情報: 東京 : 共立出版, 2008.5
シリーズ名: 計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳 ; 3
47.

図書
図書
47. Automata, languages and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings
Thomas Ottmann, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 267
48.

図書
図書
48. C++シミュレーションズ&セルラ・オートマトン日本語版
Scott Robert Ladd著 ; 朝沼芙雪訳
出版情報: 東京 : ディー・アート, 1996.5
49.

図書
図書
49. 形式的モデルと意味論
Leeuwen, Jan van ; 広瀬, 健(1935-)
出版情報: 東京 : 丸善, 1994.2
シリーズ名: コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2
50.

図書
図書
50. オートマトン・言語理論
本多波雄著
出版情報: 東京 : コロナ社, 1972.3
シリーズ名: 情報工学講座 ; 6
51.

図書
図書
51. セルオートマトン法 : 複雑系の自己組織化と超並列処理
加藤恭義, 光成友孝, 築山洋共著
出版情報: 東京 : 森北出版, 1998.10
52.

図書
図書
52. ファインマン・プロセッサ : 夢の量子コンピュータ
G.ミルバーン [著] ; 林一訳
出版情報: 東京 : 岩波書店, 2003.1
53.

図書
図書
53. 量子コンピュータの理論 : 量子コンピューティング入門
西野哲朗著
出版情報: 東京 : 培風館, 2002.12
54.

図書
図書
54. 英語で学ぶ計算理論 = Theory of computation
Thomas Zeugmann, 湊真一, 大久保好章共著
出版情報: 東京 : コロナ社, 2009.4
55.

図書
図書
55. オートマトン・形式言語理論と計算論
福村晃夫, 稲垣康善 [著]
出版情報: 東京 : 岩波書店, 1982.3
シリーズ名: 岩波講座情報科学 ; 6
56.

図書
図書
56. DNAコンピュータ
萩谷昌己, 横森貴共編
出版情報: 東京 : 培風館, 2001.12
57.

図書
図書
57. 言語と構文解析
徳田雄洋著
出版情報: 東京 : 共立出版, 1995.10
シリーズ名: 情報数学講座 ; 5
58.

図書
図書
58. コンピュータの思考法 : 計算モデル
有澤誠著
出版情報: 東京 : 朝倉書店, 2004.9
シリーズ名: 情報数学の世界 / 有沢誠著 ; 3
59.

図書
図書
59. ライフゲイムの宇宙. 新装版
ウィリアム・パウンドストーン著 ; 有澤誠訳
出版情報: 東京 : 日本評論社, 2003.6
60.

図書
図書
60. オートマトンと言語
Michael Sipser著 ; 阿部正幸 [ほか] 訳
出版情報: 東京 : 共立出版, 2023.4
シリーズ名: 計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳 ; 1
61.

図書
図書
61. 複雑さの理論
Michael Sipser著 ; 阿部正幸 [ほか] 訳
出版情報: 東京 : 共立出版, 2023.5
シリーズ名: 計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳 ; 3
62.

図書
図書
62. 計算可能性の理論
Michael Sipser著 ; 阿部正幸 [ほか] 訳
出版情報: 東京 : 共立出版, 2023.5
シリーズ名: 計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳 ; 2
63.

図書
図書
63. 計算理論の基礎
Michael Sipser著 ; 阿部正幸 [ほか] 訳
出版情報: 東京 : 共立出版, 2000.4
64.

図書
図書
64. オートマトン・言語理論. 第2版
富田悦次, 横森貴共著
出版情報: 東京 : 森北出版, 2023.10
65.

図書
図書
65. 計算論への入門 : オートマトン・言語理論・チューリング機械
エフィーム・キンバー, カール・スミス著 ; 筧捷彦監修 ; 杉原崇憲訳
出版情報: 東京 : ピアソン・エデュケーション, 2002.10
シリーズ名: スタンダードテキスト
66.

図書
図書
66. オートマトン言語理論計算論
J. ホップクロフト, J. ウルマン共著 ; 野崎昭弘 [ほか] 共訳
出版情報: 東京 : サイエンス社, 1984.8-1986.3
シリーズ名: Information & computing ; 3-4