readcoqart - Members

Organizers (3)

Name, Profile	Attended	Datetime of latest joined event	Group join date
khibino 仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明...	19 times	2020/02/24(Mon) 14:00	2017/06/21(Wed)
yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...	18 times	2020/01/13(Mon) 14:00	2018/07/29(Sun)
tmiya_ 関数型言語と定理証明に興味があります。Formal Methods Forumに所属。	12 times	2017/08/27(Sun) 14:00	2015/03/07(Sat)

Other Members (124)

Name, Profile	Attended	Datetime of latest joined event	Group join date
nagaet 最近は伊藤潤二の作品を好んで読んでいます。	65 times	2020/02/24(Mon) 14:00	2015/03/07(Sat)
eldesh アレゲを目指すC++, ML, VeriFastプログラマ	47 times	2019/12/15(Sun) 14:00	2015/03/07(Sat)
kappa	31 times	2020/01/13(Mon) 14:00	2015/09/26(Sat)
lion	28 times	2020/02/24(Mon) 14:00	2017/04/08(Sat)
yugawara	28 times	2018/07/29(Sun) 14:00	2015/03/07(Sat)
florets1	20 times	2018/06/24(Sun) 14:00	2015/03/11(Wed)
saka_bar	13 times	2018/06/24(Sun) 14:00	2015/03/08(Sun)
takumi-kato	12 times	2020/02/24(Mon) 14:00	2018/01/15(Mon)
tanimocchi http://www.slideshare.net/mocchi_	10 times	2020/02/24(Mon) 14:00	2016/05/31(Tue)
asinus	9 times	2020/01/13(Mon) 14:00	2018/12/29(Sat)
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 仕事でCとアセンブラ, 趣味でGoやPythonなど https://github.com/p...	8 times	2018/07/16(Mon) 14:00	2017/04/23(Sun)
てぴか✨ ホームページの管理人ですが、更新が停滞していてすみません……学問(数学・物理・言語学)・天体観...	7 times	2020/01/13(Mon) 14:00	2019/03/05(Tue)
KanSAKAMOTO	5 times	2019/11/03(Sun) 14:30	2015/06/29(Mon)
チェシャ猫著名ねこみみエンジニア	5 times	2019/10/14(Mon) 14:30	2015/04/18(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)
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)
kioto 三浦半島でフリーランスのプログラマをしてます。平日は名古屋に出稼ぎに行ってます。	3 times	2020/02/24(Mon) 14:00	2019/10/16(Wed)
YWBIZ	3 times	2020/02/24(Mon) 14:00	2019/11/28(Thu)
mizoken001 没個性的な一般の会社員です。	3 times	2019/08/31(Sat) 14:00	2018/02/23(Fri)
tektek	3 times	2016/12/17(Sat) 14:00	2016/10/11(Tue)
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)
nekonibox 理学博士。専門は数学で、専攻は数理論理学が最も近いです。定理証明支援系Coqを使った形式証明...	1 times	2020/02/24(Mon) 14:00	2020/02/04(Tue)
s-okuda	1 times	2019/12/15(Sun) 14:00	2019/12/14(Sat)
Takuya 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)
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)
まみーサーバーサイドエンジニア。元Cで主にPHPer。	0 times		2018/06/01(Fri)
take_3	0 times		2018/07/13(Fri)
KittyAngel	0 times		2016/11/29(Tue)
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 SDN技術を用いたネットワークサービスの開発をしています。仕事ではPythonを使います。趣味...	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)
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)
junji hashimoto	0 times		2017/06/02(Fri)
ぱふぉあ	0 times		2017/10/24(Tue)
MonogusaBose 学生時代の専門は確率論（数学）。社会人になってからはウェブエンジニアを経てデータエンジニアリ...	0 times		2016/10/25(Tue)
msakai 『抽象によるソフトウェア設計』『型システム入門』共訳者。Haskeller。圏論。ねもい。ht...	0 times		2015/05/17(Sun)
hetakan	0 times		2016/12/22(Thu)
t_uchida ソフトウェア開発者です。興味:Coq/Isabelle/Rust/FPGA/SoC https...	0 times		2019/04/05(Fri)
takaken1977	0 times		2017/10/25(Wed)
エフエフ ●Ｍｉｓｓｉｏｎ多くの人の拠り所となる方舟を創り、そこを情熱の炎と希望の光でつなぐこと ...	0 times		2017/03/04(Sat)
ぽとるふ	0 times		2017/03/18(Sat)
guanbu	0 times		2016/04/08(Fri)
S-YOU	0 times		2018/12/29(Sat)
tats.t	0 times		2017/02/03(Fri)
harukam 勉強中のビーヨン	0 times		2016/05/21(Sat)
YasutomoTakano	0 times		2020/03/25(Wed)
Tamaki Okui	0 times		2016/12/22(Thu)
t46	0 times		2019/09/28(Sat)

1
2
Next>>