close
1.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

東工大
目次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
20.

図書

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

図書

図書
Eiiti Wada (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  179 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 264
所蔵情報: loading…
22.

図書

図書
Thomas Ottmann, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  x, 565 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 267
所蔵情報: loading…
23.

図書

図書
David Gries
出版情報: New York : Springer-Verlag, c1981  xiii, 366 p. ; 24 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
目次情報: 続きを見る
Why Use Logic? Why Prove Programs Correct? / Part 0:
Propositions / Part 1:
Reasoning Using Equivalence Transformations / 2:
A Natural Deduction System / 3:
Predicates / 4:
Notations and Conventions for Arrays / 5:
Using Assertions to Document Programs / 6:
The Semantics of a Small Language / Part 2:
The Predicate Transformer wp / 7:
The Commands Skip, Abort and Composition / 8:
The Assignment Command / 9:
The Alternative Command / 10:
Procedure Call / 12:
The Iterative Command / 11:
The Development of Programs / Part 3:
Introduction / 13:
Programming as a Goal-Oriented Activity / 14:
Developing Loops From Invariants and Bounds / 15:
Developing Invariants / 16:
Notes on Bound Functions / 17:
Using Iteration Instead of Recursion / 18:
Efficiency Considerations / 19:
Two Larger Examples of Program Development / 20:
Inverting Programs / 21:
Notes on Documentation / 22:
Historical / 23:
Notes
Appendix 1-4
Answers to Exercises
References
Index
Why Use Logic? Why Prove Programs Correct? / Part 0:
Propositions / Part 1:
Reasoning Using Equivalence Transformations / 2:
24.

図書

図書
Dominique Snyers, André Thayse
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  iv, 125 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 271
所蔵情報: loading…
25.

図書

図書
P. Treleaven, M. Vanneschi (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  iv, 492 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 272
所蔵情報: loading…
26.

図書

図書
James S. Royer
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  186 p. ; 26 cm
シリーズ名: Lecture notes in computer science ; 273
所蔵情報: loading…
27.

図書

図書
J. Bézivin ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vi, 273 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 276
所蔵情報: loading…
目次情報: 続きを見る
Deltatalk; An Empirically and Aesthetically Motivated Simplification of the Sinalltalk-80 Language / A.Borning ; T. O'SHEA
Reversible Object-Oriented Interpreters / H.Lieberman
Using Types and Inheritance in Object-Oriented Languages / D.C.Halbert ; P.D.OÆbrien
Inheritance and Synchronization in Concurrent OOP / J.-P.Briot ; A.Yonezawa
On Including Part Hierarchies in Object-Oriented Languages, with an Implementation in Smalltalk / E.Blake ; S.Cook
What is "Object-Oriented Programming"? (invited paper) / B.Stroustrup
Object Representation of Scope During Translation / S.C.Dewhurst
Dynamic Grouping in an Object-Oriented Virtual Memory Hierarchy / I.Williams ; M.Wolczko ; T.Hopkins
Traveler: The Apiary Observatory / C.R.Manning
Classification of Actions or Inheritance also for Methods / B.B.Kristensen ; O.L.Madsen ; B.Moller-pedersen ; K.Nygaard
Semantics of Smalltalk-80
The Construction of User Interfaces and the Object Paradigm / J.Coutaz
The ZOO Metasystem: A Direct-Manipulation Interface to Object-Oriented Knowledge Bases / W.-F.Riekert
The Filter Browser Defining Interfaces Graphically / R.K.Ege ; D.Maier
The Common Lisp Object System: An Overview (invited paper) / L.G.Demichiel ; R.P.Gabriel
Concurrency Features for the Trellis/Owl Language / J.E.B.Moss ; W.H.Kohler
Objects as Communicating Prolog Units / P.Mello ; A.Natali
An Object Modelling Technique for Conceptual Design / M.E.S.Loomis ; A.V.Shah ; J.E.Rumbaugh
A ModellerÆs Workbench: Experiments in Object-Oriented Simulation Programming / W.Kreutzer
Behavioral Simulation Based on Knowledge Objects / T.Maruichi ; T.Uchiki ; M.Tokoro
Conformance, Genericity, Inheritance and Enhancement / C.Horn
Inheritance and Subtyping in a Parallel Object-Oriented Language / P.America
On Some Algorithms for Multiple Inheritance in Object-Oriented Programming / R.Ducournau ; M.Habib
FORK: A System for Object- and Rule-Oriented Programming / C.Beckstein ; G.Gorz ; M.Tieleman
Overview of a Parallel Object-Oriented Language CLIX / J.H.Hur ; K.Chon
Deltatalk; An Empirically and Aesthetically Motivated Simplification of the Sinalltalk-80 Language / A.Borning ; T. O'SHEA
Reversible Object-Oriented Interpreters / H.Lieberman
Using Types and Inheritance in Object-Oriented Languages / D.C.Halbert ; P.D.OÆbrien
28.

図書

図書
edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1986  vii, 604 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 244
所蔵情報: loading…
29.

図書

図書
edited by Peter J.L. Wallis
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  163 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 180
所蔵情報: loading…
30.

図書

図書
Howard Barringer
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1985  vi, 114 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 191
所蔵情報: loading…
31.

図書

図書
edited by Rohit Parikh
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  vi, 424 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 193
所蔵情報: loading…
32.

図書

図書
edited by Mathai Joseph and Rudrapatna Shyamasundar
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  viii, 468 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 181
所蔵情報: loading…
33.

図書

図書
edited by Hartmut Ehrig ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, 1985  xiv, 455 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 186 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 2
所蔵情報: loading…
34.

図書

図書
edited by Wilfried Brauer
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  vii, 519 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 194
所蔵情報: loading…
35.

図書

図書
edited by Hartmut Ehrig ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  xiii, 418 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 185 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1
所蔵情報: loading…
36.

図書

図書
edited by B. Robinet and R. Wilhelm
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  374 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 213
所蔵情報: loading…
37.

図書

図書
edited by H. Ganzinger and N.D. Jones
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  x, 324 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 217
所蔵情報: loading…
38.

図書

図書
edited by Eiichi Goto, Keijiro Araki and Taiichi Yuasa
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  x, 323 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 220
所蔵情報: loading…
39.

図書

図書
edited by Ehud Shapiro
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  ix, 720 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 225
所蔵情報: loading…
40.

図書

図書
edited by Eiiti Wada
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  ix, 311 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 221
所蔵情報: loading…
41.

図書

図書
edited by David Pitt ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  vii, 519 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 240
所蔵情報: loading…
42.

図書

図書
中田育男著
出版情報: 東京 : 産業図書, 1981.9  viii, 278p ; 22cm
シリーズ名: コンピューターサイエンス・ライブラリー
所蔵情報: loading…
43.

図書

図書
品川嘉也編 ; 品川泰子〔ほか〕共著
出版情報: 東京 : 培風館, 1984.5  278p ; 26cm
所蔵情報: loading…
44.

図書

図書
馬場敬信著
出版情報: 東京 : 昭晃堂, 1985.6  226p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 23
所蔵情報: loading…
45.

図書

図書
石田晴久著
出版情報: 東京 : 岩波書店, 1986.9  9, 259p ; 21cm
シリーズ名: 岩波コンピュータサイエンス
所蔵情報: loading…
46.

図書

図書
疋田輝雄著
出版情報: 東京 : 昭晃堂, 1985.3  ii, 2, 4, 163p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 6
所蔵情報: loading…
47.

図書

図書
鈴木則久編
出版情報: 東京 : 共立出版, 1985.12  vii, 269p ; 22cm
所蔵情報: loading…
48.

図書

図書
五十嵐善英著
出版情報: 東京 : 昭晃堂, 1987.4  165p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 32
所蔵情報: loading…
49.

図書

図書
W.F.Clocksin, C.S.Mellish著 ; 中村克彦訳
出版情報: 東京 : マイクロソフトウェア, 1983.7  xiv, 319p ; 22cm
所蔵情報: loading…
50.

図書

図書
古川康一, 溝口文雄共編
出版情報: 東京 : 共立出版, 1987.8  vii, 179p ; 22cm
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 7
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼