『Coq/SSReflect/MathCompによる定理証明』読書会(10) - 参加者・申込者一覧 - connpass

『Coq/SSReflect/MathCompによる定理証明』読書会(10)

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

イベント関係者

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

イベント申込者

参加者一覧

参加枠1 参加者 8人
参加枠1 参加者 takarakasai https://t.co/mczBRVf8MB 組込SWエンジニアだけど、見えてるのはユーザ... I joined 『Coq/SSReflect/MathCompによる定理証明』読書会(10)!
参加枠1 参加者 alumican インフラのエンジニア。電気発生からプログラムが動くまでをゆるく勉強中。基本的にアニメ好き。『Coq/SSReflect/MathCompによる定理証明』読書会(10)に参加を申し込みました！
参加枠1 参加者 ssmi 『Coq/SSReflect/MathCompによる定理証明』読書会(10) に参加を申し込みました！
参加枠1 参加者 warabanshi 酒飲み。自転車乗り。web屋。『Coq/SSReflect/MathCompによる定理証明』読書会(10) に参加を申し込みました！
参加枠1 参加者 takumi-kato 『Coq/SSReflect/MathCompによる定理証明』読書会(10) に参加を申し込みました！
参加枠1 参加者てぴか✨ ホームページの管理人ですが、更新が停滞していてすみません……学問(数学・物理・言語学)・天体観... 『Coq/SSReflect/MathCompによる定理証明』読書会(10) に参加を申し込みました！
参加枠1 参加者 kagamiwari male 『Coq/SSReflect/MathCompによる定理証明』読書会(10)に参加を申し込みました！
参加枠1 参加者 saikyouyakist saikyouyakist の秘密はね教えてあげないよー ♫ 『Coq/SSReflect/MathCompによる定理証明』読書会(10) に参加を申し込みました！

グループ情報

メンバー数	35人
イベント数	12回

過去のイベント

参加者と交流するには？

設定ページからX(Twitter)やFacebookと連携してみましょう！

お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。

詳しくはこちら