bonotakeの日記

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

2007-08-16から1日間の記事一覧

Alloyで圏論

Alloyなる仕様記述言語 (本家サイト)で圏の定義を書いてみました。なぜAlloyかは、一応目的はあるので続きがあれば書きますが、特に深い意味はないです。仕様記述言語なら何でも良かったという話も。 でもここに書いてわかる人も少ないと思うし、現状、ほと…

Question about Tensor Categories | The n-Category Cafe

http://golem.ph.utexas.edu/category/2007/08/question_about_tensor_categori.html 読みかけにつきメモ。

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