詳細表示

No 218256
標題(和) [特別招待講演]ERATO湊離散構造処理系プロジェクトの概要と今後の展望について
標題(英) [Special Invited Talk] ERATO MINATO Discrete Structure Manipulation System Project and Future Prospects
研究会名(和) 通信方式
研究会名(英) Communication Systems
開催年月日 2012-11-21
終了年月日 2012-11-22
会議種別コード 5
共催団体名(和)
資料番号 CS2012-70
抄録(和) 計算機が扱う問題の多くは、離散構造の処理を基盤としている.近年,論理や集合のような基本データ構造を効率よく処理する「BDD」「ZDD」と呼ばれるデータ構造とアルゴリズムが様々な分野で活用されている.このような技法をベースとして,種々の離散構造を統合的に演算処理する技法を体系化し,分野横断的かつ大規模な実問題を高速に処理する技術基盤を構築することを目標として,「ERATO湊離散構造処理系プロジェクト」が2009年10月にJSTにより採択された.準備期間を経て本格的な研究活動を開始してから約2年半が経過し, これまでに多くの興味深い研究成果が得られている.本講演では,プロジェクトの概要を紹介するともに、通信ネットワーク技術に関連する最近の研究成果と今後の展望について述べる.
抄録(英) Discrete structure manipulation is a fundamental technique for many problems solved by computers. Recently, BDD (Binary Decision Diagram) attracts a great deal of attention, because it efficiently manipulates basic data structures such as logic and sets. In order to organize an integrated method of algebraic operations for manipulating various types of discrete structures, and to construct standard techniques for efficiently solving large-scale and practical problems in various fields, JST started a new project: ERATO MINATO Discrete Structure Manipulation System Project, authorized in Oct.~2009. Now it is in the third year, and a number of interesting research results has been obtained. In this talk, we will present an overview of the project and recent research activities related to communication network techniques.
収録資料名(和) 電子情報通信学会技術研究報告
収録資料の巻号 Vol.112, No.309
ページ開始 35
ページ終了 40
キーワード(和) ERATO,離散構造処理系,BDD,ZDD,グラフアルゴリズム,経路探索
キーワード(英) ERATO,discrete structure manipulation system,BDD,ZDD,graph algorithm,path search
本文の言語 JPN
著者(和) 湊真一
著者(ヨミ) ミナト シンイチ
著者(英) Shin-ichi Minato
所属機関(和) 北海道大学
所属機関(英) Hokkaido University

WWW サーバ管理者
E-mail: webmaster@ieice.org