2006-12-21から1日間の記事一覧
非決定性計算を見た。 Schemeで出てきたんだけどググったらHaskellの例があったので、見てみた。 *SICPのambのあたりで import Control.Monad solve = do baker <- [1, 2, 3, 4, 5] cooper <- [1, 2, 3, 4, 5] fletcher <- [1, 2, 3, 4, 5] miller <- [1, 2…
非決定性計算を見た。 Schemeで出てきたんだけどググったらHaskellの例があったので、見てみた。 *SICPのambのあたりで import Control.Monad solve = do baker <- [1, 2, 3, 4, 5] cooper <- [1, 2, 3, 4, 5] fletcher <- [1, 2, 3, 4, 5] miller <- [1, 2…