非厳密計算で確率的に解釈するコンピューティングへの流れ - 人間とウェブの未来

ここ数ヶ月、沢山の国際会議や自分の専門分野外のトップカンファレンスに採録されるような多種多様な研究発表を聞いていた。そんな中、自分の中で各発表に共通するコンピューティングの流れみたいなものが少し見えてきた気がするのでメモしておく。 機械学習やコンピュータビジョン、ヒューマンインターフェース、コンピュータセキュリティ、計算機アーキテクチャ、量子コンピューティング等のトップカンファレンス発表報告を聞く中で、印象的だったのは、まさに新しい発見という研究もある中で、もはや枯れた技術で確立されたアーキテクチャにおいて、新たな貢献を示す研究があったことだ。例えばデータベースにおけるメモリ管理の話やCPUのパイプライン処理の効率化、スパコンの文脈におけるネットワーク通信の高速化の話など、いずれも登壇者が冒頭で随分と研究されてきた確立されたテーマであることを述べていた。 そういった確立された領域の中で、ど

[yumura_s]

イントロソートは平均的に早いクイックソートと、最悪がマシなヒープソートの組み合わせだし。ノーフリーランチの定理的に特殊解法で攻めて、一般解法でカバーするのは今も昔も有効な手法。問題領域の特徴を（文字数

[y_uuki]

興味深い．SREの分野に非厳密なアプローチを適用する際に，厳密なアプローチとの境目はどこかを考えることがある．データ一貫性には厳密性が求められるが，システムの信頼性については非厳密でもよいよねなど．

[knok]

既存の一般的な浮動小数点数演算とかでも実際には誤差あったわけだし真の意味での厳密解が必要という場面は実はそう多くないのかも

[kwhrtsk]

facebook prestoの集計関数approx_distinctみたいなことかな。

[a2ikm]

“コンピューティングはこれから厳密計算の流れから非厳密計算かつ確率的コンピューティングのハイブリッド、そして、粒子の振る舞いをビットとして解釈した汎用コンピューティングの世界になっていく”

[Nean]

“非厳密計算で確率的なコンピューティングの形態へと変化し、それぞれのコンピューティング層で扱われるアーキテクチャも、より自然科学や社会のあり方、さらには、人のあり方に近い振る舞いになっていく”

[matsumoto_r]

書いた