Fri, 22 May 2009
昨日のイベント
- 告知:「技術者/プログラマのためのモナドと圏論」セミナー(モニャドセミナー) 第2回
- 次回から出たい
- ↓現実のWEBだと圏になってないから*1、ちょっと誤解を招くかも?
例えば Web ページ同士のハイパーリンクは圏になってるんじゃないかな。
*1:∵ このサイトから何個かのリンクを合成すればMSNに着くだろうが、このサイトからMSNへリンクは張ってない。
例えば Web ページ同士のハイパーリンクは圏になってるんじゃないかな。
*1:∵ このサイトから何個かのリンクを合成すればMSNに着くだろうが、このサイトからMSNへリンクは張ってない。