bonotakeの日記

ソフトウェア工学系研究者 → AIエンジニア → スクラムマスター・アジャイルコーチ

2009-08-01から1ヶ月間の記事一覧

うみねこのなく頃に ep5

その他

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

コモニャドセミナーに行ってきた

圏論 メモ Haskell

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

戻り値の型と余域（codomain）と値域（range）と像（image）

数学 算譜 圏論

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

告知：圏論勉強会

圏論

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…

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