-
blackenedgold
- 2217
- 0
- 12
- 0
- 0
ProofSummit 2019

タイムテーブルを更新しました proof-summit.connpass.com/event/141191/ #proofsummit
2019-09-25 07:43:161.「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

歌舞伎座7F に長蛇の列! どうやらアパレル系のイベントも今日歌舞伎座で開催されるらしい。 #proofsummit
2019-09-29 09:52:14
Proof Summit 2019に参加を申し込みました! proof-summit.connpass.com/event/141191/?… #proofsummit
2019-09-29 10:13:22
こんにちは、形式証明が好きすぎてCoqをする会社を作ったyoshihiro503です。今回は @2015fuj さんが実行委員長として準備をしてくれました。みなさん今日はよろしくお願いします。 proof-summit.connpass.com/event/141191/ #ProofSummit
2019-09-29 10:41:31
#proofsummit 歌舞伎座タワーは正面左側にオフィス入り口があって、1-7Fエレベータのち7-21Fエレベータ経由で会場入りできた。
2019-09-29 10:51:23
#proofsummit 到着 (@ 歌舞伎座 in 中央区, 東京都) swarmapp.com/c/fNdljMmAJrp
2019-09-29 10:51:50
今回、株式会社朝日ネットさんが会場のセミナールームとWIFIを無償でお貸しくださいました。 #ProofSummit
2019-09-29 11:03:45Idrisの話とIdris2のウワサ
by @blackenedgold