編集可能

Proof Summit 2017

2017年7月23日(日)に開催されたイベント Proof Summit 2017 のまとめです。 https://proof-summit.connpass.com/event/58803/
Coq 数学 機械学習 定理証明 c 項書き換え
4
athos)))))))) @athos0220
来週のML勉強会とProof Summitの両日に参加する道を相談した結果、ML勉強会に彼女が参加する選択肢が見えてきつつある
I moved to Mastodon. @masterq_mogumog
@yoshihiro503 @tmiya_ Proof Summit 2017で発表時間があまっていたら、添付の内容を発表することはできるでしょうか。よろしくお願いします。 twitter.com/masterq_mogumo…
Κeіsuke Νakanο @ksknac
今年はProof Summitに参加できなくて残念.17:00くらいからなら参加できそうだと思ったけどさすがに遅かった. proof-summit.connpass.com/event/58803/
Sosuke MORIGUCHI @chiguri
proof summit、終わってからなんかあるのかな。ないのかな。
1123 @1123sodium
この調子でProof Summitでも色々な人に声かけるぞ。
Masahiro Sakai @masahiro_sakai
最近 @skyrunner_01 さんたちとちょっと遊んでいる話について、 Proof Summit 2017 で少し紹介する予定です。「定理証明+機械学習=?」 proof-summit.connpass.com/event/58803/ #proofsummit
Yoshihiro503 @yoshihiro503
Proof Summitは趣味で勉強する人を大歓迎です。 初めて学ぶ人向けのセッションもありますよ! proof-summit.connpass.com/event/58803/ #proofsummit2017
詠み人知らず @fetburner
ML勉強会の次の日にProof Summitやるんなら予定入れるんじゃなかったなぁ
秋津早苗 @akitsu_sanae
ML勉強会聞きに行きたいけどその翌日はproof summitがあって土日両方潰すわけにはいかないので……
masateru kawaguchi @masateruk
Proof Summitは日曜日だったか。勘違いしてキャンセルしてしまった
Hideyuki Kawabata @k_w_b_t
これ予め知ってたらProof Summitと合わせて一泊二日で行ってたかも、、。 twitter.com/no_maddo/statu…
もっちぃ @tanimocchi
今回のは前回より傷が深いようで、松葉杖2本での生活となったorz 明日のProof Summit参加できるか、今日夕方再度先生と相談しなきゃだ-_-;;;;
mkotha @mkotha
proof summit、今年もICFP併設だと思いこんで油断していた(良く考えたらイギリスでやるわけがない)
開場
Akira Sugiura @urasandesu
今日は #proofsummit2017 ! .。゚+.(・∀・)゚+.゚
1123 @1123sodium
Proof Summitに行ってくるよー
残りを読む(426)

コメント

コメントがまだありません。感想を最初に伝えてみませんか?

ログインして広告を非表示にする
ログインして広告を非表示にする