coqtokyo - Members

Organizers (5)

Name, Profile	Attended	Datetime of latest joined event	Group join date
eldesh アレゲを目指すC++, ML, VeriFastプログラマ	48 times	2021/07/20(Tue) 19:00	2021/08/03(Tue)
yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...	33 times	2022/05/10(Tue) 19:00	2018/07/29(Sun)
khibino 仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明...	27 times	2022/01/25(Tue) 19:00	2017/06/21(Wed)
takumi-kato	26 times	2022/05/10(Tue) 19:00	2021/12/14(Tue)
tmiya_ 関数型言語と定理証明に興味があります。Formal Methods Forumに所属。	13 times	2021/07/20(Tue) 19:00	2015/03/07(Sat)

Other Members (149)

Name, Profile	Attended	Datetime of latest joined event	Group join date
nagaet 最近は伊藤潤二の作品を好んで読んでいます。	76 times	2022/03/29(Tue) 19:00	2015/03/07(Sat)
kappa	46 times	2022/04/26(Tue) 19:00	2015/09/26(Sat)
yugawara	30 times	2021/08/17(Tue) 19:00	2015/03/07(Sat)
lion	28 times	2020/02/24(Mon) 14:00	2017/04/08(Sat)
florets1	20 times	2018/06/24(Sun) 14:00	2015/03/11(Wed)
nekonibox 理学博士。専門は数学で、専攻は数理論理学が最も近いです。定理証明支援系Coqを使った形式証明...	16 times	2022/03/15(Tue) 19:00	2020/02/04(Tue)
yak_ex	13 times	2022/05/10(Tue) 19:00	2021/07/18(Sun)
tanaka_akr	13 times	2022/05/10(Tue) 19:00	2021/10/18(Mon)
SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ...	13 times	2022/04/26(Tue) 19:00	2021/08/01(Sun)
saka_bar (Sakaki)	13 times	2018/06/24(Sun) 14:00	2015/03/08(Sun)
asinus	12 times	2021/08/17(Tue) 19:00	2018/12/29(Sat)
tanimocchi http://www.slideshare.net/mocchi_	10 times	2020/02/24(Mon) 14:00	2016/05/31(Tue)
てぴか✨ ホームページの管理人ですが、更新が停滞していてすみません……学問(数学・物理・言語学)・天体観...	8 times	2021/07/20(Tue) 19:00	2019/03/05(Tue)
kayhide	8 times	2019/05/26(Sun) 14:00	2018/07/28(Sat)
κeen プログラミング言語に興味がある人。	8 times	2019/04/29(Mon) 14:00	2015/08/15(Sat)
Miura Kosuke Interested in Automobile, Linux and Mathematics...	8 times	2018/07/16(Mon) 14:00	2017/04/23(Sun)
チェシャ猫著名ねこみみエンジニア	7 times	2022/05/10(Tue) 19:00	2015/04/18(Sat)
KanSAKAMOTO	7 times	2021/08/17(Tue) 19:00	2015/06/29(Mon)
saitouena 斉藤恵那ブログ日記を書き始めた https://t.co/RewNdlESnW	5 times	2019/08/31(Sat) 14:00	2019/03/19(Tue)
naca_nyan 新人女性声優学専攻VTUBER研究室	5 times	2019/04/29(Mon) 14:00	2018/05/15(Tue)
cute_na_cat 「君に立ち向かってくる誰よりも、君は限りなく挑戦者でいてほしい」世界中のゲームを制する！	4 times	2021/11/16(Tue) 19:00	2021/08/17(Tue)
mizoken001 没個性的な一般の会社員です。	4 times	2021/07/20(Tue) 19:00	2018/02/23(Fri)
kioto 三浦半島でフリーランスのプログラマをしてます。	4 times	2021/07/20(Tue) 19:00	2019/10/16(Wed)
na4zagin3 しゃくゎいじん。古典ギリシャ語を現代に復活させたい。最近はラテン語, アラビア語休止中。 k...	4 times	2019/11/03(Sun) 14:30	2017/02/01(Wed)
kento	4 times	2019/10/14(Mon) 14:30	2018/08/19(Sun)
1123sodium 数学/都数/トポロジー	4 times	2019/05/26(Sun) 14:00	2018/09/13(Thu)
jx7548469 数学とジャニーズが好きです。	4 times	2019/01/12(Sat) 14:00	2017/11/23(Thu)
ke_ta3 数学科、情報科学研究科を経て医学部。確率シミュレーションとか画像解析とかのお仕事もちょこちょこ...	4 times	2017/04/23(Sun) 14:00	2016/12/03(Sat)
Kazuhiko Sakaguchi	3 times	2022/03/15(Tue) 19:00	2021/10/05(Tue)
fetburner MLしか書けない	3 times	2022/03/15(Tue) 19:00	2022/02/08(Tue)
riita	3 times	2021/11/02(Tue) 19:00	2021/10/02(Sat)
YWBIZ	3 times	2020/02/24(Mon) 14:00	2019/11/28(Thu)
tektek	3 times	2016/12/17(Sat) 14:00	2016/10/11(Tue)
yukiyam99999999999999999999999	2 times	2022/05/24(Tue) 19:00	2022/05/10(Tue)
KSaka	2 times	2021/10/19(Tue) 19:00	2021/07/31(Sat)
asya-kawai がんばりたい asya-kawai / Pokemon / 情報科学研究科修了 / JAIST...	2 times	2021/08/31(Tue) 19:00	2021/08/05(Thu)
charlie_rebirth mona:MVfvXYbPi7w51J3whjCic61FLozj8cRHaT PN:佐藤達弘...	2 times	2019/06/23(Sun) 14:00	2018/08/24(Fri)
prototechno	2 times	2019/05/26(Sun) 14:00	2019/04/28(Sun)
sm0kym0nkey Scala / Haskell	2 times	2019/04/29(Mon) 14:00	2016/07/27(Wed)
wint（ウィント） Web Developer: Cloud Engineer, DevOps; a functi...	2 times	2019/04/29(Mon) 14:00	2019/03/18(Mon)
Yukihiro0036 SOKENDAI 1st year, NII. I am intersted in Logic...	2 times	2019/04/29(Mon) 14:00	2019/03/07(Thu)
lambdaboy	2 times	2018/06/10(Sun) 14:00	2018/04/29(Sun)
sat0_da	2 times	2017/09/16(Sat) 14:00	2017/08/18(Fri)
UkyoSuzuki	2 times	2017/04/23(Sun) 14:00	2017/01/20(Fri)
Sho Kohara	2 times	2017/01/21(Sat) 14:00	2016/12/22(Thu)
zhanpon 名古屋で集合論を勉強しているM1。あとモデル理論が好きです。最近の趣味はジョギングと、ヨーロッ...	2 times	2017/01/21(Sat) 14:00	2016/12/01(Thu)
tsukimizake774	2 times	2016/07/24(Sun) 14:00	2016/05/25(Wed)
TadashiEbara	2 times	2016/07/24(Sun) 14:00	2016/05/20(Fri)
itleigns 数学/計算ゲーム/ピクミン @itisleigning @itleigned	1 times	2022/05/10(Tue) 19:00	2022/05/08(Sun)
t6s	1 times	2021/12/28(Tue) 19:00	2021/12/28(Tue)
watchstorms	1 times	2021/11/30(Tue) 19:00	2021/11/30(Tue)
usagisan2020 最近は、自然言語処理の中でも特に、比喩表現や含意や推移の対話応答の機能の実装に興味があります。...	1 times	2021/11/30(Tue) 19:00	2021/11/30(Tue)
yak_ex_	1 times	2021/11/30(Tue) 19:00	2021/11/30(Tue)
slipstream	1 times	2021/09/21(Tue) 19:00	2021/09/21(Tue)
polymonyRks 難しい文書（論文、教科書等）を楽に読む方法を研究しています。プログラムで効率よく色を付けなが...	1 times	2021/08/03(Tue) 19:00	2021/08/01(Sun)
cutsea110 ヒゲ生やしたハゲのおっさんです。少し泳ぎます。 swimmer Haskell Agda S...	1 times	2021/07/20(Tue) 19:00	2021/07/15(Thu)
sonicmove	1 times	2021/07/20(Tue) 19:00	2019/10/22(Tue)
gaxiiiiiiiiiiii	1 times	2021/07/20(Tue) 19:00	2020/01/16(Thu)
shigemi1014 組み込み園児にあ	1 times	2021/07/20(Tue) 19:00	2021/07/15(Thu)
takaakise	1 times	2021/07/20(Tue) 19:00	2021/07/16(Fri)
s-okuda	1 times	2019/12/15(Sun) 14:00	2019/12/14(Sat)
kajiwara	1 times	2019/10/14(Mon) 14:30	2019/03/07(Thu)
chansuke	1 times	2019/06/23(Sun) 14:00	2019/06/12(Wed)
giantneco うちの猫がかわいいだけで特に猫に関するつぶやきはありません。プログラミングしたりボードゲームし...	1 times	2019/04/29(Mon) 14:00	2019/03/05(Tue)
wat_aro Haskell楽しすなあ	1 times	2019/04/29(Mon) 14:00	2019/04/05(Fri)
yuki サイバーエージェントにてRust領域におけるNext Expertsをつとめています。また、R...	1 times	2019/04/29(Mon) 14:00	2019/04/17(Wed)
koji333 https://qiita.com/koji333	1 times	2019/03/21(Thu) 14:00	2018/08/23(Thu)
YutakaNg	1 times	2019/03/21(Thu) 14:00	2019/03/08(Fri)
Makoto	1 times	2019/01/12(Sat) 14:00	2018/12/26(Wed)
xinxin	1 times	2018/09/17(Mon) 14:00	2018/09/15(Sat)
barson Twitter:@barson_4	1 times	2018/06/10(Sun) 14:00	2018/06/01(Fri)
yot18	1 times	2018/01/13(Sat) 14:00	2017/12/12(Tue)
jinze_yu	1 times	2017/01/07(Sat) 14:00	2017/01/02(Mon)
ta_to_co	1 times	2016/12/17(Sat) 14:00	2016/12/17(Sat)
otanet WEB解析に統計学の息吹を吹き込みたいと思いながら日々奮闘中。統計解析とデータマイニング・自然...	1 times	2016/11/26(Sat) 14:00	2016/10/17(Mon)
aoiroaoino 自宅で Scala 書いてる猫。	1 times	2016/06/25(Sat) 14:00	2016/05/16(Mon)
kazzna 好きな人の好きな人になりたい。	1 times	2016/06/25(Sat) 14:00	2016/06/25(Sat)
chatsuta	1 times	2016/06/25(Sat) 14:00	2016/05/16(Mon)
uLily	1 times	2016/06/25(Sat) 14:00	2016/05/29(Sun)
Ted__Henry すべて妄想です。	1 times	2015/11/07(Sat) 14:00	2015/10/19(Mon)
lequinharay	1 times	2015/06/20(Sat) 14:00	2015/06/10(Wed)
yuga	1 times	2015/04/04(Sat) 14:00	2015/03/09(Mon)
まみーサーバーサイドエンジニア。元Cで主にPHPer。	0 times		2018/06/01(Fri)
take_3	0 times		2018/07/13(Fri)
pocketberserker ただのもみあげのようななかやん。	0 times		2016/05/25(Wed)
Wakamatz CV･PRML／TAP／STG／Pure Math	0 times		2018/07/20(Fri)
Minoru Sakamoto SRE	0 times		2015/03/07(Sat)
ゆで卵ぷろぐらむ	0 times		2018/05/15(Tue)
tsurumau Vi Vim CPU FPGA C C++ Haskell OCaml Perl PHP Ru...	0 times		2015/08/17(Mon)
Satoooooooooooo	0 times		2016/12/09(Fri)
WESTTOWN サイボウズ株式会社所属のQAエンジニア。サイボウズ入社は2022年1月だが、開発、SEを10年...	0 times		2022/02/16(Wed)
pogin503	0 times		2018/09/02(Sun)
tzik Software Engineer．Favorites: Chromium, Blink. C...	0 times		2021/12/29(Wed)
usagi2525	0 times		2015/03/07(Sat)
Soutaro Matsumoto	0 times		2017/03/14(Tue)
Hiroshi Hatake ミドルウェア、コンテナ技術周りに興味。抽象は美しい。	0 times		2016/03/23(Wed)
keizo そふとうぇあえんじにあ	0 times		2017/10/31(Tue)
fnwiya	0 times		2018/12/16(Sun)
ilyaletre	0 times		2016/05/30(Mon)
ItSANgo Tweetの多くは「はてなbookmark」から流れてきます。 http://t.co/lz6...	0 times		2016/11/17(Thu)

1
2
Next>>