-
Notifications
You must be signed in to change notification settings - Fork 0
/
prosyncontents3.html
232 lines (210 loc) · 15.3 KB
/
prosyncontents3.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta http-equiv="Content-Language" content="ja">
<title>過去のプログラミング・シンポジウムの記録</title>
</head>
<body bgcolor="#CCFFCC" vlink="maroon">
<p align="right"><a href="prosyncontents.html">
「過去のプログラミング・シンポジウムの記録」</a>へ戻る
<hr>
<pre>
第16回 〜 第20回
<font color="blue">第16回(1975)</font>
まえがき
第16回 プログラミング・シンポジウムの準備にあたって
第16回 プログラミング・シンポジウム日程
目次
2 GSL -- 各種の文字・図形入出力装置に共通なグラフィック・サブルーチン・
ライブラリ 中村康弘, 小沼吉男 1
3 DDS-300 Graphic Display System 坂口寿一 11
4 手書き文字用ハンディスキャナOCRの検討 山田博三, 森 俊二, 矢田光浩 27
5 国立国会図書館における漢字情報処理システムの概要(招待講演)
杉山時之 43
6 プログラムの理論について(招待講演) 小野寛晰 56
7 計算機によるゲームとパズル 一松 信 63
8 ストラクチャードプログラミング支援システムSPOTとその評価
紫合 治, 下村建之, 井元邦夫, 岩本 二, 前島 亨 68
9 構造化プログラミング例とデータ構成
溝口徹夫, 厚井裕司, 田中千代治, 須藤 勝 81
10 PASCALコンパイラのPortabilityについて 武市正人 90
11 トリック・プログラムと言語設計 有澤 誠 97
12 コンパイラ・ジェネレータJPACとその評価 伊藤哲史, 東 吉郎 107
13 プログラミング言語FOL 島内剛一, 筧 捷彦 119
14 システム作成用ミニ言語 辻 尚史, 木村 泉 127
15 コンパイラ記述言語としての標準PL/I
村上正桁, 桑原道面, 若山正道, 田村由紀子 137
16 ミニコンピュータ用シミュレータの設計 木村 泉, 飯島淳子, 辻 尚史 148
17 利用者の立場からの言語処理系テストプログラム---とくにループの処理と
記憶割付けを中心として--- 牛島和夫, 柴原哲太郎, 藤村直美 165
18 夏のシンポジウム(記号処理)報告 後藤英一 176
19 HLISPのImplementationと使用経験 後藤英一, 寺島元章, 金田康正 180
20 TSSによる数式処理---FORMAS 滝沢 誠, 阿部芳彦, 桂 重俊 185
21 べたずめ方式のSNOBOL 3処理系における性能測定と応用 角田博保 197
22 スプライン関数の計算 秦野和郎 208
23 LOREL-1による構造線の処理と認識
榎本 肇, 片山卓也, 榎本 進, 吉田孝登志 234
24 慶應義塾におけるラン・アカウント・システムおよびプログラム管理システム
土居範久, 近藤頌子, 原田賢一, 大野義夫, 山本喜一 253
25 第7回情報科学若手の会シンポジウム報告 所 真理雄 273
26 放射線測定のためのコンピュータ・ネットワーク
山田孝行, 石黒美佐子, 中原嘉則, 八木秀之, 小山謹二 283
27 複合計算機システムの対称形ソフトウェア 有田五次郎, 宇津宮孝一 298
28 JALOHAコンピュータネットについて
海老原義彦, 野口正一, 藤田勝美, 大泉充郎 312
29 計算機システム評価の数学的理論---システム性能の感度について---
原田紀夫 332
30 ファイリングの新しい手法---中間パケットの構成による冗長度の改良---
加藤一郎, 米田 清 343
31 新しいCOBOLコンパイラ検定システム(CCVS)紹介 植村俊亮 359
<hr>
<font color="blue">第17回(1976)</font>
まえがき
第17回 プログラミング・シンポジウムの準備にあたって
第17回 プログラミング・シンポジウムプログラム
目次
1 音楽計算機システム 川野 洋, 磯部俊夫 1
2 カナ漢字変換の事例研究 野村仙一 13
3 質問回答過程とその機械化 磯本征雄 25
4 九大病院の医療情報システム
野瀬善明, 柴原哲太郎, 中垣 修, 多治見司, 井上十四雄, 中村元臣
5 夏のシンポジウム報告 木村 泉 51
6 第8回情報科学若手の会シンポジウム報告 郡司隆雄 59
7 "GPCC"報告 竹内郁男 70
8 ハッシュ法におけるいくつかの問題 --記憶効率, 削除,
およびハードウェア化について-- 後藤英一, 郡司隆男 75
9 ファイルの内容に関する実例研究 木村 泉, 飯島淳子, 辻 尚史 87
10 FORTRANプログラムの動的解析システムの移し換えについて
藤村直美, 牛島和夫 99
11 実用FORTRANコンパイラCAFT --作成上の問題点と効率--
土居範久, 大野義夫, 山本喜一, 大駒誠一, 中西正和 111
12 会話型画像処理システム 金出武雄 123
13 プログラミング言語におけるデータ型・データ構造
およびデータ・モードについて 有澤 誠 135
14 標準抽象データ構造に基づくデータ抽象化技法と仕様記述法
藤林信也, 紫合 治, 岩元莞二 143
15 SYNTAX-DIRECTED PRETTY-PRINTER 鶴田陽和, 武市正人, 和田英一 155
16 ミニコンLISPの移し換え 石井 博, 前野年紀 167
17 数式処理ALの特徴とその意義 池原 悟, 岡田 博 179
18 数式処理言語MSCSYMAについて 戸田英雄, 三島健稔 191
<hr>
<font color="blue">第18回(1977)</font>
まえがき
第18回 プログラミング・シンポジウムの準備にあたって
第18回 プログラミング・シンポジウムプログラム
目次
PASCAL処理系のFACOM 230-38移植の経験と問題点 武市正人, 高橋博秋 1
SOLO OPERATING SYSTEMのIMPLEMENTATIONとその使用経験 小川貴英, 浅井義幸 4
会話型エディタSTEP 川合 慧, 石畑 清 12
マイクロインストラクション方式のテキストエディタ 辻 尚史, 角田博保 20
1. 大量バッチ処理の新体系 和泉宏之 29
2. 隠(かく)れ線消去問題のゴバン目手法による解法 若林忠男, 長谷川裕 35
3. CODASYL型データベースにおけるエンドユーザ機能 樫尾 勉, 古沢義隆 41
4. 高水準データベースシステムのための分析と評価 中田修二, 真名垣昌夫 47
6. 企業名のカナ漢字変換システム 田中康仁, 大久保静子 55
7. フライトシミュレータ 加藤一幸 68
8. 夏のシンポジウム報告 廣瀬 健 71
9. 第9回情報科学若手の会シンポジウム報告 落水浩一郎 75
10. GPCC報告 竹内郁雄 88
14. データベース演算用の並列処理手続きについて 有澤 博 87
15. データタイプチェックに関する一考察 後藤英一, 井田哲雄 98
16. ミニコン用PL/Iサブセット--制御用-- 石田和男, 田中立二, 大筆 豊 101
18. 天文観測整約用言語「アカイホシ」 近田義広 107
19. 改定規格案FORTRAN 西村恕彦 114
21. LOREL-2 データの記憶域属性とその実現
榎本 進, 宮地利雄, 片山卓也, 榎本 肇 119
22. LISP COMPILERの試作 阿部芳彦, 鈴木正幸, 桂 重俊 125
23. 抽象アルゴリズムの記述と変換 大石東作 131
24. 制御用構造に関するプログラムの同値性--LOGOS公理系の応用--
金山 裕 137
26. 将棋ゲームの指し手の理解モデルとオンライン処理について
坂本義行, 佐藤雅之 145
27. FORTRANプログラムの能率改善と測定手段--実例報告-- 牛島和夫 158
28. プログラミング教育用の現実的例題について 木村 泉 161
32. 日本語文点訳自動変換システム
矢田光治, 田中 隆, 新井英善, 平塚尚一, 長谷川貞夫 169
33. 原研オンラインネットワーク・システム
石黒美佐子, 八木秀之, 小山謹二, 山田孝行, 次田友宣 175
34. 大型機によるミニコン, マイクロコンのプログラミング・サポート
小沼吉男, 藤井 実, 別役 広, 浅井 清, 八木秀之, 小山謹二 181
36. 計測用インテリジェントステーションのソフトウエア
矢田光治, 山浦逸雄 187
37. 汎用マークシート処理システム
近藤頌子, 原田賢一, 大野義夫, 山本喜一 194
38. 九州工業大学情報処理教育センターのシステム開発・運用状況について
中山泰雄, 深川幸紀, 矢鳴虎夫, 吉田 将 200
<hr>
<font color="blue">第19回(1978)</font>
まえがき
第19回 プログラミング・シンポジウムの準備にあたって
第19回 プログラミング・シンポジウムプログラム
目次
1. FORTRANの拡張入出力機能 富山峯秀, 浅井 清, 吉森正大 1
2. 整構造プログラミングのための新しいCOBOL文法
西村恕彦, 植村俊亮, 真野芳久 9
3. 汎用リスト・マーキング・アルゴリズム 長谷川洋 22
4. 二人用STAR TREK --リスト処理言語LIPXによる
Co-operating Processesの実験-- 竹内郁雄, 奥乃 博 30
6. 使いやすさを狙ったTSS用OS--UNIXについて
石田晴久, 和田英一, 安村通晃 39
7. 夏のシンポジウム報告 相磯秀夫 50
8. 第10回情報科学若手の会シンポジウム報告 角田博保 55
9. GPCC報告 竹内郁雄 59
13. 印鑑とコンピュータ処理 田中康仁, 相賀良久 61
14. 九州大学の教育用ソフトウェア
大槻説乎, 長沢 勲, 宇津宮孝一, 平野 哲, 表 俊夫, 三田順業 73
16. OS開発用ツールとしてのSOLO 小川貴英, 芝田 晃 83
17. グラフィック言語としてのSIMPL
大野義夫, 望月恵吾, 末定加代子, 中西正和 89
19. 公開暗号系の構想--暗号とNP完全問題-- 赤木昭夫 97
20. PRIMALの設計・処理系作成・使用経験 野下浩平, 山田重夫 105
21. 自動索表計算法 --MTAC (Mathematical Tabulative Automatic Computing)--
寺島元章, 後藤英一 113
27. イオタ言語とイオタシステム--階層的プログラム開発とその検証のための
言語の方法とシステム 中島玲二, 中原早生, 本田道夫 121
28. 関係データベース上の高度な質問応答過程について 古川康一 133
30. ソフトウェアシステムの安全性とドメイン制御機構
星野康夫, 江川明人, 増田龍彦 145
<hr>
<font color="blue">第20回(1979)</font>
第20回 プログラミング・シンポジウム開催に際して
第20回 プログラミング・シンポジウムの準備にあたって
第20回 プログラミング・シンポジウム プログラム
目次
1. PASCALコンパイラの論理的な分割について
木村友則, 小森光夫, 武市正人 1
2. 字句解析部の高速化について(ソフトウェアの調整技法)
白濱律雄, 前野年紀 8
3. パターン・マッチングのアルゴリズムについて 花田孝郎 19
5. コンピュータ断層撮影装置の現状と将来 飯沼 武 31
6. 夏のシンポジウム報告 高橋延匡 42
7. 第11回情報科学若手の会シンポジウム報告 山崎勝弘 50
8. GPCC報告 竹内郁雄 55
12. 検証可能言語CV/Lと会話的検証システムHSPV 関口敦夫 57
13. 高度な並列性を内部にもつソフトウェアシステムに対する仕様及び検証技法
について 米澤明憲 71
15. 拡張可能な言語のファームウェアによる処理について
柴山 潔, 新実治男, 富田真治, 萩原 宏 87
16. QA-1用ハイレベル・マイクロプログラミング言語とその処理
山崎勝弘, 富田真治, 萩原 宏 96
18. プログラム清書システム 久保田稔, 和田英一 107
19. PASCALによるLISP処理系の作成 近山 隆 118
20. 日本文の自動分かち書きについて(仮名文字列の分かち書き)
田中康仁, 古賀勝久 126
22. アマチュア無線のマイコン制御
和田英一, 小川貴英, 近山 隆, 戸村 哲, 中西正和, 岡山昌二, 菅原 隆 135
23. ゼロックス グラフィックス プリンタに日本語を教えた話 木村 泉 139
25. CODASYL型データベースのオンラインシステムの実用化の研究開発
谷内龍輔, 安井信昌, 中西 稔, 田中 昇 157
27. インテリジェント・コンソールとその応用
有田五次郎, 末吉敏則, 塚崎悦生, 北尾正典 167
28. プログラムの性質の実験的分析 深津貞雄, 南澤英雄, 亀田壽夫 180
30. SOIR (Set Oriented Information Retrieval)ランゲージ
石井義興, 西林瑞夫, 中井 浩, 諸岡 徹 189
31. データベース設計システム 川越恭二, 真名垣昌夫 198
</pre>
<hr>
<p align="right"><a href="prosyncontents.html">
「過去のプログラミング・シンポジウムの記録」</a>へ戻る
</body>
</html>