« 1989-01 | メイン | 1989-07 »

1989-04 アーカイブ

1989-04-01

金田 泰, 菅谷 正弘, 情報処理学会論文誌, Vol. 30, No. 4, pp. 495-506, 1989.

[ English page ]
[ PDF 版論文へのいりぐち (IPSJ) ]
[ この論文の内容は博士論文にふくまれています.]

要旨: ベクトル計算機 (スーパ・コンピュータ) を使用して 論理型言語プログラムを並行処理するための一種の プログラム変換法 (ベクトル化法) を開発した. このベクトル化法は,OR 並列性があり,引数の入出力モードが 確定しているプログラムを対象とする. この方法では, 原始プログラムの論理変数ごとに,それが探索木上の ことなる位置でとる複数の値を各要素とするベクトルを つくり,それをベクトル処理するプログラムを生成する. この方法を N クウィーン問題のプログラムに適用して自動変換し, 生成されたプログラムがただしく動作することを確認すると ともに,ベクトル計算機 S-810 において 2.6 MLIPS という高い実行速度をえた.

研究テーマ紹介: 論理 / 記号 ベクトル処理

1989-01

1989-07

(C) 2007 by Yasusi Kanada
Powered by
Movable Type 3.36