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

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

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

イベント関係者

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

イベント申込者

参加者一覧

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

グループ情報

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

過去のイベント

参加者と交流するには？

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

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

詳しくはこちら