線形再帰プログラムからの再帰除去法の実現とその問題点(<特集>一般発表)
スポンサーリンク
概要
- 論文の詳細を見る
再帰プログラムは書きやすく読みやすい場合が多いが、計算機で実行する際には手続き呼び出しとスタック操作が必要である.それゆえ, 与えられた再帰プログラムをスタックを使用せずしかも計算量も増加させずに, 反復型プログラムに変換する方法が古くから研究されている.我々は, 線形再帰プログラム(再帰呼び出しを実質的に1個所でしか行なわないプログラム)を計算量やスペース使用量を増やさずに反復型プログラムに変換する方法(再帰除去法)について先に報告した.その後, 我々はその報告に基づき, 線形再帰プログラムを能率のよい反復型プログラムに自動変換する再帰除去システムをLispを用いて実現した.本稿では, その実現法, 適用例及び問題点について報告する.
- 一般社団法人情報処理学会の論文
- 1998-03-23
著者
-
二村 良彦
早稲田大学理工学部コンピュータ・ネットワーク工学科
-
坂本 巨樹
早稲田大学理工学研究科
-
小西 善二郎
早稲田大学理工学研究科
-
坂本 巨樹
早稲田大学大学院理工学研究科
-
川本 史生
早稲田大学大学院理工学研究科
-
小西 善二郎
早稲田大学ソフトウェア生産技術研究所
関連論文
- 「計算過程の部分評価」再び
- 累積変数を用いるリスト処理関数とその融合法
- Recursion Removal under Environments with Cache and Garbage Collection (Program Transformation, Symbolic Computation and Algebraic Manipulation)
- 木再帰プログラムからの再帰還元(一般発表)
- 再帰除去のごみ回避効果
- ある種の木再帰プログラムからの再帰除去
- ラベル付き連結グラフ高速ランダム生成のための構成比近似法
- 単純指標を持つ乱順列の高速生成法
- ソフトウェア性能評価のためのランダムデータ高速生成法 (第54回全国大会 (平成9年前期 於 : 千葉工大) 大会優秀賞受賞論文 (11件)
- ソフトウェア性能評価のためのランダムデータ高速生成法
- 単純指標を持つ乱順列の高速生成法
- 再帰除去の効果
- 整列法評価のためのランダム順列生成法
- 線形再帰プログラムからの再帰除去法
- 整列法評価のためのランダム順列の生成
- プログラム変換における数式処理の役割
- 20世紀の名著名論 : John McCarthy : Recursive Functions of Symbolic Expressions and Their Computations by Machine
- 単一後継関数を持つ再帰プログラムからの再帰除去
- LB-1 単一後継関数を持つ再帰プログラムからの再帰除去及び閉式化(B. ソフトウェア)
- LA-13 連結グラフの高速ランダム生成法(A. アルゴリズム・基礎)
- 再帰プログラム部分計算のための停止性判定法
- 葉数最適整列法LOASの実用化方式
- 数式処理系を利用したプログラム変換 (プログラム変換と記号・数式処理)
- 一般部分計算(GPC)における定理証明系と停止条件の判定 (プログラム変換と記号・数式処理)
- 一般部分計算法(GPC)によるプログラム自動生成 (プログラム変換と記号・数式処理)
- 3K-5 一般部分計算(GPC)の実験システムの実装
- O(m+n)時間及びスペースのランダムグラフ生成法
- 線形再帰プログラムからの再帰除去法の実現とその問題点(一般発表)
- 連結グラフのランダム生成のための構成比直接計算法
- オブジェクトを用いた計算モデルとその2次元トレーサへの応用
- 線形再帰プログラムからの再帰除去法の実現
- 母関数を用いたプログラム変換
- P区間表 : 区間に関するプログラム作成問題のためのデータ構造
- P区間表とそのプログラミング教育における効果
- 葉数最適整列法LOASとその実現法
- 葉数適応整列法LOASの最適性
- ランダムデータジェネレータジェネレータ(RDGG)の開発
- 適応整列法の評価
- ランダムデータサーバの開発
- 線形再帰プログラムからの再帰除去とその実際的効果
- 連結グラフのランダム生成法について
- アルゴリズム工学ワークショップ(WAE '97)報告
- 葉数最適整列法LOASの実現法