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









