Proof Summit 2019 - Attendee List

Proof Summit 2019

Attendee List

Event Participants

Organizer7 people
tmiya_ 関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...
eldesh アレゲを目指すC++, ML, VeriFastプログラマ
lion
khibino 仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明...
YutakaNg
yf0fyf
Presenter6 people (Only connpass users are shown)
κeen プログラミング言語に興味がある人。
wasabiz
lion
SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ...
yf0fyf
YutakaNg

Event Attendees

Attendee List

参加枠 Attendees 62 people
参加枠 Attendees yoshihiro503 Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel... Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees hatsugai 並行システムのモデル化・検査ツール SyncStitch を開発しています．プロセス代数 CS... Proof Summit 2019に参加を申し込みました！
参加枠 Attendees kento Proof Summit 2019に参加を申し込みました！
参加枠 Attendees khibino 仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明... Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees Ryo KAJI ＞そっとしておこう Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees tanimocchi http://www.slideshare.net/mocchi_ Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees na4zagin3 しゃくゎいじん。古典ギリシャ語を現代に復活させたい。最近はラテン語, アラビア語休止中。 k... Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees てぴか✨ ホームページの管理人ですが、更新が停滞していてすみません……学問(数学・物理・言語学)・天体観... Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees SUHARA Hiromichi ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ... Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees cedretaber Ruby / Scala / OCaml / Erlang / D language Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees ukikagi Proof Summit 2019に参加を申し込みました！
参加枠 Attendees eldesh アレゲを目指すC++, ML, VeriFastプログラマ I joined Proof Summit 2019!
参加枠 Attendees kappa Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees t_uchida ソフトウェア開発者です。興味:Coq/Isabelle/Rust/FPGA/SoC https... Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees takarakasai https://t.co/mczBRVf8MB 組込SWエンジニアだけど、見えてるのはユーザ... I joined Proof Summit 2019!
参加枠 Attendees gobi Proof Summit 2019に参加を申し込みました！
参加枠 Attendees bd_gfngfn Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees rkyymmt Proof Summit 2019に参加を申し込みました！
参加枠 Attendees notogawa Agda つらい Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees ryo Proof Summit 2019に参加を申し込みました！
参加枠 Attendees polymony/ポリモニー文章の視認性を高めるソフトウェア技術を開発　・リーガルテック系（特許・法律）の単語ハイライト... 定理証明系だと、Agdaに興味があります。よろしくお願いします。
参加枠 Attendees OKU_K 熊本/京都/神奈川/Coq/SSReflect/ Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees objectx You'll never learn if you don't see the dark si... Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees asinus Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees mizoken001 没個性的な一般の会社員です。 Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees KanSAKAMOTO Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees tanaka_akr Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees Haochen Xie (謝昊辰) I joined Proof Summit 2019!
参加枠 Attendees nh2 Proof Summit 2019に参加を申し込みました！
参加枠 Attendees keita44_f4 よんたったー．プログラミング言語を学んだ新社会人． SML#しか使えません．気胸によくなる... Proof Summit 2019に参加を申し込みました！
参加枠 Attendees びしょ〜じょ https://nymphium.github.io Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees golden_lucky 鹿野桂一郎。抽象的なものが好き。計算機と数学の本を作るお手伝いをする仕事 I joined Proof Summit 2019!
参加枠 Attendees wat_aro Haskell楽しすなあ Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees nagaet 最近は伊藤潤二の作品を好んで読んでいます。 Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees giantneco うちの猫がかわいいだけで特に猫に関するつぶやきはありません。プログラミングしたりボードゲームし... Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees krxross Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees higashino I joined Proof Summit 2019!
参加枠 Attendees haiju The mofs-cats without borders. I love gothic cu... Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees roadrunner Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees kerfume Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees tkr Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees omanuke programmer Proof Summit 2019に参加を申し込みました！
参加枠 Attendees fujiy Haskell好き． Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees ruicc エンジニア。Haskell, Vim, Classical musicを好む。Violin少々... Proof Summit 2019に参加を申し込みました！
参加枠 Attendees airazami Proof Summit 2019に参加を申し込みました！
参加枠 Attendees Minoru Sakamoto SRE Proof Summit 2019に参加を申し込みました！
参加枠 Attendees yamagc Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees totomaru Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees sm0kym0nkey Scala / Haskell Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees saitouena 斉藤恵那ブログ日記を書き始めた https://t.co/RewNdlESnW I joined Proof Summit 2019!
参加枠 Attendees saito Proof Summit 2019に参加を申し込みました！
参加枠 Attendees kajiwara I joined Proof Summit 2019!
参加枠 Attendees takumi-kato Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees sat0_da Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees (退会ユーザー) A software enginner. Learning Haskell to escape... Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees nekonibox 理学博士。専門は数学で、専攻は数理論理学が最も近いです。定理証明支援系Coqを使った形式証明... Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees (退会ユーザー) Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees 1123sodium 数学/都数/トポロジー Proof Summit 2019に参加を申し込みました！
参加枠 Attendees mzp 気づいたらSKKを作ってた。 Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees fetburner MLしか書けない Proof Summit 2019 に参加を申し込みました！
参加枠 Attendees cympfh 頭ふにゃふにゃ Proof Summit 2019に参加を申し込みました！
参加枠 Attendees NogikuchiKBYS Proof Summit 2019 に参加を申し込みました！

発表者枠 Attendees 4 people
発表者枠 Attendees yf0fyf Proof Summit 2019 に参加を申し込みました！
発表者枠 Attendees YutakaNg I joined Proof Summit 2019!
発表者枠 Attendees lion Proof Summit 2019 に参加を申し込みました！
発表者枠 Attendees κeen プログラミング言語に興味がある人。 Proof Summit 2019 に参加を申し込みました！

Canceled Attendees

参加枠 Cancel 32 people
参加枠 Cancel ys にゃーん。
参加枠 Cancel yuchiki1000yen 関数型言語、検証などに興味があります
参加枠 Cancel masterq 寄付はこちらから https://www.patreon.com/metasepi
参加枠 Cancel KentaroHara 物理学と数学を専攻量子計算機における量子情報理論・量子物理学と情報理論・計算機科学における...
参加枠 Cancel wakiwakizou
参加枠 Cancel wasabiz 発表者枠で参加します
参加枠 Cancel murakami_motokazu_1213
参加枠 Cancel Yuji Nomura
参加枠 Cancel 大王 EMやってます
参加枠 Cancel Md Kyoto University
参加枠 Cancel hitbit 都合により参加できなくなったためキャンセルします
参加枠 Cancel amutake すみません急用ができてしまいました。
参加枠 Cancel momocus
参加枠 Cancel momohatt
参加枠 Cancel charlie_rebirth mona:MVfvXYbPi7w51J3whjCic61FLozj8cRHaT PN:佐藤達弘...
参加枠 Cancel mttm507 都合により予定が合わなくなったためキャンセルします
参加枠 Cancel (退会ユーザー)
参加枠 Cancel Yusuke Yoshimoto Rust競プロer（AtCoder青）
参加枠 Cancel alumican インフラのエンジニア。電気発生からプログラムが動くまでをゆるく勉強中。基本的にアニメ好き。
参加枠 Cancel watiko Android関係を追っかけています。 / Stay fresh! 予定があわなくなってしまったため断念します
参加枠 Cancel Sho Software Engineer @ Gaudiy inc. Next.js, Typesc...
参加枠 Cancel yigano 急遽、業務対応が入ってしまったため、キャンセルさせて頂きます。行きたかったーー。
参加枠 Cancel ys1987
参加枠 Cancel tnagao7 南極生まれ。プリンストン大卒業後日本IBM→ゴールドマン・サックス証券、退職後はプロボクサーを...
参加枠 Cancel msakai 『抽象によるソフトウェア設計』『型システム入門』共訳者。Haskeller。圏論。ねもい。ht...
参加枠 Cancel nsyee
参加枠 Cancel (退会ユーザー)
参加枠 Cancel チェシャ猫著名ねこみみエンジニア
参加枠 Cancel cutsea110 ヒゲ生やしたハゲのおっさんです。少し泳ぎます。 swimmer Haskell Agda S...
参加枠 Cancel ArayanAce
参加枠 Cancel fumieval 鳥
参加枠 Cancel ぴくすふぁんく

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