Coq読書会 - Members

Organizers (1)

Name, Profile	Attended	Datetime of latest joined event	Group join date
7shi キモヲタ。勉強会とかやっています。低レイヤ/自然言語/数学/物理（すべて素人）	0 times		2019/03/28(Thu)

Other Members (34)

Name, Profile	Attended	Datetime of latest joined event	Group join date
kagamiwari male	12 times	2019/09/23(Mon) 13:00	2019/03/31(Sun)
krxross	11 times	2019/09/23(Mon) 13:00	2019/03/28(Thu)
takarakasai https://t.co/mczBRVf8MB 組込SWエンジニアだけど、見えてるのはユーザ...	11 times	2019/09/05(Thu) 20:00	2019/03/30(Sat)
ymorii47	10 times	2019/09/23(Mon) 13:00	2019/03/28(Thu)
warabanshi 酒飲み。自転車乗り。web屋。	9 times	2019/09/23(Mon) 13:00	2019/04/05(Fri)
takumi-kato	8 times	2019/09/23(Mon) 13:00	2019/04/04(Thu)
てぴか✨ ホームページの管理人ですが、更新が停滞していてすみません……学問(数学・物理・言語学)・天体観...	7 times	2019/09/23(Mon) 13:00	2019/05/06(Mon)
ssmi	7 times	2019/08/22(Thu) 20:00	2019/04/09(Tue)
Matsuzawa Yutaka インフラのエンジニア。電気発生からプログラムが動くまでをゆるく勉強中。基本的にアニメ好き。	6 times	2019/08/22(Thu) 20:00	2019/06/12(Wed)
asya-kawai がんばりたい asya-kawai / Pokemon / 情報科学研究科修了 / JAIST...	4 times	2019/09/05(Thu) 20:00	2019/06/01(Sat)
_miyake	4 times	2019/06/13(Thu) 20:00	2019/03/28(Thu)
saitouena 斉藤恵那ブログ日記を書き始めた https://t.co/RewNdlESnW	3 times	2019/05/30(Thu) 20:00	2019/04/01(Mon)
KanSAKAMOTO	2 times	2019/09/23(Mon) 13:00	2019/03/28(Thu)
soyamagic	2 times	2019/05/16(Thu) 20:00	2019/03/31(Sun)
jx7548469 数学とジャニーズが好きです。	2 times	2019/04/18(Thu) 20:00	2019/03/31(Sun)
koji333 https://qiita.com/koji333	1 times	2019/06/27(Thu) 20:00	2019/06/27(Thu)
stmtk	1 times	2019/05/30(Thu) 20:00	2019/05/17(Fri)
airazami	1 times	2019/05/16(Thu) 20:00	2019/04/25(Thu)
yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...	1 times	2019/04/04(Thu) 20:00	2019/03/29(Fri)
ottocilindri	1 times	2019/04/04(Thu) 20:00	2019/03/28(Thu)
wat_aro Haskell楽しすなあ	1 times	2019/04/04(Thu) 20:00	2019/03/29(Fri)
tanaka_akr	1 times	2019/04/04(Thu) 20:00	2019/03/29(Fri)
lion	1 times	2019/04/04(Thu) 20:00	2019/03/30(Sat)
JeongwonMin I like...math and quena	1 times	2019/04/04(Thu) 20:00	2019/03/28(Thu)
mi-chang 眠い人	0 times		2019/06/28(Fri)
usagi2525	0 times		2019/03/28(Thu)
Sho Kohara	0 times		2019/07/14(Sun)
Takeshi UME Imai	0 times		2019/04/04(Thu)
ragisu0502	0 times		2020/06/15(Mon)
t_uchida ソフトウェア開発者です。興味:Coq/Isabelle/Rust/FPGA/SoC https...	0 times		2019/03/29(Fri)
roadrunner	0 times		2019/03/28(Thu)
sonicmove	0 times		2019/10/25(Fri)
kajiwara	0 times		2019/10/14(Mon)
Midoliy C#er 兼 F#erです。主にHP記事などで活動していますので、ぜひご覧ください。 HPはこ...	0 times		2019/05/20(Mon)