close
1.

図書
図書
1. UNIX C shellフィールドガイド
G・アンダーソン, P・アンダーソン著 ; 落水浩一郎, 大木敦雄訳
出版情報: 東京 : パーソナルメディア, 1987.10  xiv, 463p ; 22cm
所蔵情報: loading…
2.

図書
図書
2. エンジニアリングサイエンスのための有限要素法 (理論編 ; プログラム編)
水本久夫, 原平八郎共著
出版情報: 東京 : 森北出版, 1983.1  2冊 ; 22cm
所蔵情報: loading…
3.

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

図書
図書
4. 論理による問題の解法 : Prolog入門
R. コワルスキ著 ; 山田眞市, 菊池光昭, 桑野龍夫訳
出版情報: 東京 : 培風館, 1987.3  xv, 397p ; 22cm
シリーズ名: 情報処理シリーズ ; 8
所蔵情報: loading…
5.

図書
図書
5. 統合化プログラミング環境 : Smalltalk-80とInterlisp-D
上谷晃弘編著
出版情報: 東京 : 丸善, 1987.1  354p ; 22cm
シリーズ名: ワークステーションシリーズ
所蔵情報: loading…
6.

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

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

図書
図書
8. ORのためのプログラミング技法
Arne Thesen著 ; 野中保雄[ほか]訳
出版情報: 東京 : 日刊工業新聞社, 1980.5  260, 6p ; 22cm
所蔵情報: loading…
9.

図書
図書
9. 数理現象解析のためのプログラム計算入門
山田明雄著
出版情報: 東京 : 裳華房, 1985.3  273p ; 22cm
所蔵情報: loading…
10.

図書
図書
10. 並行処理とUNIX : Concurrent EUCLID, UNIX, TUNIS
リチャード・C.ホルト著 ; 大野豊監訳
出版情報: 東京 : 啓学出版, 1985.10  342p ; 22cm
所蔵情報: loading…
11.

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

図書
図書
12. 統計解析プログラムの基礎
芳賀敏郎, 橋本茂司著
出版情報: 東京 : 日科技連出版社, 1980.7  x, 228p ; 21cm
シリーズ名: 統計解析プログラム講座 / 芳賀敏郎, 橋本茂司著 ; 1
所蔵情報: loading…
13.

図書

東工大
目次DB
図書
東工大
目次DB
13. パソコン熱工学入門
是松孝治著
出版情報: 東京 : 工学図書, 1987.5  121p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 BASICについて 1
   1-1 BASIC概説 1
   （1）パソコンの算術演算子 1
   （2）関数の計算 2
   （3）BASICの命令およびコマンドの例 2
   1-2 BASICの基本例題 4
第2章 熱工学で扱う物理量の単位換算 20
   2-1 温度（temperature） 20
   2-2 圧力（Pressure） 23
   2-3 動力（仕事率） 26
第3章 熱機関のサイクル 31
   3-1 オットーサイクル 31
   （1）熱効率 33
   （2）平均有効圧Pm 33
   3-2 ディーゼルサイクル 38
   （1）熱効率 40
   （2）平均有効圧Pm 40
   3-3 スターリングサイクル 45
   （1）熱効率 46
   （2）平均有効圧Pm 47
第4章 気体や蒸気の流れ・蒸気線図 51
   4-1 摩擦のない一次元定常断熱流れの基礎式 51
   （1）運動方程式 52
   4-2 ノズルを通る流れ 53
   （1）流速w2の計算（熱落差h1-h2から求める場合） 54
   （2）ノズル噴出速度w2と通過流量Gの計算（理想気体の場合） 81
第5章 燃焼 87
   5-1 燃焼に必要な空気量、燃焼ガスの組成、燃焼ガス量 87
   （1）固体燃料、液体燃料 87
   （2）気体燃料 94
   5-2 理論燃焼温度 96
第6章 熱伝導 108
   6-1 熱伝導の基礎式 108
   6-2 一次元の非定常熱伝導 110
索引 119
第1章 BASICについて 1
   1-1 BASIC概説 1
   （1）パソコンの算術演算子 1
14.

図書
図書
14. マイクロコンピュータのプログラミング
石田晴久 [著]
出版情報: 東京 : 岩波書店, 1984.10  xi, 213p ; 22cm
シリーズ名: 岩波講座マイクロエレクトロニクス / 元岡達 [ほか] 編 ; 6
所蔵情報: loading…
15.

図書
図書
15. ソフトウェア工学入門 : 構造化ソフトウェアの設計手法
Will D. Gillet, Seymour V. Pollack共著
出版情報: 東京 : ホルト・サウンダース・ジャパン, 1984.5  264p ; 26cm
所蔵情報: loading…
16.

図書
図書
16. プログラミングシステムの基礎
J.D. ウルマン著 ; 浦昭二, 益田隆司訳
出版情報: 東京 : 培風館, 1981.9  viii, 389p ; 22cm
シリーズ名: 情報処理シリーズ ; 1
所蔵情報: loading…
17.

図書
図書
17. 人工知能入門
A. Bundy編 ; 長尾真監訳
出版情報: 東京 : 近代科学社, 1981.12  iv, 302p ; 21cm
所蔵情報: loading…
18.

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

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

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

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

図書
図書
22. 活用UNIX : UNIXによるデスクトップパブリッシング入門
アン・ニコルス・ロムト, ニコ・ロムト著 ; 長谷部紀元監訳
出版情報: 東京 : 啓学出版, 1988.3  310p ; 21cm
所蔵情報: loading…
23.

図書
図書
23. FFTの使い方 (新装版)
安居院猛, 中嶋正之著
出版情報: 東京 : 秋葉出版, 1986.2  219p ; 21cm
シリーズ名: エレクトロニクス選書 ; 006
所蔵情報: loading…
24.

図書
図書
24. 計算システム入門
所真理雄 [著]
出版情報: 東京 : 岩波書店, 1988.10  xxii, 417p ; 23cm
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 1
所蔵情報: loading…
25.

図書
図書
25. Cによる有限要素法のプログラミング
黒木健実 [ほか] 共著
出版情報: 東京 : 森北出版, 1988.8  vi, 204p ; 22cm
所蔵情報: loading…
26.

図書
図書
26. パソコンによるリモートセンシングデータ解析
日本リモートセンシング学会出版委員会編
出版情報: 東京 : 啓学出版, 1989.7  xix, 291p ; 26cm
所蔵情報: loading…
27.

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

図書
図書
28. プログラム変換
古川康一, 溝口文雄共編
出版情報: 東京 : 共立出版, 1987.8  vii, 179p ; 22cm
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 7
所蔵情報: loading…
29.

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

図書
図書
30. 機械振動とマトリクス解析法
W.D.ピルキー, 岡田養二共著
出版情報: 東京 : コロナ社, 1989.7  8,247p ; 22cm
所蔵情報: loading…
31.

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

図書
図書
32. 新しいプログラミング・パラダイム ([正] ; 続)
井田哲雄編
出版情報: 東京 : 共立出版, 1989.11-1990.11  2冊 ; 22cm
所蔵情報: loading…
33.

図書
図書
33. UNIXデバイスドライバ
Janet I. Egan, Thomas J. Teixeira共著 ; 野中浩一, 大西照代共訳
出版情報: 東京 : アスキー, 1989.11  447p ; 26cm
シリーズ名: ASCII handbooks
所蔵情報: loading…
34.

図書
図書
34. 自然言語解析の基礎
田中穂積著
出版情報: 東京 : 産業図書, 1989.11  ix, 276p ; 22cm
所蔵情報: loading…
35.

図書
図書
35. Fortran77による数値計算ソフトウェア
渡部力, 名取亮, 小国力監修
出版情報: 東京 : 丸善, 1989.12  viii, 325p ; 22cm
所蔵情報: loading…
36.

図書
図書
36. オブジェクト指向入門
酒井博敬, 堀内一共著
出版情報: 東京 : オーム社, 1989.11  vii, 160p ; 22cm
所蔵情報: loading…
37.

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

図書
図書
38. オブジェクト指向 : 解説とWOOC'85からの論文
鈴木則久編
出版情報: 東京 : 共立出版, 1985.12  vii, 269p ; 22cm
所蔵情報: loading…
39.

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

図書
図書
40. 並列論理型言語GHCとその応用
古川康一, 溝口文雄共編
出版情報: 東京 : 共立出版, 1987.9  viii, 277p ; 22cm
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 6
所蔵情報: loading…
41.

図書
図書
41. プログラミングの方法
川合慧 [著]
出版情報: 東京 : 岩波書店, 1988.6  xxii, 408p ; 23cm
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 2
所蔵情報: loading…
42.

図書
図書
42. 計算化学ガイドブック : 3大分子計算プログラムの解説
Tim Clark [著] ; 大澤映二 [ほか] 共訳
出版情報: 東京 : 丸善, 1988.4  viii, 347p ; 21cm
所蔵情報: loading…
43.

図書
図書
43. プログラム理論入門
R. バード著 ; 土居範久訳
出版情報: 東京 : 培風館, 1981.12  vi, 252p ; 22cm
シリーズ名: 情報処理シリーズ ; 3
所蔵情報: loading…
44.

図書

東工大
目次DB
図書
東工大
目次DB
44. プログラミング言語処理系
佐々政孝 [著]
出版情報: 東京 : 岩波書店, 1989.10  xxiii, 602p ; 23cm
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 5
所蔵情報: loading…
目次情報: 続きを見る
ソフトウェア科学を学ぶために
まえがき
学習の手引き
1 言語処理系とそのなかま
   1.1 プログラム言語とその処理 2
   1.2 コンパイラのなかま 7
   1.3 コンパイラとプログラミング環境 10
   第1章のまとめ・演習問題1 12
2 コンパイラのあらまし
   2.1 コンパイラの構成 16
   (a) 字句解析 19
   (b) 記号表 22
   (c) 構文解析 24
   (d) 意味解析 34
   (e) 中間コード生成 37
   (f) 最適化 41
   (g) コード生成 43
   2.2 誤り処理とエラーメッセージ 45
   2.3 コンパイラの物理の構造 47
   (a) パス 47
   (b) コンパイラのさまざまな構成 49
   (c) フロントエンドとバックエンド 50
   2.4 コンパイラ生成系 51
   第2章のまとめ・演習問題2 53
3 字句解析
   3.1 字句解析のあらまし 56
   3.2 正規表現と有限オートマトン 58
   (a) 正規表現 58
   (b) 有限オートマトン 61
   (c) 正規表現から非決定性有限オートマトンへ 64
   (d) 非決定性有限オートマトンから決定性有限オートマトンへ 67
   (e) 決定性オートマトンの状態数の最小化 70
   3.3 字句解析器 73
   (a) 字句解析器の構成 73
   (b) 文字読取り器 74
   (c) 文字読取り器の効率化 77
   (d) 字句読取り器 80
   (e) 字句読取り器の効率化 88
   (f) 字句読取り器についての補足 88
   3.4 字句解析における誤り処理 89
   3.5 字句解析器生成系 90
   第3章のまとめ・演習問題3 93
4 構文解析
   4.1 構文解析のあらまし 98
   4.2 文脈自由文法と構文の記述 99
   (a) 文脈自由文法 99
   (b) 導出と還元 106
   (c) 解析木 108
   (d) 文法のあいまいさ,演算子の優先順位と結合性 110
   (e) 正規右辺文法 118
   4.3 種々の構文解析法と構文誤り処理 120
   (a) 文脈自由文法と構文解析法との関係 120
   (b) 構文解析器と他のフェーズとの協同 122
   (c) 構文誤りの処理 123
   4.4 下向き構文解析 126
   (a) 後戻りつき下向き構文解析 126
   (b) 下向き構文解析の問題点 129
   (c) 予測的構文解析 136
   (d) 後戻りなしの再帰降下構文解析 137
   (e) 非再帰予測的構文解析 144
   (f) FIRST,FOLLOW,DIRECTOR集合と構文解析表の計算 148
   (g) LL(1)文法 157
   4.5 下向き構文解析における誤り処理 159
   4.6 上向き構文解析 161
   (a) シフト還元構文解析 162
   (b) 演算子順位構文解析 165
   (c) LR構文解析 170
   4.7 LR構文解析における誤り処理 206
   4.8 構文解析法の比較 209
   4.9 構文解析器生成系 211
   第4章のまとめ・演習問題4 217
5 意味解析
   5.1 意味解析のあらまし 222
   5.2 属性文法 223
   (a) 属性文法のあらまし 223
   (b) 属性評価 228
   (c) 属性文法の定義 231
   5.3 プログラム言語の意味解析 233
   (a) スコープ規則の意味解析 233
   (b) 宣言部の意味解析 241
   (c) 型の解析 249
   5.4 意味誤りの処理 255
   5.5 記号表とその処理 257
   (a) 記号表内の情報 257
   (b) 記号表の操作とデータ構造 259
   (c) 記号表における入れ子型スコープの扱い 268
   5.6 属性文法のクラスと属性評価 273
   (a) 非循環属性文法とその属性評価 274
   (b) 絶対非循環性文法とその属性評価 279
   (c) 1パス型の属性文法とその属性評価 284
   (d) 属性評価の最適化 296
   (e) 属性文法クラスの包含関係 299
   5.7 意味解析器生成系 301
   第5章のまとめ・演習問題5 306
6 実行時環境
   6.1 記憶管理 312
   (a) 実行時記憶 312
   (b) 活性レコード 314
   (c) 手続き呼出しと戻り時の処理 321
   6.2 非局所名の参照 325
   (a) 入れ子のあるブロックにおける名前の割当て 325
   (b) 入れ子の手続きでの非局所名の参照 326
   (c) 静的リンク法 327
   (d) ディスプレイ法 330
   6.3 パラメタの渡し方 333
   (a) 値呼び 334
   (b) 参照呼び 334
   6.4 記憶領域の動的割当て 336
   (a) 単一寸法の領域の動的記憶管理 337
   (b) 多種寸法の領域の動的記憶管理 338
   第6章のまとめ・演習問題6 342
7 中間コード生成
   7.1 中間コード生成のあらまし 348
   7.2 中間言語の種類 349
   (a) 抽象構文木とdag 349
   (b) 後置コード 355
   (c) 3番地コード,四つ組,三つ組 360
   (d) 本書で用いる拡張3番地コード 364
   7.3 代入文と配列の中間コード 367
   (a) 混合演算と型変換 368
   (b) 配列要素 370
   (c) レコード 372
   7.4 制御文と論理式の中間コード 373
   (a) 制御文の中間コード 373
   (b) 論理式の中間コード 375
   (c) 論理式の飛越し型中間コード 378
   7.5 手続き呼出しの中間コード 384
   7.6 中間コード生成の効率化 385
   (a) 意味規則の書換えによる効率化 385
   (b) バックパッチング 387
   第7章のまとめ・演習問題7 391
8 コード生成
   8.1 コード生成のあらまし 396
   (a) 中間言語と目的言語 396
   (b) 記憶割当ての時期 397
   (c) 命令の選択と目的コードの効率 398
   (d) レジスタ割当てと評価順序 399
   8.2 目的機械のモデル 401
   8.3 式のコード生成 402
   (a) 変数の参照 403
   (b) 配列やレコードの参照 404
   (c) 式の最適なコード 405
   8.4 文の列に対するコード生成 418
   (a) 諸定義 419
   (b) グラフ彩色によるレジスタ割当て 420
   (c) 一時名に対する記憶割当て 424
   (d) 基本ブロックのコード生成 425
   (e) 条件飛越しのコード生成 427
   (f) 手続き呼出しのコード生成 429
   8.5 コード生成器生成系 431
   (a) 木の書換え規則による代入文のコード生成の定式化 432
   (b) 木の下向きパタンマッチングによるコード生成 435
   (c) LR構文解析を利用するコード生成 438
   第8章のまとめ・演習問題8 439
9 コード最適化
   9.1 コード最適化のあらまし 442
   9.2 最適化の例 444
   (a) 代数的性質の利用 445
   (b) コピー伝播 445
   (c) 共通部分式の除去 446
   (d) 不要コードの除去 447
   (e) ループの最適化 447
   (f) インライン展開 451
   (g) パイプライン制御の考慮 452
   (h) その他の最適化 452
   9.3 基本ブロックの最適化 453
   9.4 基本ブロックを越える最適化 459
   (a) 制御フロー解析 460
   (b) ループ 461
   (c) データフロー解析 464
   (d) 最適化変換とコード生成器への情報渡し 465
   9.5 データフロー解析と各種最適化変換 465
   (a) 到達する定義 465
   (b) 構造的プログラム言語のデータフロー解析(到達する定義) 467
   (c) 一般のプログラムのデータフロー解析(到達する定義) 471
   (d) 利用可能式と大域的共通部分式の除去 476
   (e) 生存変数と不要コードの除去 480
   (f) データフロー方程式の分類 482
   (g) ループの最適化 483
   9.6 のぞき穴最適化 493
   9.7 その他の最適化手法 496
   第9章のまとめ・演習問題9 497
10 インタプリタ
   10.1 インタプリタの概念 502
   10.2 スタック仮想機械と後置コード 505
   (a) PL/0機械 505
   (b) PL/0コード 507
   (c) PL/0プログラムのPL/0コードへの翻訳 509
   10.3 インタプリタのプログラム 513
   (a) インタプリタの構成 513
   (b) PL/0インタプリタ 515
   (c) インタプリタの効率化 515
   第10章のまとめ・演習問題10 516
付録A 言語処理系の移植 519
付録B 生成系を用いたPL/0言語の処理系 525
演習問題の解答 553
参考書 583
索引 595
ソフトウェア科学を学ぶために
まえがき
学習の手引き
45.

図書
図書
45. オペレーティングシステム
前川守 [著]
出版情報: 東京 : 岩波書店, 1988.9  xxvi, 459p ; 23cm
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 6
所蔵情報: loading…
46.

図書
図書
46. 回帰分析と主成分分析
芳賀, 敏郎(1927-) ; 橋本, 茂司
出版情報: 東京 : 日科技連出版社, 1980.5  x, 228p ; 21cm
シリーズ名: 統計解析プログラム講座 / 芳賀敏郎, 橋本茂司著 ; 2
所蔵情報: loading…
47.

図書
図書
47. アルゴリズムとデータ構造
石畑清 [著]
出版情報: 東京 : 岩波書店, 1989.3  xxiv, 486p ; 23cm
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 3
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼