coqtokyo - Members

Organizers (4)

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)
khibino 仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明...	24 times	2021/10/05(Tue) 19:00	2017/06/21(Wed)
yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...	21 times	2021/10/05(Tue) 19:00	2018/07/29(Sun)
tmiya_ 関数型言語と定理証明に興味があります。Formal Methods Forumに所属。	13 times	2021/07/20(Tue) 19:00	2015/03/07(Sat)

Other Members (142)

Name, Profile	Attended	Datetime of latest joined event	Group join date
nagaet 最近は伊藤潤二の作品を好んで読んでいます。	71 times	2021/11/02(Tue) 19:00	2015/03/07(Sat)
kappa	36 times	2021/10/19(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)
takumi-kato	16 times	2021/11/02(Tue) 19:00	2018/01/15(Mon)
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)
nekonibox 理学博士。専門は数学で、専攻は数理論理学が最も近いです。定理証明支援系Coqを使った形式証明...	8 times	2021/10/19(Tue) 19:00	2020/02/04(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)
SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ...	7 times	2021/11/02(Tue) 19:00	2021/08/01(Sun)
KanSAKAMOTO	7 times	2021/08/17(Tue) 19:00	2015/06/29(Mon)
yukiyama9913	6 times	2021/11/02(Tue) 19:00	2021/07/20(Tue)
チェシャ猫著名ねこみみエンジニア	6 times	2021/10/05(Tue) 19:00	2015/04/18(Sat)
yak_ex	5 times	2021/10/19(Tue) 19:00	2021/07/18(Sun)
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)
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)
Riita	3 times	2021/11/02(Tue) 19:00	2021/10/02(Sat)
cute_na_cat 「君に立ち向かってくる誰よりも、君は限りなく挑戦者でいてほしい」世界中のゲームを制する！	3 times	2021/10/05(Tue) 19:00	2021/08/17(Tue)
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)
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)
tanaka_akr	1 times	2021/10/19(Tue) 19:00	2021/10/18(Mon)
Kazuhiko Sakaguchi	1 times	2021/10/05(Tue) 19:00	2021/10/05(Tue)
slipstream	1 times	2021/09/21(Tue) 19:00	2021/09/21(Tue)
polymony@rks 難しい本（論文、教科書等）を楽に読む方法を研究しています。プログラムで効率よく色を付けながら...	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)
momohatt	1 times	2019/02/10(Sun) 14:00	2018/12/01(Sat)
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 JI1LBI / ｶﾜｻｷJI26 / natadecocoa* / ステゴTｼｬﾂの人 / ...	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)
motchang テクノロジー教インターネットデブリ	0 times		2021/10/01(Fri)
まみーサーバーサイドエンジニア。元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)
pogin503	0 times		2018/09/02(Sun)
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)
baban	0 times		2017/04/19(Wed)
hatsugai 並行システムのモデル化・検査ツール SyncStitch を開発しています．プロセス代数 CS...	0 times		2018/02/22(Thu)
junya_kubota_75	0 times		2015/06/11(Thu)
κ 元「流しのSE」。最近はユーザ企業を転々	0 times		2015/08/20(Thu)
Liyang HU Haskell Hygienist; Hardware Hobbyist	0 times		2015/05/16(Sat)

1
2
Next>>