Proof Summit 2018 - Attendee List

Proof Summit 2018

Attendee List

Event Participants

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

Event Attendees

Attendee List

参加枠1 Attendees 80 people
参加枠1 Attendees notogawa Agda つらい Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees rkyymmt Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees cympfh 頭ふにゃふにゃ Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees wm5775 Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees jbking Biz: http://yarch.jp/ Priv: http://www.jbking.org/ Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees チェシャ猫著名ねこみみエンジニア Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees tanaka_akr Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees hatsugai 並行システムのモデル化・検査ツール SyncStitch を開発しています．プロセス代数 CS... Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees Miura Kosuke Interested in Automobile, Linux and Mathematics... Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees Minoru Sakamoto SRE Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees objectx You'll never learn if you don't see the dark si... Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees fadis_ 組み込みから*NIXシステム、HPCまで、計算機をこよなく愛するゲームプログラマ。C++11と... Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees pogin503 Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ... Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees κeen プログラミング言語に興味がある人。 Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees ruicc エンジニア。Haskell, Vim, Classical musicを好む。Violin少々... Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees watiko Android関係を追っかけています。 / Stay fresh! Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees tanimocchi http://www.slideshare.net/mocchi_ Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees ArayanAce Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees horii Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees nagaet 最近は伊藤潤二の作品を好んで読んでいます。 Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees cojna はすけるすきー Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees yuga Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees keita44_f4 よんたったー．プログラミング言語を学んだ新社会人． SML#しか使えません．気胸によくなる... Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees unaoya Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees y.e Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees nrhide I joined Proof Summit 2018!
参加枠1 Attendees fetburner MLしか書けない Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees todesking スカラエンジニアーヴィム Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees tnagao7 南極生まれ。プリンストン大卒業後日本IBM→ゴールドマン・サックス証券、退職後はプロボクサーを... Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees terasaki Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees 11Takanori Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees yamagc Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees OKU_K 熊本/京都/神奈川/Coq/SSReflect/ 最近、情弱でヤバイ
参加枠1 Attendees yuchiki1000yen 関数型言語、検証などに興味があります Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees masateruk ロボットのプログラム作ってます。形式手法を実践するため勉強と試行の日々。モデル検査/プロセス代... I joined Proof Summit 2018!
参加枠1 Attendees murakami_motokazu_1213 Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees t_uchida ソフトウェア開発者です。興味:Coq/Isabelle/Rust/FPGA/SoC https... Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees 秋津早苗 Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees konyonyo1024 コンパイラが作りたい1987年生まれ。Scheme勉強中。Scheme手習い(読了)→Sche... Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees zigen 酒を飲みながらコード書いてる Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees (退会ユーザー) I joined Proof Summit 2018!
参加枠1 Attendees cutsea110 ヒゲ生やしたハゲのおっさんです。少し泳ぎます。 swimmer Haskell Agda S... Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees fujiy Haskell好き． Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees hitbit Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees logic Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees ys にゃーん。 Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees ksknac Tree Transducers/Functional Programming/Coq/OCa... Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees 1123sodium 数学/都数/トポロジー Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees taketo1024 大学院生・トポロジー専攻。元 iOSアプリ開発者。「プログラマのための数学勉強会」主催。 ht... Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees na4zagin3 しゃくゎいじん。古典ギリシャ語を現代に復活させたい。最近はラテン語, アラビア語休止中。 k... Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees umedaikiti Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees mizoken001 没個性的な一般の会社員です。 Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees tukky Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees yuji_mizobuch Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees KanSAKAMOTO Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees Udayan28 サービス作って行こうな！ Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees Md Kyoto University Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees lion Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees golden_lucky 鹿野桂一郎。抽象的なものが好き。計算機と数学の本を作るお手伝いをする仕事 I joined Proof Summit 2018!
参加枠1 Attendees momohatt Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees badecafe Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees ゆで卵ぷろぐらむ Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees hiroendore プログラマ Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees asinus Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees dnxx28 Running engineer Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees jx7548469 数学とジャニーズが好きです。 Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees kento Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees (退会ユーザー) Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees erutuf13 つぶやきません Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees Yusuke Yoshimoto Rust競プロer（AtCoder青） Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees bd_gfngfn Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees fumieval 鳥 Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees osoi Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees cedretaber Ruby / Scala / OCaml / Erlang / D language Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees MtFuji3776 Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees gobi Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees yuta あいうえお Proof Summit 2018 に参加を申し込みました！
参加枠1 Attendees ponkotuy ネコミミ纏いし人型。Python、Scala、Xubuntu、自作PC、ボドゲ、DIVA、PS... Proof Summit 2018に参加を申し込みました！
参加枠1 Attendees yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel... Proof Summit 2018 に参加を申し込みました！

Canceled Attendees

参加枠1 Cancel 34 people
参加枠1 Cancel (退会ユーザー)
参加枠1 Cancel autotaker1984 コミュ力つけることが今年の目標。 CS14er/IS12er/福井/藤島/UTMC/TRCC/... 予定が入ってしまいました。
参加枠1 Cancel okranch
参加枠1 Cancel KSaka
参加枠1 Cancel (退会ユーザー) 数学を楽しみ、数学で世界を描きたい。
参加枠1 Cancel @osada 【比較の人】最近【ヒートガン】／Followの挨拶は不要にて／鍵括弧「」で全体を囲って有る T... 家庭事情によりキャンセルさせていただきます。
参加枠1 Cancel saka_bar (Sakaki)
参加枠1 Cancel prototechno 残念ですがハッカソンが入りました。m(_ _)m
参加枠1 Cancel yishibashi
参加枠1 Cancel ukikagi 申し訳ありません、他の予定が被ってしまったためキャンセルします。
参加枠1 Cancel wakiwakizou
参加枠1 Cancel NaOHaq プログラミング言語, 画像処理, 2D/3Dグラフィクス, フォント, 数値シミュレーション,... 諸般の事情によりキャンセルします。
参加枠1 Cancel Kinoshita Shuji すみません、急用で行けなくなりました。
参加枠1 Cancel mc88000 申し訳ありません。当日、用事が出来てしまい参加出来ません
参加枠1 Cancel roadrunner 行きたかったのですが昼に用がシフト。次回是非。
参加枠1 Cancel (退会ユーザー)
参加枠1 Cancel cho_tekitou Aichi Japan Interesting:Haskell,OCaml,Coq
参加枠1 Cancel (退会ユーザー) A software enginner. Learning Haskell to escape... 都合が悪くなったためキャンセルします
参加枠1 Cancel masterq 寄付はこちらから https://www.patreon.com/metasepi
参加枠1 Cancel Sho Software Engineer @ Gaudiy inc. Next.js, Typesc...
参加枠1 Cancel Xx_ann_pin_xX 音楽やったりプログラムやったりしながら生物/情報を勉強するまったり大学院生（'･ω･´）バイオ...
参加枠1 Cancel HosodaMath
参加枠1 Cancel takemioIO 進捗/zeroなので進捗戦争で死にました。時間が合わず・・・申し訳ない・・
参加枠1 Cancel yugawara すみません、ほかの仕事が終わらなく、お休みします。とほほ
参加枠1 Cancel ys1987 体調をこわしてしまっためキャンセルします。当日キャンセルとなってしまい、申し訳ありません。
参加枠1 Cancel a2uky 体調不良につき
参加枠1 Cancel ryo
参加枠1 Cancel tmiya_ 関数型言語と定理証明に興味があります。Formal Methods Forumに所属。すみません、体調不良で休みます。
参加枠1 Cancel junji hashimoto
参加枠1 Cancel haiju The mofs-cats without borders. I love gothic cu... 直前ですが体調不良のためキャンセルします
参加枠1 Cancel msakai 『抽象によるソフトウェア設計』『型システム入門』共訳者。Haskeller。圏論。ねもい。ht...
参加枠1 Cancel (退会ユーザー)
参加枠1 Cancel Kazuhiko Sakaguchi
参加枠1 Cancel noob いろんな言語触ってHaskellに落ち着きました数学や物理あたりも大好き

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