Top Tweets for #proofsummit2018
昨日のProofsummitの様子です。
#proofsummit2018
昨日の #proofsummit2018 のよしひろさんの発表、大変良かった。会場の人と背景や課題、解決方法がよく共有できるよい発表だった。その結果として、たくさんの質問がでていて、本当にすばらしかった。自分も少しでもあんなよい発表ができるようになりたい。
何も分からない。 #proofsummit2018
単純型付きラムダ計算の型システムはCCCに対応する、
λC(CoC)はLCCCに対応する。
CoICはLCCC+W という体系に対応するっぽい
#proofsummit2018
本日はお疲れ様でした
ありかとうございました
楽しかったです
#proofsummit2018
おつかれさまでしたー。楽しませて頂きました #proofsummit2018
「USB を 1 秒間に 8 回抜き差しすると初めて発生するバグ」 #proofsummit2018
USBを1秒に8回抜き差ししないと再現しないバグw #proofsummit2018
kami ハードウェアの動作の形式化 #proofsummit2018
すべてがSoftware Foudationになるな #proofsummit2018
https://t.co/KdYUea90mW を読んで気になったんですけど、 #Coq とかの定理証明器を使ってC言語のプログラムの証明っていうのは具体的にどうやってやるんでしょうか？
HaskellなどのようにCoqで書いた関数を出力できるわけじゃないでしょうし...
つまりテストは安価なので高価な証明をやる前の斥候役として使おうという感じだな. #proofsummit2018
ほー。QuickChickはコストが安いランダムテストをとりあえずかけて、通ったときに初めて証明を開始する。それにより、「証明を進めてたら、証明ができないことに気づいた、条件が足りなくて命題が偽だった（証明あるある）」を防げる #proofsummit2018
今日の「依存型の話」の資料です。 https://t.co/RBWKuEftIY #proofsummit2018
「CoqはニワトリなのでQuickChick」 #proofsummit2018
Trends for you
Most Popular Users
Elon Musk 
@elonmusk
240.4M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.7M followers
Cristiano Ronaldo
@cristiano
110M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
97.5M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.8M followers
KATY PERRY
@katyperry
87.3M followers
Taylor Swift
@taylorswift13
81.2M followers
Lady Gaga
@ladygaga
72.7M followers
Kim Kardashian
@kimkardashian
69.6M followers
Virat Kohli
@imvkohli
69.4M followers
YouTube
@youtube
68.6M followers
Bill Gates
@billgates
63.7M followers
The Ellen Show
@theellenshow
62.5M followers
Neymar Jr
@neymarjr
62.1M followers
CNN
@cnn
61.9M followers
X
@x
60.9M followers
Selena Gomez
@selenagomez
60.4M followers