Collection home page

Program Transformation, Symbolic Computation and Algebraic Manipulation   17
(http://hdl.handle.net/2433/63075)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 17 of 17
BibliographyContents
表紙・目次
   (2000-01)
  数理解析研究所講究録, 1125
file type icon
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
file type icon
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
file type icon
実行時最適化のためのコード生成インタフェース (プログラム変換と記号・数式処理)
  藤波, 順久 (2000-01)
  数理解析研究所講究録, 1125: 26-37
file type icon
一般部分計算法(GPC)によるプログラム自動生成 (プログラム変換と記号・数式処理)
  二村, 良彦, 小西, 善二郎, 宋, 立トウ (2000-01)
  数理解析研究所講究録, 1125: 38-43
file type icon
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
file type icon
一般部分計算(GPC)における定理証明系と停止条件の判定 (プログラム変換と記号・数式処理)
  小西, 善二郎, 二村, 良彦 (2000-01)
  数理解析研究所講究録, 1125: 59-64
file type icon
MGTP : モデル生成型定理証明システム : 実装と応用 (プログラム変換と記号・数式処理)
  越村, 三幸, 藤田, 博, 長谷川, 隆三 (2000-01)
  数理解析研究所講究録, 1125: 65-80
file type icon
論理プログラムの完備化と論理式の展開による証明手続きについて (プログラム変換と記号・数式処理)
  秋葉, 澄孝, 佐藤, 泰介, 元吉, 文男 (2000-01)
  数理解析研究所講究録, 1125: 81-92
file type icon
証明力を拡張した適切さの論理$ER$ (プログラム変換と記号・数式処理)
  吉浦, 紀晃, 米崎, 直樹 (2000-01)
  数理解析研究所講究録, 1125: 93-114
file type icon
数式処理系を利用したプログラム変換 (プログラム変換と記号・数式処理)
  松谷, 将寛, 二村, 良彦 (2000-01)
  数理解析研究所講究録, 1125: 115-122
file type icon
二変数有理関数近似のハイブリッド計算 (プログラム変換と記号・数式処理)
  甲斐, 博, 野田, 松太郎 (2000-01)
  数理解析研究所講究録, 1125: 123-128
file type icon
グラフ探索アルゴリズムの形式的検証とモデル検査への応用について (プログラム変換と記号・数式処理)
  山本, 光晴, 高橋, 孝一, 萩谷, 昌己, 西崎, 真也, 玉井, 哲雄 (2000-01)
  数理解析研究所講究録, 1125: 129-141
file type icon
合成可能なタブローによる仕様の差分的無矛盾性判定について (プログラム変換と記号・数式処理)
  友石, 正彦, 米崎, 直樹 (2000-01)
  数理解析研究所講究録, 1125: 142-149
file type icon
効率的な等価変換ルールの探索に基づくプログラム合成 (プログラム変換と記号・数式処理)
  小池, 英勝, 赤間, 清, 宮本, 衛市 (2000-01)
  数理解析研究所講究録, 1125: 150-161
file type icon
集合表現を含む仕様からのルール生成 (プログラム変換と記号・数式処理)
  辻, 武士, 赤間, 清, 宮本, 衛市 (2000-01)
  数理解析研究所講究録, 1125: 162-171
file type icon
変数の出現条件を用いた融合変換とその反復適用について (プログラム変換と記号・数式処理)
  湯浅, 能史 (2000-01)
  数理解析研究所講究録, 1125: 172-182
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 17 of 17