Top Tweets for #ProofSummit2017
Proof Summit 2017 での発表「定理証明＋機械学習＝？」の資料を公開。定理証明への機械学習の応用の盛り上がりの紹介してます。 w/ @skyrunner_01, @toslunar #proofsummit2017
https://t.co/9J3HOxRAvw
#proofsummit2017
7/23(Sun) ドワンゴセミナールームで開催された
Proof Summit 2017で発表した資料を公開しました：
https://t.co/OSB9OGxKuo
単にPerlで保守するようなコード書くとは思わなくてテストがないと不安で心が押しつぶされるからでは https://t.co/WnQ7r67w4x
今日の「定理証明＋機械学習＝？」でAlphaGoに興味を持ったけど、 https://t.co/oVlOVd9ed6 等を読むのはハードルが高い、という人は https://t.co/yJgIKJvCGv を読むと良いかも。 #proofsummit2017
今日の「定理証明＋機械学習＝？」で言及していたAITPは https://t.co/LGOxRjHTWv です。 ググればすぐに見つかるけれど一応。 #proofsummit2017
去年と今年参加するだけだったけど，来年は発表できるかも．
#proofsummit2017
参加しました．お疲れ様でした！ #proofsummit2017
The latest デイリーなつみ柑! https://t.co/lH1G3wgizz Thanks to @tsunodako100 @manoerinasuki #proofsummit2017 #南沢奈央
#proofsummit2017
ProofSummit2017お疲れ様でした。
皆様貴重なご意見をありがとうございます！
ぜひ来年も参加したいと思います。
フォロワー数が５倍に増えました！やったねたえちゃん！
May the force be with you.
参考までに 8/4(金) 午後2時から 東京大学 理学部化学東館2階 化東236教室 で Homotopy Type Theory 入門 / Fibred Fibration Categories という講演があります。 #proofsummit2017
#proofsummit2017 Isabelle 勢の端くれとしては行きたかったけど、都合が悪くなって不参加。
Coq触り始めて1週間の初心者でも、どの発表も(細かい議論は分からないにしても)モチベーションや概略は理解できたし、面白い分野であることを再認識出来たのでした。
#proofsummit2017
#proofsummit2017 で一番びっくりしたこと。notogawaさんがちょー痩せてた。25kg減量とか。すごい
coqでも未だにチュートリアルとか需要あるのか。
#proofsummit2017
#proofsummit2017 自動証明のやつサーベイの紹介よりやった実験の結果とその解析をもっと丁寧にやってほしかったな
ライブGithub commitしてるw #proofsummit2017
「静的コード解析の会」LiquidHaskell で話すのありかな？ #proofsummit2017
Last Seen Hashtags on Sotwe
珠海外围
Seen from Germany
yulietttorres
Seen from Colombia
monkeyapp
Seen from United Kingdom
Gay #nsfw
Seen from Germany
tadcnsfw #royalteeth
Seen from Mexico
ขออยู่ด้วยคนครับเจ๊
Seen from United States
teacher fucked
Seen from Netherlands
futaonmale
Seen from United States
momson(((())))***+filter:native_video
Seen from Austria
takeitoff
Seen from United Kingdom
Most Popular Users
Elon Musk 
@elonmusk
241M followers
Barack Obama
@barackobama
119.2M followers
Cristiano Ronaldo
@cristiano
112M followers
Donald J. Trump
@realdonaldtrump
111.8M followers
Narendra Modi
@narendramodi
107.1M followers
Rihanna
@rihanna
98M followers
NASA
@nasa
92.2M followers
Justin Bieber
@justinbieber
91.2M followers
KATY PERRY
@katyperry
88.4M followers
Taylor Swift
@taylorswift13
82.3M followers
Lady Gaga
@ladygaga
73.8M followers
Virat Kohli
@imvkohli
71.1M followers
Kim Kardashian
@kimkardashian
70.2M followers
YouTube
@youtube
68.7M followers
Bill Gates
@billgates
64.3M followers
Neymar Jr
@neymarjr
64M followers
The Ellen Show
@theellenshow
62.4M followers
CNN
@cnn
61.8M followers
Selena Gomez
@selenagomez
61.5M followers
X
@x
60.8M followers