| 講演名 | 2018-10-26 離散構造処理系プロジェクトの近況について 湊 真一(京大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 2010年から5年間実施されたERATO湊離散構造処理系プロジェクトを引き継ぐ形で，科研・基盤(S)「離散構造処理系の基盤アルゴリズムの研究」（通称：基盤(S)離散構造処理系プロジェクト）が2015年から開始され，今年で4年目を迎えている．本プロジェクトでは，離散構造処理とアルゴリズム技術の分野においてScienceとEngineeringをつなぐ「Art層」の研究者が集まる場を継続的に提供し，競争力の源泉となるアイデアを醸成し続けることを意図している．本講演ではプロジェクトの概要と最近の研究状況について簡単に紹介する． |
| 抄録(英) | After five years execution of ERATO Minato Discrete Structure Manipulation System Project from 2010 to 2015, as the successor project, KAKENHI(S) Research on Core Algorithms for Discrete Structure Manipulation Systems has started and now it is in the fourth year. Our research area of discrete structure manipulation is located in the middle of the two layer, called ``the Art'' layer, to connect ``Science'' and ``Engineering.'' Our project will provide a research community where theoretical people and application people collaborate together to create the seeds of technology. In this talk, recent research activities in our project will be presented. |
| キーワード(和) | 離散構造処理 / アルゴリズム技術 |
| キーワード(英) | Discrete structure manipulation / Algorithmic techniques |
| 資料番号 | COMP2018-28 |
| 発行日 | 2018-10-19 (COMP) |
| 研究会情報 | |
| 研究会 | COMP |
|---|---|
| 開催期間 | 2018/10/26(から1日開催) |
| 開催地（和） | 京都大学 |
| 開催地（英） | Kyoto University |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | 藤戸 敏弘(豊橋技科大) |
| 委員長氏名（英） | Toshihiro Fujito(Toyohashi Univ. of Tech.) |
| 副委員長氏名（和） | 中野 眞一(群馬大) |
| 副委員長氏名（英） | Shinichi Nakano(Gunma Univ.) |
| 幹事氏名（和） | 玉置 卓(京大) / 大舘 陽太(熊本大) |
| 幹事氏名（英） | Suguru Tamaki(Kyoto Univ.) / Yota Otachi(Kumamoto Univ) |
| 幹事補佐氏名（和） | 脊戸 和寿(成蹊大) |
| 幹事補佐氏名（英） | Kazuhisa Seto(Seikei Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Theoretical Foundations of Computing |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 離散構造処理系プロジェクトの近況について |
| サブタイトル（和） | |
| タイトル（英） | Recent Activities of Discrete Structure Manipulation System Project |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 離散構造処理 / Discrete structure manipulation |
| キーワード(2)（和/英） | アルゴリズム技術 / Algorithmic techniques |
| 第 1 著者 氏名（和/英） | 湊 真一 / Shin-ichi Minato |
| 第 1 著者 所属（和/英） | 京都大学(略称：京大) Kyoto University(略称：Kyoto Univ.) |
| 発表年月日 | 2018-10-26 |
| 資料番号 | COMP2018-28 |
| 巻番号（vol） | vol.118 |
| 号番号（no） | COMP-268 |
| ページ範囲 | pp.55-55(COMP), |
| ページ数 | 1 |
| 発行日 | 2018-10-19 (COMP) |