ログインしてさらにmixiを楽しもう
コメントを投稿して情報交換!更新通知を受け取って、最新情報をゲット!
ログインして参加する
コミュ内全体
合宿どうでしょう
mixiユーザー 2009年04月20日 00:10
コメント(1)
[1] mixiユーザー 04月20日 00:13
ログインすると、みんなのコメントがもっと見れるよ
まだ何もありません
星印の数は、共通して参加しているメンバーが多いほど増えます。
関数型言語
λの会
Haskell
SICP
形式意味論
数学基礎論
Gauche
Scala
意味論
Prolog
アマチュア数学会
Erlang
Proof Checker / Assistant
分散ハッシュテーブル(DHT)
Boost C++ Libraries
ソフトウェア工学
OSS関連イベントカレンダー
クヌース教
クルト・ゲーデル
関数解析学
圏論勉強会
mixiに参加して、コミュニティをもっと楽しもう
パスワード・メールアドレスを忘れた方
人気コミュニティランキング
困ったときには
関連ワード