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