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

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

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

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