| 著者 | 淵 一博 (監修), 古川 康一 (編集), 溝口 文雄 (編集) |
|---|---|
| 出版社 | 共立出版 |
| ジャンル | 専門書 |
| ISBNコード | 9784320022676 |
| 登録日 | 2015/08/06 |
| リクエストNo. | 62235 |
代表的なプログラム変換技術である部分計算法,展開/たたみ込み技術の理論と実際を詳細に解説。
第1章 プログラム変換入門
第2章 等式プログラムの等価交換
第3章 論理型言語におけるプログラム変換
第4章 部分計算
第5章 メタ・プログラミングと部分計算
第6章 合成問題への新しいアプローチ
第7章 ベクトル化とプログラム変換
第8章 GHCでのプログラム変換
第9章 実用規模プログラム変換試行事例
第1章 プログラム変換入門
第2章 等式プログラムの等価交換
第3章 論理型言語におけるプログラム変換
第4章 部分計算
第5章 メタ・プログラミングと部分計算
第6章 合成問題への新しいアプローチ
第7章 ベクトル化とプログラム変換
第8章 GHCでのプログラム変換
第9章 実用規模プログラム変換試行事例