kivantium活動日記

プログラムを使っていろいろやります

2017年9月 第3週

onnx

Pytorchを開発しているFacebookとCNTKを開発しているMicrosoftニューラルネットワークを共通フォーマットで表す仕組みを導入したとのこと。先週の話題ですが書き忘れていました。




stat.ink

Splatoonのデータを集めているサイト

SGDの収束証明

適当な仮定のもとで、SGDがglobal minimumに収束することを証明したようです。

P≠NP論文の結末

コンピュータサイエンスのまともな研究者がP≠NPを示したということで話題になりましたが、取り下げられました。コメント欄に

The proof is wrong. I shall elaborate precisely what the mistake is. For doing this, I need some time.

とあります。

PowerPointチューリング完全

youtu.be

学会発表の動画っぽいですがとても面白かったです。