bonotakeの日記

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

2007-07-04から1日間の記事一覧

今日は世界の独立記念日だ!

ということで、独立記念日です。

今週末は圏論勉強会

2007-7-8(日)(10:00-17:00) 東京都 (びぎねっと トレーニングルーム) テキスト:"Categories, Types and Structures" Section 2.3 (p.15) より 交通アクセス: http://begi.net/modules/xfsection/article.php?articleid=1 出られるかなぁ。

closed category とモナド

前回の圏論勉強会で出た話の備忘録。今やってるテキストに、"Cartesian category"(カルテシアン圏?とかデカルト圏とか。以下CC)なるものが出てきます。これは、λ計算が成すような Cartesian closed category (カルテシアン閉圏とかデカルト閉圏とか。以下…

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