close
1.

図書

図書
丸岡章著
出版情報: 東京 : サイエンス社, 2017.12  vi, 279p ; 21cm
シリーズ名: Information & computing ; 117
所蔵情報: loading…
目次情報: 続きを見る
1 計算理論とは : 系列を操作するしくみ
計算理論のあらまし ほか
2 有限オートマトンと正規表現 : 有限オートマトンの動き
有限オートマトンの設計 ほか
3 プッシュダウンオートマトンと文脈自由言語 : 文脈自由文法の定義
正規文法、文脈自由文法、文脈依存文法 ほか
4 計算可能性 : チューリング機械の定義
多テープチューリング機械 ほか
1 計算理論とは : 系列を操作するしくみ
計算理論のあらまし ほか
2 有限オートマトンと正規表現 : 有限オートマトンの動き
2.

図書

図書
Joel L. Schiff著 ; 足立進 [ほか] 訳
出版情報: 東京 : 共立出版, 2011.12  xvii, 250p, 図版 [8] p ; 22cm
所蔵情報: loading…
3.

図書

図書
大川知, 広瀬貞樹, 山本博章著
出版情報: 東京 : 共立出版, 2012.1  viii, 164p ; 26cm
シリーズ名: 未来へつなぐデジタルシリーズ = Connection to the future with digital series ; 5
所蔵情報: loading…
4.

図書

図書
西野哲朗, 若月光夫, 後藤隆彰共著
出版情報: 東京 : コロナ社, 2012.2  vi, 165p ; 21cm
所蔵情報: loading…
5.

図書

図書
Tom Stuart著 ; 笹井崇司訳
出版情報: 東京 : オライリー・ジャパン , 東京 : オーム社 (発売), 2014.9  xv, 317p ; 24cm
所蔵情報: loading…
目次情報: 続きを見る
Rubyひとめぐり
第1部 プログラムと機械 : プログラムの意味
最も単純なコンピュータ
能力を高める
究極の機械
第2部 計算と計算可能性 : 無からのプログラミング
至るところにある万能性
不可能なプログラム
おもちゃの国のプログラミング
Rubyひとめぐり
第1部 プログラムと機械 : プログラムの意味
最も単純なコンピュータ
概要: 計算理論をRubyでわかりやすく紹介!難しい数学の知識を利用せず、Rubyを使って実際にプログラムを作りながら解説。まつもとゆきひろ氏による「日本語版まえがき」を収録。
6.

図書

図書
赤間世紀著
出版情報: 東京 : 工学社, 2015.5  143p ; 21cm
シリーズ名: I/O books
所蔵情報: loading…
目次情報: 続きを見る
第1章 : 序論
第2章 : DNA
第3章 : DNAコンピュータの基礎
第4章 : 「DNAコンピューティング」と「バイオ・テクノロジー」
第5章 : 「DNAコンピュータ」の構成
第6章 : 展望
第1章 : 序論
第2章 : DNA
第3章 : DNAコンピュータの基礎
7.

電子ブック

EB
猪股俊光, 山田敬三共著
出版情報: [東京] : KinoDen , 東京 : 森北出版, 2019.4  1オンラインリソース (vii, 212p)
所蔵情報: loading…
目次情報: 続きを見る
第1章 : 計算の世界と計算モデル
第2章 : 抽象機械型計算モデル
第3章 : 命令型計算モデル
第4章 : 関数型計算モデル—帰納的関数
第5章 : 関数型計算モデル—ラムダ計算
第6章 : 論理型計算モデル
付録A : 数学の準備
付録B : チューリング機械シミュレータ
付録C : レジスタ機械シミュレータ
第1章 : 計算の世界と計算モデル
第2章 : 抽象機械型計算モデル
第3章 : 命令型計算モデル
概要: 様々な計算モデルを通して、プログラミング言語のメカニズムを解き明かす。
8.

電子ブック

EB
富田悦次, 横森貴共著
出版情報: [東京] : KinoDen , 東京 : 森北出版, 2015.11  1オンラインリソース (vi, 214p)
所蔵情報: loading…
目次情報: 続きを見る
第1章 : 序論
第2章 : 有限オートマトンと正規表現
第3章 : 言語と形式文法
第4章 : 文脈自由文法とプッシュダウンオートマトン
第5章 : 句構造文法とチューリング機械
第6章 : 決定問題
第1章 : 序論
第2章 : 有限オートマトンと正規表現
第3章 : 言語と形式文法
概要: 長年の実績と定評のあるテキストの全面改訂版!初版の内容をすべて引き継ぎつつ、さらにパワーアップ!
9.

電子ブック

EB
藤原暁宏著
出版情報: [東京] : KinoDen , 東京 : 森北出版, 2016.10  1オンラインリソース (vi, 176p)
所蔵情報: loading…
目次情報: 続きを見る
第1章 オートマトンとは
第2章 有限オートマトン
第3章 さまざまな有限オートマトンと有限オートマトンの限界
第4章 正規表現 / 有限オートマトンの応用
第5章 プッシュダウンオートマトン
第6章 チューリング機械
第7章 形式文法入門と正規文法
第8章 文脈自由文法
第9章 : オートマトンと形式文法の関係
第1章 オートマトンとは
第2章 有限オートマトン
第3章 さまざまな有限オートマトンと有限オートマトンの限界
概要: オートマトンの本質をつかむ!はじめの一冊として、また復習・独習用として、おすすめです。数学的に厳密な説明を抑え、具体例と図から直観的にイメージできるようにまとめました。オートマトンで掛け算を認識する例。形式文法で英文を定める例。
10.

図書

図書
チャールズ・ペゾルド著 ; 井田哲雄 [ほか] 訳
出版情報: [東京] : 日経BP社 , 東京 : 日経BPマーケティング (発売), 2012.6  xv, 593p ; 20cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼