[Japanese version only]

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

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

  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)

著作 (C) 1992  金田 泰
PDF 化: 99-8-17, 改訂: 2002-5-23.