ブックマーク / www-erato.ist.hokudai.ac.jp (3)

  • ERATO最終報告会

    講演会の動画をアップしました(2015年3月20日). こちらからご覧ください: 第一部, 第二部, 第三部 おかげさまでERATO湊離散構造処理系プロジェクトは今年度で最終年度を迎えま した。この5年間に、皆さまのご支援とご協力により、数多くの興味深い研究成 果が得られております。この度、東京・お台場の日科学未来館において、プ ロジェクトの「最終成果報告会」を開催する運びとなりました。 報告会は3部構成を予定しています。まず第1部では、研究総括・グループリー ダよりプロジェクトの概要と主要な成果をご報告いたします。引き続いて第2 部では、「フカシギの数え方」のYouTube動画で、おねえさんの声を担当した声 優の三間はるなさんを特別ゲスト司会でお招きし、未来館を通したアウトリーチ 活動に関する座談会などを企画しております。最後に第3部では、電力網や生命 科学などの実問題への応用例

    yag_ays
    yag_ays 2014/12/19
    " 特別ゲスト司会:三間はるな(声優・「フカシギおねえさん」の声を担当)"
  • http://www-erato.ist.hokudai.ac.jp/docs/autumn2014/uno.pdf

    yag_ays
    yag_ays 2014/09/27
  • 基盤(S)離散構造処理系プロジェクト(北海道大学サイト) HOME

    論理関数や組合せ集合などの離散構造を表す大規模データを計算機上にコンパクトに表現し演算処理を効率よく行う技法は,計算機科学の様々な応用分野に共通する基盤技術として非常に重要であり,現代社会に対する大きな波及効果を持ちます.研究代表者の湊は過去6年間に渡りJST ERATO湊離散構造処理系プロジェクトの研究総括を務め,ZDD(Zero-suppressed BDD; ゼロサプレス型二分決定グラフ)をベースとした離散構造処理系の研究開発とその工学的応用に取り組んできました.列挙・圧縮・索引化の技法と融合させた超高速・大規模な離散構造の演算処理は,世界的にも先駆的な技術であり,しかも実用レベルでも十分通用する性能を有していることから,その方向性は多くの研究者から賛同を得て組織的広がりを見せており,関連研究者による応用分野の研究プロジェクトへの発展に成功しつつあります.これらの研究活動を引き継ぎ,

    yag_ays
    yag_ays 2012/10/29
  • 1