yoshihiro503の日記

 | 

2011-01-29

[]次回 ProofCafe (栄) は名古屋Reject会議に出展します! 2月26日です。 次回 ProofCafe (栄) は名古屋Reject会議に出展します! 2月26日です。 - yoshihiro503の日記 を含むブックマーク はてなブックマーク - 次回 ProofCafe (栄) は名古屋Reject会議に出展します! 2月26日です。 - yoshihiro503の日記

partake.in

ProofCafeからの発表メンバー

kaizen00kaizen002011/02/19 09:16出展ということは,何をすればよいでしょうか?

yoshihiro503yoshihiro5032011/02/24 23:16特にすべきことはありませんが、Reject会議に行けばCoqや関数型言語に関する話を聞く事ができます。

 |