一般部分計算(GPC)における定理証明系と停止条件の判定 (プログラム変換と記号・数式処理)
スポンサーリンク
概要
著者
関連論文
- 「計算過程の部分評価」再び
- 累積変数を用いるリスト処理関数とその融合法
- 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の実現法