close
1.

図書
図書
1. 基礎・BASIC
松田稔著
出版情報: 東京 : パワー社, 1979.10  101p ; 22cm
所蔵情報: loading…
2.

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

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

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

図書
図書
5. プログラマのためのPL/I
スコット・ソンダック著 ; 中村慶一訳
出版情報: 東京 : 森北出版, 1974.10  vii, 337p ; 23cm
所蔵情報: loading…
6.

図書
図書
6. 数値解析とFORTRAN. 増補2版
雨宮綾夫, 田口武夫編
出版情報: 東京 : 丸善, 1971.11  xx, 550p ; 22cm
所蔵情報: loading…
7.

図書
図書
7. アセンブリ言語
浦昭二編
出版情報: 東京 : 培風館, 1970.9  iv, 345p ; 21cm
シリーズ名: 電子計算機のプログラミング ; 3
所蔵情報: loading…
8.

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

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

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

図書
図書
11. 図説PL/I
内山昭著
出版情報: 東京 : 朝倉書店, 1973.4  263p ; 27cm
所蔵情報: loading…
12.

図書
図書
12. 科学者・技術者のためのフォートラン入門
中川徹著
出版情報: 東京 : 東京化学同人, 1978.4  v, 243p ; 22cm
所蔵情報: loading…
13.

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

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

図書
図書
15. FORTRANの統計実務入門
金田数正著
出版情報: 東京 : 内田老鶴圃新社, 1974.10  2,2,147,3p ; 22cm
所蔵情報: loading…
16.

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

図書
図書
17. 構造的COBOL入門
D.マクラッケン著 ; 加藤満,村原貞夫共訳
出版情報: 東京 : テクノ, 1979.5  392p ; 26cm
所蔵情報: loading…
18.

図書
図書
18. COBOLプログラムスタイル入門
味村重臣著
出版情報: 東京 : オーム社, 1979.9  vi, 238p ; 21cm
所蔵情報: loading…
19.

図書
図書
19. 現代教養数学 : 集合論から電算機プログラミングまで
野崎昭弘著
出版情報: 東京 : サイエンス社, 1970.3  v, 135p ; 22cm
シリーズ名: サイエンスライブラリ数学 ; 1
所蔵情報: loading…
20.

図書
図書
20. アセンブラプログラミング入門 : IBM System/370のための
金山裕著
出版情報: 東京 : 近代科学社, 1977.5  xii, 291p ; 22cm
シリーズ名: コンピュータサイエンス大学講座 ; 2
所蔵情報: loading…
21.

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

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

図書
図書
23. 電子計算機 : ソフトウェアの基礎
萩原宏 [ほか] 著
出版情報: 東京 : オーム社, 1976.7  2, 4, 195p ; 22cm
所蔵情報: 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. COBOL (プログラム編 ; 文法編)
西村恕彦 [ほか] 共著
出版情報: 東京 : 共立出版, 1972.5-1972.12  2冊 ; 26cm
所蔵情報: loading…
27.

図書
図書
27. 科学者のためのPL/I
C.T. ファイク著 ; 赤木昭夫, 加賀美鉄雄, 鈴木紀郎共訳
出版情報: 東京 : 共立出版, 1973.1  3, 5, 253, 21p ; 22cm
所蔵情報: loading…
28.

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

図書
図書
29. COBOL入門
大駒誠一著
出版情報: 東京 : 培風館, 1971.9  vii, 216p ; 21cm
シリーズ名: 電子計算機のプログラミング ; 4
所蔵情報: loading…
30.

図書
図書
30. コボル演習
久保田茂隆
出版情報: 東京 : コロナ社, 1974.10  vi, 155p ; 21cm
シリーズ名: 情報処理入門講座 ; 5
所蔵情報: loading…
31.

図書
図書
31. マイクロコンピュータFORTRAN
小原禎司訳
出版情報: 東京 : 工学図書, 1979.12  1冊 ; 27cm
所蔵情報: loading…
32.

図書
図書
32. FORTRANの基礎から応用まで : これでわかった
内海修也著
出版情報: 東京 : 啓学出版, 1974  260p ; 21cm
所蔵情報: loading…
33.

図書
図書
33. 図解マイコンのためのBASIC入門
小牧常松, 大原茂之共著
出版情報: 東京 : オーム社, 1979.6  v,177p ; 21cm
所蔵情報: loading…
34.

図書
図書
34. ミニコンから使えるFORTRANの基本と演習
仮谷太一[ほか]著
出版情報: 東京 : 槙書店, 1975.3  x,142p ; 22cm
所蔵情報: loading…
35.

図書
図書
35. FORTRAN電子計算機とプログラミング
国井利泰, 中村明子, 伊藤文子共著
出版情報: 東京 : 共立出版, 1973.11  vii, 252, 4p ; 22cm
所蔵情報: loading…
36.

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

図書
図書
37. FORTRAN文法とプログラミング : HITAC8800/8700を中心として
佐藤泰夫編
出版情報: 東京 : 東京大学出版会, 1974.4  xii, 366p ; 26cm
所蔵情報: loading…
38.

図書
図書
38. プログラミング言語ハンドブック
ジーン E. サメット著 ; 竹下亨訳
出版情報: 東京 : 日本経営出版会, 1971.11  858p ; 24cm
所蔵情報: loading…
39.

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

図書

東工大
目次DB
図書
東工大
目次DB
40. 言語理論とオートマトン
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
41.

図書
図書
41. 記号処理
中西正和著
出版情報: 東京 : 朝倉書店, 1978.12  iv, 178p ; 22cm
シリーズ名: 理工系基礎の数学 ; 13
所蔵情報: loading…
42.

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

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

図書
図書
44. コンパイラ
田中一, 栃内香次, 宮本衛市共著
出版情報: 東京 : 森北出版, 1971.3  vii, 215p ; 22cm
シリーズ名: 数学ライブラリー ; 22
所蔵情報: loading…
45.

図書
図書
45. フォートラン演習120題
大西正和著
出版情報: 東京 : 日刊工業新聞社, 1972.4  204p ; 21cm
所蔵情報: loading…
46.

図書
図書
46. JIS・FORTRAN全釈
西村恕彦編著
出版情報: 東京 : オーム社, 1974.5  240p ; 27cm
所蔵情報: loading…
47.

図書
図書
47. 詳解FORTRAN演習. 10刷
中村明子, 伊藤文子共編
出版情報: 東京 : 共立出版, 1979.1  2, 3, 230p ; 22cm
所蔵情報: loading…
48.

図書
図書
48. APL入門 : 新しいコンピュータ言語
長田純一, 内山昭共著
出版情報: 東京 : 丸善, 1976.1  vii, 243p ; 22cm
所蔵情報: loading…
49.

図書
図書
49. 詳解FORTRAN演習
中村明子, 伊藤文子共編
出版情報: 東京 : 共立出版, 1978.1  2, 3, 222p ; 22cm
所蔵情報: loading…
50.

図書
図書
50. 心理・教育のためのFORTRAN
難波精一郎, 吉田光雄編著
出版情報: 東京 : 誠信書房, 1974  513p ; 22cm
所蔵情報: loading…
51.

図書
図書
51. アルゴルとフォートランの応用
藤野精一著
出版情報: 東京 : 朝倉書店, 1971.11  v, 312p ; 22cm
シリーズ名: プログラミング演習シリーズ ; 2
所蔵情報: loading…
52.

図書
図書
52. FŌRTRAN入門
森口繁一, 小林光夫共著
出版情報: 東京 : 共立出版, 1970.11  2, 3, 150, 5p ; 19cm
シリーズ名: 共立全書 ; 185
所蔵情報: loading…
53.

図書
図書
53. 標準言語FORTRAN
菅忠義著
出版情報: 東京 : 共立出版, 1972.5  3, 2, 4, 291, 32p ; 22cm
シリーズ名: 電子計算機基礎講座 / 一松信, 浦昭二編 ; 3
所蔵情報: loading…
54.

図書
図書
54. 標準言語COBOL : 改訂アメリカ規格COBOL
西村恕彦著
出版情報: 東京 : 共立出版, 1974  xii, 188p ; 22cm
シリーズ名: 電子計算機基礎講座 / 一松信, 浦昭二編 ; 4
所蔵情報: loading…
55.

図書
図書
55. 簡明COBOL
M.V.ファリーナ著 ; 関根智明訳
出版情報: 東京 : 培風館, 1970  vi, 420p ; 26cm
所蔵情報: loading…
56.

図書
図書
56. コンピュータサイエンス (1 ; 2 ; 3)
J.K.ライス, J.R.ライス共著 ; 細井勉, 関本年彦, 佐藤雅彦共訳
出版情報: 東京 : サイエンス社, 1974.5  3冊 ; 22cm
シリーズ名: サイエンスライブラリ情報電算機 ; 22-24
所蔵情報: loading…
57.

図書
図書
57. JIS COBOL全釈 : 電子計算機プログラム用言語
西村恕彦編著
出版情報: 東京 : オーム社, 1972.12  513p ; 27cm
所蔵情報: loading…
58.

図書
図書
58. COBOLのオブジェクトコード
魚田勝臣, 小碇暉雄著
出版情報: 東京 : 近代科学社, 1978.3  xii, 240p ; 22cm
シリーズ名: コンピュータサイエンス大学講座
所蔵情報: loading…
59.

図書
図書
59. プログラミングSNOBOL3入門
Allen Forte著 ; 岸田孝一訳
出版情報: 東京 : 日本生産性本部, 1972  171p ; 22cm
所蔵情報: loading…
60.

図書
図書
60. アセンブリプログラミング
大駒誠一 [ほか] 著
出版情報: 東京 : サイエンス社, 1979.4  viii, 303p ; 21cm
シリーズ名: サイエンスライブラリ コンピュータテキスト / 浦昭二, 戸川隼人編集 ; 3
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼