close
1.

図書

東工大
目次DB

図書
東工大
目次DB
萩原宏, 有山正孝編著
出版情報: 東京 : オーム社, 1984.5  vi, 183p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
1章 計算機システムとオペレーティングシステム
   1・1 ハードウェア資源 1
   1・2 プログラミング言語と言語処理プログラム 4
   〔1〕 プログラムと機械語 4
   〔2〕 アセンブラ 6
   〔3〕 コンパイラ 7
   1・3 システムの制御 9
   1・4 オペレーティングシステム 12
   演習問題 14
   参考文献 14
2章 コンパイラ
   2・1 コンパイラのあらまし 15
   〔1〕 コンパイラとは 15
   〔2〕 コンパイラの構成 16
   2・2 字句解析 20
   〔1〕 文字続取り 21
   〔2〕 文句続取り 22
   2・3 文脈自由文法 26
   〔1〕 代入文の文法 27
   〔2〕 文脈自由文法の形式的定義 29
   2・4 構文解析 31
   〔1〕 構文解析結果の表し方 31
   〔2〕 演算子順位による構文解析 33
   〔3〕 構文指示翻訳 42
   2・5 意味解析とコード生成 48
   〔1〕 記号表 49
   〔2〕 目的コード生成の方法 50
   2・6 最適化 53
   2・7 種々の言語処理系 55
   〔1〕 インタプリタ 56
   〔2〕 アセンブラ 58
   演習問題 59
   参考文献 60
3章 オペレーティングシステム
   3・1 オペレーティングシステムの構成 61
   〔1〕 オペレーティングシステムの構成 61
   3・2 プログラムの実行 64
   〔1〕 プログラムのロード 64
   〔2〕 コマンド 65
   〔3〕 プログラムの作成から実行まで 66
   3・3 データ入出力とデータセット 70
   〔1〕 データ入出力の対象の切替え 70
   〔2〕 統一的処理の実現方法 71
   〔3〕 アクセス法とデータセットの編成 73
   〔4〕 データセットの作成と管理 77
   3・4 データ入出力の実行と割込み 80
   〔1〕 入出力と演算 80
   〔2〕 入出力割込みによるデータ入出力 83
   〔3〕 割込みの取扱い 87
   3・5 多重プログラミングとタスク 91
   〔1〕 多重プログラミングとタスク 91
   〔2〕 タスクのスイッチング 94
   〔3〕 記憶管理と仮想記憶 98
   〔4〕 タスク間の連絡とタスク割込み 102
   3・6 情報の保護 107
   〔1〕 信頼性 107
   〔2〕 データセットの共用と機密保護 108
   〔3〕 インテグリティ 110
   3・7 処理の形態 112
   〔1〕 ジョブ実行の方式 112
   〔2〕 その他 116
   演習問題 120
   参考文献 120
4章 データベースシステム
   4・1 データベースシステムの基本概念 121
   〔1〕 データベースシステムの成立 121
   〔2〕 データベースシステムの機能と役割 123
   〔3〕 データベースシステムの構成 124
   4・2 データベースシステムの理論と実際例 130
   〔1〕 関係モデル 130
   〔2〕 関係モデルにおけるデータ操作 132
   〔3〕 関係モデルにおけるデータベース用言語 133
   〔4〕 データベースの論理設計と正規型 137
   4・3 データベースの物理的構成法 140
   〔1〕 データ間の関連づけ 140
   〔2〕 データ植による探索 141
   〔3〕 実現上の問題 144
   4・4 データベースシステムの新しい技術 145
   〔1〕 分散処理 145
   〔2〕 より使いやすい多様なシステム 147
   演習問題 147
   参考文献 148
5章 分散処理とネットワーク
   5・1 データ通信システムの構成 149
   〔1〕 データ伝送とデータ通信 149
   〔2〕 データ通信システムの構成 149
   〔3〕 データ通信のプロトコル 151
   〔4〕 通信回線網の現状 152
   〔5〕 回線交換方式 152
   〔6〕 パケット交換方式 153
   5・2 通信処理 154
   〔1〕 コンピュータシステムの通信機能 154
   〔2〕 通信機能の仮想化 155
   〔3〕 通信処理プロトコル 156
   〔4〕 通信プロセッサ 156
   〔5〕 ネットワークオペレーティングシステム 157
   5・3 ネットワークアーキテクチャ 157
   〔1〕 分散処理と通信プロトコル 158
   〔2〕 分散処理における階層化構造と通信 159
   〔3〕 階層化技法の導入 159
   〔4〕 OSI参照モデル 160
   〔5〕 通信の手順 161
   〔6〕 CCITT勧告X.25プロトコル 163
   演習問題 164
   参考文献 164
   問題解答 164
   付録 173
   索引 179
1章 計算機システムとオペレーティングシステム
   1・1 ハードウェア資源 1
   1・2 プログラミング言語と言語処理プログラム 4
2.

図書

図書
脇英世著
出版情報: 東京 : 講談社, 1986.6  256p ; 18cm
シリーズ名: ブルーバックス ; B-651
所蔵情報: loading…
3.

図書

図書
原田賢一編
出版情報: 東京 : 共立出版, 1987.4  vii,198p ; 22cm
所蔵情報: loading…
4.

図書

図書
ナツメ社編集部編著
出版情報: 東京 : ナツメ社, 1984.5  251,12p ; 22cm
所蔵情報: loading…
5.

図書

図書
戸川隼人著
出版情報: 東京 : サイエンス社, 1987.2  v, 197p ; 21cm
シリーズ名: NSライブラリ ; 2
所蔵情報: loading…
6.

図書

図書
藤野喜一, 花田收悦編著 ; 電子通信学会編
出版情報: 東京 : 電子通信学会 , 東京 : コロナ社 (発売), 1985.10  vii, 299p ; 22cm
所蔵情報: loading…
7.

図書

図書
Eric Foxley著 ; 稲田恒夫訳
出版情報: 東京 : 日経マグロウヒル社, 1987.7  274p ; 22cm
所蔵情報: loading…
8.

図書

図書
脇英世著
出版情報: 東京 : 講談社, 1986.11  329p ; 18cm
シリーズ名: ブルーバックス ; B-667
所蔵情報: loading…
9.

図書

図書
木村良夫著
出版情報: 東京 : 講談社, 1986.12  192p ; 18cm
シリーズ名: ブルーバックス ; B-671
所蔵情報: loading…
10.

図書

図書
古川康一, 溝口文雄共編
出版情報: 東京 : 共立出版, 1987.9  viii, 277p ; 22cm
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 6
所蔵情報: loading…
11.

図書

図書
J.S.ロール著 ; 荒実,玄光男共訳
出版情報: 東京 : 啓学出版, 1987.7  x, 260p ; 21cm
所蔵情報: loading…
12.

図書

図書
平野秀秋, 盛田常夫編
出版情報: 東京 : 法政大学出版局, 1987.7  viii, 413p ; 26cm
所蔵情報: loading…
13.

図書

図書
N. Wirth [著] ; 野下浩平, 筧捷彦, 武市正人共訳
出版情報: 東京 : 近代科学社, 1986.1  x, 193p ; 21cm
所蔵情報: loading…
14.

図書

図書
ロジカLogo Tool Kit開発チーム著
出版情報: 東京 : 技術評論社, 1985.5  219p ; 22cm
シリーズ名: Software technology ; 4
所蔵情報: loading…
15.

図書

図書
水本久夫, 原平八郎共著
出版情報: 東京 : 森北出版, 1983.1  2冊 ; 22cm
所蔵情報: loading…
16.

図書

図書
古川康一 [ほか] 共著
出版情報: 東京 : オーム社, 1987.1  179p ; 22cm
所蔵情報: loading…
17.

図書

図書
花田収悦 [ほか] 編
出版情報: 東京 : 日科技連出版社, 1987.2  xv, 397p ; 22cm
シリーズ名: 日科技連ソフトウェア品質管理シリーズ ; 5
所蔵情報: loading…
18.

図書

図書
R. コワルスキ著 ; 山田眞市, 菊池光昭, 桑野龍夫訳
出版情報: 東京 : 培風館, 1987.3  xv, 397p ; 22cm
シリーズ名: 情報処理シリーズ ; 8
所蔵情報: loading…
19.

図書

図書
上谷晃弘編著
出版情報: 東京 : 丸善, 1987.1  354p ; 22cm
シリーズ名: ワークステーションシリーズ
所蔵情報: loading…
20.

図書

図書
Yourdon,Constantine著 ; 原田実,久保未沙訳
出版情報: 東京 : 日本コンピュータ協会, 1986.10  xviii,544p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 36
所蔵情報: loading…
21.

図書

図書
Charniak [ほか] 著 ; 白井英俊, 片桐恭弘訳
出版情報: 東京 : 日本コンピュータ協会, 1986.10  xvi, 393p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 49
所蔵情報: loading…
22.

図書

図書
菅野文友 [ほか] 編
出版情報: 東京 : 日科技連出版社, 1987.4  xiv, 416p ; 22cm
シリーズ名: 日科技連ソフトウェア品質管理シリーズ ; 6
所蔵情報: loading…
23.

図書

図書
P.W.メツガー著 ; 下田正昭, 久保未沙共訳
出版情報: 東京 : 近代科学社, 1987.4  x, 269p ; 22cm
所蔵情報: loading…
24.

図書

図書
大林久人著
出版情報: 東京 : 共立出版, 1987.4  138p ; 26cm
シリーズ名: 情報処理入門シリーズ / 宮崎正俊, 白鳥則郎, 川添良幸編 ; 3
所蔵情報: loading…
25.

図書

図書
新ヶ江登美夫著
出版情報: 東京 : 森北出版, 1987.5  viii, 162p ; 26cm
所蔵情報: loading…
26.

図書

図書
松坂知行著
出版情報: 東京 : 工学図書, 1986.4  iii, 187p ; 21cm
所蔵情報: loading…
27.

図書

図書
Michael A. Jackson著 ; 鳥居宏次訳
出版情報: 東京 : 日本コンピュータ協会 , 東京 : 科学技術出版社 (発売), 1980.5  xvii, 318p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 42
所蔵情報: loading…
28.

図書

図書
鈴木功,小柳義夫共著
出版情報: 東京 : 近代科学社, 1987.4  193p ; 21cm
所蔵情報: loading…
29.

図書

図書
Tom DeMarco著 ; 渡辺純一訳
出版情報: 東京 : 近代科学社, 1987.6  xiv, 326p ; 22cm
所蔵情報: loading…
30.

図書

図書
土居範久, 筧捷彦著
出版情報: 東京 : 岩波書店, 1987.9  viii, 171p ; 25cm
シリーズ名: コンピュータ入門 ; 1
所蔵情報: loading…
31.

図書

図書
H・ド・サラム著 ; 倉田和彦,山田和美訳
出版情報: 東京 : 啓学出版, 1986.11  189p ; 21cm
所蔵情報: loading…
32.

図書

図書
高倉直 [ほか] 共著
出版情報: 東京 : オーム社, 1983.11  v, 279p ; 22cm
所蔵情報: loading…
33.

図書

図書
J.D.ワーニエ著 ; 鈴木君子訳
出版情報: 東京 : 啓学出版, 1988.9  210p ; 21cm
所蔵情報: loading…
34.

図書

図書
Per Brinch Hansen著 ; 田中英彦訳
出版情報: 東京 : 日本コンピュータ協会, 1980.1  xvi, 339p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 35
所蔵情報: loading…
35.

図書

図書
菅野文友著
出版情報: 東京 : 日科技連出版社, 1983.12  ix, 199p ; 19cm
シリーズ名: 日科技連信頼性工学シリーズ ; 第14巻
所蔵情報: loading…
36.

図書

図書
小池慎一著
出版情報: 東京 : CQ出版社, 1988.7  ix, 261p ; 21cm
シリーズ名: Paradigm books
所蔵情報: loading…
37.

図書

図書
黒木健実 [ほか] 共著
出版情報: 東京 : 森北出版, 1988.8  vi, 204p ; 22cm
所蔵情報: loading…
38.

図書

図書
土居範久著
出版情報: 東京 : 岩波書店, 1988.11  vii, 265p ; 25cm
シリーズ名: コンピュータ入門 ; 2
所蔵情報: loading…
39.

図書

図書
アン・ニコルス・ロムト, ニコ・ロムト著 ; 長谷部紀元監訳
出版情報: 東京 : 啓学出版, 1988.3  310p ; 21cm
所蔵情報: loading…
40.

図書

図書
有沢誠著
出版情報: 東京 : 岩波書店, 1988.5  viii, 213p ; 21cm
シリーズ名: 岩波コンピュータサイエンス
所蔵情報: loading…
41.

図書

図書
芳原信著
出版情報: 東京 : 日本経済新聞社, 1988.3  198p ; 19cm
所蔵情報: loading…
42.

図書

図書
戸川隼人著
出版情報: 東京 : サイエンス社, 1987.9  179p ; 21cm
シリーズ名: NSライブラリ ; 4
所蔵情報: loading…
43.

図書

図書
安井厚著
出版情報: 東京 : 安井厚, 1987.11  87p ; 22cm
所蔵情報: loading…
44.

図書

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

図書

図書
玉井哲雄 [ほか] 著
出版情報: 東京 : 共立出版, 1988.1  vi, 182p ; 22cm
シリーズ名: 計算機科学/ソフトウェア技術講座 / 廣瀬健 [ほか] 編 ; 13
所蔵情報: loading…
46.

図書

図書
吉村啓編
出版情報: 東京 : 岩波書店, 1988.4  ix, 204p ; 25cm
シリーズ名: コンピュータ入門 ; 4 . 楽しいプログラミング||タノシイ プログラミング ; 1
所蔵情報: loading…
47.

図書

図書
矢頭攸介 [ほか] 著
出版情報: 東京 : 岩波書店, 1988.4  260p ; 21cm
シリーズ名: 岩波コンピュータサイエンス
所蔵情報: loading…
48.

図書

図書
石井康雄 [ほか] 編
出版情報: 東京 : 日科技連出版社, 1986.12  xvi, 381p ; 22cm
シリーズ名: 日科技連ソフトウェア品質管理シリーズ ; 3
所蔵情報: loading…
49.

図書

図書
福永節夫 [ほか] 共著
出版情報: 東京 : 培風館, 1987.1  viii, 190p, 図版2p ; 26cm
所蔵情報: loading…
50.

図書

図書
D.E. Knuth著 ; 中川圭介訳
出版情報: 東京 : サイエンス社, 1986.8  11, 536p ; 22cm
シリーズ名: The art of computer programming ; 4 . 準数値算法||ジュンスウチ サンポウ
所蔵情報: loading…
51.

図書

図書
D.E. Knuth著 ; 渋谷政昭訳
出版情報: 東京 : サイエンス社, 1981.10  8, 259p ; 22cm
シリーズ名: The art of computer programming ; 3 . 準数値算法||ジュンスウチ サンポウ
所蔵情報: loading…
52.

図書

図書
AT&Tベル研究所編 ; 長谷部紀元, 清水謙多郎訳 ; 石田晴久監修
出版情報: 東京 : パーソナルメディア, 1986.11  ii, 393p ; 22cm
所蔵情報: loading…
53.

図書

図書
尾田十八 [ほか] 共著
出版情報: 東京 : 実教出版, 1980.4  iii, 233p ; 22cm
所蔵情報: loading…
54.

図書

図書
齋藤忠夫著
出版情報: 東京 : 昭晃堂, 1980.2  III, 4, 2, 237p ; 21cm
所蔵情報: loading…
55.

図書

図書
J.L.ファルツ著 ; 間野浩太郎監訳
出版情報: 東京 : マグロウヒル好学社, 1981.1  xii, 449p ; 22cm
所蔵情報: loading…
56.

図書

図書
中西正和著
出版情報: 東京 : 近代科学社, 1981.1  ix, 233p ; 22cm
シリーズ名: コンピュータサイエンス大学講座 ; 1
所蔵情報: loading…
57.

図書

図書
J.D. ウルマン著 ; 浦昭二, 益田隆司訳
出版情報: 東京 : 培風館, 1981.9  viii, 389p ; 22cm
シリーズ名: 情報処理シリーズ ; 1
所蔵情報: loading…
58.

図書

図書
A. Bundy編 ; 長尾真監訳
出版情報: 東京 : 近代科学社, 1981.12  iv, 302p ; 21cm
所蔵情報: loading…
59.

図書

図書
飯塚肇, 古谷立美, 山口喜教共著
出版情報: 東京 : オーム社, 1982.2  ix, 226p ; 22cm
シリーズ名: マイクロコンピュータ基礎講座 ; 1
所蔵情報: loading…
60.

図書

図書
田丸啓吉 [ほか] 共著
出版情報: 東京 : オーム社, 1982.3  220p ; 22cm
シリーズ名: マイクロコンピュータ基礎講座 ; 2
所蔵情報: loading…
61.

図書

図書
可児賢二編著
出版情報: 東京 : オーム社, 1982.2  232p ; 22cm
シリーズ名: マイクロコンピュータ基礎講座 ; 3
所蔵情報: loading…
62.

図書

図書
ロジャー・S.プレスマン著 ; 岡田正志訳 ; 岸田孝一監訳
出版情報: 東京 : TBS出版会 , 東京 : 産学社 (発売), 1983.7  xxii, 361p ; 26cm
シリーズ名: ソフトウェア・エンジニアリング・シリーズ
所蔵情報: loading…
63.

図書

図書
上林彌彦著
出版情報: 東京 : 昭晃堂, 1986.12  3, 2, 183p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 18
所蔵情報: loading…
64.

図書

図書
岡本敏雄著
出版情報: 東京 : 講談社, 1985.11  281p ; 18cm
シリーズ名: ブルーバックス ; B-628
所蔵情報: loading…
65.

図書

図書
山田明雄著
出版情報: 東京 : 裳華房, 1985.3  273p ; 22cm
所蔵情報: loading…
66.

図書

図書
Rodney A.Brooks [著] ; 井田昌之訳
出版情報: 東京 : 丸善, 1986.11  xiv, 292p ; 22cm
シリーズ名: ワークステーションシリーズ
所蔵情報: loading…
67.

図書

図書
石田晴久著
出版情報: 東京 : 共立出版, 1983.11  x, 242p ; 22cm
所蔵情報: loading…
68.

図書

図書
Arne Thesen著 ; 野中保雄[ほか]訳
出版情報: 東京 : 日刊工業新聞社, 1980.5  260, 6p ; 22cm
所蔵情報: loading…
69.

図書

図書
R.S.ウイナー, L.J.ピンソン著 ; 前川守訳
出版情報: 東京 : トッパン, 1989.9  ix, 291p ; 21cm
シリーズ名: アジソンウェスレイ・トッパン情報科学シリーズ
所蔵情報: loading…
70.

図書

図書
キャロル・ケーラー著 ; 大座畑重光訳
出版情報: 東京 : トッパン, 1989.10  23,326p ; 24cm
シリーズ名: アジソンウェスレイ・トッパン情報科学シリーズ
所蔵情報: loading…
71.

図書

図書
溝口文雄, 古川康一, J-L.Lassez編
出版情報: 東京 : 共立出版, 1989.11  viii, 202p ; 22cm
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 別巻2
所蔵情報: loading…
72.

図書

図書
井田哲雄編
出版情報: 東京 : 共立出版, 1989.11-1990.11  2冊 ; 22cm
所蔵情報: loading…
73.

図書

図書
井阪秀高著
出版情報: 東京 : 山海堂, 1989.8  94p ; 27cm
シリーズ名: 実際に役立つPC-8801&9801土木設計プログラムシリーズ / 井阪秀高著 ; 第5巻
所蔵情報: loading…
74.

図書

図書
J. L. ベントリー著 ; 野下浩平訳
出版情報: 東京 : 近代科学社, 1989.9  v, 238p ; 22cm
所蔵情報: loading…
75.

図書

図書
春木良且著
出版情報: 東京 : 啓学出版, 1989.7  191p ; 21cm
所蔵情報: loading…
76.

図書

図書
篠原弘章著
出版情報: 京都 : ナカニシヤ出版, 1989.7  266p ; 26cm
シリーズ名: 行動科学のBASIC / 篠原弘章著 ; 第5巻
所蔵情報: loading…
77.

図書

図書
仙波一郎著
出版情報: 東京 : サイエンス社, 1989.6  v, 171p ; 21cm
シリーズ名: Information & computing ; 35
所蔵情報: loading…
78.

図書

図書
David K.Hsiao著 ; 斎藤信男訳
出版情報: 東京 : 科学技術出版社, 1980.4  xx, 391p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 43
所蔵情報: loading…
79.

図書

図書
筧捷彦著
出版情報: 東京 : 岩波書店, 1989.7  vii, 223p ; 25cm
シリーズ名: コンピュータ入門 ; 3
所蔵情報: loading…
80.

図書

図書
日本リモートセンシング学会出版委員会編
出版情報: 東京 : 啓学出版, 1989.7  xix, 291p ; 26cm
所蔵情報: loading…
81.

図書

図書
三谷政昭著
出版情報: 東京 : ラジオ技術社, 1984.4  211p ; 21cm
シリーズ名: ラジオ技術選書 ; 143
所蔵情報: loading…
82.

図書

図書
ナツメ社編集部編著
出版情報: 東京 : ナツメ社, 1984.3  2冊 ; 22cm
所蔵情報: loading…
83.

図書

図書
坂本浩著
出版情報: 東京 : 日本ソフトバンク, 1989  冊 ; 21cm
所蔵情報: loading…
84.

図書

図書
佐藤正美著
出版情報: 東京 : ソフト・リサーチ・センター, 1989.11  306p ; 22cm
シリーズ名: SRCハンドブック ; . SEシリーズ||SE シリーズ
所蔵情報: loading…
85.

図書

図書
Mario Paz著 ; 木村欽一訳
出版情報: 東京 : 丸善, 1989.12  xv, 313p ; 22cm
所蔵情報: loading…
86.

図書

図書
吉沢純夫著
出版情報: 東京 : 森北出版, 1989.12  v, 107p ; 23cm
所蔵情報: loading…
87.

図書

東工大
目次DB

図書
東工大
目次DB
徳田雄洋著
出版情報: 東京 : 昭晃堂, 1989.6  2, 2, iv, 196p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 12
所蔵情報: loading…
目次情報: 続きを見る
1 言語
   1.1 自然言語・プラグラミング言語 1
   1.2 構文論・意味論・語用論 3
   1.3 言語の構成要素 6
   1.4 あいまいな文 9
   演習問題 11
2 準備
   2.1 基本的用語 13
   2.2 基本的表現法 24
   2.3 基本的証明法 27
   2.4 算術式の定義 30
   2.5 算術式の評価 34
   演習問題 37
3 字句の定義
   3.1 正規式 42
   3.2 有限状態プログラム 44
   3.3 有限オートマトン 49
   3.4 字句認識 53
   3.5 字句解析 60
   演習問題 61
4 構文の定義
   4.1 書換えシステム 64
   4.2 文脈自由文法 68
   4.3 文脈自由文法の例 72
   4.4 文脈自由文法の上の計算 75
   4.5 文脈自由文法の変形 79
   演習問題 82
5 構文解析技術の応用例
   5.1 変換系 84
   5.2 翻訳系 86
   5.3 解釈系 87
   5.4 実際例 88
   演習問題 91
6 構文解析の手法
   6.1 構文解析の原理 92
   6.2 非決定性手続き表現 97
   6.3 バックトラック計算 101
   演習問題 106
7 形式言語の性質
   7.1 正規式と文脈自由文法の能力限界 108
   7.2 有限オートマトンと正規言語の性質 111
   7.3 プッシュダウンオートマトンと文脈自由言語の性質 115
   7.4 プログラミング言語の構文の非文脈自由性 120
   7.5 文脈自由文法以外の構文定義法 121
   演習問題 128
8 降下型解析
   8.1 LL(κ)解析の原理 130
   8.2 LL(κ)構文解析法 132
   8.3 LL(κ)構文解析表の構成法 135
   8.4 再帰降下型解析法 141
   演習問題 146
9 上昇型解析
   9.1 LR(κ)解析の原理 147
   9.2 LR(κ)解析 150
   9.3 LR(κ)解析表の種類 153
   9.4 LR(κ)解析表の構成法 156
   9.5 バイパス型LR(κ)解析表の構成法 164
   演習問題 168
10 一般の文脈自由文法の構文解析
   10.1 索表計算法 169
   10.2 CYK法 170
   10.3 Earley法 172
   10.4 ATN法 177
   10.5 Prolog法 180
   演習問題 187
あとがき 189
参考文献 190
索引 193
1 言語
   1.1 自然言語・プラグラミング言語 1
   1.2 構文論・意味論・語用論 3
88.

図書

図書
田中穂積著
出版情報: 東京 : 産業図書, 1989.11  ix, 276p ; 22cm
所蔵情報: loading…
89.

図書

図書
酒井博敬, 堀内一共著
出版情報: 東京 : オーム社, 1989.11  vii, 160p ; 22cm
所蔵情報: loading…
90.

図書

図書
西田豊明著
出版情報: 東京 : オーム社, 1988.12  vi, 114p ; 19cm
シリーズ名: 新OHM文庫
所蔵情報: loading…
91.

図書

図書
物理教材研究会編 ; 沢田健[ほか]執筆
出版情報: 東京 : CQ出版社, 1989.4  275p ; 21cm
シリーズ名: Core books
所蔵情報: loading…
92.

図書

図書
横井与次郎著
出版情報: 東京 : ラジオ技術社, 1980.2  504 p. ; 22 cm
シリーズ名: ラジオ技術選書 ; 122
所蔵情報: loading…
93.

図書

図書
D.ゾンネンシャイン著 ; 武田英明訳
出版情報: 東京 : 啓学出版, 1988.8  207p ; 21cm
所蔵情報: loading…
94.

図書

図書
中山信弘著
出版情報: 東京 : 有斐閣, 1988.7  12, 272, iip ; 22cm
所蔵情報: loading…
95.

図書

図書
原田千秋著
出版情報: 東京 : 昭晃堂, 1988.8  177p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 8
所蔵情報: loading…
96.

図書

図書
古川康一, 溝口文雄共編
出版情報: 東京 : 共立出版, 1988.9  viii, 246p ; 22cm
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 8
所蔵情報: loading…
97.

図書

図書
前田英明著
出版情報: 東京 : 共立出版, 1988.8  vii, 185p ; 22cm
シリーズ名: OSシリーズ / 石田晴久, 土居範久編集 ; 2
所蔵情報: loading…
98.

図書

図書
A.C.ハーン著 ; 戸島熈訳
出版情報: 東京 : マグロウヒルブック, 1988.8  xvi, 201p ; 26cm
所蔵情報: loading…
99.

図書

図書
Leon Sterling, Ehud Shapiro著 ; 松田利夫訳
出版情報: [東京] : 構造計画研究所 , 東京 : 共立出版 (発売), 1988.8  xxviii, 557p, 図版1枚 ; 22cm
所蔵情報: loading…
100.

図書

図書
海保博之 [ほか] 著
出版情報: 東京 : 共立出版, 1987.9  vii, 197p ; 21cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼