形式手法コミュのResearchMapに数理的手法のコミュニティを作りました

TOPSEセミナ、Graceシンポジウムなどの参加者を中心に
ResearchMapに数理的手法のコミュニティを作成しました。
http://bit.ly/hyyW5v

ご興味のある方はご連絡くださると幸いです。

現在の設定だと、お手数ですが、2段階の招待が必要になります。
ごめんなさい。

ps.
上記サイトに、
2011/02/26 名古屋Reject会議のUST配信のリンクも貼ってあります。
http://bit.ly/gCq35y

13:00-13:10 オープニング
13:10-13:30 @bleis『そうだ、bf処理系つくろう！もちろんSQLで！』
13:30-13:50 @sunflat『Amazon EC2にサーバを移転してみた』
13:50-14:10 @yoya『PHP: ZendEngineの話』
14:10-14:30 @terurou『CommonJSの話（予定）』
14:30-14:50 @nari3『GC本スピンオフ』
14:50-15:10 @mallowlabs『A realtime chat application for Developers : AsakusaSatteliteの紹介』
15:10-15:30 @yoshihiro503『初音ミクとCoqの類似性について』
15:30-15:50 @mzp『証明駆動開発の楽しみ』
15:50-16:10 @wof_moriguchi『F#による関数プログラミング』
16:10-16:30 @keigoi 『ocamljsかocaml androidの話(未定)』
16:30-16:50 @osiire『GADTブランチの今』
16:50-17:10 @kaizen_nagoya『プログラミング教育のXYZ』
17:10-17:30 @dico_leque 『Meta-objective Lisp』
17:30-17:40 クロージング