yoshihiro503の日記

2011-08-03

[]次回 ProofCafe (栄) は@bonotakeさんをお迎えして 分離論理祭りをします。 次回 ProofCafe (栄) は[http://twitter.com/bonotake:title=@bonotake]さんをお迎えして 分離論理祭りをします。 - yoshihiro503の日記 を含むブックマーク はてなブックマーク - 次回 ProofCafe (栄) は[http://twitter.com/bonotake:title=@bonotake]さんをお迎えして 分離論理祭りをします。 - yoshihiro503の日記

ProofCafe

曜日、時間、場所が通常と異なるので注意してください。

参加希望者は次のpartakeに登録してください。

partake.in

2011-07-09

[]次回 ProofCafe (栄) は7月28日(木) 次回 ProofCafe (栄) は7月28日(木) - yoshihiro503の日記 を含むブックマーク はてなブックマーク - 次回 ProofCafe (栄) は7月28日(木) - yoshihiro503の日記

ProofCafe

曜日、時間、場所が通常と異なるので注意してください。


参加希望者はこの日記にコメントしてください。

kaizenkaizen2011/07/13 05:567/12開催のTOP SE講座のCoq入門の受講の成果をまとめて置くことを自分の宿題にします。

keigoikeigoi2011/07/28 01:34参加します。

maeda_maeda_2011/07/28 09:57参加します。危うく見逃すところでした。

yoshihiro503yoshihiro5032011/07/28 11:46参加します。場所は短歌会館なのでみなさんお気をつけください。

kaizenkaizen2011/07/28 18:48着きました。

2011-06-21

[]次回 ProofCafe (栄) は6月25日(土) 次回 ProofCafe (栄) は6月25日(土) - yoshihiro503の日記 を含むブックマーク はてなブックマーク - 次回 ProofCafe (栄) は6月25日(土) - yoshihiro503の日記

ProofCafe


参加希望者はこの日記にコメントしてください。

maeda_maeda_2011/06/22 23:22行きます!依存型すごいです

t6st6s2011/06/25 12:40依存型が暑いのでいきます!

kaizenkaizen2011/06/25 13:43栄に買い物があるので次いでに寄ります。

2011-04-23

[]次回 ProofCafe (栄) は5月21日(土) 次回 ProofCafe (栄) は5月21日(土) - yoshihiro503の日記 を含むブックマーク はてなブックマーク - 次回 ProofCafe (栄) は5月21日(土) - yoshihiro503の日記

ProofCafe


参加希望者はこの日記にコメントしてください。

yoshihiro503yoshihiro5032011/04/27 19:47参加

keigoikeigoi2011/05/20 08:49参加します。

maeda_maeda_2011/05/20 17:36参加!

lequeleque2011/05/21 11:17行きます!

kaizen00kaizen002011/05/21 13:40いきます。SWEST, TOPPES開発者会議でのCoqの企画について相談。