Proof Summit

Name, Profile	Attended	Datetime of latest joined event	Group join date
its_out_of_tune 野生のHaskeller	0 times		2016/07/11(Mon)
tzik Software Engineer．Favorites: Chromium, Blink. C...	0 times		2019/09/29(Sun)
usagi2525	0 times		2015/06/09(Tue)
ねの所属組織と無関係な個人の意見感想です	0 times		2016/07/11(Mon)
satzz	0 times		2017/03/28(Tue)
oskimura	0 times		2018/11/19(Mon)
wasabiz	0 times		2019/07/29(Mon)
yuyhiraka	0 times		2016/08/17(Wed)
8rq 名古屋在住の大学院生。サークル活動で鯖管してた経歴あり。好きなOSは FreeBSD 、普段...	0 times		2016/08/31(Wed)
noob いろんな言語触ってHaskellに落ち着きました数学や物理あたりも大好き	0 times		2018/06/14(Thu)
ゆずこゆずこ，おゆず，お嬢．強い型付けと型推論が好き．Swift 大好き．フィンランドでの留学終了後...	0 times		2016/08/31(Wed)
Typhon666_death テポです。 #jawsug #secjaws #xtechjaws	0 times		2015/06/10(Wed)
junya_kubota_75	0 times		2015/06/11(Thu)
namjakov	0 times		2017/01/09(Mon)
charlie_rebirth mona:MVfvXYbPi7w51J3whjCic61FLozj8cRHaT PN:佐藤達弘...	0 times		2019/07/29(Mon)
吉村優 Programming, Cryptography, Quantum information,...	0 times		2017/06/02(Fri)
Liyang HU Haskell Hygienist; Hardware Hobbyist	0 times		2015/06/08(Mon)
knmsyk TBD	0 times		2016/08/12(Fri)
MonogusaBose 学生時代の専門は確率論（数学）。社会人になってからはウェブエンジニアを経てデータエンジニアリ...	0 times		2015/08/02(Sun)
Keigo Oka	0 times		2017/07/25(Tue)
yak_ex	0 times		2019/09/30(Mon)
You13	0 times		2015/09/05(Sat)
as_capabl ミスティア・ローレライ愛好家。小説勢。サークルProject German-styleは清算し...	0 times		2016/07/11(Mon)
nyamngo	0 times		2015/07/25(Sat)
Kinoshita Shuji	0 times		2015/07/24(Fri)
Fumita suzuki	0 times		2016/08/24(Wed)
wakiwakizou	0 times		2017/07/25(Tue)
HosodaMath	0 times		2018/06/28(Thu)
S-YOU	0 times		2019/07/29(Mon)
yishibashi	0 times		2018/06/16(Sat)
t46	0 times		2020/02/16(Sun)
minama	0 times		2016/07/10(Sun)
MasaharuHIROSE	0 times		2016/07/20(Wed)
wint（ウィント） a programmer; former Web Developer: Cloud Engin...	0 times		2019/02/10(Sun)
kachick require_relative 'interesting'	0 times		2016/09/29(Thu)
mattsu6666	0 times		2019/07/29(Mon)
mokamoto12	0 times		2019/12/09(Mon)
sibazuke	0 times		2016/10/29(Sat)
Xx_ann_pin_xX 音楽やったりプログラムやったりしながら生物/情報を勉強するまったり大学院生（'･ω･´）バイオ...	0 times		2018/06/27(Wed)
Sho Software Engineer @ Gaudiy inc. Next.js, Typesc...	0 times		2018/06/28(Thu)
yaza_ta	0 times		2019/08/31(Sat)
mc88000	0 times		2018/08/24(Fri)
kaiak	0 times		2018/10/16(Tue)
okranch	0 times		2018/06/11(Mon)
onewan 日曜数学屋を目指して勉強を開始しました。本業は特許技術者です。大学院での専攻は制御工学の理論...	0 times		2018/08/25(Sat)
KSaka	0 times		2018/07/20(Fri)
mod_poppo Haskellと数学とTeX	0 times		2018/09/04(Tue)
takemioIO 進捗/zeroなので進捗戦争で死にました。	0 times		2018/06/13(Wed)
maysay	0 times		2018/04/08(Sun)
KentaroHara 物理学と数学を専攻量子計算機における量子情報理論・量子物理学と情報理論・計算機科学における...	0 times		2019/01/28(Mon)
玖我 Web engineer, SRE, Computer Science, Android, R...	0 times		2019/07/29(Mon)
seaurchin	0 times		2017/12/06(Wed)
zk-phi	0 times		2018/09/21(Fri)
suchikeisan	0 times		2018/09/05(Wed)
Yuji Nomura	0 times		2019/07/30(Tue)
ys1987	0 times		2018/05/28(Mon)
a2uky	0 times		2018/06/27(Wed)
ぴくすふぁんく	0 times		2019/09/29(Sun)
大王 EMやってます	0 times		2019/07/28(Sun)
mttm507	0 times		2019/07/28(Sun)
hyama	0 times		2021/04/09(Fri)
hiro_nishiyama	0 times		2019/09/14(Sat)
s_miya	0 times		2023/04/14(Fri)
hiterm	0 times		2022/03/11(Fri)
tnagao7 仕事でJavaの開発しています。学生のときは自動定理証明とかやってました。Java/Scala...	0 times		2022/03/24(Thu)

its_out_of_tune

野生のHaskeller

0 times

2016/07/11(Mon)

tzik

Software Engineer．Favorites: Chromium, Blink. C...

0 times

2019/09/29(Sun)

usagi2525

0 times

2015/06/09(Tue)

ねの

所属組織と無関係な個人の意見感想です

0 times

2016/07/11(Mon)

satzz

0 times

2017/03/28(Tue)

oskimura

0 times

2018/11/19(Mon)

wasabiz

0 times

2019/07/29(Mon)

yuyhiraka

0 times

2016/08/17(Wed)

8rq

名古屋在住の大学院生。サークル活動で鯖管してた経歴あり。好きなOSは FreeBSD 、普段...

0 times

2016/08/31(Wed)

noob

いろんな言語触ってHaskellに落ち着きました数学や物理あたりも大好き

0 times

2018/06/14(Thu)

ゆずこ

ゆずこ，おゆず，お嬢．強い型付けと型推論が好き．Swift 大好き．フィンランドでの留学終了後...

0 times

2016/08/31(Wed)

Typhon666_death Facebook

テポです。 #jawsug #secjaws #xtechjaws

0 times

2015/06/10(Wed)

junya_kubota_75 Facebook

0 times

2015/06/11(Thu)

namjakov

0 times

2017/01/09(Mon)

charlie_rebirth

mona:MVfvXYbPi7w51J3whjCic61FLozj8cRHaT PN:佐藤達弘...

0 times

2019/07/29(Mon)

吉村優

Programming, Cryptography, Quantum information,...

0 times

2017/06/02(Fri)

Liyang HU Facebook

Haskell Hygienist; Hardware Hobbyist

0 times

2015/06/08(Mon)

knmsyk

TBD

0 times

2016/08/12(Fri)

MonogusaBose Facebook

学生時代の専門は確率論（数学）。社会人になってからはウェブエンジニアを経てデータエンジニアリ...

0 times

2015/08/02(Sun)

Keigo Oka

0 times

2017/07/25(Tue)

yak_ex

0 times

2019/09/30(Mon)

You13

0 times

2015/09/05(Sat)

as_capabl

ミスティア・ローレライ愛好家。小説勢。サークルProject German-styleは清算し...

0 times

2016/07/11(Mon)

nyamngo

0 times

2015/07/25(Sat)

Kinoshita Shuji

0 times

2015/07/24(Fri)

Fumita suzuki Facebook

0 times

2016/08/24(Wed)

wakiwakizou

0 times

2017/07/25(Tue)

HosodaMath

0 times

2018/06/28(Thu)

S-YOU

0 times

2019/07/29(Mon)

yishibashi Facebook

0 times

2018/06/16(Sat)

t46 Facebook

0 times

2020/02/16(Sun)

minama

0 times

2016/07/10(Sun)

MasaharuHIROSE

0 times

2016/07/20(Wed)

wint（ウィント）

a programmer; former Web Developer: Cloud Engin...

0 times

2019/02/10(Sun)

kachick

require_relative 'interesting'

0 times

2016/09/29(Thu)

mattsu6666 Facebook

0 times

2019/07/29(Mon)

mokamoto12

0 times

2019/12/09(Mon)

sibazuke

0 times

2016/10/29(Sat)

Xx_ann_pin_xX

音楽やったりプログラムやったりしながら生物/情報を勉強するまったり大学院生（'･ω･´）バイオ...

0 times

2018/06/27(Wed)

Sho

Software Engineer @ Gaudiy inc. Next.js, Typesc...

0 times

2018/06/28(Thu)

yaza_ta

0 times

2019/08/31(Sat)

mc88000

0 times

2018/08/24(Fri)

kaiak

0 times

2018/10/16(Tue)

okranch

0 times

2018/06/11(Mon)

onewan

日曜数学屋を目指して勉強を開始しました。本業は特許技術者です。大学院での専攻は制御工学の理論...

0 times

2018/08/25(Sat)

KSaka

0 times

2018/07/20(Fri)

mod_poppo

Haskellと数学とTeX

0 times

2018/09/04(Tue)

takemioIO

進捗/zeroなので進捗戦争で死にました。

0 times

2018/06/13(Wed)

maysay

0 times

2018/04/08(Sun)

KentaroHara Facebook

物理学と数学を専攻量子計算機における量子情報理論・量子物理学と情報理論・計算機科学における...

0 times

2019/01/28(Mon)

玖我

Web engineer, SRE, Computer Science, Android, R...

0 times

2019/07/29(Mon)

seaurchin

0 times

2017/12/06(Wed)

zk-phi

0 times

2018/09/21(Fri)

suchikeisan

0 times

2018/09/05(Wed)

Yuji Nomura

0 times

2019/07/30(Tue)

ys1987 Facebook

0 times

2018/05/28(Mon)

a2uky

0 times

2018/06/27(Wed)

ぴくすふぁんく

0 times

2019/09/29(Sun)

大王

EMやってます

0 times

2019/07/28(Sun)

mttm507

0 times

2019/07/28(Sun)

hyama

0 times

2021/04/09(Fri)

hiro_nishiyama Facebook

0 times

2019/09/14(Sat)

s_miya

0 times

2023/04/14(Fri)

hiterm

0 times

2022/03/11(Fri)

tnagao7

仕事でJavaの開発しています。学生のときは自動定理証明とかやってました。Java/Scala...

0 times

2022/03/24(Thu)

Other Members (265)