1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 1125 プログラム変換と記号・数式処理
このアイテムのアクセス数: 200

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/63574
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1125-14.pdf1.81 MBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.author小池, 英勝ja
dc.contributor.author赤間, 清ja
dc.contributor.author宮本, 衛市ja
dc.contributor.alternativeKoike, Hidekatsuen
dc.contributor.alternativeAkama, Kiyoshien
dc.contributor.alternativeMiyamoto, Eiichien
dc.contributor.transcriptionコイケ, ヒデカツja
dc.contributor.transcriptionアカマ, キヨシja
dc.contributor.transcriptionミヤモト, エイイチja
dc.date.accessioned2008-07-09T10:10:38Z-
dc.date.available2008-07-09T10:10:38Z-
dc.date.issued2000-01-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/63574-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.title効率的な等価変換ルールの探索に基づくプログラム合成 (プログラム変換と記号・数式処理)ja
dc.title.alternativeProgram Synthesis Based on Searching for Efficient Equivalent Transformation Rules (Program Transformation, Symbolic Computation and Algebraic Manipulation)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1125-
dc.identifier.spage150-
dc.identifier.epage161-
dc.textversionpublisher-
dc.sortkey14-
dc.address北海道大学システム情報工学専攻ja
dc.address北海道大学情報メディア教育研究総合センターja
dc.address北海道大学システム情報工学専攻ja
dc.address.alternativeDivision of System and Information Engineering, Hokkaido Universityen
dc.address.alternativeCenter of Information and Multimedia Studies, Hokkaido Universityen
dc.address.alternativeDivision of System and Information Engineering, Hokkaido Universityen
dcterms.accessRightsopen access-
出現コレクション:1125 プログラム変換と記号・数式処理

アイテムの簡略レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。