bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

2006-02-11から1日間の記事一覧

Layered Monads

id:sumiiくんがトラバくれたんだけど、そこから張ってあったリンク。→http://www.diku.dk/~andrzej/papers/RLM-abstract.html…自分、いまpsが見られない環境なので(ぉ、とりあえずメモ。

リストモナドの非決定性 続き

ああ、つまり昨日のコードを抽象化・簡略化して、 nonDet :: (a -> b) -> [a] -> [b] nonDet f xs = do x <- xs return (f x)を考えると、f :: a -> b がモナドに乗っかった世界でいろんな値を返し得ると言うこと?でも入力のxがそもそもいろんな値取ってく…

Chu Spaces

昨日のコメントにも書いたけど。 http://chu.stanford.edu/ 日本語訳:http://web.sfc.keio.ac.jp/~sakai/doc/chu.stanford.edu/

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。