readcoqart - メンバー一覧

Organizers (3)

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

Other Members (116)

Name, Profile	Attended	Datetime of latest joined event	グループ登録日
nagaet 最近は伊藤潤二の作品を好んで読んでいます。	61 times	2019/08/31(Sat) 14:00	2015/03/07(Sat)
eldesh アレゲを目指すC++, ML, VeriFastプログラマ	44 times	2019/08/31(Sat) 14:00	2015/03/07(Sat)
yugawara	28 times	2018/07/29(Sun) 14:00	2015/03/07(Sat)
kappa	27 times	2019/07/28(Sun) 14:00	2015/09/26(Sat)
lion	23 times	2019/08/31(Sat) 14:00	2017/04/08(Sat)
florets1	20 times	2018/06/24(Sun) 14:00	2015/03/11(Wed)
さかばー	13 times	2018/06/24(Sun) 14:00	2015/03/08(Sun)
tanimocchi http://www.slideshare.net/mocchi_	9 times	2019/08/31(Sat) 14:00	2016/05/31(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 仕事でCとアセンブラ, 趣味でGoやPythonなど https://github.com/p...	8 times	2018/07/16(Mon) 14:00	2017/04/23(Sun)
takumi-kato	7 times	2019/08/31(Sat) 14:00	2018/01/15(Mon)
Incognito	7 times	2019/08/31(Sat) 14:00	2018/12/29(Sat)
saitouena 斉藤恵那ブログ日記を書き始めた https://t.co/RewNdlESnW	5 times	2019/08/31(Sat) 14:00	2019/03/19(Tue)
suridaisuki ホームページの管理人ですが、更新が停滞していてすみません……学問(数学・物理・言語学)・天体観...	5 times	2019/08/31(Sat) 14:00	2019/03/05(Tue)
naca_nyan 新人女性声優学専攻VTUBER研究室	5 times	2019/04/29(Mon) 14:00	2018/05/15(Tue)
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)
チェシャ猫著名ねこみみエンジニア	4 times	2016/10/01(Sat) 14:00	2015/04/18(Sat)
mizoken001 没個性的な一般の会社員です。	3 times	2019/08/31(Sat) 14:00	2018/02/23(Fri)
kento	3 times	2019/08/31(Sat) 14:00	2018/08/19(Sun)
na4zagin3 しゃくゎいじん。古典ギリシャ語を現代に復活させたい。最近はラテン語, アラビア語休止中。 k...	3 times	2019/07/28(Sun) 14:00	2017/02/01(Wed)
KanSAKAMOTO	3 times	2019/04/29(Mon) 14:00	2015/06/29(Mon)
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)
lambda_x-x ソフトウェア開発職をしています．音楽全般と読書（数学書，哲学書）が好きです．最終的には，倫理を...	2 times	2019/03/21(Thu) 14:00	2018/12/29(Sat)
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)
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 仕事では Rails を書いています。	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 理学部情報科学科B3	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)
Naoki Aoyama 西新宿で 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。ビールときどきLT。東京たまに福岡？	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)
cosmo0920 ミドルウェア、コンテナ技術周りに興味。抽象は美しい。	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)
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)
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)
Shintaro SOYAMA	0 times		2019/04/20(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)
tamaki	0 times		2016/12/22(Thu)
ukikagi	0 times		2016/06/23(Thu)
wm5775	0 times		2016/07/22(Fri)
skawahara	0 times		2017/12/05(Tue)
autoalgo	0 times		2017/02/26(Sun)

1
2
Next>>