機械学習と連続体仮説。純粋数学が何に応用されるか誰にも予測できない - Fuji Haruka's blog
機械学習の分野にも「解決できるかどうか証明も反証もできない問題」が存在することが発見され、その論文が話題になっている。 機械学習によって解決できるかどうかが証明不可能な学習モデルが発見される - GIGAZINE Learnability can be undecidable | Nature Machine Intelligence 論文『Learnability can be undecidable（学習可能性は決定不能でありうる）』は、連続体仮説に言及していて、連続体仮説を使ってある抽象的な機械学習に関する問題が通常の数学の公理系では「証明」も「反証」もできないということを証明している。 連続体仮説には思い入れがあって、一時期 『集合論―独立性証明への案内』 を頑張って読んでいた（読めたとは言っていない）。今も実家にはその勉強ノートが何冊か眠っている。 興味津々で GIGAZIN
【翻訳】HTTP/3（daniel.haxx.seのブログ記事） - 藤 遥のブログ
daniel.haxx.se のブログ記事 HTTP/3 の翻訳です。この記事は翻訳支援エディタ phra-phra.com を使って翻訳しました（手前味噌）。翻訳の許可は元記事のコメントで了承いただきました。 長い間 HTTP-over-QUIC と呼ばれていたプロトコルは名称が変更され、正式に HTTP/3 になります。Mark Nottingham の提案が最初のきっかけとなりました。 QUIC トランスポートプロトコルを策定するために IETF に QUIC ワーキンググループが組織されました。QUIC は UDP 上で動く TCP の代替です。もともと QUIC は Google の試みとして始まりましたが、それが発展して「UDP上で暗号化されたHTTP/2」プロトコルを作る試みとなりました。 IETF 内でこのプロトコルを標準化するプロジェクトが始まったとき、二つの層に分離され
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
