コレクションホームページ
1125 プログラム変換と記号・数式処理
17
1125 プログラム変換と記号・数式処理
17
(http://hdl.handle.net/2433/63075)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 17 / 17
書誌情報 | ファイル |
---|---|
表紙・目次 (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 |
文献一覧(目次の昇順ソート): 1 - 17 / 17