Proof Summit 2017
-
masahiro_sakai
- 4772
- 18
- 0
- 1
-
- いいね！1
athos))))))))
@athos0220
来週のML勉強会とProof Summitの両日に参加する道を相談した結果、ML勉強会に彼女が参加する選択肢が見えてきつつある
2017-07-17 20:04:43
I moved to Mastodon.
@masterq_mogumog
@yoshihiro503 @tmiya_ Proof Summit 2017で発表時間があまっていたら、添付の内容を発表することはできるでしょうか。よろしくお願いします。 twitter.com/masterq_mogumo…
2017-07-17 21:39:40
I moved to Mastodon.
@masterq_mogumog
無条件に仮定にFalseを追加して、どんなサブゴールも消せるtactic作ったよ #Coq #証明 #依存型 #ジョーク / master-q/coqtactic-injectfalse github.com/master-q/coqta…
2014-07-20 17:21:55
Κeіsuke Νakanο
@ksknac
今年はProof Summitに参加できなくて残念．17:00くらいからなら参加できそうだと思ったけどさすがに遅かった． proof-summit.connpass.com/event/58803/
2017-07-18 16:49:44
Masahiro Sakai
@masahiro_sakai
最近 @skyrunner_01 さんたちとちょっと遊んでいる話について、 Proof Summit 2017 で少し紹介する予定です。「定理証明＋機械学習＝？」 proof-summit.connpass.com/event/58803/ #proofsummit
2017-07-19 23:23:46
Yoshihiro Imai
@yoshihiro503
Proof Summitは趣味で勉強する人を大歓迎です。 初めて学ぶ人向けのセッションもありますよ！ proof-summit.connpass.com/event/58803/ #proofsummit2017
2017-07-20 01:18:14
cutsea110
@cutsea110
Proof Summit 2017に参加を申し込みました！ proof-summit.connpass.com/event/58803/?u… #proofsummit2017
2017-07-20 09:28:11
Hideyuki Kawabata
@k_w_b_t
これ予め知ってたらProof Summitと合わせて一泊二日で行ってたかも、、。 twitter.com/no_maddo/statu…
2017-07-22 09:24:38
立派プログラマ
@no_maddo
ML勉強会 #2 ml-lang.connpass.com/event/58151/ #ML_study わたくしはライトな感じでOCamlのアセンブラを読む話をします！明日楽しみにしております！
2017-07-21 21:10:26
もっちぃ
@tanimocchi
今回のは前回より傷が深いようで、松葉杖2本での生活となったorz 明日のProof Summit参加できるか、今日夕方再度先生と相談しなきゃだ-_-;;;;
2017-07-22 12:45:41