#ProofSummit 2019まとめ

ProofSummitに参加した人、参加できなかった人の様々な実況
テクノロジー 学問
1

1.「Idrisの話とIdris2のウワサ」 by @blackenedgold
2.「300行で作るproof assistant」by @___yuni
3.「ProofIrrelevance」 by @2015fuj
4.「Mathcompで文字列を使う」by @suharahiromichi
5.「人工知能によるIsabelle/HOLの証明支援」 by YutakaNg
6.「Coqのベース体系の無矛盾性について(仮題)」 by @yf0fyf

Yoshihiro503 @yoshihiro503
歌舞伎座7F に長蛇の列! どうやらアパレル系のイベントも今日歌舞伎座で開催されるらしい。 #proofsummit
Yoshihiro503 @yoshihiro503
今日は東銀座駅の歌舞伎座タワー21階で #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エレベータ経由で会場入りできた。
眼力 玉壱號 @objectxplosive
17階が何かのセール会場になっている… #ProofSummit
Yoshihiro503 @yoshihiro503
今回、株式会社朝日ネットさんが会場のセミナールームとWIFIを無償でお貸しくださいました。 #ProofSummit
Idrisの話とIdris2のウワサ

by @blackenedgold

Yoshihiro503 @yoshihiro503
keenさんによる入門よりのおはなし #Idris #ProofSummit
tkr @kgtkr
idris名前しか知らないア #proofsummit
よんた @keita44_f4
#proofsummit κeenさん「働いてます」、つまり学生におごる覚悟があるという主張ですかw
残りを読む(216)

コメント

コメントがまだありません。感想を最初に伝えてみませんか?

ログインして広告を非表示にする
ログインして広告を非表示にする