Proof Summit 2015 - Attendee List

Proof Summit 2015

Attendee List

Event Participants

Organizer3 people
tmiya_ 関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
khibino 仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明...
yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...

Event Attendees

Attendee List

参加枠1 Attendees 56 people
参加枠1 Attendees ざっきー programmer. agile/scrum/lean Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees xuwei_k https://github.com/xuwei-k https://xuwei-k.hate... Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees erutuf13 つぶやきません Proof Summit 2015に参加を申し込みました！
参加枠1 Attendees msakai 『抽象によるソフトウェア設計』『型システム入門』共訳者。Haskeller。圏論。ねもい。ht... Proof Summit 2015に参加を申し込みました！
参加枠1 Attendees Hiroshi Hatake ミドルウェア、コンテナ技術周りに興味。抽象は美しい。 Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees chiguri 東京工業大学の助教。 Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees nagaet 最近は伊藤潤二の作品を好んで読んでいます。 Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees dico_leque 自然言語と計算機言語、ごはん Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees mzp 気づいたらSKKを作ってた。 Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees yugawara I joined Proof Summit 2015!
参加枠1 Attendees rkyymmt Proof Summit 2015に参加を申し込みました！
参加枠1 Attendees Ryo Ishigaki Programming, C/C++, Ruby, Arduino, Make, Synth,... Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees kikenpin Proof Summit 2015に参加を申し込みました！
参加枠1 Attendees yuga Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees mikiya0417 SIer Is not EngineeR - Snooker / Billiard / Cyc... Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees チェシャ猫著名ねこみみエンジニア今年こそ Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees Minoru Sakamoto SRE Proof Summit 2015に参加を申し込みました！
参加枠1 Attendees takarakasai https://t.co/mczBRVf8MB 組込SWエンジニアだけど、見えてるのはユーザ... Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees haiju The mofs-cats without borders. I love gothic cu... Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees tanakh 今すぐフォローすべき競技プログラミング界のスーパーエンジニア。国境無き猫もふ団。 http:/... Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees autotaker1984 コミュ力つけることが今年の目標。 CS14er/IS12er/福井/藤島/UTMC/TRCC/... Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees t_uchida ソフトウェア開発者です。興味:Coq/Isabelle/Rust/FPGA/SoC https... Proof Summit 2015に参加を申し込みました！
参加枠1 Attendees sktnkysh 学生B1 I joined Proof Summit 2015!
参加枠1 Attendees Fujimura Daisuke STORESのCTO Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees notogawa Agda つらい Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees cojna はすけるすきー Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees ksknac Tree Transducers/Functional Programming/Coq/OCa... Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees tanimocchi http://www.slideshare.net/mocchi_ Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees NaOHaq プログラミング言語, 画像処理, 2D/3Dグラフィクス, フォント, 数値シミュレーション,... Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees nishi_t nishi@lan Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees amutake Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees ilyaletre Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees athos Scheme/Clojureが好きな人。株式会社テンクー所属。Clojure(Script)コ... Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees ruicc エンジニア。Haskell, Vim, Classical musicを好む。Violin少々... Proof Summit 2015に参加を申し込みました！
参加枠1 Attendees halcat0x15a Scalaちゃんちゅっちゅ Proof Summit 2015に参加を申し込みました！
参加枠1 Attendees mizoken001 没個性的な一般の会社員です。 Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees fetastein バイト探してます。自宅勤務可希望。量子計算、量子情報、定理証明支援系、関数型プログラミングに... Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees eldesh アレゲを目指すC++, ML, VeriFastプログラマ Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees masterq 寄付はこちらから https://www.patreon.com/metasepi Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ... Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees yigano Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees マーさん bot おじゃまいたします
参加枠1 Attendees denn28 Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees Ryota Nakagawa Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees sat0_da Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees esehara Lispのことを聞かないでください
参加枠1 Attendees shinsa82 Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees chatsuta Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees (退会ユーザー) C/Coq/(Ruby)/M1 Proof Summit 2015に参加を申し込みました！
参加枠1 Attendees dec9ue セキュリティ、FP、いろいろ Proof Summit 2015に参加を申し込みました！
参加枠1 Attendees yksym_t Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees 虚無関数型言語スキー Proof Summit 2015に参加を申し込みました！
参加枠1 Attendees sakas-- Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees KanSAKAMOTO Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees ktz_alias 会社でdelphiのちC# おうちでphp(最近放置プレーぎみ) scalaは3歩進んで10歩... Proof Summit 2015 に参加を申し込みました！
参加枠1 Attendees tetha (有)ビューポイントテクノロジーの店主兼店員 Smalltalkを大体操る程度の能力を持つ品... Proof Summit 2015 に参加を申し込みました！

Canceled Attendees

参加枠1 Cancel 23 people
参加枠1 Cancel Liyang HU Haskell Hygienist; Hardware Hobbyist
参加枠1 Cancel (退会ユーザー) 仕事では C++ と CUDA で GPGPU してます。
参加枠1 Cancel lucia00
参加枠1 Cancel MonogusaBose 学生時代の専門は確率論（数学）。社会人になってからはウェブエンジニアを経てデータエンジニアリ... すみません。予定が重なってしまったため、残念ですうがキャンセルさせていただきます。
参加枠1 Cancel Kinoshita Shuji
参加枠1 Cancel keita44_f4 よんたったー．プログラミング言語を学んだ新社会人． SML#しか使えません．気胸によくなる... 葡萄の収穫時期とかぶったので
参加枠1 Cancel s.t. ﾂﾗｲすみません、どうしても外せない用が発生したため、キャンセルさせていただきます
参加枠1 Cancel κeen プログラミング言語に興味がある人。ごめんなさい、別の用事が入りました。行きたかった…
参加枠1 Cancel Typhon666_death テポです。 #jawsug #secjaws #xtechjaws
参加枠1 Cancel cdepillabout
参加枠1 Cancel matsu_chara 予定が入ってしまったのでキャンセルさせていただきます。
参加枠1 Cancel saka_bar (Sakaki) 多忙につき。
参加枠1 Cancel (退会ユーザー)
参加枠1 Cancel aoiroaoino 自宅で Scala 書いてる猫。すいません、すいません、別件の為キャンセルします...
参加枠1 Cancel (退会ユーザー) A software enginner. Learning Haskell to escape...
参加枠1 Cancel ouisql 情報セキュリティスペシャリスト業務/興味のある分野: Android,インフラ(Window...
参加枠1 Cancel tsurumau Vi Vim CPU FPGA C C++ Haskell OCaml Perl PHP Ru... スミマセン！
参加枠1 Cancel mathink コンディションがよろしくないのでキャンセルです。
参加枠1 Cancel nyamngo
参加枠1 Cancel nsyee 当日ですいません。仕事が入ってしまいました。
参加枠1 Cancel pocketberserker ただのもみあげのようななかやん。色々あってキャンセルします。当日にすみません…。
参加枠1 Cancel junya_kubota_75
参加枠1 Cancel h_sakurai C言語風言語でLisp風マクロが出来るコンパイラ作ってます。 x86_64コンパイラ http...

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