サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
災害への備え
www.alg.cei.uec.ac.jp
JST CREST「ビッグデータ統合利活用のための次世代基盤技術の創出・体系化」 課題「ビッグデータ時代に向けた革新的アルゴリズム基盤」 Foundations of Innovative Algorithms for Big Data (ABD14) 研究代表者:加藤直樹 教授(京都大学 大学院 工学研究科) 期間:2014.10.01〜2020.03.31(予定) ->->->->->->[正式なページができました]<-<-<-<-<-<- [本領域の説明] [メンバー] [セミナー・シンポジウム] [リンク] [チームA] [チームD] [チームM] 本領域の説明 研究の概要 今世紀に入り注目を浴びているビッグデータは,そのデータ量の膨大さ故に,その基礎となるアルゴリズム理論に根本的な変革が迫られている.例えば,これまでは多項式時間アルゴリズムならば「速い」アルゴリズムであると考えら
• • – • ⇒ • • • • • • – – – – – – – • – • • • – • – • ⇒ • ⇒ “Turing proved that, in general, proving program termination is ‘undecidable,’ ” Cook says. “However, this result does not preclude the existence of future program‐termination proof tools that work 99.9 percent of the time on programs written by humans. This is the sort of tool that we’re aiming to make.” • – • • – • – • • • • – • • – ⇒ •
このページを最初にブックマークしてみませんか?
『www.alg.cei.uec.ac.jp』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く