書誌情報	ファイル
表紙・目次    (2000-01)   数理解析研究所講究録, 1125
Recursion Removal under Environments with Cache and Garbage Collection (Program Transformation, Symbolic Computation and Algebraic Manipulation)   Kakehi, Kazuhiko; Futamura, Yoshihiko (2000-01)   数理解析研究所講究録, 1125: 1-11
Calculating a New Data Mining Algorithm for Market Basket Analysis (Program Transformation, Symbolic Computation and Algebraic Manipulation)   Hu, Zhenjiang; Chin, Wei-Ngan; Takeichi, Masato (2000-01)   数理解析研究所講究録, 1125: 12-25
実行時最適化のためのコード生成インタフェース (プログラム変換と記号・数式処理)   藤波, 順久 (2000-01)   数理解析研究所講究録, 1125: 26-37
一般部分計算法(GPC)によるプログラム自動生成 (プログラム変換と記号・数式処理)   二村, 良彦; 小西, 善二郎; 宋, 立トウ (2000-01)   数理解析研究所講究録, 1125: 38-43
A Theoretical Foundation for Generation of Equivalent Transformation Rules (Program Transformation, Symbolic Computation and Algebraic Manipulation)   Akama, Kiyoshi; Koike, Hidekatsu; Miyamoto, Eiichi (2000-01)   数理解析研究所講究録, 1125: 44-58
一般部分計算(GPC)における定理証明系と停止条件の判定 (プログラム変換と記号・数式処理)   小西, 善二郎; 二村, 良彦 (2000-01)   数理解析研究所講究録, 1125: 59-64
MGTP : モデル生成型定理証明システム : 実装と応用 (プログラム変換と記号・数式処理)   越村, 三幸; 藤田, 博; 長谷川, 隆三 (2000-01)   数理解析研究所講究録, 1125: 65-80
論理プログラムの完備化と論理式の展開による証明手続きについて (プログラム変換と記号・数式処理)   秋葉, 澄孝; 佐藤, 泰介; 元吉, 文男 (2000-01)   数理解析研究所講究録, 1125: 81-92
証明力を拡張した適切さの論理$ER$ (プログラム変換と記号・数式処理)   吉浦, 紀晃; 米崎, 直樹 (2000-01)   数理解析研究所講究録, 1125: 93-114
数式処理系を利用したプログラム変換 (プログラム変換と記号・数式処理)   松谷, 将寛; 二村, 良彦 (2000-01)   数理解析研究所講究録, 1125: 115-122
二変数有理関数近似のハイブリッド計算 (プログラム変換と記号・数式処理)   甲斐, 博; 野田, 松太郎 (2000-01)   数理解析研究所講究録, 1125: 123-128
グラフ探索アルゴリズムの形式的検証とモデル検査への応用について (プログラム変換と記号・数式処理)   山本, 光晴; 高橋, 孝一; 萩谷, 昌己; 西崎, 真也; 玉井, 哲雄 (2000-01)   数理解析研究所講究録, 1125: 129-141
合成可能なタブローによる仕様の差分的無矛盾性判定について (プログラム変換と記号・数式処理)   友石, 正彦; 米崎, 直樹 (2000-01)   数理解析研究所講究録, 1125: 142-149
効率的な等価変換ルールの探索に基づくプログラム合成 (プログラム変換と記号・数式処理)   小池, 英勝; 赤間, 清; 宮本, 衛市 (2000-01)   数理解析研究所講究録, 1125: 150-161
集合表現を含む仕様からのルール生成 (プログラム変換と記号・数式処理)   辻, 武士; 赤間, 清; 宮本, 衛市 (2000-01)   数理解析研究所講究録, 1125: 162-171
変数の出現条件を用いた融合変換とその反復適用について (プログラム変換と記号・数式処理)   湯浅, 能史 (2000-01)   数理解析研究所講究録, 1125: 172-182