Contents of Report

[Data of Report]

Report Number:
TM0722
Date of Registration:
1989.07
English Title:
***
Japanese Title:
KLプログラミング入門編/初級編/中級編
English Author:
***
Japanese:
ICOT第四研究室
Name of Organization to which author belongs:
ICOT
PDF:
tm0722.pdf

[Contents]

目次.... 3
はじめに.... 7
第Ⅰ部入門編.... 9
1基礎.... 11
1.1簡単なプログラムと実行モデル.... 11
1.2基本的な構文と条件分岐.... 16
2データ型.... 21
2.1変数の取り扱い.... 21
2.2KL1で扱えるデータ型.... 22
3繰り返し制御.... 31
3.1カウンタを用いた繰り返し.... 31
3.2リストを用いた繰り返し.... 33
4ユニフィケーションと同期制御.... 35
4.1ユニフィケーションとは.... 35
4.2ボディユニフィケーション.... 36
4.3ガードユニフィケーションと中断機構.... 37
4.4同期制御の基礎知識.... 41
4.5同期制御を応用したプログラム例.... 42
5プロセス.... 45
5.1notプロセス.... 45
5.2中断機構.... 46
5.3stackプロセス.... 48
5.4queueプロセス.... 49
5.5mergeプロセス.... 51
6入門編練習問題.... 55
6.1DOループ.... 55
6.2総和を求める.... 55
6.3リスト要素の並べ変え.... 55
6.42つのリストの結合 (append).... 56
6.5フィボナッチ数列を書いてみよう.... 56
6.6簡単な入出力機能の使い方.... 56
6.7整数生成プログラム.... 57
6.8ストリームの圧縮.... 57
6.9行列の掛け算.... 57
7入門編練習問題の解答.... 59
7.1DOループ.... 59
7.2総和を求める.... 60
7.3リスト要素の並べ変え.... 60
7.42つのリストの結合 (append).... 60
7.5フィボナッチ数列を書いてみよう.... 61
7.6整数生成プログラム.... 62
7.7ストリームの圧縮.... 62
7.8行列の掛け算.... 63
第II部初級編.... 65
8プロセスを利用したプログラム例.... 67
8.1クイックソートプログラム.... 67
8.2最適経路問題プログラム.... 69
9節の選択.... 75
9.1ガードの組込み述語.... 75
9.2Otherwise.... 77
9.3Alternatively.... 78
10組込みデータ型の操作.... 81
10.1整数演算.... 81
10.2ストリーム操作.... 82
10.3ストリング（文字列）操作.... 83
10.4ベクタ操作.... 86
11実行の制御.... 93
11.1優先度制御の目的.... 93
11.2優先度の指定方法.... 94
11.3優先度制御を応用したプログラム例.... 95
11.4負荷分散制御の目的と考え方.... 99
11.5負荷分散の指定方法.... 100
11.6負荷分散制御を応用したプログラム.... 104
12初級編練習問題.... 115
12.1ストリング操作.... 115
12.2ベクタ操作.... 115
12.3n次元配列.... 115
12.4探索問題をベクタを使って書いてみよう.... 115
12.58クイーンを高速化してみよう.... 115
12.68クイーンの負荷分散方式を変えてみよう.... 115
13初級編練習問題の解答.... 117
13.1ストリング操作.... 117
13.2ベクタ操作.... 119
13.3n次元配列.... 122
第III部中級編.... 127
14荘園機能とその使い方.... 129
14.1機能の概略.... 129
14.2使い方の注意.... 131
15プログラミングテクニック(1).... 137
15.1計算の終了の判定.... 137
15.2優先度制御の応用.... 142
15.3ストリーム通信あれこれ.... 157
16プログラミングテクニック(2).... 161
16.1要求駆動型プログラミング.... 161
16.2バッファリング.... 163
16.3単一参照.... 169
付録APDSSの使い方.... 175
参考文献.... 179

目次をクリックすると、PDFファイルが表示されます。

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda