Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
1125 プログラム変換と記号・数式処理 = Program Transformation, Symbolic Computation and Algebraic Manipulation
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 17.
前
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
絞り込み
著者
3
二村, 良彦
2
宮本, 衛市
2
小西, 善二郎
2
米崎, 直樹
2
赤間, 清
1
Akama, Kiyoshi
1
Chin, Wei-Ngan
1
Futamura, Yoshihiko
1
Hu, Zhenjiang
1
Kakehi, Kazuhiko
.
次 >
発行日
17
2000
資料種別
16
Departmental Bulletin Paper
1
Others