「タグ編集を許可」「まとめ編集を許可」機能を終了し、新たな「共同編集」機能を追加しました。
2019年9月29日

#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

2019-09-29 09:52:14
Yoshihiro503 @yoshihiro503

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

2019-09-29 09:53:45
κeen @blackenedgold

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

2019-09-29 10:37:49
Yoshihiro503 @yoshihiro503

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

2019-09-29 10:41:31
よんた @keita44_f4

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

2019-09-29 10:47:27
よんた @keita44_f4

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

2019-09-29 10:51:23
眼力 玉壱號 @objectxplosive

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

2019-09-29 10:53:13
Yoshihiro503 @yoshihiro503

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

2019-09-29 11:03:45

Idrisの話とIdris2のウワサ

by @blackenedgold

Yoshihiro503 @yoshihiro503

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

2019-09-29 11:07:06
tkr @kgtkr

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

2019-09-29 11:07:07
よんた @keita44_f4

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

2019-09-29 11:07:42
残りを読む(216)

コメント

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