ソフトウェア開発アルゴリズム
プログラム自動超高速化実験
システムの開発
二村良彦
早稲田大学 理工学部 情報学科
一般部分計算法(GPC）
一般部分計算は，PEPMC’87 (1987)にお
いて二村等により提案された．
 推論機能（定理証明器）を利用した強力な
プログラム変換法で，コンパイラやコンパイ
ラ･コンパイラの自動生成も可能．

自動高速化の効果（理論値)
ハノイ問題の場合，素朴なプログラムでは
n=64の時，
264－1=1844京6744兆737億955万1615単
位時間以上を要する．
 早稲田システムにより最適化されたプログ
ラムで計算すると，n=64の時，約64単位時
間で計算できる．
 これは理論的には約28京倍の高速化

自動高速化の効果（観測値)
枚数(n) 素朴なプログラ
ム計算時間
(PenIII 650M)
22
3分3秒
最適化プロ 高速化
グラム計算 比率
時間
23
0.00043秒 140万倍
9分44秒
0.00042秒 45万倍
24以上 メモリ不足のた 0.00044秒 無限大の
差
め計算不能
（OSストール
WWW公開ソフトウェア
(1) ランダムデーターサーバ（RDS）：
プログラムの性能および信頼性評価の
ためのデストデータ自動生成ソフトウェア
(2) T(n)ソルバー ：分割統治法で作成された
プログラムの計算量，線形再帰方程式の解
等の自動評価ソフトウェア
(特許出願準備中）
2001年度以降の実現計画
早稲田大学「ソフトウェア生産技術研究
所」において本プロジェクトの成果の実用
化を図る．
 自己適用化を可能とし，第2，第3二村射影
を実現する（コンパイラおよびコンパイラ･コ
ンパイラの自動生成）．

明日のデモの内容
実際に1分以内で，プログラムが約1万倍
以上に高速化されるという事実を体感して
いただく．
 特許，新聞発表，国際学会における招待
論文，招待講演等の説明


貨幣成長が産出ギャップと経済成長に与える長期的な影響

2015年度 早稲田大学スポーツ科学部一般入学試験において「数学」

詳細 - アンガーマネージメント研究会

ソーシャルデザイン白熱教室 よのなかを変える技術

次回大会について - 日本儒教学会

早稲田みょうが ゆっくり散策ツアー 2015年9月27日（日）

平成21年 名嘉原 Wittyゼミ 合格実績

（早稲田大学・京都大学・慶應義塾大学・東京大学）派遣学生募集について

アクションリサーチと看護研究・教育研究をつなぐ

公開研究会 人の移動と居住文化：都市が媒介する多様

こちら - 日本社会科教育学会

春の大談話会2015早稲田談話会 - 数物セミナー

2016年9月20日（火）10：30より 所沢キャンパス100号館

「建築論の現在」第16回 人間生活遺構という視点から

PDFファイル（プログラム）

「第4回TCVBミーティング」開催のご案内

COMSOL技術特別セミナーのご案内 7月8日

MIECZYSŁAW KOSCIELNIAK

東京音声研究会特別企画ご案内 - 早稲田大学大学院日本語教育研究科

木下一彦“お別れ講演会” プログラム

第4回 制振構造デザイン技術の高度化に関するシンポジウム

名誉会員推戴 画像電子技術賞(平成 13 年度)贈呈