#ProofSummit 2019まとめ

lion @2015fuj

タイムテーブルを更新しました proof-summit.connpass.com/event/141191/ #proofsummit

Yoshihiro503 @yoshihiro503

歌舞伎座7F に長蛇の列！ どうやらアパレル系のイベントも今日歌舞伎座で開催されるらしい。 #proofsummit

Yoshihiro503 @yoshihiro503

今日は東銀座駅の歌舞伎座タワー21階で #proofsummit です。

ぴくすふぁんく @pxfnc

Proof Summit 2019に参加を申し込みました！ proof-summit.connpass.com/event/141191/?… #proofsummit

tkr @kgtkr

向かってる #proofsummit

lion @2015fuj

#proofsummit 入場できます

κeen @blackenedgold

めっちゃギリギリに着きそう #proofsummit

Yoshihiro503 @yoshihiro503

こんにちは、形式証明が好きすぎてCoqをする会社を作ったyoshihiro503です。今回は @2015fuj さんが実行委員長として準備をしてくれました。みなさん今日はよろしくお願いします。 proof-summit.connpass.com/event/141191/ #ProofSummit

よんた @keita44_f4

歌舞伎座タワー、17階混んでる #proofsummit

よんた @keita44_f4

#proofsummit 歌舞伎座タワーは正面左側にオフィス入り口があって、1-7Fエレベータのち7-21Fエレベータ経由で会場入りできた。

(* sakamoto *) @sakamoto_desu

#proofsummit 到着 (@ 歌舞伎座 in 中央区, 東京都) swarmapp.com/c/fNdljMmAJrp

眼力 玉壱號 @objectxplosive

17階が何かのセール会場になっている… #ProofSummit

眼力 玉壱號 @objectxplosive

はじまた #ProofSummit

Yoshihiro503 @yoshihiro503

今回、株式会社朝日ネットさんが会場のセミナールームとWIFIを無償でお貸しくださいました。 #ProofSummit

よんた @keita44_f4

朝日ネットさんすごい！ #proofsummit

tkr @kgtkr

きた #proofsummit

κeen @blackenedgold

本日の資料です #proofsummit keens.github.io/slide/idrisnoh…

Yoshihiro503 @yoshihiro503

keenさんによる入門よりのおはなし #Idris #ProofSummit

tkr @kgtkr

idris名前しか知らないア #proofsummit

keiichiro shikano λ♪ @golden_lucky

Wi-Fi難民化した #proofsummit

よんた @keita44_f4

#proofsummit κeenさん「働いてます」、つまり学生におごる覚悟があるという主張ですかｗ

Yoshihiro503 @yoshihiro503

JavaScriptバックエンドもある #Idris #ProofSummit