Proof Summit 2017 - Attendee List

Proof Summit 2017

Attendee List

Event Participants

Organizer5 people
tmiya_ 関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...
eldesh アレゲを目指すC++, ML, VeriFastプログラマ
pocketberserker ただのもみあげのようななかやん。
lion
Presenter6 people (Only connpass users are shown)
erutuf13 つぶやきません
tanaka_akr
SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ...
skyrunner_01 May the force be with you.
msakai 『抽象によるソフトウェア設計』『型システム入門』共訳者。Haskeller。圏論。ねもい。ht...
masterq 寄付はこちらから https://www.patreon.com/metasepi

Event Attendees

Attendee List

参加枠1 Attendees 64 people
参加枠1 Attendees notogawa Agda つらい Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees athos Scheme/Clojureが好きな人。株式会社テンクー所属。Clojure(Script)コ... Proof Summit 2017に参加を申し込みました！
参加枠1 Attendees golden_lucky 鹿野桂一郎。抽象的なものが好き。計算機と数学の本を作るお手伝いをする仕事 I joined Proof Summit 2017!
参加枠1 Attendees κeen プログラミング言語に興味がある人。 Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees tanaka_akr Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees ヒデ_math 神奈川県藤沢市在住。機械学習技術に興味がある社会人1年目。 Proof Summit 2017に参加を申し込みました！
参加枠1 Attendees saka_bar (Sakaki) Proof Summit 2017に参加を申し込みました！
参加枠1 Attendees hatsugai 並行システムのモデル化・検査ツール SyncStitch を開発しています．プロセス代数 CS... Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees yugawara I joined Proof Summit 2017!
参加枠1 Attendees urasandesu SEです。Microsoft Fakes/Typemock Isolator/Telerik ... Proof Summit 2017に参加を申し込みました！
参加枠1 Attendees keita44_f4 よんたったー．プログラミング言語を学んだ新社会人． SML#しか使えません．気胸によくなる... Proof Summit 2017に参加を申し込みました！
参加枠1 Attendees erutuf13 つぶやきません Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees khibino 仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明... Proof Summit 2017に参加を申し込みました！
参加枠1 Attendees mzp 気づいたらSKKを作ってた。 Proof Summit 2017に参加を申し込みました！
参加枠1 Attendees SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ... Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees mizoken001 没個性的な一般の会社員です。 Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees tmiya_ 関数型言語と定理証明に興味があります。Formal Methods Forumに所属。 Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees msakai 『抽象によるソフトウェア設計』『型システム入門』共訳者。Haskeller。圏論。ねもい。ht... Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees cojna はすけるすきー Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees kikenpin Proof Summit 2017に参加を申し込みました！
参加枠1 Attendees チェシャ猫著名ねこみみエンジニア Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees dico_leque 自然言語と計算機言語、ごはん Proof Summit 2017に参加を申し込みました！
参加枠1 Attendees matsu_chara Proof Summit 2017に参加を申し込みました！
参加枠1 Attendees Hiroshi YAMAGUCHI Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees bonotake Deep learning computer engineer/Researcher in s... Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees OKU_K 熊本/京都/神奈川/Coq/SSReflect/ Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees tsukimizake774 Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees sm0kym0nkey Scala / Haskell Proof Summit 2017に参加を申し込みました！
参加枠1 Attendees sakas-- Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees giantneco うちの猫がかわいいだけで特に猫に関するつぶやきはありません。プログラミングしたりボードゲームし... Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees junji hashimoto Proof Summit 2017に参加を申し込みました！
参加枠1 Attendees tacke_jp Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees 秋津早苗 Proof Summit 2017に参加を申し込みました！
参加枠1 Attendees t_uchida ソフトウェア開発者です。興味:Coq/Isabelle/Rust/FPGA/SoC https... Proof Summit 2017に参加を申し込みました！
参加枠1 Attendees lion Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees meta-closure Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees KINOSHITA Minoru Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees masterq 寄付はこちらから https://www.patreon.com/metasepi Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees chiguri 東京工業大学の助教。 Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees iitaka1142 Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees morita_hm Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees Kouji Matsui A strawberry red slime mold. Functional runtime... Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel... Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees toshinao 元 PHP/Android/Python/Scala/Go 好きな言語はHaskell 最近は... Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees kitoo 「きとー」と読みます。／転職しました。／JavaとかJavascript書いてる／他の言語もが... Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees 1123sodium 数学/都数/トポロジー Proof Summit 2017に参加を申し込みました！
参加枠1 Attendees おとうふ好きなもの：数学、東方、田村ゆかり Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees kuribayashi9 Proof Summit 2017に参加を申し込みました！
参加枠1 Attendees TakumiIkemura I joined Proof Summit 2017!
参加枠1 Attendees jx7548469 数学とジャニーズが好きです。 Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees sat0_da Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees tkgo99 社会人囲碁/中日ファン掛西/名大 Proof Summit 2017に参加を申し込みました！
参加枠1 Attendees todesking スカラエンジニアーヴィム Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees yamarten yet another marten Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees h_sakurai C言語風言語でLisp風マクロが出来るコンパイラ作ってます。 x86_64コンパイラ http... Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees hide-kawabata Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees ugandge-29gn3fs Proof Summit 2017に参加を申し込みました！
参加枠1 Attendees toslunar Toshiki Kataoka I joined Proof Summit 2017!
参加枠1 Attendees morita.non Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees Casaubon Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees nobsun I enjoy functional programming in Haskell. I lo... Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees yamagc Proof Summit 2017 に参加を申し込みました！
参加枠1 Attendees _type2 I joined Proof Summit 2017!
参加枠1 Attendees fumieval 鳥 Proof Summit 2017 に参加を申し込みました！

Canceled Attendees

参加枠1 Cancel 15 people
参加枠1 Cancel nagaet 最近は伊藤潤二の作品を好んで読んでいます。申し訳ございません。用事ができたので一旦キャンセルします。
参加枠1 Cancel hiha
参加枠1 Cancel jbking Biz: http://yarch.jp/ Priv: http://www.jbking.org/
参加枠1 Cancel Kazuhiko Sakaguchi
参加枠1 Cancel masateruk ロボットのプログラム作ってます。形式手法を実践するため勉強と試行の日々。モデル検査/プロセス代...
参加枠1 Cancel 吉村優 Programming, Cryptography, Quantum information,...
参加枠1 Cancel ksknac Tree Transducers/Functional Programming/Coq/OCa... 参加できなくなってしまいました．とても残念です．
参加枠1 Cancel cdepillabout
参加枠1 Cancel NogikuchiKBYS
参加枠1 Cancel qtak
参加枠1 Cancel nsyee
参加枠1 Cancel cutsea110 ヒゲ生やしたハゲのおっさんです。少し泳ぎます。 swimmer Haskell Agda S...
参加枠1 Cancel kdxu フリーランスサーバーサイドエンジニア発熱があり、感染症の可能性があるので欠席します。申し訳ありません。
参加枠1 Cancel tanimocchi http://www.slideshare.net/mocchi_ 直前ですいません、加療のためキャンセルとさせて下さい。
参加枠1 Cancel NaOHaq プログラミング言語, 画像処理, 2D/3Dグラフィクス, フォント, 数値シミュレーション,... 体調が優れないためキャンセルとさせてください

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