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

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

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

イベント関係者

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

イベント申込者

参加者一覧

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

グループ情報

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

過去のイベント

参加者と交流するには？

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

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

詳しくはこちら