close
1.

図書
図書
1. FORTHへの招待
ハリー・カッツァン著 ; 池野信一監訳
出版情報: 東京 : 近代科学社, 1982.7  180p ; 21cm
シリーズ名: ソフトウェア工学ライブラリ ; [7]
所蔵情報: loading…
2.

図書
図書
2. Prolog入門
古川康一著
出版情報: 東京 : オーム社, 1986.9  185p ; 22cm
所蔵情報: loading…
3.

図書
図書
3. LISP技法 (上 ; 下)
R.ワイレンスキー著 ; 平林真一 [ほか] 訳
出版情報: 東京 : 講談社, 1987.7  2冊 ; 21cm
所蔵情報: loading…
4.

図書
図書
4. COBOLプログラミング
大林久人著
出版情報: 東京 : 共立出版, 1987.6  152p ; 26cm
シリーズ名: 情報処理入門シリーズ / 宮崎正俊, 白鳥則郎, 川添良幸編 ; 5
所蔵情報: loading…
5.

図書
図書
5. C言語 : Pascalからの入門
ダグラス・ブラウン著 ; 西田親生〔ほか〕訳
出版情報: 東京 : 啓学出版, 1987.10  143p ; 21cm
所蔵情報: loading…
6.

図書
図書
6. COBOLプログラミング入門
田川正子著
出版情報: 東京 : 培風館, 1981.1  7, 235p ; 21cm
所蔵情報: loading…
7.

図書
図書
7. 人工知能用言語OPS83
チャールズ L.フォーギー著 ; 中間正人訳
出版情報: 東京 : パーソナルメディア, 1986.12  354p ; 22cm
所蔵情報: loading…
8.

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

図書
図書
9. PROLOG入門 : 知識情報処理の序曲
後藤滋樹著
出版情報: 東京 : サイエンス社, 1984.4  iv, 186p ; 21cm
シリーズ名: ソフトウェアライブラリ ; 1
所蔵情報: loading…
10.

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

図書
図書
11. ADA入門
ブライアン・メイヨー著 ; 寺島元章訳
出版情報: 東京 : ワイリー・ジャパン, 1983.4  x, 269p ; 21cm
所蔵情報: loading…
12.

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

図書
図書
13. はじめて学ぶ人のためのFORTRAN
小林竜一著
出版情報: 東京 : 培風館, 1980.12  199p ; 21cm
所蔵情報: loading…
14.

図書
図書
14. 入門C言語
三田典玄著
出版情報: 東京 : アスキー, 1986.4  223p ; 24cm
シリーズ名: アスキー・ラーニングシステム ; 1 入門コース
所蔵情報: loading…
15.

図書
図書
15. プログラミング言語C : UNIX流プログラム書法と作法
B.W.カーニハン, D.M.リッチー著 ; 石田晴久訳
出版情報: 東京 : 共立出版, 1981.7  12, 248p ; 21cm
所蔵情報: loading…
16.

図書
図書
16. Cアンサー・ブック
クロビス・L.トンド, スコット・E.ギンペル著 ; 矢吹道郎訳
出版情報: 東京 : 啓学出版, 1986.5  vi, 194p ; 21cm
所蔵情報: loading…
17.

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

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

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

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

図書
図書
21. LISP入門
Laurent Siklóssy著 ; 後藤英一, 戸島熈訳
出版情報: 東京 : 日本コンピュータ協会, 1981.9  xvi, 275p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 15
所蔵情報: loading…
22.

図書
図書
22. LISP入門
池田一夫,馬場史郎著
出版情報: 東京 : 啓学出版, 1984.9  203p ; 21cm
所蔵情報: loading…
23.

図書
図書
23. プログラミング言語とVLSI
淵一博, 鈴木則久 [著]
出版情報: 東京 : 岩波書店, 1985.6  viii, 224p ; 22cm
シリーズ名: 岩波講座マイクロエレクトロニクス / 元岡達 [ほか] 編 ; 7
所蔵情報: loading…
24.

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

図書
図書
25. 数理情報学入門 : スコット・プログラム理論
中島玲二著
出版情報: 東京 : 朝倉書店, 1982.3  ix, 170p ; 21cm
シリーズ名: 数理科学ライブラリー ; 3
所蔵情報: loading…
26.

図書
図書
26. プログラム言語への招待
有沢誠著
出版情報: 東京 : 岩波書店, 1984.9  x, 177p ; 19cm
シリーズ名: New science age ; 3
所蔵情報: loading…
27.

図書
図書
27. コンパイラ
A.V.エイホ, J.D.ウルマン著 ; 土居範久訳
出版情報: 東京 : 培風館, 1986.3  x, 543p ; 22cm
シリーズ名: 情報処理シリーズ ; 7
所蔵情報: loading…
28.

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

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

図書
図書
30. 記号処理プログラミング
後藤滋樹 [著]
出版情報: 東京 : 岩波書店, 1988.8  xix, 218p ; 23cm
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 8
所蔵情報: loading…
31.

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

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

図書
図書
33. Prolog入門
太細孝 [ほか] 著
出版情報: 東京 : 啓学出版, 1984.8  x, 228p ; 21cm
所蔵情報: loading…
34.

図書
図書
34. 知識指向言語Prolog : 人工知能プログラミングへの序曲
小谷善行著
出版情報: 東京 : 技術評論社, 1986.5  198p ; 21cm
シリーズ名: Software technology ; 10
所蔵情報: loading…
35.

図書
図書
35. PROLOGデータベース・システム
D.リー著 ; 安部憲広訳
出版情報: 東京 : 近代科学社, 1985.10  vi, 231p ; 22cm
所蔵情報: loading…
36.

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

図書
図書
37. コンパイラの理論
大山口通夫著
出版情報: 東京 : コロナ社, 1989.9  vii, 163p ; 22cm
シリーズ名: コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 ; 10
所蔵情報: loading…
38.

図書
図書
38. Pascal入門
古郡廷治著
出版情報: 東京 : サイエンス社, 1989.7  v, 231p ; 21cm
シリーズ名: Information & computing ; 34
所蔵情報: loading…
39.

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

図書
図書
40. 教育用C言語のABC
中山茂著
出版情報: 東京 : 技報堂, 1989.5  iv, 270p ; 21cm
所蔵情報: loading…
41.

図書
図書
41. コンパイラ. 第1回修正
疋田輝雄著
出版情報: 東京 : 昭晃堂, 1986.7  2,4,163p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 6
所蔵情報: loading…
42.

図書
図書
42. マイクロコンピュータBASIC演習77
岸田孝一, 藤井良治共著
出版情報: 東京 : 産報出版, 1980.5  181p ; 21cm
シリーズ名: 電子科学演習シリーズ ; 15
所蔵情報: loading…
43.

図書
図書
43. 初めて学ぶLISP
Gnosis編 ; 塩谷勇 [ほか] 訳 ; 中村克彦監訳
出版情報: 東京 : オーム社, 1985.7  139p ; 26cm
所蔵情報: loading…
44.

図書
図書
44. BASICと比較したPASCAL入門 : PASCAL/Mのプログラミング
横井与次郎著
出版情報: 東京 : ラジオ技術社, 1983.5  448p ; 22cm
シリーズ名: ラジオ技術選書 ; 137
所蔵情報: loading…
45.

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

図書
図書
46. プロッタによる図形処理
光成豊明著
出版情報: 東京 : パワー社, 1981.7  104p ; 22cm
シリーズ名: 応用・BASIC ; 2
所蔵情報: loading…
47.

図書
図書
47. Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987, proceedings (: gw ; : us)
Gilles Kahn (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vi, 470 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 274
所蔵情報: loading…
48.

図書
図書
48. Paragon : a language using type hierarchies for the specification, implementation and selection of abstract data types (: gw ; : us)
Mark Steven Sherman
出版情報: Berlin ; New York : Springer-Verlag, c1985  ix, 364 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 189
所蔵情報: loading…
49.

図書
図書
49. A review of Ada tasking (: gw ; : us)
Alan Burns, Andrew M. Lister, Andrew J. Wellings
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  viii, 141 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 262
所蔵情報: loading…
50.

図書
図書
50. ANNA : a language for annotating Ada programs : reference manual (: gw ; : us)
David C. Luckham ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  v, 143 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 260
所蔵情報: loading…
51.

図書
図書
51. Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings (: gw ; : us)
edited by Austin Melton
出版情報: Berlin ; New York : Springer-Verlag, c1986  vi, 395 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 239
所蔵情報: loading…
52.

図書
図書
52. The wide spectrum language CIP-L (: gw ; : us)
Bauer, Friedrich Ludwig, 1924- ; CIP Language Group
出版情報: Berlin ; New York : Springer-Verlag, c1985  xi, 275 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 183 . The Munich Project CIP / by the CIP Language Group, F.L. Bauer ... [et al.] ; v. 1
所蔵情報: loading…
53.

図書
図書
53. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings (: gw ; : us)
edited by Peter J.L. Wallis
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  163 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 180
所蔵情報: loading…
54.

図書
図書
54. A hierarchical associative processing system (: gw ; : us)
Heinrich J. Stüttgen
出版情報: Berlin ; New York : Springer-Verlag, c1985  xii, 273 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 195
所蔵情報: loading…
55.

図書
図書
55. A study in string processing languages (: gw ; : us)
Paul Klint
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1985  viii, 165 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 205
所蔵情報: loading…
56.

図書
図書
56. Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985 (: gw ; : us)
edited by Jean-Pierre Jouannaud
出版情報: Berlin ; New York : Springer-Verlag, c1985  vi, 413 p. ; 23 cm
シリーズ名: Lecture notes in computer science ; 201
所蔵情報: loading…
57.

図書
図書
57. PORTAL language description (: gw ; : us)
Arnold Businger
出版情報: Berlin ; New York : Springer-Verlag, c1985  viii, 186 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 198
所蔵情報: loading…
58.

図書
図書
58. A PROLOG database system (Research Studies Press ; :Wiley)
Deyi Li
出版情報: Letchworth, Hertfordshire, England : Research Studies Press , New York : Wiley, c1984  xi, 207 p. ; 24 cm
シリーズ名: Electronic & electrical engineering research studies ; . Computer engineering series / F.G. Heath ; 3
所蔵情報: loading…
59.

図書
図書
59. NEWCAT : parsing natural language using left-associative grammar (: gw ; : us)
Roland Hausser
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  540 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 231
所蔵情報: loading…
60.

図書
図書
60. Concepts in user interfaces : a reference model for command and response languages (: gw ; : us)
by members of IFIP Working Group 2.7 ; edited by David Beech
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  x, 115 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 234
所蔵情報: loading…
61.

図書
図書
61. Negation and control in Prolog (: gw ; : us)
Lee Naish
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  ix, 119 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 238
所蔵情報: loading…
62.

図書
図書
62. ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, proceedings (: gw ; : us)
edited by B. Robinet and R. Wilhelm
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  374 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 213
所蔵情報: loading…
63.

図書
図書
63. Building expert systems
edited by Frederick Hayes-Roth, Donald A. Waterman, Douglas B. Lenat
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., 1983  xvi, 444 p. ; 24 cm
シリーズ名: Teknowledge series in knowledge engineering ; v. 1
所蔵情報: loading…
64.

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

図書
図書
65. コンピュータ言語の学び方
有沢誠著
出版情報: 東京 : 岩波書店, 1986.6  156p ; 19cm
シリーズ名: New science age ; 18
所蔵情報: loading…
66.

図書
図書
66. FORTRAN77システムの使い方
石田晴久編
出版情報: 東京 : 東京大学出版会, 1984.9  328p ; 26cm
所蔵情報: loading…
67.

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

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

図書
図書
69. C言語入門
北川一明, 北川誠二著 ; 高澤嘉光監修
出版情報: 東京 : 共立出版, 1989.10  6, 229p ; 21cm
所蔵情報: loading…
70.

図書
図書
70. JIS FORTRAN入門. 第3版 (上 ; 下)
森口繁一著
出版情報: 東京 : 東京大学出版会, 1984.1-1984.12  2冊 ; 26cm
所蔵情報: loading…
71.

図書
図書
71. FORTRAN77
大駒誠一著
出版情報: 東京 : サイエンス社, 1982.7  ix, 240p ; 22cm
シリーズ名: サイエンスライブラリ情報電算機 ; 41
所蔵情報: loading…
72.

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

図書
図書
73. C言語プログラミング
広内哲夫著
出版情報: 東京 : 啓学出版, 1989.10  342p ; 21cm
所蔵情報: loading…
74.

図書

東工大
目次DB
図書
東工大
目次DB
74. Pascal : 思いやりプログラミング. 第2版
デイビッド・プライス著 ; 武市正人,角田博保共訳
出版情報: 東京 : 近代科学社, 1988.9  viii,184p ; 21cm
シリーズ名: ソフトウェア工学ライブラリ ; 9
所蔵情報: loading…
目次情報: 続きを見る
1. はじめに 1
   1.1 Pascalとは何か? 1
   1.2 ごく簡単なプログラム 2
   1.3 プログラムの本体 4
   1.4 プログラミングの誤り 7
   練習問題 9
2. 情報の読込みと書出し 10
   2.1 WRITEとWRITELN 10
   2.2 READとREADLN 12
   2.3 出力の設計 14
   練習問題 15
3. 組込みデータ型についてより詳しく 17
   3.1 データ型REAL 17
   3.2 整数と実数との係わり 20
   3.3 データ型BOOLEAN 21
   3.4 定数を宣言すること 24
   練習問題 26
4. 制御構造 28
   4.1 分岐 28
   4.2 複合文 31
   4.3 繰返し 32
   練習問題 36
5. 思いやりプログラミングとは? 36
   5.1 誰のために? 36
   5.2 思いやりのあるプログラマのしてよいこと,悪いこと 37
   5.3 注釈をつけて明確にしよう 39
6. 条件文についてより詳しく 42
   6.1 繰返しについて-補足 42
   6.2 既定回の繰返し 45
   6.3 多重条件による分岐 47
   6.4 例外的な飛び越し 50
   練習問題 51
7. データ型を新規に定義すること 53
   7.1 列挙型 53
   7.2 部分範囲型 55
   7.3 型の宣言 57
   練習問題 59
8. 配列 61
   8.1 1次元配列 61
   8.2 探索と並べ替え 65
   8.3 多次元配列 70
   練習問題 72
9. 単語を表わすデータ型 74
   9.1 データ型CHAR 74
   9.2 文字列変数 78
   9.3 典型的な文字列操作 80
   練習問題 84
10. 関数を新規に定義すること 85
   10.1 関数の宣言 85
   10.2 局所的名前と非局所的名前 89
   10.3 副作用に注意 95
   10.4 再帰的な関数 97
   練習問題 99
11. 手続きを新規に定義すること 101
   11.1 手続きの宣言 101
   11.2 変数引数 104
   11.3 モジュール化の効用 106
   練習問題 108
12. 信頼性の大切さ 110
   12.1 プログラムはなぜしくじるか? 110
   12.2 試験すること 111
   12.3 虫取り 113
   12.4 副プログラムと誤りの分離 114
13. レコード 116
   13.1 レコード変数 116
   13.2 with文 119
   13.3 可変レコード 122
   練習問題 125
14. 集合 127
   14.1 集合の宣言 127
   14.2 集合の操作 130
   14.3 集合の比較 133
   練習問題 134
15. ファイル 136
   15.1 テキストファイル 136
   15.2 バッファファイル 140
   15.3 乱順ファイル 144
   練習問題 146
16. 動的データ構造 148
   16.1 スタックとキュー 148
   16.2 ポインタ変数 154
   16.3 リスト構造 158
   16.4 2分木 161
   練習問題 166
付録 169
   付録A:予約語 169
   付録B:標準の名前 169
   付録C:代替記号 170
   付録D:文字符号 170
   付録E:Pascalの拡張と処理系固有の機能 172
   付録F:データ型の分類 173
   付録G:練習問題の解答(部分) 174
   索引 181
1. はじめに 1
   1.1 Pascalとは何か? 1
   1.2 ごく簡単なプログラム 2
75.

図書
図書
75. コンパイラの理論と実現
疋田輝雄, 石畑清著
出版情報: 東京 : 共立出版, 1988.11  viii, 179p ; 22cm
シリーズ名: 計算機科学/ソフトウェア技術講座 / 廣瀬健 [ほか] 編 ; 7
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼