ソフトウェア開発アルゴリズム

プログラム自動超高速化実験システムの開発

二村良彦早稲田大学 理工学部 情報学科

一般部分計算法 (GPC ）　 一般部分計算は， PEPMC’87 (1987) に

おいて二村等により提案された． 推論機能（定理証明器）を利用した強力

なプログラム変換法で，コンパイラやコンパイラ コンパイラの自動生成も可･能．

自動高速化の効果（理論値 )

ハノイ問題の場合，素朴なプログラムでは n=64 の時，

　　 264 － 1=1844 京 6744 兆 737 億 955 万 1615 単位時間以上を要する．

早稲田システムにより最適化されたプログラムで計算すると， n=64 の時，約 64 単位時間で計算できる．

これは理論的には約 28 京倍の高速化

自動高速化の効果（観測値 )

枚数(n)

素朴なプログラム計算時間 (PenIII 650M)

最適化プログラム計算時間

高速化比率

22 3 分 3 秒 0.00042 秒 45万倍 23 9 分 44 秒 0.00043 秒 140万倍 24 以上

メモリ不足のため計算不能（ OS ストール

0.00044 秒 無限大の差

WWW 公開ソフトウェア

(1) ランダムデーターサーバ（ RDS ）： 　プログラムの性能および信頼性評価の　ためのデストデータ自動生成ソフトウェ

ア(2) T(n) ソルバー ：分割統治法で作成された　プログラムの計算量，線形再帰方程式の

解等の自動評価ソフトウェア　　 ( 特許出願準備中）

2001 年度以降の実現計画 早稲田大学「ソフトウェア生産技術研

究所」において本プロジェクトの成果の実用化を図る．

自己適用化を可能とし，第 2 ，第 3 二村射影を実現する（コンパイラおよびコンパイラ コンパイラの自動生成）･ ．

明日のデモの内容 実際に 1 分以内で，プログラムが約 1

万倍以上に高速化されるという事実を体感していただく．

特許，新聞発表，国際学会における招待論文，招待講演等の説明