大久保弘崇
FOP
最終更新:
hirotakaohkubo
-
view
関数プログラミングの楽しみ
2011年度自主ゼミ
正規の第2輪講のはずが、みるみるうちに脱落してただのHaskell同好会に。
2012年も継続
7/5に全ての章を読み通して自主ゼミ完了
正規の第2輪講のはずが、みるみるうちに脱落してただのHaskell同好会に。
2012年も継続
7/5に全ての章を読み通して自主ゼミ完了
リンク
練習問題
自分とゼミの楽しい仲間たちによる解答。
| 1章 | 1 2 3 4 5 6× 7× 8△ |
| 2章 | 1 2 3 4 5x 6△ 7 8x |
| 3章 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19? 20 21 22 23 24 25 26 27 28 29 30 31 32 33 ... 37 . 39 . 41 42 43 . 45 46 47△ 48 49 50 51 .. |
| 4章 | 1 2 3 4 5x 6 7△ 8△ 9x 10△ 11 12x |
| 5章 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14? 15? 16 17 18 19 20 21 22 23 24 25 26x 27x 28x |
| 6章 | 演習問題なし |
| 7章 | FOP/7章メモ 1 2 3 4 5 FOP/7章メモ2 6 7 8 9 FOP/7章メモ3 10 11 FOP/7章メモ4 |
| 8章 | 1 2 3 4 5 6 7 8 9△ 10 11 12 13△ 14△ 15 (16) (17) (18)X (19)X (20)X 21 (22) 23X 24 25 |
| 9章 | 1 . . . . |
| 10章 | 1 2△ 3△ (4) 5 6 7△ 8△ 9x 10x 11 (12) 13x (14) 15 16 (17)x 18 19△ |
| 11章 | 演習問題なし |
| 12章 | 1△ 2× 3 4× 5△ 6 7 8× 9 10△ 11 12 13 14 15 16× 17 18× |
カッコは公式に解答があるもの。
答えが間違っている、答えの追加など下のコメント欄によろしくお願いします。
原著
| Preface | http://www.cs.ox.ac.uk/jeremy.gibbons/publications/fop-preface.pdf |
| Chapter 1 | 出版社のページから目次、1章、索引 |
| Chapter 2 | (missing) |
| Chapter 3 | http://www.cs.ox.ac.uk/jeremy.gibbons/publications/origami.pdf |
| Chapter 4 | Publicationからhttp://cs.yale.edu/c2/images/uploads/HaskoreFUN.pdf |
| Chapter 5 | Algebra of Programsよりfop03fusion.pdfのWebarchive |
| Chapter 6 | 訳注よりComposing ContractsからSPJ@MSResearchからPSファイル |
| Chapter 7 | http://conal.net/papers/functional-images/fop-conal.pdf カラーなので利用を推奨 |
| Chapter 8 | (missing) 元ネタっぽいLava Tutorial |
| Chapter 9 | (missing) |
| Chapter 10 | http://www.soi.city.ac.uk/~ross/papers/fop.htmlにgzipped PostScript |
| Chapter 11 | http://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf |
| Chapter 12 | Citeseerxからhttp://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.10.6128&rep=rep1&type=pdf |