確率モナド - (new Hatena).blog()

確率モナド - (new Hatena).blog()

Generic Monad System の利用例として、まずはリスト・モナドの典型的な使用方法を概観します。後半で、...概要を表示 Generic Monad System の利用例として、まずはリスト・モナドの典型的な使用方法を概観します。後半で、リスト・モナドと別のモナドを合成するモナド・トランスフォーマーの実例を示したいと思います。 リスト・モナド 話を分かりやすく (?) するために、以下の二つの集合 (リスト) から無作為に元を抽出し、別の新たな集合を構成する、ということを考えます: (define berryz '(momoko miyabi risako yurina chinami captain maasa)) (define c-ute '(maimi erika airi kanna nakky mai chisato)) (別の新たな集合とは Buono! のことです) リスト・モナドを用いたモナド式は次のようなものになります: (require "list.ss") (doM (x <- be