1. はじめに1.1. まえがき この記事では、関数型プログラミングにおいて動的計画法(Dynamic Programming)を行う手法の一つである dynamorphism について解説します。 しかし、dynamorphism という概念はそれ単体で説明できるものではなく、F-代数 や catamorphism, anamorphism, hylomorphism, histmorphism などの各種概念を用いないと説明できないものです。そこでこの記事では順々とそれらの概念を追っていき、最後にdynamorphismに行き着くような構成になっています。 そのため、この記事は dynamorphism の説明記事であると同時に、F-(余)代数や catamorphism, anamorphism 等に関する解説記事でもあります。 ここで留意していただきたい点が何点かあります。いわゆる

Written April 17, 2013 updated: May 20, 2013 Here's a simple value: And we know how to apply a function to this value: Simple enough. Lets extend this by saying that any value can be in a context. For now you can think of a context as a box that you can put a value in: Now when you apply a function to this value, you'll get different results depending on the context. This is the idea that Functors

コンピュータサイエンスアンプラグドは、コンピュータを使わずに情報科学を教えるための学習法です。 カードなどを用いたゲームやグループ活動を通して、コンピュータの基本的なしくみを楽しく学ぶことができます。 （日本語版の紹介） このサイトではニュージーランドで開発された Computer Science Unplugged を翻訳した内容を紹介しています。今後は、日本での実践例や日本で開発したアンプラグド教材についても紹介していく予定です。 データ：情報を表す素材 点を数える（２進数） 色を数で表す （画像表現） それ、さっきも言った!（テキスト圧縮） カード交換の手品（エラー検出とエラー訂正） 20の扉（情報理論） ジョニーを探せ（情報理論） コンピュータを働かせる：アルゴリズム 戦艦（探索アルゴリズム） いちばん軽いといちばん重い（整列アルゴリズム） 時間内に仕事を終えろ（並び替えネットワー

This page has moved. For more information see: The Koka book. The Koka library documentation