coqtokyo - Members

Organizers (5)

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

Other Members (163)

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	51 times	2023/07/18(Tue) 19:00	2015/09/26(Sat)
tanaka_akr	41 times	2023/09/19(Tue) 19:00	2021/10/18(Mon)
SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ...	32 times	2023/09/12(Tue) 19:00	2021/08/01(Sun)
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)
KanSAKAMOTO	20 times	2023/09/19(Tue) 19:00	2015/06/29(Mon)
florets1	20 times	2018/06/24(Sun) 14:00	2015/03/11(Wed)
nekonibox 理学博士。専門は数学で、専攻は数理論理学が最も近いです。定理証明支援系Coqを使った形式証明...	17 times	2023/05/16(Tue) 19:00	2020/02/04(Tue)
yak_ex	16 times	2022/06/21(Tue) 19:00	2021/07/18(Sun)
saka_bar (Sakaki)	13 times	2018/06/24(Sun) 14:00	2015/03/08(Sun)
えびえびです。京都在住のプログラミングオタクの一人。仕事ではTypeScriptとかRubyとか...	12 times	2023/09/12(Tue) 19:00	2023/02/07(Tue)
asinus	12 times	2021/08/17(Tue) 19:00	2018/12/29(Sat)
nickname123 プログラマー見習い。形式証明に憧れています。	11 times	2023/07/11(Tue) 19:00	2023/02/06(Mon)
チェシャ猫著名ねこみみエンジニア	10 times	2023/03/14(Tue) 19:00	2015/04/18(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)
ITO Kensei Scalaでエンジニア人生を始めた数学徒 HTT/HoTT/Coq	7 times	2023/05/16(Tue) 19:00	2023/01/29(Sun)
KSaka	5 times	2023/06/13(Tue) 19:00	2021/07/31(Sat)
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)
koba1014	3 times	2023/02/07(Tue) 19:00	2022/09/24(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)
yukiyama1335	2 times	2023/09/19(Tue) 19:00	2023/09/12(Tue)
ssmi	2 times	2023/06/13(Tue) 19:00	2018/08/16(Thu)
gaxiiiiiiiiiiii	2 times	2023/05/30(Tue) 19:00	2020/01/16(Thu)
線形代数10級	2 times	2023/03/14(Tue) 19:00	2023/01/30(Mon)
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（ウィント） a programmer; former Web Developer: Cloud Engin...	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)
pogin503	1 times	2023/07/11(Tue) 19:00	2018/09/02(Sun)
kmdqcom	1 times	2023/04/25(Tue) 19:00	2023/04/11(Tue)
nakayoshix My name 'Yoshiyuki' means goodness and happines...	1 times	2023/03/28(Tue) 19:00	2023/03/24(Fri)
s-taiga	1 times	2023/03/28(Tue) 19:00	2023/03/24(Fri)
damastein	1 times	2023/03/28(Tue) 19:00	2023/03/24(Fri)
munescafe	1 times	2023/03/14(Tue) 19:00	2023/03/04(Sat)
aym9461	1 times	2023/03/14(Tue) 19:00	2023/03/05(Sun)
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/ポリモニー JavaScript 、Python、Haskell、Common Lisp、Graph Ne...	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)
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	1 times	2019/04/29(Mon) 14:00	2019/04/17(Wed)
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)

1
2
Next>>