『Coq/SSReflect/MathCompによる定理証明』読書会(11) - Attendee List

Attendee List

Organizer1 people
7shi キモヲタ。勉強会とかやっています。低レイヤ/自然言語/数学/物理（すべて素人）

参加枠1 Attendees 8 people
参加枠1 Attendees asya-kawai がんばりたい asya-kawai / Pokemon / 情報科学研究科修了 / JAIST... 『Coq/SSReflect/MathCompによる定理証明』読書会(11)に参加を申し込みました！
参加枠1 Attendees takarakasai https://t.co/mczBRVf8MB 組込SWエンジニアだけど、見えてるのはユーザ... I joined 『Coq/SSReflect/MathCompによる定理証明』読書会(11)!
参加枠1 Attendees takumi-kato 『Coq/SSReflect/MathCompによる定理証明』読書会(11)に参加を申し込みました！
参加枠1 Attendees krxross 『Coq/SSReflect/MathCompによる定理証明』読書会(11) に参加を申し込みました！
参加枠1 Attendees kagamiwari male 『Coq/SSReflect/MathCompによる定理証明』読書会(11)に参加を申し込みました！
参加枠1 Attendees ymorii47 I joined 『Coq/SSReflect/MathCompによる定理証明』読書会(11)!
参加枠1 Attendees saikyouyakist saikyouyakist の秘密はね教えてあげないよー ♫ 『Coq/SSReflect/MathCompによる定理証明』読書会(11) に参加を申し込みました！
参加枠1 Attendees warabanshi 酒飲み。自転車乗り。web屋。『Coq/SSReflect/MathCompによる定理証明』読書会(11)に参加を申し込みました！

参加枠1 Cancel 1 people
参加枠1 Cancel Matsuzawa Yutaka インフラのエンジニア。電気発生からプログラムが動くまでをゆるく勉強中。基本的にアニメ好き。体調不良のため家で休みます