氏名　: 高須 洋平 (280267142)

所属　: 坂部研

題目　: プログラム効率化のための非線形再帰除去

概要 :

• 変換後のプログラムが高速に動作する
• 本システムで再帰除去が可能であるかどうかを容易に判断できる
• 共通な性質を持つ多くのプログラムに適用可能である

再帰プログラムの例としてクイックソート関数に注目する。頻繁に使用されるクイックソートのアルゴリズムか ら非線形な再帰呼出しを除去し、高速化する事はそれ自体が有用である。これまでに、クイックソートの反復型 プログラムを作成した。今後は、この反復型プログラムの構造に基づいて他のプログラムにも機械的に適用可能 な再帰除去アルゴリズムを抽出する。更に、その結果を基にした再帰除去システムの開発を考えている。