Proof Summit

Name, Profile	Attended	Datetime of latest joined event	Group join date
watiko Android関係を追っかけています。 / Stay fresh!	1 times	2018/09/02(Sun) 11:00	2018/06/11(Mon)
tukky	1 times	2018/09/02(Sun) 11:00	2018/07/14(Sat)
terasaki	1 times	2018/09/02(Sun) 11:00	2018/06/16(Sat)
murakami_motokazu_1213	1 times	2018/09/02(Sun) 11:00	2018/06/27(Wed)
zigen 酒を飲みながらコード書いてる	1 times	2018/09/02(Sun) 11:00	2018/06/28(Thu)
yuchiki1000yen 関数型言語、検証などに興味があります	1 times	2018/09/02(Sun) 11:00	2018/06/26(Tue)
ArayanAce	1 times	2018/09/02(Sun) 11:00	2018/06/12(Tue)
momohatt	1 times	2018/09/02(Sun) 11:00	2018/07/30(Mon)
hitbit	1 times	2018/09/02(Sun) 11:00	2018/06/29(Fri)
ys にゃーん。	1 times	2018/09/02(Sun) 11:00	2018/06/30(Sat)
dnxx28 Running engineer	1 times	2018/09/02(Sun) 11:00	2018/08/05(Sun)
logic	1 times	2018/09/02(Sun) 11:00	2018/06/30(Sat)
tnagao7 南極生まれ。プリンストン大卒業後日本IBM→ゴールドマン・サックス証券、退職後はプロボクサーを...	1 times	2018/09/02(Sun) 11:00	2018/06/15(Fri)
MtFuji3776	1 times	2018/09/02(Sun) 11:00	2018/09/01(Sat)
Udayan28 サービス作って行こうな！	1 times	2018/09/02(Sun) 11:00	2018/07/23(Mon)
umedaikiti	1 times	2018/09/02(Sun) 11:00	2018/07/10(Tue)
hiroendore プログラマ	1 times	2018/09/02(Sun) 11:00	2018/08/04(Sat)
osoi	1 times	2018/09/02(Sun) 11:00	2018/09/01(Sat)
matsu_chara	1 times	2017/07/23(Sun) 11:00	2015/07/24(Fri)
h_sakurai C言語風言語でLisp風マクロが出来るコンパイラ作ってます。 x86_64コンパイラ http...	1 times	2017/07/23(Sun) 11:00	2015/06/24(Wed)
kuribayashi9	1 times	2017/07/23(Sun) 11:00	2017/07/02(Sun)
tacke_jp	1 times	2017/07/23(Sun) 11:00	2017/06/02(Fri)
urasandesu SEです。Microsoft Fakes/Typemock Isolator/Telerik ...	1 times	2017/07/23(Sun) 11:00	2017/06/01(Thu)
tsukimizake774	1 times	2017/07/23(Sun) 11:00	2017/06/01(Thu)
saka_bar (Sakaki)	1 times	2017/07/23(Sun) 11:00	2015/06/14(Sun)
iitaka1142	1 times	2017/07/23(Sun) 11:00	2017/06/17(Sat)
junji hashimoto	1 times	2017/07/23(Sun) 11:00	2017/06/02(Fri)
morita_hm	1 times	2017/07/23(Sun) 11:00	2017/06/17(Sat)
nobsun I enjoy functional programming in Haskell. I lo...	1 times	2017/07/23(Sun) 11:00	2016/07/10(Sun)
meta-closure	1 times	2017/07/23(Sun) 11:00	2017/06/04(Sun)
Casaubon	1 times	2017/07/23(Sun) 11:00	2017/07/21(Fri)
kitoo 「きとー」と読みます。／転職しました。／JavaとかJavascript書いてる／他の言語もが...	1 times	2017/07/23(Sun) 11:00	2015/09/12(Sat)
Hiroshi YAMAGUCHI	1 times	2017/07/23(Sun) 11:00	2017/06/01(Thu)
_type2	1 times	2017/07/23(Sun) 11:00	2017/07/22(Sat)
toshinao 元 PHP/Android/Python/Scala/Go 好きな言語はHaskell 最近は...	1 times	2017/07/23(Sun) 11:00	2017/06/21(Wed)
ヒデ_math 神奈川県藤沢市在住。機械学習技術に興味がある社会人1年目。	1 times	2017/07/23(Sun) 11:00	2016/09/12(Mon)
ugandge-29gn3fs	1 times	2017/07/23(Sun) 11:00	2017/07/18(Tue)
bonotake Deep learning computer engineer/Researcher in s...	1 times	2017/07/23(Sun) 11:00	2017/06/01(Thu)
おとうふ好きなもの：数学、東方、田村ゆかり	1 times	2017/07/23(Sun) 11:00	2017/07/01(Sat)
TakumiIkemura	1 times	2017/07/23(Sun) 11:00	2017/07/02(Sun)
tkgo99 社会人囲碁/中日ファン掛西/名大	1 times	2017/07/23(Sun) 11:00	2017/07/05(Wed)
yamarten yet another marten	1 times	2017/07/23(Sun) 11:00	2017/07/17(Mon)
hide-kawabata	1 times	2017/07/23(Sun) 11:00	2017/07/18(Tue)
toslunar Toshiki Kataoka	1 times	2017/07/23(Sun) 11:00	2017/07/20(Thu)
morita.non	1 times	2017/07/23(Sun) 11:00	2017/07/21(Fri)
pocketberserker ただのもみあげのようななかやん。	1 times	2016/09/25(Sun) 11:00	2015/06/08(Mon)
kaizen_nagoya I'm a network designer.I work on TOPPERS Smalle...	1 times	2016/09/25(Sun) 11:00	2016/08/20(Sat)
ksuenaga ごはんとお酒が大好きです I'm now working for Kyoto Univers...	1 times	2016/09/25(Sun) 11:00	2016/07/10(Sun)
keigoi Haskell programmer / OCaml programmer at IT Pla...	1 times	2016/09/25(Sun) 11:00	2016/08/18(Thu)
Kazuhiko Sakaguchi	1 times	2016/09/25(Sun) 11:00	2016/07/09(Sat)
wadldoo	1 times	2016/09/25(Sun) 11:00	2016/08/22(Mon)
cdepillabout	1 times	2016/09/25(Sun) 11:00	2015/06/09(Tue)
yuyakato 株式会社那由多屋の代表取締役、ソフトウェアエンジニアとして働いています。飲み屋では「ハリー...	1 times	2016/09/25(Sun) 11:00	2016/09/09(Fri)
kdxu フリーランスサーバーサイドエンジニア	1 times	2016/09/25(Sun) 11:00	2016/07/10(Sun)
jun0inoue パリの高等師範学校でポスドクやってる Haskeller。しかし研究では OCaml いじって...	1 times	2016/09/25(Sun) 11:00	2016/07/10(Sun)
masaoletter	1 times	2016/09/25(Sun) 11:00	2016/08/28(Sun)
jm	1 times	2016/09/25(Sun) 11:00	2016/08/24(Wed)
t_uemura669101	1 times	2016/09/25(Sun) 11:00	2016/09/22(Thu)
qnighy プログラミング言語とか好きなソフトウェアエンジニア	1 times	2016/09/25(Sun) 11:00	2016/09/23(Fri)
halcat0x15a Scalaちゃんちゅっちゅ	1 times	2015/09/12(Sat) 13:00	2015/06/15(Mon)
esehara Lispのことを聞かないでください	1 times	2015/09/12(Sat) 13:00	2015/08/11(Tue)
ktz_alias 会社でdelphiのちC# おうちでphp(最近放置プレーぎみ) scalaは3歩進んで10歩...	1 times	2015/09/12(Sat) 13:00	2015/09/10(Thu)
denn28	1 times	2015/09/12(Sat) 13:00	2015/07/24(Fri)
ざっきー programmer. agile/scrum/lean	1 times	2015/09/12(Sat) 13:00	2015/06/08(Mon)
Fujimura Daisuke STORESのCTO	1 times	2015/09/12(Sat) 13:00	2015/06/09(Tue)
dec9ue セキュリティ、FP、いろいろ	1 times	2015/09/12(Sat) 13:00	2015/09/01(Tue)
mikiya0417 SIer Is not EngineeR - Snooker / Billiard / Cyc...	1 times	2015/09/12(Sat) 13:00	2015/06/08(Mon)
tanakh 今すぐフォローすべき競技プログラミング界のスーパーエンジニア。国境無き猫もふ団。 http:/...	1 times	2015/09/12(Sat) 13:00	2015/06/09(Tue)
マーさん bot	1 times	2015/09/12(Sat) 13:00	2015/07/15(Wed)
NaOHaq プログラミング言語, 画像処理, 2D/3Dグラフィクス, フォント, 数値シミュレーション,...	1 times	2015/09/12(Sat) 13:00	2015/06/10(Wed)
amutake	1 times	2015/09/12(Sat) 13:00	2015/06/10(Wed)
nishi_t nishi@lan	1 times	2015/09/12(Sat) 13:00	2015/06/10(Wed)
Hiroshi Hatake ミドルウェア、コンテナ技術周りに興味。抽象は美しい。	1 times	2015/09/12(Sat) 13:00	2015/06/08(Mon)
chatsuta	1 times	2015/09/12(Sat) 13:00	2015/08/12(Wed)
ilyaletre	1 times	2015/09/12(Sat) 13:00	2015/06/10(Wed)
fetastein バイト探してます。自宅勤務可希望。量子計算、量子情報、定理証明支援系、関数型プログラミングに...	1 times	2015/09/12(Sat) 13:00	2015/06/19(Fri)
autotaker1984 コミュ力つけることが今年の目標。 CS14er/IS12er/福井/藤島/UTMC/TRCC/...	1 times	2015/09/12(Sat) 13:00	2015/06/09(Tue)
yksym_t	1 times	2015/09/12(Sat) 13:00	2015/09/05(Sat)
sktnkysh 学生B1	1 times	2015/09/12(Sat) 13:00	2015/06/09(Tue)
yigano	1 times	2015/09/12(Sat) 13:00	2015/07/15(Wed)
Ryota Nakagawa	1 times	2015/09/12(Sat) 13:00	2015/07/27(Mon)
shinsa82	1 times	2015/09/12(Sat) 13:00	2015/08/12(Wed)
tetha (有)ビューポイントテクノロジーの店主兼店員 Smalltalkを大体操る程度の能力を持つ品...	1 times	2015/09/12(Sat) 13:00	2015/09/10(Thu)
prototechno	0 times		2017/07/22(Sat)
nsyee	0 times		2015/06/09(Tue)
alumican インフラのエンジニア。電気発生からプログラムが動くまでをゆるく勉強中。基本的にアニメ好き。	0 times		2019/07/29(Mon)
showhen SysAdmin。データセンタからNW、サーバまで幅広くやっています。このアカウントでは個人と...	0 times		2018/09/02(Sun)
take_3	0 times		2018/07/13(Fri)
manji0112	0 times		2015/09/12(Sat)
kh	0 times		2016/07/16(Sat)
mnr_u excelでマクロを書くお仕事をしています。ひっそりとjuliaのマニュアルの翻訳をしており...	0 times		2019/10/01(Tue)
htid46 F#が。SQLが。推理小説が好きです。	0 times		2016/07/12(Tue)
cho_tekitou Aichi Japan Interesting:Haskell,OCaml,Coq	0 times		2018/06/11(Mon)
camloeba Formal verification. Functional programming. ...	0 times		2016/07/09(Sat)
ouisql 情報セキュリティスペシャリスト業務/興味のある分野: Android,インフラ(Window...	0 times		2015/06/11(Thu)
SG F# Level-0 Ninja	0 times		2016/07/12(Tue)
tsurumau Vi Vim CPU FPGA C C++ Haskell OCaml Perl PHP Ru...	0 times		2015/06/09(Tue)
nabe256 OpenIndiana, Haskell, NSEG, Olympus E-300	0 times		2015/09/09(Wed)
momocus	0 times		2019/07/29(Mon)
aoiroaoino 自宅で Scala 書いてる猫。	0 times		2015/06/08(Mon)

watiko

Android関係を追っかけています。 / Stay fresh!

1 times

2018/09/02(Sun) 11:00

2018/06/11(Mon)

tukky

1 times

2018/09/02(Sun) 11:00

2018/07/14(Sat)

terasaki

1 times

2018/09/02(Sun) 11:00

2018/06/16(Sat)

murakami_motokazu_1213 Facebook

1 times

2018/09/02(Sun) 11:00

2018/06/27(Wed)

zigen Facebook

酒を飲みながらコード書いてる

1 times

2018/09/02(Sun) 11:00

2018/06/28(Thu)

yuchiki1000yen Facebook

関数型言語、検証などに興味があります

1 times

2018/09/02(Sun) 11:00

2018/06/26(Tue)

ArayanAce

1 times

2018/09/02(Sun) 11:00

2018/06/12(Tue)

momohatt

1 times

2018/09/02(Sun) 11:00

2018/07/30(Mon)

hitbit

1 times

2018/09/02(Sun) 11:00

2018/06/29(Fri)

ys

にゃーん。

1 times

2018/09/02(Sun) 11:00

2018/06/30(Sat)

dnxx28

Running engineer

1 times

2018/09/02(Sun) 11:00

2018/08/05(Sun)

logic

1 times

2018/09/02(Sun) 11:00

2018/06/30(Sat)

tnagao7

南極生まれ。プリンストン大卒業後日本IBM→ゴールドマン・サックス証券、退職後はプロボクサーを...

1 times

2018/09/02(Sun) 11:00

2018/06/15(Fri)

MtFuji3776

1 times

2018/09/02(Sun) 11:00

2018/09/01(Sat)

Udayan28

サービス作って行こうな！

1 times

2018/09/02(Sun) 11:00

2018/07/23(Mon)

umedaikiti

1 times

2018/09/02(Sun) 11:00

2018/07/10(Tue)

hiroendore

プログラマ

1 times

2018/09/02(Sun) 11:00

2018/08/04(Sat)

osoi

1 times

2018/09/02(Sun) 11:00

2018/09/01(Sat)

matsu_chara

1 times

2017/07/23(Sun) 11:00

2015/07/24(Fri)

h_sakurai

C言語風言語でLisp風マクロが出来るコンパイラ作ってます。 x86_64コンパイラ http...

1 times

2017/07/23(Sun) 11:00

2015/06/24(Wed)

kuribayashi9

1 times

2017/07/23(Sun) 11:00

2017/07/02(Sun)

tacke_jp

1 times

2017/07/23(Sun) 11:00

2017/06/02(Fri)

urasandesu

SEです。Microsoft Fakes/Typemock Isolator/Telerik ...

1 times

2017/07/23(Sun) 11:00

2017/06/01(Thu)

tsukimizake774

1 times

2017/07/23(Sun) 11:00

2017/06/01(Thu)

saka_bar (Sakaki)

1 times

2017/07/23(Sun) 11:00

2015/06/14(Sun)

iitaka1142 Facebook

1 times

2017/07/23(Sun) 11:00

2017/06/17(Sat)

junji hashimoto

1 times

2017/07/23(Sun) 11:00

2017/06/02(Fri)

morita_hm

1 times

2017/07/23(Sun) 11:00

2017/06/17(Sat)

nobsun

I enjoy functional programming in Haskell. I lo...

1 times

2017/07/23(Sun) 11:00

2016/07/10(Sun)

meta-closure

1 times

2017/07/23(Sun) 11:00

2017/06/04(Sun)

Casaubon

1 times

2017/07/23(Sun) 11:00

2017/07/21(Fri)

kitoo

「きとー」と読みます。／転職しました。／JavaとかJavascript書いてる／他の言語もが...

1 times

2017/07/23(Sun) 11:00

2015/09/12(Sat)

Hiroshi YAMAGUCHI

1 times

2017/07/23(Sun) 11:00

2017/06/01(Thu)

_type2

1 times

2017/07/23(Sun) 11:00

2017/07/22(Sat)

toshinao

元 PHP/Android/Python/Scala/Go 好きな言語はHaskell 最近は...

1 times

2017/07/23(Sun) 11:00

2017/06/21(Wed)

ヒデ_math

神奈川県藤沢市在住。機械学習技術に興味がある社会人1年目。

1 times

2017/07/23(Sun) 11:00

2016/09/12(Mon)

ugandge-29gn3fs

1 times

2017/07/23(Sun) 11:00

2017/07/18(Tue)

bonotake Facebook

Deep learning computer engineer/Researcher in s...

1 times

2017/07/23(Sun) 11:00

2017/06/01(Thu)

おとうふ

好きなもの：数学、東方、田村ゆかり

1 times

2017/07/23(Sun) 11:00

2017/07/01(Sat)

TakumiIkemura Facebook

1 times

2017/07/23(Sun) 11:00

2017/07/02(Sun)

tkgo99

社会人囲碁/中日ファン掛西/名大

1 times

2017/07/23(Sun) 11:00

2017/07/05(Wed)

yamarten

yet another marten

1 times

2017/07/23(Sun) 11:00

2017/07/17(Mon)

hide-kawabata

1 times

2017/07/23(Sun) 11:00

2017/07/18(Tue)

toslunar

Toshiki Kataoka

1 times

2017/07/23(Sun) 11:00

2017/07/20(Thu)

morita.non

1 times

2017/07/23(Sun) 11:00

2017/07/21(Fri)

pocketberserker

ただのもみあげのようななかやん。

1 times

2016/09/25(Sun) 11:00

2015/06/08(Mon)

kaizen_nagoya Facebook

I'm a network designer.I work on TOPPERS Smalle...

1 times

2016/09/25(Sun) 11:00

2016/08/20(Sat)

ksuenaga

ごはんとお酒が大好きです I'm now working for Kyoto Univers...

1 times

2016/09/25(Sun) 11:00

2016/07/10(Sun)

keigoi

Haskell programmer / OCaml programmer at IT Pla...

1 times

2016/09/25(Sun) 11:00

2016/08/18(Thu)

Kazuhiko Sakaguchi Facebook

1 times

2016/09/25(Sun) 11:00

2016/07/09(Sat)

wadldoo

1 times

2016/09/25(Sun) 11:00

2016/08/22(Mon)

cdepillabout

1 times

2016/09/25(Sun) 11:00

2015/06/09(Tue)

yuyakato Facebook

株式会社那由多屋の代表取締役、ソフトウェアエンジニアとして働いています。飲み屋では「ハリー...

1 times

2016/09/25(Sun) 11:00

2016/09/09(Fri)

kdxu

フリーランスサーバーサイドエンジニア

1 times

2016/09/25(Sun) 11:00

2016/07/10(Sun)

jun0inoue

パリの高等師範学校でポスドクやってる Haskeller。しかし研究では OCaml いじって...

1 times

2016/09/25(Sun) 11:00

2016/07/10(Sun)

masaoletter

1 times

2016/09/25(Sun) 11:00

2016/08/28(Sun)

jm Facebook

1 times

2016/09/25(Sun) 11:00

2016/08/24(Wed)

t_uemura669101

1 times

2016/09/25(Sun) 11:00

2016/09/22(Thu)

qnighy Facebook

プログラミング言語とか好きなソフトウェアエンジニア

1 times

2016/09/25(Sun) 11:00

2016/09/23(Fri)

halcat0x15a

Scalaちゃんちゅっちゅ

1 times

2015/09/12(Sat) 13:00

2015/06/15(Mon)

esehara

Lispのことを聞かないでください

1 times

2015/09/12(Sat) 13:00

2015/08/11(Tue)

ktz_alias

会社でdelphiのちC# おうちでphp(最近放置プレーぎみ) scalaは3歩進んで10歩...

1 times

2015/09/12(Sat) 13:00

2015/09/10(Thu)

denn28

1 times

2015/09/12(Sat) 13:00

2015/07/24(Fri)

ざっきー

programmer. agile/scrum/lean

1 times

2015/09/12(Sat) 13:00

2015/06/08(Mon)

Fujimura Daisuke Facebook

STORESのCTO

1 times

2015/09/12(Sat) 13:00

2015/06/09(Tue)

dec9ue

セキュリティ、FP、いろいろ

1 times

2015/09/12(Sat) 13:00

2015/09/01(Tue)

mikiya0417

SIer Is not EngineeR - Snooker / Billiard / Cyc...

1 times

2015/09/12(Sat) 13:00

2015/06/08(Mon)

tanakh Facebook

今すぐフォローすべき競技プログラミング界のスーパーエンジニア。国境無き猫もふ団。 http:/...

1 times

2015/09/12(Sat) 13:00

2015/06/09(Tue)

マーさん

bot

1 times

2015/09/12(Sat) 13:00

2015/07/15(Wed)

NaOHaq

プログラミング言語, 画像処理, 2D/3Dグラフィクス, フォント, 数値シミュレーション,...

1 times

2015/09/12(Sat) 13:00

2015/06/10(Wed)

amutake

1 times

2015/09/12(Sat) 13:00

2015/06/10(Wed)

nishi_t

nishi@lan

1 times

2015/09/12(Sat) 13:00

2015/06/10(Wed)

Hiroshi Hatake

ミドルウェア、コンテナ技術周りに興味。抽象は美しい。

1 times

2015/09/12(Sat) 13:00

2015/06/08(Mon)

chatsuta

1 times

2015/09/12(Sat) 13:00

2015/08/12(Wed)

ilyaletre

1 times

2015/09/12(Sat) 13:00

2015/06/10(Wed)

fetastein

バイト探してます。自宅勤務可希望。量子計算、量子情報、定理証明支援系、関数型プログラミングに...

1 times

2015/09/12(Sat) 13:00

2015/06/19(Fri)

autotaker1984

コミュ力つけることが今年の目標。 CS14er/IS12er/福井/藤島/UTMC/TRCC/...

1 times

2015/09/12(Sat) 13:00

2015/06/09(Tue)

yksym_t

1 times

2015/09/12(Sat) 13:00

2015/09/05(Sat)

sktnkysh

学生B1

1 times

2015/09/12(Sat) 13:00

2015/06/09(Tue)

yigano Facebook

1 times

2015/09/12(Sat) 13:00

2015/07/15(Wed)

Ryota Nakagawa Facebook

1 times

2015/09/12(Sat) 13:00

2015/07/27(Mon)

shinsa82 Facebook

1 times

2015/09/12(Sat) 13:00

2015/08/12(Wed)

tetha

(有)ビューポイントテクノロジーの店主兼店員 Smalltalkを大体操る程度の能力を持つ品...

1 times

2015/09/12(Sat) 13:00

2015/09/10(Thu)

prototechno Facebook

0 times

2017/07/22(Sat)

nsyee

0 times

2015/06/09(Tue)

alumican

インフラのエンジニア。電気発生からプログラムが動くまでをゆるく勉強中。基本的にアニメ好き。

0 times

2019/07/29(Mon)

showhen Facebook

SysAdmin。データセンタからNW、サーバまで幅広くやっています。このアカウントでは個人と...

0 times

2018/09/02(Sun)

take_3

0 times

2018/07/13(Fri)

manji0112

0 times

2015/09/12(Sat)

kh

0 times

2016/07/16(Sat)

mnr_u

excelでマクロを書くお仕事をしています。ひっそりとjuliaのマニュアルの翻訳をしており...

0 times

2019/10/01(Tue)

htid46

F#が。SQLが。推理小説が好きです。

0 times

2016/07/12(Tue)

cho_tekitou

Aichi Japan Interesting:Haskell,OCaml,Coq

0 times

2018/06/11(Mon)

camloeba

Formal verification. Functional programming. ...

0 times

2016/07/09(Sat)

ouisql

情報セキュリティスペシャリスト業務/興味のある分野: Android,インフラ(Window...

0 times

2015/06/11(Thu)

SG

F# Level-0 Ninja

0 times

2016/07/12(Tue)

tsurumau Facebook

Vi Vim CPU FPGA C C++ Haskell OCaml Perl PHP Ru...

0 times

2015/06/09(Tue)

nabe256

OpenIndiana, Haskell, NSEG, Olympus E-300

0 times

2015/09/09(Wed)

momocus

0 times

2019/07/29(Mon)

aoiroaoino Facebook

自宅で Scala 書いてる猫。

0 times

2015/06/08(Mon)

Other Members (265)