| 講演名 | 2012-11-21 ERATO湊離散構造処理系プロジェクトの概要と今後の展望について(ブロードバンドアクセス,ホームネットワーク,ネットワークサービス,通信利用アプリケーション,一般) 湊 真一, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 計算機が扱う問題の多くは,離散構造の処理を基盤としている.近年,論理や集合のような基本データ構造を効率よく処理する「BDD」「ZDD」と呼ばれるデータ構造とアルゴリズムが様々な分野で活用されている.このような技法をベースとして,種々の離散構造を統合的に演算処理する技法を体系化し,分野横断的かつ大規模な実問題を高速に処理する技術基盤を構築することを目標として,「JST ERATO湊離散構造処理系プロジェクト」が2009年に採択された.その後,本格的な研究活動を開始してから約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. |
| キーワード(和) | ERATO / 離散構造処理系 / BDD / ZDD / グラフアルゴリズム / 経路探索 |
| キーワード(英) | ERATO / discrete structure manipulation system / BDD / ZDD / graph algorithm / path search |
| 資料番号 | CS2012-70 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CS |
|---|---|
| 開催期間 | 2012/11/14(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Communication Systems (CS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ERATO湊離散構造処理系プロジェクトの概要と今後の展望について(ブロードバンドアクセス,ホームネットワーク,ネットワークサービス,通信利用アプリケーション,一般) |
| サブタイトル（和） | |
| タイトル（英） | Frontier-based Method : Efficient Graph Enumeration and Indexing Using BDDs/ZDDs |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ERATO / ERATO |
| キーワード(2)（和/英） | 離散構造処理系 / discrete structure manipulation system |
| キーワード(3)（和/英） | BDD / BDD |
| キーワード(4)（和/英） | ZDD / ZDD |
| キーワード(5)（和/英） | グラフアルゴリズム / graph algorithm |
| キーワード(6)（和/英） | 経路探索 / path search |
| 第 1 著者 氏名（和/英） | 湊 真一 / Shin-ichi MINATO |
| 第 1 著者 所属（和/英） | 北海道大学大学院情報科学研究科:JST ERATO湊離散構造処理系プロジェクト Graduate School of Information Science and Technology, Hokkaido University:JST ERATO MINATO Discrete Structure Manipulation System Project |
| 発表年月日 | 2012-11-21 |
| 資料番号 | CS2012-70 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | 309 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |