色々一段楽したので、しばらく積んでたのを消化しました。新キャラのヱリカさんいい味出してますね！ ……ただ○○がそこに存在するだけで。 古戸ヱリカはこの程度の推理が可能です。 ↑(・∀・)イイ！ でも一方で、ベアトがあんなのになっちゃったにのはやっぱ残…

参照： http://d.hatena.ne.jp/m-hiyama/20090801/1249088692 http://d.hatena.ne.jp/bonotake/20090730/1248961849 以下メモ。 スタンピング・モナド Haskellで一番スタンピング・モナドっぽいのは、Writerモナドかなーと思いました*1。というのは、 計算の…

タイトルの↑これ、全部ちゃんと区別付けられる人どんだけいます？こないだのモニャドセミナーでも混同している人いるなーと思ってたら、今日自分も間違えたわけですが。まぁ自分の場合、余域と像を混同したというより、双対空間もベクトル空間になるってこと…

2009-8-9(日)(14:00-18:00) 東京都 (秋葉原 某所)テキスト： P. Selinger, "A survey of graphical languages for monoidal categories" 5 Lemma 4.11 より (http://www.mscs.dal.ca/~selinger/papers/graphical.pdf) 交通アクセス： 都営新宿線岩本町駅、JR…