bonotakeの日記

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

2009-03-08から1日間の記事一覧

今日は Tokyo Quantum Meeting (圏論勉強会)でした

参考:告知:圏論勉強会 - たけをの日記@天竺から帰ってきたよ今日の朝、突貫で作ったラムダ計算と圏論についてのプレゼン資料を晒しときます。雰囲気だけ伝わればいいと思ったんで、たぶんいろんなところに不備があると思いますが。たぶんそのうちに足りな…

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