No.1125

1999/11/29～1999/12/01

二村　良彦

Yoshihiko Futamura

目　次

1. Recursion Removal under Environments with Cache and Garbage Collection (Program Transformation, Symbolic Computation and Algebraic Manipulation)---1

　　　　早稲田大学理工学研究科/早稲田大学理工学部　　　筧一彦/二村良彦　(Kakehi, Kazuhiko/Futamura, Yoshihiko)

2. Calculating a New Data Mining Algorithm for Market Basket Analysis (Program Transformation, Symbolic Computation and Algebraic Manipulation)---12

　　　　東京大学工学部//東京大学工学部　　　//武市正人　(Hu, Zhenjiang/Chin, Wei-Ngan/Takeichi, Masato)

3. 実行時最適化のためのコード生成インタフェース (プログラム変換と記号・数式処理)----------------------------------------------------26

　　　　ソニー株式会社インフォメーション&ネットワーク研究所　　　藤波順久　(Fujinami, Nobuhisa)

4. 一般部分計算法(GPC)によるプログラム自動生成 (プログラム変換と記号・数式処理)-----------------------------------------------------38

　　　　早稲田大学理工学部情報学科/早稲田大学理工学総合研究センター/早稲田大学理工学研究科　　　二村良彦/小西善二郎/宋立トウ　(Futamura, Yoshihiko/Konishi, Zenjiro/Song, Litong)

5. A Theoretical Foundation for Generation of Equivalent Transformation Rules (Program Transformation, Symbolic Computation and Algebraic Manipulation)---44

　　　　北海道大学情報メディア教育研究総合センター/北海道大学システム情報工学研究科/北海道大学システム情報工学研究科　　　赤間清/小池英勝/宮本衛市　(Akama, Kiyoshi/Koike, Hidekatsu/Miyamoto, Eiichi)

6. 一般部分計算(GPC)における定理証明系と停止条件の判定 (プログラム変換と記号・数式処理)---------------------------------------------59

　　　　早稲田大学理工学総合研究センター/早稲田大学理工学部　　　小西善二郎/二村良彦　(Konishi, Zenjiro/Futamura, Yoshihiko)

7. MGTP : モデル生成型定理証明システム : 実装と応用 (プログラム変換と記号・数式処理)------------------------------------------------65

　　　　九州大学システム情報科学研究科/九州大学システム情報科学研究科/九州大学システム情報科学研究科　　　越村三幸/藤田博/長谷川隆三　(Koshimura, Miyuki/Fujita, Hiroshi/Hasegawa, Ryuzo)

8. 論理プログラムの完備化と論理式の展開による証明手続きについて (プログラム変換と記号・数式処理)------------------------------------81

　　　　電子技術総合研究所/東京工業大学情報理工学研究科/電子技術総合研究所　　　秋葉澄孝/佐藤泰介/元吉文男　(Akiba, Sumitaka/Sato, Taisuke/Motoyoshi, Fumio)

9. 証明力を拡張した適切さの論理$ER$ (プログラム変換と記号・数式処理)----------------------------------------------------------------93

　　　　東京工業大学情報理工学研究科計算工学専攻/東京工業大学情報理工学研究科計算工学専攻　　　吉浦紀晃/米崎直樹　(Yoshiura, Noriaki/Yonezaki, Naoki)

10. 数式処理系を利用したプログラム変換 (プログラム変換と記号・数式処理)------------------------------------------------------------115

　　　　早稲田大学理工学研究科/早稲田大学理工学部　　　松谷将寛/二村良彦　(Matsuya, Masahiro/Futamura, Yoshihiko)

11. 二変数有理関数近似のハイブリッド計算 (プログラム変換と記号・数式処理)----------------------------------------------------------123

　　　　愛媛大学工学部/愛媛大学工学部　　　甲斐博/野田松太郎　(Kai, Hiroshi/Noda, Matu-Tarow)

12. グラフ探索アルゴリズムの形式的検証とモデル検査への応用について (プログラム変換と記号・数式処理)--------------------------------129

　　　　千葉大学理学部/電子技術総合研究所情報アーキテクチャ部/東京大学理学系研究科/東京工業大学情報理工学研究科/東京大学総合文化研究科　　　山本光晴/高橋孝一/萩谷昌己/西崎真也/玉井哲雄　(Yamamoto, Mitsuharu/Takahashi, Koichi/Hagiya, Masami/Nishizaki, Shin-ya/Tamai, Tetsuo)

13. 合成可能なタブローによる仕様の差分的無矛盾性判定について (プログラム変換と記号・数式処理)--------------------------------------142

　　　　東京工業大学情報理工学研究科/東京工業大学情報理工学研究科　　　友石正彦/米崎直樹　(Tomoishi, Masahiko/Yonezaki, Naoki)

14. 効率的な等価変換ルールの探索に基づくプログラム合成 (プログラム変換と記号・数式処理)--------------------------------------------150

　　　　北海道大学システム情報工学専攻/北海道大学情報メディア教育研究総合センター/北海道大学システム情報工学専攻　　　小池英勝/赤間清/宮本衛市　(Koike, Hidekatsu/Akama, Kiyoshi/Miyamoto, Eiichi)

15. 集合表現を含む仕様からのルール生成 (プログラム変換と記号・数式処理)------------------------------------------------------------162

　　　　北海道大学システム情報工学専攻/北海道大学システム情報工学専攻/北海道大学システム情報工学専攻　　　辻武士/赤間清/宮本衛市　(Tsuji, Takeshi/Akama, Kiyoshi/Miyamoto, Eiichi)

16. 変数の出現条件を用いた融合変換とその反復適用について (プログラム変換と記号・数式処理)------------------------------------------172

　　　　早稲田大学理工学総合研究センター　　　湯浅能史　(Yuasa, Yoshifumi)