bonotakeの日記

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

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

リストモナドの非決定性

ってこういうやつの事? nonDet :: [Int] -> [Int] -> [Int] nonDet [] _ = [] nonDet _ [] = [] nonDet xs ys = [(x + y)| x <- xs, y <- ys]モナド風味で書くと nonDet2 :: [Int] -> [Int] -> [Int] nonDet2 [] _ = [] nonDet2 _ [] = [] nonDet2 xs ys = …

Prince O3試打

今日は土曜の振り替えで休日。午前中ちょっと用事を済ませ、帰りに渋谷にシューズを買いに行くことにする*1。そこでついでに、Princeの新しいO3をオートテニスのマシンで試打させてもらった。手前から、O3のWhite、Red、んで新発売のXF Red。ちなみに、今は…

CiteULike

もいっこ、ヒビルテから。面白そうなので自分もアカウント作りました。→http://jp.citeulike.org/user/bonotake ただ、企業にいる人間(特に自分みたいな下っ端)が、自分の読んでる論文を全部晒すのってすごく危険なんですよね(^^;と言うことで、圏論関係と…

CABA (complete atomic boolean algebra)

ヒビルテより。いや、リンク張るならこっちか? このCABAが成す圏が、昨日のエントリーで触れたとほぼ同様のものになる…のだろうか。 Linear Logic complements Classical Logic、自分も読んでみよう。こういう話の広がり方はいいなぁ。

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