LB-1 単一後継関数を持つ再帰プログラムからの再帰除去及び閉式化(B. ソフトウェア)
スポンサーリンク
概要
- 論文の詳細を見る
- FIT(電子情報通信学会・情報処理学会)推進委員会の論文
- 2002-09-13
著者
-
市川 祐輔
早稲田大学大学院理工学研究科情報・ネットワーク専攻
-
二村 良彦
早稲田大学理工学部コンピュータ・ネットワーク工学科
-
小西 善二郎
早稲田大学理工学研究科
-
小西 善二郎
早稲田大学ソフトウェア生産技術研究所
関連論文
- A-022 数式処理システムMathematica上における再帰除去システム(A分野:モデル・アルゴリズム・プログラミング)
- 「計算過程の部分評価」再び
- 累積変数を用いるリスト処理関数とその融合法
- 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次元トレーサへの応用
- LA_003 後継関数を持つリスト型非線形再帰プログラムに対する再帰除去法(A分野:モデル・アルゴリズム・プログラミング)
- 線形再帰プログラムからの再帰除去法の実現
- 母関数を用いたプログラム変換
- P区間表 : 区間に関するプログラム作成問題のためのデータ構造
- P区間表とそのプログラミング教育における効果
- 葉数最適整列法LOASとその実現法
- 葉数適応整列法LOASの最適性
- 先使用権の立証のための証拠保全手法に関するフレームワーク
- N-033 電子創作物の証拠保全手法に関するフレームワーク(N分野:教育・人文科学)
- ランダムデータジェネレータジェネレータ(RDGG)の開発
- 適応整列法の評価
- ランダムデータサーバの開発
- 線形再帰プログラムからの再帰除去とその実際的効果
- 連結グラフのランダム生成法について
- アルゴリズム工学ワークショップ(WAE '97)報告
- 葉数最適整列法LOASの実現法