bonotakeの日記

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

2005-12-18から1日間の記事一覧

戦慄系

http://blog.picsy.org/archives/000203.html 萌えの対立概念と言うところに戦慄。

圏論勉強会

でした。一年続きました。めでたい。 で、合間に以前のエントリーの話が出たので忘れないうちにメモ。 MLのタプルはスマッシュ直積(strictな直積)、つまり、。だけど、圏論的な直積はnon strictなので別物。 そういう意味で圏論の直積はHaskellのタプルに…

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