bonotakeの日記

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

2010-02-26から1日間の記事一覧

"Categorical Logic and Type Theory" (CLTT)読書会やります

一旦活動を終了し、ただの飲み会へと変貌を遂げた圏論勉強会ですが。飲みの席で話してたら、やっぱり普通の勉強会することになりました。新しいテキストと共に、結構ガチで。 ということで、折角なのでこの際、参加者を広く募集したいと思います。以下概要。…

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