yoshihiro503の日記

|

2011-04-03

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

ProofCafe


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

yoshihiro503yoshihiro5032011/04/21 09:34参加します。

maeda_maeda_2011/04/23 09:12登録忘れてました。参加します。

t6st6s2011/04/23 13:23いきます

kaizen00kaizen002011/04/24 06:36子供のサッカーの試合が、雨天決行で、送り迎えがあり参加できませんでした。ごめんなさい。

2011-03-23

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

ProofCafe


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

yoshihiro503yoshihiro5032011/03/25 15:08参加します。

maeda_maeda_2011/03/26 00:19つ部を途中で抜けて、こちらに参加してまた戻ればいいということに気づきました。

t6st6s2011/03/26 18:35行きました

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や関数型言語に関する話を聞く事ができます。

2010-12-25

[]次回 Proof Cafe (栄) は1月22日 次回 Proof Cafe (栄) は1月22日 - yoshihiro503の日記 を含むブックマーク はてなブックマーク - 次回 Proof Cafe (栄) は1月22日 - yoshihiro503の日記

CPDT読書会

CPDT(Certified Programming with Dependent Types) というCoqのプログラマ向けの文書を読み進めていきましょう。Chap. 5 Infinite Data and Proofs から読んでいこうと思います。

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

yoshihiro503yoshihiro5032010/12/25 15:38参加します。

mzpmzp2010/12/29 11:51いきます

tMiyatMiya2011/01/19 15:41今月は(職場で何事も無ければ)行こうかと思ってます。(実家への帰郷を兼ねて)

maeda_maeda_2011/01/20 11:10参加します。

t6st6s2011/01/21 21:23いきます

kaizen00kaizen002011/01/22 07:20出ないとどんどん遅れていくので参加します.

keigoikeigoi2011/01/22 09:41いきますー。

tMiyatMiya2011/01/22 10:09急遽欠席です、ごめんなさい。(体調的に夜行バスは無理っぽかったので)

2010-12-02

[]次回 Proof Cafe (栄) は12月18日 次回 Proof Cafe (栄) は12月18日 - yoshihiro503の日記 を含むブックマーク はてなブックマーク - 次回 Proof Cafe (栄) は12月18日 - yoshihiro503の日記

CPDT読書会

CPDT(Certified Programming with Dependent Types) というCoqのプログラマ向けの文書を読み進めていきましょう。Chap. 5 Infinite Data and Proofs から読んでいこうと思います。

yoshihiro503yoshihiro5032010/12/03 09:47参加します。

mzpmzp2010/12/03 20:50参加できません><。

t6st6s2010/12/05 19:46多分行きます

kaizenkaizen2010/12/15 10:06出る予定で調整中。

wof_moriguchiwof_moriguchi2010/12/18 12:41お邪魔すると思います

t6st6s2010/12/18 19:03体調不良で行けませんでした

kaizen00kaizen002010/12/21 16:00次回はいつに鳴ったんでしたっけ。1/22が第四土曜ですが,,,

|