Proof Summit 2016 - Attendee List

Proof Summit 2016

Attendee List

Event Participants

Organizer5 people
tmiya_ 関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...
t6s
yf0fyf
keita44_f4 よんたったー．プログラミング言語を学んだ新社会人． SML#しか使えません．気胸によくなる...

Event Attendees

Attendee List

参加者 Attendees 39 people
参加者 Attendees Ryo Ishigaki Programming, C/C++, Ruby, Arduino, Make, Synth,... Proof Summit 2016 & 関数型言語の集いに参加を申し込みました！
参加者 Attendees tmiya_ 関数型言語と定理証明に興味があります。Formal Methods Forumに所属。 Proof Summit 2016 & 関数型言語の集いに参加を申し込みました！
参加者 Attendees erutuf13 つぶやきません Proof Summit 2016 & 関数型言語の集いに参加を申し込みました！
参加者 Attendees yf0fyf Proof Summit 2016 & 関数型言語の集いに参加を申し込みました！
参加者 Attendees pocketberserker ただのもみあげのようななかやん。 Proof Summit 2016 & 関数型言語の集いに参加を申し込みました！
参加者 Attendees yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel... Proof Summit 2016 & 関数型言語の集いに参加を申し込みました！
参加者 Attendees fumieval 鳥 Proof Summit 2016 & 関数型言語の集いに参加を申し込みました！
参加者 Attendees Haochen Xie (謝昊辰) I joined Proof Summit 2016 & 関数型言語の集い!
参加者 Attendees fadis_ 組み込みから*NIXシステム、HPCまで、計算機をこよなく愛するゲームプログラマ。C++11と... Proof Summit 2016 & 関数型言語の集いに参加を申し込みました！
参加者 Attendees khibino 仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明... Proof Summit 2016 & 関数型言語の集いに参加を申し込みました！
参加者 Attendees Kazuhiko Sakaguchi
参加者 Attendees yugawara I joined Proof Summit 2016 & 関数型言語の集い!
参加者 Attendees Minoru Sakamoto SRE Proof Summit 2016 & 関数型言語の集いに参加を申し込みました！
参加者 Attendees kdxu フリーランスサーバーサイドエンジニア Proof Summit 2016 & 関数型言語の集いに参加を申し込みました！
参加者 Attendees chiguri 東京工業大学の助教。 Proof Summit 2016 & 関数型言語の集いに参加を申し込みました！
参加者 Attendees OKU_K 熊本/京都/神奈川/Coq/SSReflect/ 7号館開催と聞いて
参加者 Attendees jun0inoue パリの高等師範学校でポスドクやってる Haskeller。しかし研究では OCaml いじって... せっかく近いので聞きに行こう。
参加者 Attendees ksuenaga ごはんとお酒が大好きです I'm now working for Kyoto Univers... 怖いもの見たさで．
参加者 Attendees athos Scheme/Clojureが好きな人。株式会社テンクー所属。Clojure(Script)コ... Proof Summit 2016 & 関数型言語の集いに参加を申し込みました！
参加者 Attendees mzp 気づいたらSKKを作ってた。 Proof Summit 2016 & 関数型言語の集いに参加を申し込みました！
参加者 Attendees haiju The mofs-cats without borders. I love gothic cu... Proof Summit 2016 & 関数型言語の集いに参加を申し込みました！
参加者 Attendees チェシャ猫著名ねこみみエンジニア Proof Summit 2016 & 関数型言語の集いに参加を申し込みました！
参加者 Attendees lion Proof Summit 2016 & 関数型言語の集いに参加を申し込みました！よろしくお願いします．
参加者 Attendees eldesh アレゲを目指すC++, ML, VeriFastプログラマ I joined Proof Summit 2016 & 関数型言語の集い!
参加者 Attendees cdepillabout Proof Summit 2016 に参加を申し込みました！
参加者 Attendees sat0_da Proof Summit 2016 に参加を申し込みました！
参加者 Attendees κeen プログラミング言語に興味がある人。 Proof Summit 2016 に参加を申し込みました！
参加者 Attendees keigoi Haskell programmer / OCaml programmer at IT Pla...
参加者 Attendees kaizen_nagoya I'm a network designer.I work on TOPPERS Smalle... Proof Summit 2016 に参加を申し込みました！
参加者 Attendees wadldoo Proof Summit 2016 に参加を申し込みました！
参加者 Attendees jm Proof Summit 2016 に参加を申し込みました！
参加者 Attendees ksknac Tree Transducers/Functional Programming/Coq/OCa... Proof Summit に参加を申し込みました
参加者 Attendees masaoletter I joined Proof Summit 2016!
参加者 Attendees keita44_f4 よんたったー．プログラミング言語を学んだ新社会人． SML#しか使えません．気胸によくなる... Proof Summit 2016 に参加を申し込みました！
参加者 Attendees yuyakato 株式会社那由多屋の代表取締役、ソフトウェアエンジニアとして働いています。飲み屋では「ハリー... Proof Summit 2016 に参加を申し込みました！
参加者 Attendees dico_leque 自然言語と計算機言語、ごはん Proof Summit 2016 に参加を申し込みました！
参加者 Attendees t_uemura669101 I joined Proof Summit 2016!
参加者 Attendees qnighy プログラミング言語とか好きなソフトウェアエンジニア Proof Summit 2016 に参加を申し込みました！
参加者 Attendees t6s I joined Proof Summit 2016!

Canceled Attendees

参加者 Cancel 20 people
参加者 Cancel masterq 寄付はこちらから https://www.patreon.com/metasepi すいません。出席できなくなりました。。。
参加者 Cancel giantneco うちの猫がかわいいだけで特に猫に関するつぶやきはありません。プログラミングしたりボードゲームし... 場所見てなかったorz ごめんなさい
参加者 Cancel nobsun I enjoy functional programming in Haskell. I lo... 参加できなくなりました
参加者 Cancel as_capabl ミスティア・ローレライ愛好家。小説勢。サークルProject German-styleは清算し...
参加者 Cancel SG F# Level-0 Ninja
参加者 Cancel ざっきー programmer. agile/scrum/lean 諸事情によりキャンセルします。
参加者 Cancel saka_bar (Sakaki)
参加者 Cancel its_out_of_tune 野生のHaskeller 諸々の事情によりまた次回(´･ω･｀)
参加者 Cancel ねの所属組織と無関係な個人の意見感想です体力的に厳しそうなためキャンセルします。
参加者 Cancel ヒデ_math 神奈川県藤沢市在住。機械学習技術に興味がある社会人1年目。都合がつかなくなりました。申し訳ありません。
参加者 Cancel Kouji Matsui A strawberry red slime mold. Functional runtime... ICFPにもProof Summitにも行けず、つらぽよ
参加者 Cancel knmsyk TBD
参加者 Cancel htid46 F#が。SQLが。推理小説が好きです。
参加者 Cancel camloeba Formal verification. Functional programming. ...
参加者 Cancel SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ... 当日は出張先からもどれません。残念ですがキャンセルさせてください。
参加者 Cancel MasaharuHIROSE
参加者 Cancel kh
参加者 Cancel ゆずこゆずこ，おゆず，お嬢．強い型付けと型推論が好き．Swift 大好き．フィンランドでの留学終了後... 体調不良のためキャンセル致します。
参加者 Cancel 8rq 名古屋在住の大学院生。サークル活動で鯖管してた経歴あり。好きなOSは FreeBSD 、普段... 急用のため、キャンセルします。
参加者 Cancel minama 体調が悪いため、残念ながらキャンセルします。

Attendee List

Event Participants

Event Attendees

Attendee List

Canceled Attendees

Group Information

Past Event

Connecting with Other Attendees

Connect with Twitter and Facebook on the Settings page.

Members	268 people
Number of events	5