close
1.

図書
図書
1. 言語理解の構造
テリー・ウィノグラード著 ; 淵一博, 田村浩一郎, 白井良明訳
出版情報: 東京 : 産業図書, 1976.8  7, 266p ; 22cm
シリーズ名: コンピュータ・サイエンス翻訳選書 ; 6
所蔵情報: loading…
2.

図書
図書
2. Smalltalk-80 : 対話型プログラミング環境
Adele Goldberg著 ; 及川一成, 神代誠一郎, 久保木孝明訳
出版情報: 東京 : オーム社, 1986.2  480p ; 27cm
所蔵情報: loading…
3.

図書
図書
3. Ada,C,Pascal : 言語の比較と評価
アラン・フォイヤー, ナレイン・ゲハーニ編 ; 宇井康隆訳
出版情報: 東京 : 工学社, 1986.6  335p ; 21cm
所蔵情報: loading…
4.

図書
図書
4. PL/I入門
光吉民恵著
出版情報: 東京 : オーム社, 1979.8  vii, 232p ; 22cm
シリーズ名: 図解コンピュータシリーズ / 江村潤朗監修
所蔵情報: loading…
5.

図書
図書
5. FORTRAN入門. 改訂版
浦昭二編
出版情報: 東京 : 培風館, 1972.5  xiv, 279p ; 21cm
シリーズ名: 電子計算機のプログラミング ; 1
所蔵情報: loading…
6.

図書
図書
6. PASCAL. 第3版
K.イェンゼン, N.ヴィルト著 ; A.B.ミケル, J.F.マイナー改訂 ; 原田賢一訳
出版情報: 東京 : 培風館, 1988.1  x, 243p ; 22cm
シリーズ名: 情報処理シリーズ ; 2
所蔵情報: loading…
7.

図書
図書
7. PL/I入門
F.ベイツ, M.L.ダグラス共著 ; 田中穣二, 根岸龍雄共訳
出版情報: 東京 : 日本評論社, 1970  195p ; 26cm
所蔵情報: loading…
8.

図書
図書
8. プログラム言語論 : ALGOL60からALGOLNへ
島内剛一著
出版情報: 東京 : 共立出版, 1972.10  3, 4, 205, 7p ; 22cm
シリーズ名: 電子計算機基礎講座 / 一松信, 浦昭二編 ; 5
所蔵情報: loading…
9.

図書
図書
9. LISPとその応用例
雨宮綾夫編
出版情報: 東京 : 産業図書, 1972.4  6, 322p ; 22cm
シリーズ名: コンピュータ・サイエンス・シリーズ
所蔵情報: loading…
10.

図書
図書
10. プログラムの読み方
森口繁一, 小林光夫, 武市正人 [著]
出版情報: 東京 : 岩波書店, 1981.10  vii, 255p ; 22cm
シリーズ名: 岩波講座情報科学 ; 3
所蔵情報: loading…
11.

図書
図書
11. プログラム言語
米田信夫編 ; 西村恕彦 [ほか著]
出版情報: 東京 : 岩波書店, 1983.8  xi, 303p ; 22cm
シリーズ名: 岩波講座情報科学 ; 9
所蔵情報: loading…
12.

図書
図書
12. 算法表現論
木村泉, 米澤明憲 [著]
出版情報: 東京 : 岩波書店, 1982.5  xi, 282p ; 22cm
シリーズ名: 岩波講座情報科学 ; 12
所蔵情報: loading…
13.

図書
図書
13. コンパイラ言語
栗原嗣郎編
出版情報: 東京 : 東海大学出版会, 1974  292p ; 22cm
シリーズ名: 情報科学集書 ; 17
所蔵情報: loading…
14.

図書
図書
14. 知識表現とProlog/KR
中島秀之著
出版情報: 東京 : 産業図書, 1985.2  vi, 179p ; 22cm
シリーズ名: ソフトウェアサイエンスシリーズ
所蔵情報: loading…
15.

図書
図書
15. アセンブラプログラミング詳説 : IBMシステム/360,370 (上巻 ; 下巻)
George W. Struble [著] ; 飯島純一, 町田元訳
出版情報: 東京 : 近代科学社, 1979  2冊 ; 22cm
所蔵情報: loading…
16.

図書
図書
16. LISP
P.H. ウィンストン, B.K.P. ホーン著 ; 白井良明, 安部憲広訳
出版情報: 東京 : 培風館, 1982.9  xi, 385p ; 22cm
シリーズ名: 情報処理シリーズ ; 4
所蔵情報: loading…
17.

図書
図書
17. APL SV : 新しいコンピュータ言語
長田純一, 内山昭共著
出版情報: 東京 : 丸善, 1975.7  v, 342p ; 22cm
所蔵情報: loading…
18.

図書
図書
18. 情報システムのためのPL/I
根岸正光著
出版情報: 東京 : 近代科学社, 1979.12  xiii, 261p ; 22cm
所蔵情報: loading…
19.

図書
図書
19. Common Lisp入門
湯浅太一, 萩谷昌己著
出版情報: 東京 : 岩波書店, 1986.7  xiv, 335p ; 21cm
シリーズ名: 岩波コンピュータサイエンス
所蔵情報: loading…
20.

図書
図書
20. PASCAL入門
土居範久著
出版情報: 東京 : 培風館, 1985.10  271p ; 21cm
シリーズ名: 電子計算機のプログラミング ; 9
所蔵情報: loading…
21.

図書
図書
21. LISP入門
C.ワイスマン著 ; 小林達訳
出版情報: 東京 : ダイヤモンド社, 1970.10  x, 208p ; 26cm
所蔵情報: loading…
22.

図書
図書
22. プログラミング言語の新潮流
井田哲雄著
出版情報: 東京 : 共立出版, 1988.5  x, 262p ; 22cm
シリーズ名: 計算機科学/ソフトウェア技術講座 / 廣瀬健 [ほか] 編 ; 2
所蔵情報: loading…
23.

図書
図書
23. 並行動作プログラムの構造
Per Brinch Hansen著 ; 田中英彦訳
出版情報: 東京 : 日本コンピュータ協会, 1980.1  xvi, 339p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 35
所蔵情報: loading…
24.

図書
図書
24. 大型計算機のためのFORTRAN (文法編 ; 解説編)
国井利泰 [ほか] 共著
出版情報: 東京 : サイエンス社, 1974.6-1975.5  2冊 ; 22cm
シリーズ名: サイエンスライブラリ情報電算機 ; 25-26
所蔵情報: loading…
25.

図書
図書
25. コンピュータサイエンス入門 (1 基礎編 - 4 BASIC編)
A.I.フォーサイス [ほか] 共著 ; 浦昭二, 土居範久訳
出版情報: 東京 : 培風館, 1971-1975  4冊 ; 21cm
所蔵情報: loading…
26.

図書
図書
26. 標準SQL
C.J.デイト著 ; 岸本令子訳
出版情報: 東京 : トッパン, 1988.7  247p ; 21cm
シリーズ名: アジソンウェスレイ・トッパン情報科学シリーズ
所蔵情報: loading…
27.

図書
図書
27. 情報処理の基礎 : FORTRANからのアプローチ
佐口功 [ほか] 共著
出版情報: 東京 : 共立出版, 1989.4  viii, 196p ; 26cm
所蔵情報: loading…
28.

図書
図書
28. プログラマのためのLISP入門
W.D.モウラー著 ; 佐藤浩史訳
出版情報: 東京 : サイエンス社, 1974.6  v, 94p ; 22cm
シリーズ名: サイエンスマクドナルドコンピュータシリーズ ; 6
所蔵情報: loading…
29.

図書
図書
29. プログラムの設計
山崎利治著
出版情報: 東京 : 共立出版, 1990.1  vi, 212p ; 22cm
シリーズ名: 計算機科学/ソフトウェア技術講座 / 廣瀬健 [ほか] 編 ; 3
所蔵情報: loading…
30.

図書
図書
30. LISP入門 : システムとプログラミング
中西正和著
出版情報: 東京 : 近代科学社, 1977.3  ix, 194p ; 22cm
シリーズ名: コンピュータサイエンス大学講座
所蔵情報: loading…
31.

図書
図書
31. プログラミング言語SIMPL-F
大門昭 [著]
出版情報: 横浜 : 慶応義塾大学, 1982  71p ; 26cm
シリーズ名: Seminar on mathematical sciences ; no. 6
所蔵情報: loading…
32.

図書
図書
32. 理工系のためのFORTRAN77
高橋寛, 泉隆共著
出版情報: 東京 : 昭晃堂, 1991.2  2, 2, iv, 182p ; 21cm
シリーズ名: 21世紀を指向した電子・通信・情報カリキュラムシリーズ ; D-8
所蔵情報: loading…
33.

図書
図書
33. 新C言語入門 (ビギナー編 ; シニア編 ; 応用編)
林晴比古 [著]
出版情報: 東京 : ソフトバンク, 1991.2-1991.11  3冊 ; 24cm
シリーズ名: Softbank books ; . C言語実用マスターシリーズ||C ゲンゴ ジツヨウ マスター シリーズ ; 1-3
所蔵情報: loading…
34.

図書
図書
34. C言語入門. 改訂第3版
Les Hancock, Morris Krieger, Saba Zamir共著 ; 倉骨彰, 三浦明美共訳
出版情報: 東京 : アスキー, 1992.9  526p ; 21cm
シリーズ名: ASCII software science ; . Language ; 1
所蔵情報: loading…
35.

図書
図書
35. C++ポケットリファレンス. 改訂新版
高橋晶 [ほか] 著
出版情報: 東京 : 技術評論社, 2015.6  543p ; 19cm
シリーズ名: Pocket reference
所蔵情報: loading…
目次情報: 続きを見る
1 : C++とは
2 : 基本文法
3 : 例外処理
4 : 文字列
5 : 入出力
6 : ユーティリティ
7 : コンテナとアルゴリズム
8 : スレッド
付録 / ライブラリ
言語拡張
1 : C++とは
2 : 基本文法
3 : 例外処理
概要: さらにパワーアップ!「これがしたい」を自由自在に!逆引きだから困ったときにササッとわかります。C++03、C++11に加え、C++14の新機能もフォロー。豊富なサンプルで書き方を直観理解。VC++2015/GCC4.9/Clang3.5で動 … 作を確認。 続きを見る
36.

図書
図書
36. コンパイラ作成の技法
David Gries著 ; 牛島和夫訳
出版情報: 東京 : 日本コンピュータ協会 , 東京 : 科学技術出版社 (発売), 1978.7  xx, 565p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 10
所蔵情報: loading…
37.

図書

東工大
目次DB
図書
東工大
目次DB
37. 言語理論とオートマトン
J.E.ホップクロフト, J.D.ウルマン共著 ; 野崎昭弘, 木村泉訳者代表
出版情報: 東京 : サイエンス社, 1971.6  viii, 285p ; 22cm
シリーズ名: サイエンスライブラリ情報電算機 ; 6
所蔵情報: loading…
目次情報: 続きを見る
1 言語とその表現
   1.1 アルファベットと言語 1
   1.2 手続とアルゴリズム 3
   1.3 言語の表現 6
   演習問題 8
2 文法
   2.1 動機 9
   2.2 文法の形式的概念 11
   2.3 文法の型 15
   2.4 空文 17
   2.5 文脈依存文法の帰納性 19
   2.6 文脈自由文法における導出の木 22
   演習問題 28
3 有限オートマトンと正規文法
   3.1 有限オートマトン 30
   3.2 同値関係と有限オートマトン 32
   3.3 非決定性有限オートマトン 35
   3.4 有限オートマトンと3型文法 39
   3.5 3型文法の性質 42
   3.6 有限オートマトンについての決定可能な問題 47
   3.7 2方向有限オートマトン 49
   演習問題 54
4 文脈自由文法
   4.1 文脈自由文法の簡約化 56
   4.2 Chomsky標準形 61
   4.3 Greibach標準形 63
   4.4 有限性問題の決定可能性と"uvwxy定理" 69
   4.5 自己埋めこみ性 73
   4.6 文脈自由文法のε-規則 75
   4.7 特別な型の文脈自由言語と文脈自由文法 76
   演習問題 78
5 プッシュダウン・オートマトン
   5.1 pd-オートマトンとは 81
   5.2 pd-オートマトンの定義 83
   5.3 非決定性pd-オートマトンと文脈自由言語 88
   演習問題 93
6 Turing機械
   6.1 Turing機械 95
   6.2 Turing機械の定義と表示法 95
   6.3 Turing機械の構成技法 100
   6.4 手続としてのTuring機械 107
   6.5 Turing機械の諸変形 108
   6.6 基本型に等価な制限されたTuring機械 115
   演習問題 118
7 Turing機械:停止問題,O型言語
   7.1 概説 120
   7.2 万能Turing機械 120
   7.3 停止問題の決定不能性 126
   7.4 帰納的集合のクラス 128
   7.5 Turing機械とO型文法 129
   演習問題 133
8 線型有界オートマトンと文脈依存言語
   8.1 序論 134
   8.2 線型有界オートマトンと文脈依存言語の関係 135
   8.3 文脈依存言語は帰納的集合の部分クラスである 136
   演習問題 138
9 言語の演算
   9.1 序論 139
   9.2 基本演算のもとでの閉包性 139
   9.3 写像のもとでの閉包性 143
   演習問題 154
10 時間限定Turing機械およびテープ限定Turing機械
   10.1 序論 156
   10.2 諸定義 156
   10.3 「加速定理」および「テープ節約定理」 159
   10.4 テープ1本のTuring機械と通過列 167
   10.5 テープ計算量の下界 172
   10.6 テープ計算量および時間計算量の階層 176
   演習問題 182
11 文脈自由言語の認識に要する時間とテープ量の限界
   11.1 序論 185
   11.2 文脈自由言語の認識に要する時間 185
   11.3 文脈自由言語の認識に要するテープ量 190
   演習問題 194
12 決定性プッシュダウン・オートマトン
   12.1 序論 196
   12.2 決定性言語の補集合 197
   12.3 決定性言語の性質 202
   12.4 非決定性文脈自由言語 212
   12.5 LR(k)文法 212
   演習問題 221
13 スタックオートマトン
   13.1 定義 223
   13.2 スタックオートマトンの変型 227
   13.3 2方向スタックオートマトンの能力 228
   13.4 1方向スタックオートマトンの能力 239
   13.5 スタックオートマトンの帰納性 247
   13.6 閉包の性質 249
   演習問題 249
14 決定可能性
   14.1 決定可能な問題とそうでない問題 251
   14.2 Postの対応問題 252
   14.3 文脈依存言語に関する問題 260
   14.4 文脈自由言語の決定不能問題 260
   14.5 文脈自由言語の曖昧さ 263
   14.6 決定性文脈自由言語に関する決定不能問題 272
   14.7 正規,LR(k),文脈自由,文脈依存,O型の各文法に対する決定問題の結果の要約 273
   演習問題 274
文献 277
索引 283
1 言語とその表現
   1.1 アルファベットと言語 1
   1.2 手続とアルゴリズム 3
38.

図書
図書
38. FORTRANの実際 : 文法からコンパイラまで
島内剛一, 筧捷彦, 辻尚史共著
出版情報: 東京 : サイエンス社, 1973.1  v, 247p ; 22cm
シリーズ名: サイエンスライブラリ情報電算機 ; 12
所蔵情報: loading…
39.

図書
図書
39. 演習FORTRANとその応用 : 文法 統計・数値計算 事務処理
戸川隼人著
出版情報: 東京 : サイエンス社, 1981.1  vii, 233p ; 22cm
シリーズ名: セミナーライブラリ計算機 ; 1
所蔵情報: loading…
40.

図書
図書
40. リスト処理と言語解析
藤野精一著
出版情報: 東京 : 朝倉書店, 1970.8  v, 192p ; 22cm
シリーズ名: プログラミング演習シリーズ ; 3
所蔵情報: loading…
41.

図書
図書
41. Lisp入門 : システムとプログラミング. 第2版
中西正和著
出版情報: 東京 : 近代科学社, 1981.1  ix, 233p ; 22cm
シリーズ名: コンピュータサイエンス大学講座 ; 1
所蔵情報: loading…
42.

図書
図書
42. 基礎・整列
R. セジウィック著 ; 野下浩平 [ほか] 共訳
出版情報: 東京 : 近代科学社, 1996.9  ix, 223p ; 21cm
シリーズ名: アルゴリズムC / R. セジウィック著 ; 野下浩平 [ほか] 共訳 ; 第1巻
所蔵情報: loading…
43.

図書
図書
43. FORTRAN規約
Khuynsmouk等編
出版情報: 東京 : コロナ社, 1963.6  131p ; 30cm
シリーズ名: コロナ・プログラム・シリーズ ; 6
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼