[Japanese version only]

記号処理プログラムのベクトル処理とその 論理型言語プログラムへの適用

東京大学大学院 工学系研究科 情報工学 博士論文， 1992 年 3 月 (PDF 版)

• 要旨と目次 (22 kB)

1. 序論 (35 kB)
2. 解探索のベクトル処理 (137 kB)
3. 制御構造変換にもとづくベクトル化 -- 1 リスト処理 (119 kB)
4. 制御構造変換にもとづくベクトル化 -- 2 くりかえし構造交換法の比較評価 (123 kB)
5. 共有部分がある複数データのベクトル処理法 (155 kB)
6. 論理プログラムへの応用 -- 1 OR 並列性をふくむプログラムのベクトル化 (188 kB)
7. 論理プログラムへの応用 -- 2 AND 並列性をふくむプログラムのベクトル化 (236 kB)
8. 論理プログラムの自動ベクトル化処理系とその中間語 (226 kB)
9. マルチ・ベクトル -- ベクトル記号処理のためのデータ構造 (58 kB)
10. 結論 (32 kB)

• 参考文献 (33 kB)