mixiで趣味の話をしよう

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

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

圏論勉強会

圏論勉強会

ログインして参加する

  • mixiチェック
  • このエントリーをはてなブックマークに追加

※※※ こちらのコミュニティは現在使われておりません ※※※
現在は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日
(運営期間4136日)
カテゴリ
サークル、ゼミ
メンバー数
99人
関連ワード
関数型言語関数型言語 (796) ScalaScala (551) GaucheGauche (320)
数学基礎論数学基礎論 (1182) 意味論意味論 (691) 形式意味論形式意味論 (200)
Proof Checker / AssistantProof Checker / Assistant (13) PrologProlog (180) アマチュア数学会アマチュア数学会 (546)

オススメゲーム

人気コミュニティランキング

mixiプレミアム
忍者モード登場!

おすすめワード