SF読み進捗ダメです会議 #16 #readcoqart #Coq - 参加者・申込者一覧

イベント参加者・申込者一覧

管理者2人
tmiya_ 関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
khibino 仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明...

参加枠1 参加者 7人
参加枠1 参加者 eldesh アレゲを目指すC++, ML, VeriFastプログラマ SF読み進捗ダメです会議 #16 #readcoqart #Coq に参加を申し込みました！
参加枠1 参加者 yugawara SF読み進捗ダメです会議 #16 #readcoqart #Coq に参加を申し込みました！
参加枠1 参加者 khibino 仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明... 会場係です。
参加枠1 参加者 nagaet 最近は伊藤潤二の作品を好んで読んでいます。 SF読み進捗ダメです会議 #16 #readcoqart #Coq に参加を申し込みました！
参加枠1 参加者 saka_bar (Sakaki) SF読み進捗ダメです会議 #16 #readcoqart #Coq に参加を申し込みました！
参加枠1 参加者 yuga SF読み進捗ダメです会議 #16 #readcoqart #Coq に参加を申し込みました！
参加枠1 参加者 florets1 SF読み進捗ダメです会議 #16 #readcoqart #Coqに参加を申し込みました！