記号処理プログラムのベクトル処理法とその論理型言語プログラムへの適用
金田 泰, 東京大学大学院工学系研究科情報工学専門課程 博士論文, 1992.
[ English page ]
[ Kindle 版: ベクトル記号処理法とその論理型言語プログラムへの適用
[ PDF 版論文の目次 ]
記号処理プログラムのベクトル処理法や論理型言語プログラムの自動ベクトル化
(Cray-1 タイプの計算機へのあてはめ) の方法を開発した．
-- SIMD 型の自動並列化をかんがえるときは，いまでも，ここからえられる
ものがあるのではないかとかんがえている．
研究テーマ紹介: 論理 / 記号 ベクトル処理