木再帰プログラムからの再帰還元(<特集>一般発表)
スポンサーリンク
概要
- 論文の詳細を見る
プログラムを再帰呼出しを実質的に2個所以上含むような非線形再帰の場合には, 再帰除去は理論的に不可能な場合が多い.しかし, 再帰を完全に除去できない場合でも, プログラムに含まれる再帰呼出しの箇所を実質的に減らすことが可能な場合がある.本稿では, 再帰呼出しを実質的に2個所含む非線型再帰プログラム(木再帰プログラム)から, 一方の再帰を実質的に除去する系統的方法およびその適用例と効果(成功例と失敗例)について報告する.再帰プログラムから再帰呼出しの個数を実質的に減らすことを, 我々は再帰還元(Recursion Reduction)と呼ぶ.
- 一般社団法人情報処理学会の論文
- 1998-03-23
著者
-
筧 一彦
東京大学大学院情報理工学系研究科数理情報学
-
二村 良彦
早稲田大学理工学部コンピュータ・ネットワーク工学科
-
筧 一彦
早稲田大学大学院理工学研究科,学振特別研究員
-
大谷 啓記
NTTコミュニケーションウェア(株)
-
坂本 巨樹
早稲田大学理工学研究科
-
小西 善二郎
早稲田大学理工学研究科
-
坂本 巨樹
早稲田大学大学院理工学研究科
-
小西 善二郎
早稲田大学ソフトウェア生産技術研究所
関連論文
- 木上の双方向変換を利用したファイルマネージャの実現
- 木上の双方向変換を利用したファイルマネージャの実現
- データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案
- 「計算過程の部分評価」再び
- 累積変数を用いるリスト処理関数とその融合法
- Recursion Removal under Environments with Cache and Garbage Collection (Program Transformation, Symbolic Computation and Algebraic Manipulation)
- 木再帰プログラムからの再帰還元(一般発表)
- 再帰除去のごみ回避効果
- ある種の木再帰プログラムからの再帰除去
- ASIA-PEPM 2002/FLOPS 2002参加報告
- ラベル付き連結グラフ高速ランダム生成のための構成比近似法
- 最適化機構を持つC++並列スケルトンライブラリ(サイバー増大ページ論文概要,サイバー増大号)
- 形あるものへ : 子供,パワフルなアイデア,そして技術(第20回京都賞記念ワークショップ受賞者講演)
- 単純指標を持つ乱順列の高速生成法
- ソフトウェア性能評価のためのランダムデータ高速生成法 (第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の実現法