Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 16.

前
1
2
次

検索結果:

書誌情報	ファイル
グラフ探索アルゴリズムの形式的検証とモデル検査への応用について (プログラム変換と記号・数式処理) 山本, 光晴; 高橋, 孝一; 萩谷, 昌己; 西崎, 真也; 玉井, 哲雄 (2000-01) 数理解析研究所講究録, 1125: 129-141
効率的な等価変換ルールの探索に基づくプログラム合成 (プログラム変換と記号・数式処理) 小池, 英勝; 赤間, 清; 宮本, 衛市 (2000-01) 数理解析研究所講究録, 1125: 150-161
集合表現を含む仕様からのルール生成 (プログラム変換と記号・数式処理) 辻, 武士; 赤間, 清; 宮本, 衛市 (2000-01) 数理解析研究所講究録, 1125: 162-171
合成可能なタブローによる仕様の差分的無矛盾性判定について (プログラム変換と記号・数式処理) 友石, 正彦; 米崎, 直樹 (2000-01) 数理解析研究所講究録, 1125: 142-149
数式処理系を利用したプログラム変換 (プログラム変換と記号・数式処理) 松谷, 将寛; 二村, 良彦 (2000-01) 数理解析研究所講究録, 1125: 115-122
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
証明力を拡張した適切さの論理$ER$ (プログラム変換と記号・数式処理) 吉浦, 紀晃; 米崎, 直樹 (2000-01) 数理解析研究所講究録, 1125: 93-114
二変数有理関数近似のハイブリッド計算 (プログラム変換と記号・数式処理) 甲斐, 博; 野田, 松太郎 (2000-01) 数理解析研究所講究録, 1125: 123-128
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