mixiで趣味の話をしよう

mixiコミュニティには270万を超える趣味コミュニティがあるよ
ログインもしくは登録をして同じ趣味の人と出会おう♪

ホーム > コミュニティ > サークル、ゼミ > 圏論勉強会

圏論勉強会

このコミュニティに参加

このコミュニティに参加するには
ログインが必要です。

※※※ こちらのコミュニティは現在使われておりません ※※※
現在はGoogleグループに活動の拠点を移しています → http://groups.google.co.jp/group/kenron-sesh


以下は古い情報です。
------------------------------

有志による月イチ開催の勉強会です。
数学の圏論を勉強しています。

メインのサイトはこっち:概要とか今までの記録とか
http://www.sampou.org/cgi-bin/haskell.cgi?CategoryTheory%3a%b7%f7%cf%c0%ca%d9%b6%af%b2%f1&l=jp

参考文献リスト:リンク集
http://www.sampou.org/cgi-bin/haskell.cgi?CategoryTheory%3a%b7%f7%cf%c0%b4%d8%b7%b8%a5%ea%a5%f3%a5%af%bd%b8

【関連コミュ】『圏論 ――→ category theory』
圏論を追求する人一般向けのコミュです。
http://mixi.jp/view_community.pl?id=1117142

コミュニティ

圏論勉強会
開設日
2005年05月04日
(運営期間4076日)
カテゴリ
サークル、ゼミ
メンバー数
99人
関連ワード
関数型言語関数型言語 (794) λの会λの会 (607) SICPSICP (339)
PrologProlog (180) 意味論意味論 (690) GaucheGauche (320)
HaskellHaskell (399) 形式意味論形式意味論 (200) 数理論理学(記号論理学)数理論理学(記号論理学) (1080)

おすすめワード